Model transformation intents and their properties

Lucio Levi, Moussa Amrani, Juergen Dingel, +5

Software & Systems Modeling

DesignManagementInformation ManagementCommunicationModel Transformation Language +4

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

Moussa Amrani, Lucio Levi, Gehan Selim, +5

EngineeringVerificationTridimensional ApproachModel CheckingModel Verification +15

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

Alexander Perzylo, Julian Grothoff, Lucio Levi, +5

IFAC-PapersOnLine

Replica Management in the European DataGrid Project

David Cameron, James W. Casey, L. P. Guy, +19

Journal of Grid Computing

Cluster ComputingReplica ManagementEngineeringData ScienceCloud Computing +7

Formal Verification Techniques for Model Transformations: A Tridimensional Classification .

Moussa Amrani, Benoît Combemale, Lucio Levi, +5

The Journal of Object Technology

The FTG+PM framework for multi-paradigm modelling

Sadaf Mustafiz, Joachim Denil, Lucio Levi, +1

EngineeringModeling MethodSoftware EngineeringModel-driven EngineeringModel Driven Architecture +16

A technique for automatic validation of model transformations

Lucio Levi, Bruno Barroca, Vasco Amaral

Model Driven Engineering Languages and Systems

EngineeringAutomated ReasoningAutomatic ValidationVerificationFormal Methods +8

Towards a model transformation intent catalog

Moussa Amrani, Jürgen Dingel, Leen Lambers, +5

EngineeringBusiness IntelligenceSoftware EngineeringDomain ModelSemantic Web +22

A Bird's Eye View on Requirements Engineering and Machine Learning

Tahira Iqbal, Parisa Elahidoost, Lucio Levi

Software MaintenanceArtificial IntelligenceEngineeringMachine LearningBusiness Intelligence +19

Full contract verification for ATL using symbolic execution

Bentley James Oakes, Javier Troya, Lucio Levi, +1

Software & Systems Modeling

EngineeringProgram AnalysisMechanical VerificationSoftware TestingVerification +6