Back
  1. Home
  2. Profile of Pierre KELSEN (Unilu)
Profil

KELSEN Pierre

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Main Referenced Co-authors
MA, Qin  (16)
GLODT, Christian  (10)
AMALIO, Nuno  (9)
GAMMAITONI, Loïc  (8)
COLOMBO TOSATTO, Silvano  (5)
Main Referenced Keywords
Alloy (7); model transformation (6); F-Alloy (4); formal modelling (3); verification (3);
Main Referenced Disciplines
Computer science (37)

Publications (total 37)

The most cited

32 citations (Scopus®)

KELSEN, P., & MA, Q. (2008). A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008) (pp. 690-704). Heidelberg. https://hdl.handle.net/10993/2827

Contact ORBilu