Follow
Loïc Gammaitoni
Title
Cited by
Cited by
Year
F-alloy: An alloy based model transformation language
L Gammaitoni, P Kelsen
Theory and Practice of Model Transformations: 8th International Conference …, 2015
252015
Domain-specific visualization of alloy instances
L Gammaitoni, P Kelsen
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014
222014
Verifying modelling languages using lightning: a case study
L Gammaitoni, P Kelsen, F Mathey
11th Workshop on Model Design, Verification and Validation Integrating …, 2014
162014
Designing languages using lightning
L Gammaitoni, P Kelsen, C Glodt
Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015
142015
Agile validation of model transformations using compound F-Alloy specifications
L Gammaitoni, P Kelsen, Q Ma
Science of Computer Programming 162, 55-75, 2018
132018
The paradoxes of permission an action based solution
D Gabbay, L Gammaitoni, X Sun
Journal of Applied Logic 12 (2), 179-191, 2014
132014
F-Alloy: a relational model transformation language based on Alloy
L Gammaitoni, P Kelsen
Software & Systems Modeling 18, 213-247, 2019
82019
Rpsl meets lightning: A model-based approach to design space exploration of robot perception systems
L Gammaitoni, N Hochgeschwender
2016 IEEE International Conference on Simulation, Modeling, and Programming …, 2016
62016
On the use of alloy in engineering domain specific modeling languages
L Gammaitoni
University of Luxembourg, Luxembourg, 2017
42017
Agile validation of higher order transformations using F-Alloy
L Gammaitoni, P Kelsen, Q Ma
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
42016
Enabling value co-creation in customer journeys with VIVA
IS Razo-Zapata, E Chew, Q Ma, L Gammaitoni, HA Proper
Proceedings of Joint International Conference of Service Science and …, 2018
22018
Functional Alloy Modules
L Gammaitoni, P Kelsen
Lassy Technical Report, 2014
22014
A web based graphical environment for using domain specific languages in Lightning
C Kamphaus, P Kelsen, APN Navet, C Glodt, L Gammaitoni
Tech. Rep. TR-LASSY-17-01, University of Luxembourg, 2017. made available at …, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–13