Loïc Gammaitoni

According to our database, Loïc Gammaitoni authored at least 10 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

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

Loïc Gammaitoni, Pierre Kelsen

Softw. Syst. Model., 2019

2018

Agile validation of model transformations using compound F-Alloy specifications.

Loïc Gammaitoni, Pierre Kelsen, Qin Ma

Sci. Comput. Program., 2018

2017

On the Use of Alloy in Engineering Domain Specific Modeling Languages.

Loïc Gammaitoni

PhD thesis, 2017

2016

Agile Validation of Higher Order Transformations Using F-Alloy.

Loïc Gammaitoni, Pierre Kelsen, Qin Ma

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

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

Loïc Gammaitoni, Nico Hochgeschwender

Proceedings of the 2016 IEEE International Conference on Simulation, 2016

2015

Designing languages using lightning.

Loïc Gammaitoni, Pierre Kelsen, Christian Glodt

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

F-Alloy: An Alloy Based Model Transformation Language.

Loïc Gammaitoni, Pierre Kelsen

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

The paradoxes of permission an action based solution.

Dov M. Gabbay, Loïc Gammaitoni, Xin Sun

J. Appl. Log., 2014

Verifying Modelling Languages using Lightning: a Case Study.

Loïc Gammaitoni, Pierre Kelsen, Fabien Mathey

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Domain-Specific Visualization of Alloy Instances.

Loïc Gammaitoni, Pierre Kelsen

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014