Back
  1. Home
  2. Profile of Loïc GAMMAITONI (Unilu)
Profil

GAMMAITONI Loïc

Main Referenced Co-authors
KELSEN, Pierre  (8)
Ma, Qin (2)
Chew, Eng (1)
GABBAY, Dov M.  (1)
GLODT, Christian  (1)
Main Referenced Keywords
Alloy (9); model transformation (6); F-Alloy (5); validation (4); verification (4);
Main Referenced Disciplines
Computer science (12)

Publications (total 12)

The most downloaded
682 downloads
Gammaitoni, L., & Kelsen, P. (2014). Functional Alloy Modules. (TR-LASSY-14-02). Luxembourg, Luxembourg: University of Luxembourg. https://hdl.handle.net/10993/16386

The most cited

12 citations (Scopus®)

Gammaitoni, L., & Kelsen, P. (2015). F-Alloy: An Alloy Based Model Transformation Language. In Theory and Practice of Model Transformations. Springer. doi:10.1007/978-3-319-21155-8_13 https://hdl.handle.net/10993/23476

Gammaitoni, L., & Kelsen, P. (2019). F-Alloy: a relational model transformation language based on Alloy. Software and Systems Modeling, 18 (1), 213-247. doi:10.1007/s10270-017-0630-9
Peer Reviewed verified by ORBi

Razo-Zapata, I. N., Chew, E., Ma, Q., Gammaitoni, L., & Proper, H. (2018). Enabling Value Co-Creation in Customer Journeys with VIVA. In Joint International Conference of Service Science and Innovation and Serviceology.
Peer reviewed

Gammaitoni, L. (2017). On the Use of Alloy in Engineering Domain Specific Modeling Languages [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/33322

Gammaitoni, L., Kelsen, P., & Ma, Q. (2017). Agile Validation of Model Transformations using Compound F-Alloy Specifications. Science of Computer Programming. doi:10.1016/j.scico.2017.07.001
Peer reviewed

Gammaitoni, L., Kelsen, P., & Ma, Q. (2016). Agile Validation of Higher Order Transformations Using F-Alloy. In Agile Validation of Higher Order Transformations Using F-Alloy. doi:10.1109/TASE.2016.21
Peer reviewed

Gammaitoni, L., & Hochgeschwender, N. (2016). RPSL meets lightning: A model-based approach to design space exploration of robot perception systems. In RPSL meets lightning: A model-based approach to design space exploration of robot perception systems.
Peer reviewed

Gammaitoni, L., Kelsen, P., & Glodt, C. (2015). Designing Languages using Lightning. In Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering. ACM. doi:10.1145/2814251.2814268
Peer reviewed

Gammaitoni, L., & Kelsen, P. (2015). F-Alloy: An Alloy Based Model Transformation Language. In Theory and Practice of Model Transformations. Springer. doi:10.1007/978-3-319-21155-8_13
Peer reviewed

Gammaitoni, L., & Kelsen, P. (2014). Functional Alloy Modules. (TR-LASSY-14-02). Luxembourg, Luxembourg: University of Luxembourg.

Gammaitoni, L., & Kelsen, P. (2014). Domain-Specific Visualization of Alloy Instances. In 4th International ABZ 2014 Conference.
Peer reviewed

Gabbay, D. M.* , Gammaitoni, L.* , & Sun, X.*. (2014). The paradoxes of permission an action based solution. Journal of Applied Logic, 12 (2), 179–191. doi:10.1016/j.jal.2014.01.003
Peer reviewed
* These authors have contributed equally to this work.

Gammaitoni, L., Kelsen, P., & Mathey, F. (2014). Verifying Modelling Languages using Lightning: a Case Study. In MoDeVVa 2014: Model-Driven Engineering, Verification and Validation (pp. 19-28).
Peer reviewed

Contact ORBilu