Head

Pierre KELSEN

Full professor

Researcher

Qin MA

Research scientist

Research Associate

Christian GLODT

Research (and development) specialist

Past Members

Nuno Amalio

Research Scientist

Moussa Amrani

Doctoral Candidate

Sybren DE KINDEREN

Researcher

Vasco Da Silva De Sousa

Research Scientist

Marwane El Kharbili

Doctoral Candidate

Loïc GAMMAITONI

Doctoral Candidate

In Press

Journal Article

• e3-service: an ontology for needs-driven real-world service bundling in a multi-supplier setting, De Kinderen Sybren, de Leenheer Pieter, Gordijn Jaap, Akkermans Hans, Meiland Franka, Droes Rose-Marie. In: Applied Ontology, IOS Press.

2020

Journal Article

• A Lightweight Modeling Approach Based on Functional Decomposition, Kelsen Pierre, Ma Qin, Glodt Christian. In: Journal of Object Technology, ETH Zurich.
• A Modeling Method in Support of Strategic Analysis in the Realm of Enterprise Modeling - On the Example of Blockchain-Based Initiatives for the Electricity Sector, de Kinderen Sybren, Kaczmarek-Heß Monika, Ma Qin, Razo-Zapata Ivan. In: Enterprise Modelling and Information Systems Architectures.

Conference Paper

• Towards Extending the Validation Possibilities of ADOxx with Alloy, de Kinderen Sybren, Ma Qin, Kaczmarek-Heß Monika. In: Lecture Notes in Business Information Processing 400, Springer.

2019

Journal Article

• An experimental scrutiny of visual design modelling: VCL up against UML+OCL, Amalio Nuno, Briand Lionel, Kelsen Pierre. In: Empirical Software Engineering, Springer Nature.
• F-Alloy: a relational model transformation language based on Alloy, Gammaitoni Loïc, Kelsen Pierre. In: Software & Systems Modeling, Springer Science & Business Media B.V..

Conference Paper

• Strategic Analysis in the Realm of Enterprise Modeling – On the Example of Blockchain-Based Initiatives for the Electricity Sector, de Kinderen Sybren, Kaczmarek-Heß Monika, Razo-Zapata Ivan, Ma Qin. In: WIRTSCHAFTSINFORMATIK 2019 PROCEEDINGS, AIS.

Thesis

• Timing-aware Model Based Design with Application to Automotive Embedded Systems, Sundharam Sakthivel Manikandan, Jury: Navet Nicolas (Promotor), Kelsen Pierre (President), Le Traon Yves (Member), Altmeyer Sebastian (Member), Grolleau Emmanuel (Member).

2018

Conference Paper

• Decomposing Models through Dependency Graphs, Ma Qin, Kelsen Pierre. In: 12th International Symposium on Theoretical Aspects of Software Engineering.
• Enabling Value Co-Creation in Customer Journeys with VIVA, Razo-Zapata Iván, Chew Eng, Ma Qin, Gammaitoni Loïc, Proper Henderik. In: Joint International Conference of Service Science and Innovation and Serviceology.
• Modeling in Support of Multi-Perspective Valuation of Smart Grid Initiatives, Kaczmarek-Heß Monika, de Kinderen Sybren, Ma Qin, Razo-Zapata Iván. In: IEEE 12th International Conference on Research Challenges in Information Science.
• Towards Purposeful Enterprise Modeling for Enterprise Analysis, de Kinderen Sybren, Ma Qin. In: 2018 International Conference on Information Management & Management Science.

Thesis

• Evaluating Vulnerability Prediction Models, Jimenez Matthieu, Jury: Le Traon Yves (Promotor), Kelsen Pierre (President), Papadakis Mike (Member), Sarro Federica (Member), Blanc Xavier (Member).

2017

Journal Article

• Agile Validation of Model Transformations using Compound F-Alloy Specifications, Gammaitoni Loïc, Kelsen Pierre, Ma Qin. In: Science of Computer Programming, Elsevier Science.

Conference Paper

• The Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study, Razo-Zapata Iván S., Ma Qin, Kaczmarek-Heß Monika, de Kinderen Sybren. In: 19th IEEE Conference on Business Informatics, CBI 2017, Thessaloniki, Greece, July 24-27, 2017, Volume 2: Workshop Papers.
• Towards Meta Model Provenance: a Goal-Driven Approach to Document the Provenance of Meta Models, de Kinderen Sybren, Kaczmarek-Heß Monika, Ma Qin, Razo-Zapata Iván S.. In: Lecture Notes in Business Information Processing 305, Springer.

Thesis

• Integration of the analysis of non-functional properties in Model-Driven Engineering for embedded systems, Brau Guillaume, Jury: Navet Nicolas (Promotor), Hugues Jérôme (Promotor), Kelsen Pierre (President), de Saqui-Sannes Pierre (Member), Grolleau Emmanuel (Member), Singhoff Frank (Member).
• On the Use of Alloy in Engineering Domain Specific Modeling Languages, Gammaitoni Loïc, Jury: Kelsen Pierre (Promotor), Sorger Ulrich (President), Combemale Benoit (Member), Cuhna Alcino (Member), Navet Nicolas (Member).

2016

Conference Paper

• Agile Validation of Higher Order Transformations Using F-Alloy, Gammaitoni Loïc, Kelsen Pierre, Ma Qin. In: Agile Validation of Higher Order Transformations Using F-Alloy.
• Goal-Based Decision Making Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis, Ma Qin, de Kinderen Sybren. In: In Proceedings of the 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (LNCS 9619).
• RPSL meets lightning: A model-based approach to design space exploration of robot perception systems, Gammaitoni Loïc, Hochgeschwender Nico. In: RPSL meets lightning: A model-based approach to design space exploration of robot perception systems.

2015

Journal Article

• A generic model decomposition technique and its application to the Eclipse modeling framework, Ma Qin, Kelsen Pierre, Glodt Christian. In: Software & Systems Modeling, Springer Science & Business Media B.V..
• Algorithms for tractable compliance problems, Colombo Tosatto Silvano, Kelsen Pierre, Ma Qin, el Kharbili Marwane, Governatori Guido, van der Torre Leon. In: Frontiers of Computer Science.
• Business Process Regulatory Compliance is Hard[alt. 1], Colombo Tosatto Silvano, Kelsen Pierre, Governatori Guido. In: IEEE Transactions on Services Computing.
• Requirements Engineering for the Design of Conceptual Modeling Languages - a goal- and value-oriented approach, De Kinderen Sybren, Ma Qin. In: Applied Ontology.

Conference Paper

• A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions, Plataniotis Georgios, De Kinderen Sybren, Ma Qin, Proper Erik. In: Proceedings of the 17th IEEE Conference on Business Informatics, Lisbon Portugal, July 13-16, 2015, Volume 1.
• Designing Languages using Lightning, Gammaitoni Loïc, Kelsen Pierre, Glodt Christian. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, ACM.
• F-Alloy: An Alloy Based Model Transformation Language, Gammaitoni Loïc, Kelsen Pierre. In: Theory and Practice of Model Transformations, Springer.
• Traceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective, Plataniotis Georgios, De Kinderen Sybren, Ma Qin, Proper Henderik. In: Ninth IEEE conference on Research Challenges in Information Systems (RCIS 2015), Athens, May 13-15, 2015.

Thesis

• Analysis and Development of Autonomous Systems with the Help of Proactive Computing, Müller Marlene Carina, Jury: Zampunieris Denis (Promotor), Kelsen Pierre (Member), Botev Jean (Member).
• Model-Driven Security With Modularity and Reusability For Engineering Secure Software Systems, Nguyen Phu Hong, Jury: Le Traon Yves (Promotor), Klein Jacques (Promotor), Kelsen Pierre (President), Kienzle Joerg (Member), Scandariato Riccardo (Member).
• Poles Apart : Navigating the Space of Opinions in Argumentation, Podlaszewski Mikołaj, Jury: van der Torre Leon (Promotor), Caminada Martin (Promotor), Booth Richard (Promotor), Kelsen Pierre (President), Hunter Anthony (Member), Modgil Sanjay (Member).

2014

Book Chapter

• Advances in Model-Driven Security, Lucio Levi, Zhang Qin, Nguyen Phu Hong, Amrani Moussa, Klein Jacques, Vangheluwe Hans, Le Traon Yves, Memon Atif (Editor). In: Advances in Computers, Elsevier.

Journal Article

• A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification, Amrani Moussa, Lúcio Lévi, Selim Gehan, Combemale Benoît, Dingel Jürgen, Vangheluwe Hans, Le Traon Yves, Cordy James. In: Journal of Technology.
• EA anamnesis An Approach for Decision Making Analysis in Enterprise Architecture, Plataniotis Georgios, De Kinderen Sybren, Proper Hendrik A.. In: International Journal of Information Systems Modeling and Design.
• Model Transformation Intents and Their Properties, Lúcio Lévi, Amrani Moussa, Dingel Jürgen, Lambers Leen, Salay Rick, Selim Gehan, Syriani Eugene, Wimmer Manuel. In: Software & Systems Modeling.
• The paradoxes of permission an action based solution, Gabbay Dov M., Gammaitoni Loïc, Sun Xin. In: Journal of Applied Logic, Elsevier.

Conference Paper

• A computational approach for design rationalization in Enterprise Architecture, Plataniotis Georgios, De Kinderen Sybren, Proper Henderik A.. In: IEEE Eighth International Conference on Research Challenges in Information Science, Marrakesh May 28-30, 2014, IEEE.
• A Flexible MDE approach to Enforce Fine- grained Security Policies, Elrakaiby Yehia, Amrani Moussa, Le Traon Yves. In: Proceedings of the International Symposium on Engineering Secure Software and Systems.
• Capturing Design Rationales in Enterprise Architecture: A Case Study, Plataniotis Georgios, De Kinderen Sybren, Proper Henderik. In: 7th IFIP WG 8.1 Working Conference, PoEM 2014, Manchester, UK, November 12-13.
• Combining Models with Code: a Tale of Two Languages, Qin Ma, Schmit Sam, Glodt Christian, Kelsen Pierre. In: IEEE International Conference on Global Software Engineeering Workshops.
• Detecting Deontic Conflicts in Dynamic Settings, Colombo Tosatto Silvano, Kelsen Pierre, Governatori Guido, Cariani Fabrizio (Editor), Grossi Davide (Editor), Meheus Joke (Editor), Parent Xavier (Editor). In: Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings.
• Domain-Specific Visualization of Alloy Instances, Gammaitoni Loïc, Kelsen Pierre. In: 4th International ABZ 2014 Conference.
• Implementing a Software Prototype for Enterprise Architecture Rationalization: Lessons Learned, Plataniotis Georgios, De Kinderen Sybren, Proper Henderik A.. In: 9th workshop on Trends in Enterprise Architecture (TEAR 2014), Ulm 1-2 september 2014, IEEE.
• Security@Runtime: A flexible MDE approach to enforce fine-grained security policies, Elrakaiby Yehia, Amrani Moussa, Le Traon Yves. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
• The impact of cultural differences on enterprise architecture effectiveness: a case study, Faller Hella, De Kinderen Sybren. In: 8th MCIS conference, Verona, Italy, 3-5 september 2014.
• Towards An Analysis Driven Approach for Adapting Enterprise Architecture Languages, De Kinderen Sybren, Ma Qin. In: 6th international EMISA workshop, Luxembourg-ville, 25 to 26 september 2014, EMISA.
• Verifying Modelling Languages using Lightning: a Case Study, Gammaitoni Loïc, Kelsen Pierre, Mathey Fabien. In: MoDeVVa 2014: Model-Driven Engineering, Verification and Validation.

Thesis

• SUPPORTING INTERDISCIPLINARY SYSTEM DEVELOPMENT THROUGH INTEGRATED FUNCTION MODELLING, Eisenbart Boris, Jury: Blessing Lucienne (Promotor), Voos Holger (President), Kelsen Pierre (Member), McAloone Timothy (Member), Weber Christian (Member).

2013

Conference Paper

• Algorithms for Basic Compliance Problems, Colombo Tosatto Silvano, El Kharbili Marwane, Governatori Guido, Kelsen Pierre, Ma Qin, van der Torre Leon. In: 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013..
• Relaxing Behavioural Inheritance, Amalio Nuno. In: Electronic Proceedings in Theoretical Computer Science [=EPTCS], Open Publishing Association.
• Towards an Abstract Framework for Compliance, Colombo Tosatto Silvano, Governatori Guido, Kelsen Pierre, Bagheri Ebrahim (Editor), Gasevic Dragan (Editor), Halle Sylvain (Editor), Hatala Marek (Editor), Motahari Nezhad Hamid R. (Editor), Reichert Manfred (Editor). In: Proceedings of the 17th IEEE International EDOC 2013 Conference Workshops, Vancouver, Canada, 9 September 2013..

Thesis

• Enterprise management of regulatory compliance : a model-driven framework for policy-based regulatory compliance management in business process-centered enterprise models, El Kharbili Marwane, Jury: Kelsen Pierre (Promotor), Pulvermüller Elke (Promotor).
• Towards the Formal Verification of Model Transformations: An Application to Kermeta, Amrani Moussa, Jury: Kelsen Pierre (Promotor).