Pierre Kelsen

Pierre Kelsen

Professor

Research Topics Software Engineering, Formal Methods
Faculty or Centre Faculté des Sciences, de la Technologie et de la Communication
Research Unit CSC
Postal Address Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Campus Office L 106
Email
Telephone (+352) 46 66 44 5284
Joined the University in 2003

Curriculum Vitae

 

Professional Career

  • 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: Friday, 09 May 2014

powered by
orbilu.uni.lu

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 detailFunctional Alloy Modules
Gammaitoni, Loïc; Kelsen, Pierre

Report (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

Scientific Conference (2013, March)

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

in 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 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 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 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 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 detailVisual behavioral modelling with contracts
Amalio, Nuno; Kelsen, Pierre

Scientific Conference (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 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