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

powered by
orbilu.uni.lu

2018

Full Text
See detailEnabling Value Co-Creation in Customer Journeys with VIVA
Razo-Zapata, Iván; Chew, Eng; Ma, Qin; Gammaitoni, Loïc; Proper, Henderik

in Joint International Conference of Service Science and Innovation and Serviceology (2018)

Top of Page

2017

Full Text
See detailF-Alloy: a relational model transformation language based on Alloy
Gammaitoni, Loïc; Kelsen, Pierre

in Software & Systems Modeling (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