Pierre Kelsen

Pierre Kelsen

Ordentlicher Professor

Forschungsthemen Software Engineering, Formal Methods
Fakultät oder Zentrum Fakultät für Naturwissenschaften, Technologie und Kommunikation
Forschungseinheit CSC
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E03 0315-070
E-Mail
Telefon (+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: Mittwoch, den 14. Oktober 2015

powered by
orbilu.uni.lu

2017

Full Text
See detailAgile Validation of Model Transformations using Compound F-Alloy Specifications
Gammaitoni, Loïc; Kelsen, Pierre; Ma, Qin

in Science of Computer Programming (2017)

Top of Page

2016

Full Text
See detailAgile 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 (2016)

Top of Page

2015

Full Text
See detailBusiness Process Regulatory Compliance is Hard
Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido

in IEEE Transactions on Services Computing (2015), 8(6), 958-970

Full Text
See detailAlgorithms 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 (2015), 9(1), 55-74

Full Text
See detailF-Alloy: An Alloy Based Model Transformation Language
Gammaitoni, Loïc; Kelsen, Pierre

in Theory and Practice of Model Transformations (2015)

Full Text
See detailDesigning Languages using Lightning
Gammaitoni, Loïc; Kelsen, Pierre; Glodt, Christian

in Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (2015)

Full Text
See detailA generic model decomposition technique and its application to the Eclipse modeling framework
Ma, Qin; Kelsen, Pierre; Glodt, Christian

in Software & Systems Modeling (2015), 14(2), 921-952

Top of Page

2014

Full Text
See detailDetecting Deontic Conflicts in Dynamic Settings
Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido

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)

Full Text
See detailFunctional Alloy Modules
Gammaitoni, Loïc; Kelsen, Pierre

Report (2014)

Full Text
See detailDomain-Specific Visualization of Alloy Instances
Gammaitoni, Loïc; Kelsen, Pierre

in 4th International ABZ 2014 Conference (2014)

Full Text
See detailVerifying Modelling Languages using Lightning: a Case Study
Gammaitoni, Loïc; Kelsen, Pierre; Mathey, Fabien

in MoDeVVa 2014: Model-Driven Engineering, Verification and Validation (2014)

Full Text
See detailCombining 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 (2014)

Top of Page

2013

Full Text
See detailAlgorithms 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. (2013, March)

Full Text
See detailTowards an Abstract Framework for Compliance
Colombo Tosatto, Silvano; Governatori, Guido; Kelsen, Pierre

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)

Top of Page

2012

Full Text
See detailVisual Modelling of and on Tangible User Interfaces
Tobias, Eric; Kelsen, Pierre

Report (2012)

Top of Page

2011

Full Text
See detailBuilding VCL Models and Automatically Generating Z Specifications from Them
Amalio, Nuno; Glodt, Christian; Kelsen, Pierre

in Formal Methods - 17th International Symposium on Formal Methods (2011)

Full Text
See detailAutomated Generation of Platform-Variant Applications from Platform-Independent Models via Templates
Amalio, Nuno; Glodt, Christian; Pinto, Frederico; Kelsen, Pierre

in Electronic Notes in Theoretical Computer Science (2011), 279(3), 3-25

Full Text
See detailEnterprise Regulatory Compliance Modeling using CoReL: An illustrative Example
El Kharbili, Marwane; Ma, Qin; Kelsen, Pierre; Pulvermueller, Elke

in The 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011 (2011)

Full Text
See detailCoReL: Policy-Based and Model-Driven Regulatory Compliance Management
El Kharbili, Marwane; Ma, Qin; Kelsen, Pierre; Pulvermueller, Elke

in Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference (2011)

Full Text
See detailModels within Models: Taming Model Complexity Using the Sub-model Lattice
Kelsen, Pierre; Ma, Qin; Glodt, Christian

in 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011) (2011)

Top of Page

2010

Full Text
See detailVisual behavioral modelling with contracts
Amalio, Nuno; Kelsen, Pierre

Scientific Conference (2010)

Full Text
See detailModular Design by Contract Visually and Formally using VCL
Amalio, Nuno; Kelsen, Pierre

in Visual Languages and Human-Centric Computing (VL/HCC) (2010)

Full Text
See detailSpecifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL
Amalio, Nuno; Kelsen, Pierre; Ma, Qin

in 15th International Conference, EMMSAD 2010 (2010)

Full Text
See detailUsing VCL as an Aspect-Oriented Approach to Requirements Modelling
Amalio, Nuno; Kelsen, Pierre; Ma, Qin; Glodt, Christian

in Transactions on Aspect-Oriented Software Development (2010), 7

Full Text
See detailA Modular Model Composition Technique
Kelsen, Pierre; Ma, Qin

in 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010) (2010)

Top of Page

2009

Full Text
See detailTowards an Alloy Formal Model for Flexible Advanced Transactional Model Development
Gallina, Barbara; Guelfi, Nicolas; Kelsen, Pierre

in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009)

Full Text
See detailFrom Platform-Independent to Platform-Specific Models using Democles
Glodt, Christian; Kelsen, Pierre; Amalio, Nuno; Ma, Qin

in International Conference on Object-Oriented Programming, Systems, Languages, and Applications (2009)

Full Text
See detailDomain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains
Kelsen, Pierre; Ma, Qin

in 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Top of Page

2008

Full Text
See detailA Lightweight Approach for Defining the Formal Semantics of a Modeling Language
Kelsen, Pierre; Ma, Qin

in ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008) (2008)

Top of Page