Loïc Gammaitoni

Chercheur en formation doctorale

Faculté ou Centre Faculté des Sciences, de la Technologie et de la Communication
Unité de recherche CSC
Adresse postale Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
E-mail
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

powered by
orbilu.uni.lu

2017

Full Text
See detailAgile Validation of Model Transformations using Compound F-Alloy Specifications
Gammaitoni, Loïc; Kelsen, Pierre; Ma, Qin

in Science of Computer Programming (2017)

Top of Page

2016

Full Text
See detailRPSL meets lightning: A model-based approach to design space exploration of robot perception systems
Gammaitoni, Loïc; Hochgeschwender, Nico

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

Full Text
See detailAgile Validation of Higher Order Transformations Using F-Alloy
Gammaitoni, Loïc; Kelsen, Pierre; Ma, Qin

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

Top of Page

2015

Full Text
See detailF-Alloy: An Alloy Based Model Transformation Language
Gammaitoni, Loïc; Kelsen, Pierre

in Theory and Practice of Model Transformations (2015)

Full Text
See detailDesigning Languages using Lightning
Gammaitoni, Loïc; Kelsen, Pierre; Glodt, Christian

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

Top of Page

2014

Full Text
See detailThe paradoxes of permission an action based solution
Gabbay, Dov M.; Gammaitoni, Loïc; Sun, Xin

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

Full Text
See detailFunctional Alloy Modules
Gammaitoni, Loïc; Kelsen, Pierre

Report (2014)

Full Text
See detailDomain-Specific Visualization of Alloy Instances
Gammaitoni, Loïc; Kelsen, Pierre

in 4th International ABZ 2014 Conference (2014)

Full Text
See detailVerifying Modelling Languages using Lightning: a Case Study
Gammaitoni, Loïc; Kelsen, Pierre; Mathey, Fabien

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

Top of Page