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

;
in Software & Systems Modeling (2017)

; ;
in Science of Computer Programming (2017)
2016

;
in RPSL meets lightning: A model-based approach to design space exploration of robot perception systems (2016)

; ;
in Agile Validation of Higher Order Transformations Using F-Alloy (2016)
2015

;
in Theory and Practice of Model Transformations (2015)

; ;
in Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (2015)
2014

; ;
in Journal of Applied Logic (2014), 12(2), 179191

; ;
in MoDeVVa 2014: Model-Driven Engineering, Verification and Validation (2014)