Domain-Specific Visualization of Alloy Instances. - Loïc Gammaitoni; Pierre Kelsen (ABZ, 2014)

Verifying Modelling Languages using Lightning: a Case Study. - Loïc Gammaitoni; Pierre Kelsen; Fabien Mathey (MoDeVVa@MoDELS, 2014)

The paradoxes of permission an action based solution. - Dov M. Gabbay; Loïc Gammaitoni; Xin Sun 001 (J. Appl. Log., 2014)

F-Alloy: An Alloy Based Model Transformation Language. - Loïc Gammaitoni; Pierre Kelsen (ICMT, 2015)

Designing languages using lightning. - Loïc Gammaitoni; Pierre Kelsen; Christian Glodt (SLE, 2015)

RPSL meets lightning: A model-based approach to design space exploration of robot perception systems. - Loïc Gammaitoni; Nico Hochgeschwender (SIMPAR, 2016)

Agile Validation of Higher Order Transformations Using F-Alloy. - Loïc Gammaitoni; Pierre Kelsen; Qin Ma 002 (TASE, 2016)

On the Use of Alloy in Engineering Domain Specific Modeling Languages. - Loïc Gammaitoni (2017)

Agile validation of model transformations using compound F-Alloy specifications. - Loïc Gammaitoni; Pierre Kelsen; Qin Ma 002 (Sci. Comput. Program., 2018)

F-Alloy: a relational model transformation language based on Alloy. - Loïc Gammaitoni; Pierre Kelsen (Softw. Syst. Model., 2019)