Concepedia

Lucio Levi

LL

15

Publications

524

Citations

13

H-Index

2003

Active since

Affiliations

McGill University(Current)

Queen's University

University of Luxembourg

Lucio Levi is an author at McGill University specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsSystems EngineeringSoftware DesignDesignSoftware AnalysisSoftware EngineeringData ModelingProgram AnalysisAutomated Reasoning

Publications per year

2003–2019

15

Publications

15

Model transformation intents and their properties

Lucio Levi, Moussa Amrani, Juergen Dingel et al. · Software & Systems Modeling · 2014 · 101 citations · Full text

Design, Management, Information Management +6

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

Moussa Amrani, Lucio Levi, Gehan Selim et al. · 2012 · 56 citations · Full text

Engineering, Verification, Tridimensional Approach +17

Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective

Alexander Perzylo, Julian Grothoff, Lucio Levi et al. · IFAC-PapersOnLine · 2019 · 54 citations · Full text

Replica Management in the European DataGrid Project

David Cameron, James W. Casey, L. P. Guy et al. · Journal of Grid Computing · 2004 · 47 citations · Full text

Cluster Computing, Replica Management, Engineering +9

Formal Verification Techniques for Model Transformations: A Tridimensional Classification .

Moussa Amrani, Benoît Combemale, Lucio Levi et al. · The Journal of Object Technology · 2015 · 40 citations · Full text

Rows per page

1–5 of 15