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  (15)
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 (36)

Publications (total 36)

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

31 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

Feltus, C., Ma, Q., Proper, H. A., & Kelsen, P. (2021). Towards AI Assisted Domain Modeling. In Advances in Conceptual Modeling - ER 2021 Workshops CoMoNoS, EmpER CMLS, St. John's, NL, Canada, October 18-21, 2021, Proceedings (pp. 75--89). Springer. doi:10.1007/978-3-030-88358-4_7
Peer reviewed

Kelsen, P., Ma, Q., & Glodt, C. (2020). A Lightweight Modeling Approach Based on Functional Decomposition. Journal of Object Technology, 19 (2), 15:1-22. doi:10.5381/jot.2020.19.2.a15
Peer Reviewed verified by ORBi

Amalio, N., Briand, L., & Kelsen, P. (2019). An experimental scrutiny of visual design modelling: VCL up against UML+OCL. Empirical Software Engineering. doi:10.1007/s10664-019-09784-9
Peer Reviewed verified by ORBi

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

Ma, Q., & Kelsen, P. (2018). Decomposing Models through Dependency Graphs. In 12th International Symposium on Theoretical Aspects of Software Engineering. doi:10.1109/TASE.2018.00026
Peer reviewed

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

Colombo Tosatto, S., Kelsen, P., Ma, Q., el Kharbili, M., Governatori, G., & van der Torre, L. (2015). Algorithms for tractable compliance problems. Frontiers of Computer Science, 9 (1), 55-74. doi:10.1007/s11704-014-3239-y
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

Colombo Tosatto, S., Kelsen, P., & Governatori, G. (2015). Business Process Regulatory Compliance is Hard. IEEE Transactions on Services Computing, 8 (6), 958-970. doi:10.1109/TSC.2014.2341236
Peer reviewed

Ma, Q., Kelsen, P., & Glodt, C. (2015). A generic model decomposition technique and its application to the Eclipse modeling framework. Software and Systems Modeling, 14 (2), 921-952. doi:10.1007/s10270-013-0348-2
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

Colombo Tosatto, S., Kelsen, P., & Governatori, G. (2014). Detecting Deontic Conflicts in Dynamic Settings. In F. Cariani, D. Grossi, J. Meheus, ... X. Parent (Eds.), Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings.
Peer reviewed

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

Qin, M., Schmit, S., Glodt, C., & Kelsen, P. (2014). Combining Models with Code: a Tale of Two Languages. In IEEE International Conference on Global Software Engineeering Workshops (pp. 27-32).
Peer reviewed

Colombo Tosatto, S., Governatori, G., & Kelsen, P. (2013). Towards an Abstract Framework for Compliance. In E. Bagheri, D. Gasevic, S. Halle, M. Hatala, H. R. Motahari Nezhad, ... M. Reichert (Eds.), Proceedings of the 17th IEEE International EDOC 2013 Conference Workshops, Vancouver, Canada, 9 September 2013.
Peer reviewed

Colombo Tosatto, S., El Kharbili, M., Governatori, G., Kelsen, P., Ma, Q., & van der Torre, L. (2013). Algorithms for Basic Compliance Problems. In 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013 (pp. 2-7). doi:10.1109/ICSTW.2013.6
Peer reviewed

Tobias, E., & Kelsen, P. (Ed.). (2012). Visual Modelling of and on Tangible User Interfaces. Luxembourg, Luxembourg: University of Luxembourg.

Amalio, N., Glodt, C., Pinto, F., & Kelsen, P. (2011). Automated Generation of Platform-Variant Applications from Platform-Independent Models via Templates. Electronic Notes in Theoretical Computer Science, 279 (3), 3-25. doi:10.1016/j.entcs.2011.11.035
Peer reviewed

Amalio, N., Glodt, C., & Kelsen, P. (2011). Building VCL Models and Automatically Generating Z Specifications from Them. In Formal Methods - 17th International Symposium on Formal Methods (pp. 149-153). Springer. doi:10.1007/978-3-642-21437-0_13
Peer reviewed

El Kharbili, M., Ma, Q., Kelsen, P., & Pulvermueller, E. (2011). CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. In Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference. IEEE Computer Society Press. doi:10.1109/EDOC.2011.23
Peer reviewed

Kelsen, P., Ma, Q., & Glodt, C. (2011). Models within Models: Taming Model Complexity Using the Sub-model Lattice. In 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011) (pp. 171-185). Bergen, Norway: Odontologforeninga ved Universitetet i Bergen.
Peer reviewed

El Kharbili, M., Ma, Q., Kelsen, P., & Pulvermueller, E. (2011). Enterprise Regulatory Compliance Modeling using CoReL: An illustrative Example. In The 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011. IEEE Computer Society Press. doi:10.1109/CEC.2011.39
Peer reviewed

Amalio, N., & Kelsen, P. (2010). Modular Design by Contract Visually and Formally using VCL. In Visual Languages and Human-Centric Computing (VL/HCC). IEEE. doi:10.1109/VLHCC.2010.39
Peer reviewed

Amalio, N., & Kelsen, P. (2010). Visual behavioral modelling with contracts [Paper presentation]. FLACOS 2010, Pisa, Italy.

Amalio, N., & Kelsen, P. (2010). VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly. In Diagrams 2010 (pp. 282-284). Springer. doi:10.1007/978-3-642-14600-8_29
Peer reviewed

Amalio, N., Kelsen, P., Ma, Q., & Glodt, C. (2010). Using VCL as an Aspect-Oriented Approach to Requirements Modelling. Transactions on Aspect-Oriented Software Development, 7, 151-199. doi:10.1007/978-3-642-16086-8_5
Peer reviewed

Kelsen, P., & Ma, Q. (2010). A Modular Model Composition Technique. In 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (pp. 173-178). Springer.
Peer reviewed

Amalio, N., Kelsen, P., & Ma, Q. (2010). Specifying structural properties and their constraints formally, visually and modularly using VCL. In 15th International Conference, EMMSAD 2010 (pp. 50–261). Springer. doi:10.1007/978-3-642-13051-9_22
Peer reviewed

Glodt, C., Kelsen, P., Amalio, N., & Ma, Q. (2009). From Platform-Independent to Platform-Specific Models using Democles. International Conference on Object-Oriented Programming, Systems, Languages, and Applications. doi:10.1145/1639950.1640019
Peer reviewed

Kelsen, P., & Ma, Q. (2009). Domain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains. In 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering. doi:10.1109/TASE.2009.55
Peer reviewed

Gallina, B., Guelfi, N., & Kelsen, P. (2009). Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33).
Peer reviewed

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.
Peer reviewed

Kelsen, P., Pulvermüller, E., & Glodt, C. (2007). A Declarative Executable Language based on OCL for Specifying the Behaviour of Platform-Independent Models. In ECEASST.
Peer reviewed

Contact ORBilu