Loïc Gammaitoni
|
|
||||
| Adresse postale |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
As a postgraduate research student my research interest is at the junction of Formal Verification and Software Language Engineering, more broadly Model Driven Software Engineering .
I am currently working on designing a Language Workbench called Lightning, which is based on the formal language Alloy, with incentives to (1) allow the seamless application of formal verification at the earliest stage of language design (2) include domain experts in the verification processes.
Your can learn more about this project on the Lightning tool-website and more about myself on my personal page.
Last updated on: mardi 02 mai 2017
2017
F-Alloy: a relational model transformation language based on Alloy;
in Software & Systems Modeling (2017)
Agile Validation of Model Transformations using Compound F-Alloy Specifications; ;
in Science of Computer Programming (2017)
2016
RPSL meets lightning: A model-based approach to design space exploration of robot perception systems;
in RPSL meets lightning: A model-based approach to design space exploration of robot perception systems (2016)
Agile Validation of Higher Order Transformations Using F-Alloy; ;
in Agile Validation of Higher Order Transformations Using F-Alloy (2016)
2015
F-Alloy: An Alloy Based Model Transformation Language;
in Theory and Practice of Model Transformations (2015)
Designing Languages using Lightning; ;
in Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (2015)
2014
The paradoxes of permission an action based solution; ;
in Journal of Applied Logic (2014), 12(2), 179191
Verifying Modelling Languages using Lightning: a Case Study; ;
in MoDeVVa 2014: Model-Driven Engineering, Verification and Validation (2014)
