Home // Research // FSTC // Laboratory o... // Members // Pierre Kelsen

Pierre Kelsen

Professor

University of Luxembourg

Faculté des Sciences, de la Technologie et de la Communication
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg

Research Unit :	CSC
Office :	Campus Kirchberg, L 106
Telephone :	(+352) 46 66 44 5284
Email :

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

Research

Software Complexity, Model-Driven Engineering, Formal Methods; Algorithms and Complexity; Combinatorial Methods; Algorithmic Graph Theory

Research Projects

COMPEX (current): Model Composition for Executable Modeling
MARCO (current): Managing Regulatory Compliance: a Business-Centred Approach
MEDAL (past): Model-Driven Engineering using a Declarative Behavioural Description Language
DASCOM (past): Declarative Approaches to Software Complexity
FACTORS (past): Fundamental Approaches to the Complexity of Object-Oriented Software

Teaching

Object-Oriented Programming, Algorithms and Data Structures, Formal Methods (master), Model-Driven Software Development (master)

Representative Publications

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