F-alloy: An alloy based model transformation language L Gammaitoni, P Kelsen Theory and Practice of Model Transformations: 8th International Conference …, 2015 | 25 | 2015 |
Domain-specific visualization of alloy instances L Gammaitoni, P Kelsen Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014 | 22 | 2014 |
Verifying modelling languages using lightning: a case study L Gammaitoni, P Kelsen, F Mathey 11th Workshop on Model Design, Verification and Validation Integrating …, 2014 | 16 | 2014 |
Designing languages using lightning L Gammaitoni, P Kelsen, C Glodt Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015 | 14 | 2015 |
Agile validation of model transformations using compound F-Alloy specifications L Gammaitoni, P Kelsen, Q Ma Science of Computer Programming 162, 55-75, 2018 | 13 | 2018 |
The paradoxes of permission an action based solution D Gabbay, L Gammaitoni, X Sun Journal of Applied Logic 12 (2), 179-191, 2014 | 13 | 2014 |
F-Alloy: a relational model transformation language based on Alloy L Gammaitoni, P Kelsen Software & Systems Modeling 18, 213-247, 2019 | 8 | 2019 |
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 | 6 | 2016 |
On the use of alloy in engineering domain specific modeling languages L Gammaitoni University of Luxembourg, Luxembourg, 2017 | 4 | 2017 |
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 | 4 | 2016 |
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 | 2 | 2018 |
Functional Alloy Modules L Gammaitoni, P Kelsen Lassy Technical Report, 2014 | 2 | 2014 |
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 | 1 | 2016 |