Pierre Kelsen
Pierre Kelsen
Professor of Computer Science, University of Luxembourg
Verified email at - Homepage
Cited by
Cited by
A lightweight approach for defining the formal semantics of a modeling language
P Kelsen, Q Ma
International Conference on Model Driven Engineering Languages and Systems …, 2008
On the parallel complexity of computing a maximal independent set in a hypergraph
P Kelsen
Proceedings of the twenty-fourth annual ACM symposium on Theory of Computing …, 1992
Corel: Policy-based and model-driven regulatory compliance management
M El Kharbili, Q Ma, P Kelsen, E Pulvermueller
2011 IEEE 15th International Enterprise Distributed Object Computing …, 2011
Business process regulatory compliance is hard
SC Tosatto, G Governatori, P Kelsen
IEEE Transactions on Services Computing 8 (6), 958-970, 2014
Models within models: Taming model complexity using the sub-model lattice
P Kelsen, Q Ma, C Glodt
International Conference on Fundamental Approaches to Software Engineering …, 2011
An efficient parallel algorithm for computing a maximal independent set in a hypergraph of dimension 3
E Dahlhaus, M Karpinski, P Kelsen
Information Processing Letters 42 (6), 309-313, 1992
Using VCL as an aspect-oriented approach to requirements modelling
N Amálio, P Kelsen, Q Ma, C Glodt
Transactions on aspect-oriented software development VII: a common case …, 2010
Computing minimal spanning subgraphs in linear time
X Han, P Kelsen, V Ramachandran, R Tarjan
SIAM Journal on Computing 24 (6), 1332-1358, 1995
An optimal parallel algorithm for maximal matching
P Kelsen
Information Processing Letters 52 (4), 223-228, 1994
F-alloy: An alloy based model transformation language
L Gammaitoni, P Kelsen
Theory and Practice of Model Transformations: 8th International Conference …, 2015
A modular model composition technique
P Kelsen, Q Ma
Fundamental Approaches to Software Engineering: 13th International …, 2010
Modular design by contract visually and formally using VCL
N Amálio, P Kelsen
2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 227-234, 2010
Domain-specific visualization of alloy instances
L Gammaitoni, P Kelsen
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014
A generic model decomposition technique and its application to the Eclipse modeling framework
Q Ma, P Kelsen, C Glodt
Software & Systems Modeling 14, 921-952, 2015
Approximate hypergraph coloring
P Kelsen, S Mahajan, H Ramesh
Scandinavian Workshop on Algorithm Theory, 41-52, 1996
On finding minimal 2-connected subgraphs
P Kelsen, V Ramachandran
Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms …, 1991
Building VCL models and automatically generating Z specifications from them
N Amálio, C Glodt, P Kelsen
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
Approximate Hypergraph Coloring.
N Alon, P Kelsen, S Mahajan, R Hariharan
Nord. J. Comput. 3 (4), 425-439, 1996
Verifying modelling languages using lightning: a case study
L Gammaitoni, P Kelsen, F Mathey
11th Workshop on Model Design, Verification and Validation Integrating …, 2014
Coloring 2-colorable hypergraphs with a sublinear number of colors
N Alon, P Kelsen, S Mahajan, H Ramesh
Nordic Journal of Computing 3, 425-439, 1996
The system can't perform the operation now. Try again later.
Articles 1–20