Loïc Gammaitoni

Functional Alloy Modules

Pierre Kelsen, Loïc Gammaitoni, 2014 .

Designing languages using lightning

Pierre Kelsen, Loïc Gammaitoni, Christian Glodt, 2015, SLE.

Domain-Specific Visualization of Alloy Instances

Pierre Kelsen, Loïc Gammaitoni, 2014, ABZ.

F-Alloy: a relational model transformation language based on Alloy

Pierre Kelsen, Loïc Gammaitoni, 2017, Software & Systems Modeling.

Verifying Modelling Languages using Lightning: a Case Study

Pierre Kelsen, Loïc Gammaitoni, Fabien Mathey, 2014, MoDeVVa@MoDELS.

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

Loïc Gammaitoni, Nico Hochgeschwender, 2016, 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR).

Agile validation of model transformations using compound F-Alloy specifications

Pierre Kelsen, Qin Ma, Loïc Gammaitoni, 2018, Sci. Comput. Program..

F-Alloy: An Alloy Based Model Transformation Language

Pierre Kelsen, Loïc Gammaitoni, 2015, ICMT.

On the Use of Alloy in Engineering Domain Specific Modeling Languages

Loïc Gammaitoni, L. Gammaitoni, 2017 .

The paradoxes of permission an action based solution

Dov M. Gabbay, Loïc Gammaitoni, Xin Sun, 2014, J. Appl. Log..

Agile Validation of Higher Order Transformations Using F-Alloy

Pierre Kelsen, Qin Ma, Loïc Gammaitoni, 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).