Ansymo
External content site (publications, course materials and artefacts)
Home (main site)
News and events
BENEVOL2017
BENEVOL 2017 - Agenda
Publications
Courses
Masters Thesis
Project Software Engineering (1BAC)
Software Engineering (3BAC)
Software Reengineering (Master)
Software Testing (Master)
Tools
Experiments
Presentations
Other
Home
›
Publications
Publications
List
Filter
Export 5 results:
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
Author
is
Lúcio, Levi
[Clear All Filters]
2013
Lúcio, L
,
Mustafiz S
,
Denil J
,
Vangheluwe H
,
Jukšs M
. 2013.
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains
.
SDL 2013: Model-Driven Dependability Engineering. 7916:182-202.
XML
BibTex
2012
Amrani, M
,
Lúcio L
,
Selim GMK
,
Combemale B
,
Dingel J
,
Vangheluwe H
,
Traon YL
,
Cordy JR
. 2012.
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
.
IEEE International Conference on Software Testing, Verification and Validation (ICST). :921-928.
XML
BibTex
Lúcio, L
,
Syriani E
,
Amrani M
,
Zhang Q
,
Vangheluwe H
. 2012.
Invariant Preservation in Iterative Modeling
.
Proceedings of the Fourth International Workshop on Models and Evolution.
XML
BibTex
Dingel, J
,
Lúcio L
,
Vangheluwe H
,
Varró D
. 2012.
Summary of the First Workshop on the Analysis of Model Transformations
.
Proceedings of the First Workshop on the Analysis of Model Transformations. :1–2.
XML
BibTex
Mustafiz, S
,
Denil J
,
Lúcio L
,
Vangheluwe H
. 2012.
The FTG+PM framework for multi-paradigm modelling: an automotive case study
.
Proceedings of the Sixth International Workshop on Multi-Paradigm Modeling. :13–18.
XML
BibTex