Loïc Gammaitoni
|
|
||||
| Faculté ou Centre | Faculté des Sciences, de la Technologie et de la Communication | ||||
| Unité de recherche | CSC | ||||
| Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Bureau sur le campus | MNO, E03 0315-060 | ||||
|
|||||
| Téléphone | (+352) 46 66 44 5586 | ||||
| Fax | (+352) 46 66 44 35586 | ||||
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
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)
