Prof. Dr. Pierre Kelsen
|
|
||||||
| Faculté ou Centre | Faculté des Sciences, des Technologies et de Médecine | ||||||
| Department | Département Informatique | ||||||
| Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||||
| Bureau sur le campus | MNO, E03 0315-070 | ||||||
|
|||||||
| Téléphone | (+352) 46 66 44 5284 | ||||||
Curriculum Vitae
- Professor at UL since 2000, Computer Science and Communication Group
- Post-Doctoral Fellow, University of British Columbia, Vancouver, Canada and Max-Planck-Institut für Informatik, Saarbrücken, Germany.
- Ph.D. in Computer Science from University of Illinois at Urbana-Champaign in 1993 (advisor: Prof. Vijaya Ramachandran)
- M.Sc. in Computer Science from University of Illinois at Urbana-Champaign in 1989
- Diploma in Computer Science from University of Karlsruhe in 1986
Duties
- Study Director of the Master in Information and Computer Sciences (mics.uni.lu) since 2009
- Head of the Laboratory for Advanced Software Systems within the Computer Science and Communications Research Unit
Research
- Software Complexity, Model-Driven Engineering, Formal Methods; Algorithms and Complexity; Combinatorial Methods; Algorithmic Graph Theory
Recent Research Projects
- ASINE (2013 - present):
- Funding Source: FNR Pearl
- Title: Architecture-based Service Innovation in Networked Enterprises (ASINE) (together with CRP Henri Tudor)
- MaRCo (2010 - 2013):
- Funding Source: FNR Core
- Title: Managing Regulatory Compliance: a Business-Centred Approach
Teaching
- Object-Oriented Programming, Algorithms and Data Structures, Formal Methods (master), Model-Driven Software Development (master)
Representative Publications
See ORBi for a more complete list.
- Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermueller: CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. EDOC 2011: 247-256
- Pierre Kelsen, Qin Ma, Christian Glodt: Models within Models: Taming Model Complexity Using the Sub-model Lattice. FASE 2011: 171-185
- Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt: Using VCL as an Aspect-Oriented Approach to Requirements Modelling. T. Aspect-Oriented Software Development 7: 151-199 (2010)
- Pierre Kelsen, Qin Ma: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. MoDELS 2008: 690-704
- P. Kelsen, E. Pulvermueller, and C. Glodt. Specifying executable platform-independent models using OCL. ECEASST 2008(9), 2007.
- Christian Glodt, Pierre Kelsen, Elke Pulvermueller: DEMOCLES: a tool for executable modeling of platform-independent systems. OOPSLA Companion 2007: 870-871
- Pierre Kelsen: A declarative executable model for object-based systems based on functional decomposition.ICSOFT 2006: 63-71
- Pierre Kelsen: A Simple Static Model for Understanding the Dynamic Behavior of Programs. IWPC 2004: 46-51
- Pierre Kelsen: An Information-Based View of Representational Coupling in Object-Oriented Systems. FASE 2003: 216-230
- Noga Alon, Pierre Kelsen, Sanjeev Mahajan, Hariharan Ramesh, Coloring 2-colorable hypergraphs with a sublinear number of colors, Nordic Journal of Computing, Volume 3, Issue 4, 1996, Pages: 425 - 439.
- Xiaofeng Han, Pierre Kelsen, Vijaya Ramachandran, Robert Endre Tarjan: Computing Minimal Spanning Subgraphs in Linear Time. SIAM J. Comput. 24(6): 1332-1358 (1995)
- Pierre Kelsen, Vijaya Ramachandran: On Finding Minimal Two-Connected Subgraphs. J. Algorithms 18(1): 1-49 (1995)
- Pierre Kelsen: On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph. STOC 1992: 339-350
Last updated on: mercredi 14 octobre 2015
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 (2021)
2020
A Lightweight Modeling Approach Based on Functional Decomposition; ;
in Journal of Object Technology (2020), 19(2), 151-22
2019
An experimental scrutiny of visual design modelling: VCL up against UML+OCL; ;
in Empirical Software Engineering (2019)
F-Alloy: a relational model transformation language based on Alloy;
in Software and Systems Modeling (2019), 18(1), 213-247
2018
Decomposing Models through Dependency Graphs;
in 12th International Symposium on Theoretical Aspects of Software Engineering (2018)
2017
Agile Validation of Model Transformations using Compound F-Alloy Specifications; ;
in Science of Computer Programming (2017)
2016
Agile Validation of Higher Order Transformations Using F-Alloy; ;
in Agile Validation of Higher Order Transformations Using F-Alloy (2016)
2015
Business Process Regulatory Compliance is Hard; ;
in IEEE Transactions on Services Computing (2015), 8(6), 958-970
Algorithms for tractable compliance problems; ; ; ; ;
in Frontiers of Computer Science (2015), 9(1), 55-74
F-Alloy: An Alloy Based Model Transformation Language;
in Theory and Practice of Model Transformations (2015)
Designing Languages using Lightning; ;
in Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (2015)
A generic model decomposition technique and its application to the Eclipse modeling framework; ;
in Software and Systems Modeling (2015), 14(2), 921-952
2014
Detecting Deontic Conflicts in Dynamic Settings; ;
in Cariani, Fabrizio; Grossi, Davide; Meheus, Joke; Parent, Xavier (Eds.) Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)
Verifying Modelling Languages using Lightning: a Case Study; ;
in MoDeVVa 2014: Model-Driven Engineering, Verification and Validation (2014)
Combining Models with Code: a Tale of Two Languages; ; ;
in IEEE International Conference on Global Software Engineeering Workshops (2014)
2013
Algorithms for Basic Compliance Problems; ; ; ; ;
in 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013. (2013, March)
Towards an Abstract Framework for Compliance; ;
in Bagheri, Ebrahim; Gasevic, Dragan; Halle, Sylvain; Hatala, Marek; Motahari Nezhad, Hamid R.; Reichert, Manfred (Eds.) Proceedings of the 17th IEEE International EDOC 2013 Conference Workshops, Vancouver, Canada, 9 September 2013. (2013, September 09)
2012
2011
Building VCL Models and Automatically Generating Z Specifications from Them; ;
in Formal Methods - 17th International Symposium on Formal Methods (2011)
Automated Generation of Platform-Variant Applications from Platform-Independent Models via Templates; ; ;
in Electronic Notes in Theoretical Computer Science (2011), 279(3), 3-25
Enterprise Regulatory Compliance Modeling using CoReL: An illustrative Example; ; ;
in The 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011 (2011)
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management; ; ;
in Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference (2011)
Models within Models: Taming Model Complexity Using the Sub-model Lattice; ;
in 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011) (2011)
2010
VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly;
in Diagrams 2010 (2010)
Modular Design by Contract Visually and Formally using VCL;
in Visual Languages and Human-Centric Computing (VL/HCC) (2010)
Specifying structural properties and their constraints formally, visually and modularly using VCL; ;
in 15th International Conference, EMMSAD 2010 (2010)
Using VCL as an Aspect-Oriented Approach to Requirements Modelling; ; ;
in Transactions on Aspect-Oriented Software Development (2010), 7
A Modular Model Composition Technique;
in 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (2010)
2009
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development; ;
in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009)
From Platform-Independent to Platform-Specific Models using Democles; ; ;
in International Conference on Object-Oriented Programming, Systems, Languages, and Applications (2009)
Domain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains;
in 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)
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) (2008)
