Loïc Gammaitoni

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 4

Top Topics

Relational Model

Syntactic And Semantic Dependencies

Virtual Colonoscopy

Top Venues

Sci. Comput. Program.

University of Luxembourg (PHD)

Education History

University of Luxembourg

PHD

Publications

Loïc Gammaitoni, Pierre Kelsen
F-Alloy: a relational model transformation language based on Alloy. Softw. Syst. Model. 18 (1) (2019)
Loïc Gammaitoni, Pierre Kelsen, Qin Ma
Agile validation of model transformations using compound F-Alloy specifications. Sci. Comput. Program. 162 (2018)
Loïc Gammaitoni, Pierre Kelsen, Qin Ma
Agile Validation of Higher Order Transformations Using F-Alloy. TASE (2016)
Loïc Gammaitoni, Nico Hochgeschwender
RPSL meets lightning: A model-based approach to design space exploration of robot perception systems. SIMPAR (2016)
Loïc Gammaitoni, Pierre Kelsen, Christian Glodt
Designing languages using lightning. SLE (2015)
Loïc Gammaitoni, Pierre Kelsen
F-Alloy: An Alloy Based Model Transformation Language. ICMT (2015)
Loïc Gammaitoni, Pierre Kelsen, Fabien Mathey
Verifying Modelling Languages using Lightning: a Case Study. MoDeVVa@MoDELS (2014)
Loïc Gammaitoni, Pierre Kelsen
Domain-Specific Visualization of Alloy Instances. ABZ (2014)
Dov M. Gabbay, Loïc Gammaitoni, Xin Sun
The paradoxes of permission an action based solution. J. Appl. Log. 12 (2) (2014)