Pierre Kelsen

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 7

Top Topics

Modeling Framework

Dependency Graphs

Top Venues

Softw. Syst. Model.

IEEE Trans. Serv. Comput.

ICGSE Workshops

Publications

Christophe Feltus, Qin Ma, Henderik A. Proper, Pierre Kelsen
Towards AI Assisted Domain Modeling. ER (Workshops) (2021)
Pierre Kelsen, Qin Ma, Christian Glodt
A Lightweight Modeling Approach Based on Functional Decomposition. J. Object Technol. 19 (2) (2020)
Nuno Amálio, Lionel C. Briand, Pierre Kelsen
An experimental scrutiny of visual design modelling: VCL up against UML+OCL. Empir. Softw. Eng. 25 (2) (2020)
Loïc Gammaitoni, Pierre Kelsen
F-Alloy: a relational model transformation language based on Alloy. Softw. Syst. Model. 18 (1) (2019)
Loïc Gammaitoni, Pierre Kelsen, Qin Ma
Agile validation of model transformations using compound F-Alloy specifications. Sci. Comput. Program. 162 (2018)
Qin Ma, Pierre Kelsen
Decomposing Models Through Dependency Graphs. TASE (2018)
Loïc Gammaitoni, Pierre Kelsen, Qin Ma
Agile Validation of Higher Order Transformations Using F-Alloy. TASE (2016)
Qin Ma, Pierre Kelsen, Christian Glodt
A generic model decomposition technique and its application to the Eclipse modeling framework. Softw. Syst. Model. 14 (2) (2015)
Loïc Gammaitoni, Pierre Kelsen, Christian Glodt
Designing languages using lightning. SLE (2015)
Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre
Algorithms for tractable compliance problems. Frontiers Comput. Sci. 9 (1) (2015)
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
Business Process Regulatory Compliance is Hard. IEEE Trans. Serv. Comput. 8 (6) (2015)
Loïc Gammaitoni, Pierre Kelsen
F-Alloy: An Alloy Based Model Transformation Language. ICMT (2015)
Loïc Gammaitoni, Pierre Kelsen, Fabien Mathey
Verifying Modelling Languages using Lightning: a Case Study. MoDeVVa@MoDELS (2014)
Loïc Gammaitoni, Pierre Kelsen
Domain-Specific Visualization of Alloy Instances. ABZ (2014)
Qin Ma, Sam Schmit, Christian Glodt, Pierre Kelsen
Combining Models with Code: A Tale of Two Languages. ICGSE Workshops (2014)
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
Detecting Deontic Conflicts in Dynamic Settings. DEON (2014)
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
Towards an Abstract Framework for Compliance. EDOC Workshops (2013)
Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre
Algorithms for Basic Compliance Problems. ICST Workshops (2013)
Nuno Amálio, Christian Glodt, Frederico Pinto, Pierre Kelsen
Platform-Variant Applications from Platform-Independent Models via Templates. Electron. Notes Theor. Comput. Sci. 279 (3) (2011)
Pierre Kelsen, Qin Ma, Christian Glodt
Models within Models: Taming Model Complexity Using the Sub-model Lattice. FASE (2011)
Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. EDOC (2011)
Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermüller
Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example. CEC (2011)
Nuno Amálio, Christian Glodt, Pierre Kelsen
Building VCL Models and Automatically Generating Z Specifications from Them. FM (2011)
Nuno Amálio, Pierre Kelsen, Qin Ma
Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. BMMDS/EMMSAD (2010)
Pierre Kelsen, Qin Ma
A Modular Model Composition Technique. FASE (2010)
Nuno Amálio, Pierre Kelsen, Qin Ma, Christian Glodt
Using VCL as an Aspect-Oriented Approach to Requirements Modelling. LNCS Trans. Aspect Oriented Softw. Dev. 7 (2010)
Nuno Amálio, Pierre Kelsen
VCL, a Visual Language for Modelling Software Systems Formally. Diagrams (2010)
Nuno Amálio, Pierre Kelsen
Modular Design by Contract Visually and Formally Using VCL. VL/HCC (2010)
Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma
From platform-independent to platform-specific models using democles. OOPSLA Companion (2009)
Barbara Gallina, Nicolas Guelfi, Pierre Kelsen
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. SEW (2009)
Pierre Kelsen, Qin Ma
Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. TASE (2009)
Pierre Kelsen, Qin Ma
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. MoDELS (2008)
Pierre Kelsen, Elke Pulvermüller, Christian Glodt
Specifying Executable Platform-Independent Models using OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9 (2008)
Christian Glodt, Pierre Kelsen, Elke Pulvermüller
DEMOCLES: a tool for executable modeling of platform-independent systems. OOPSLA Companion (2007)
Pierre Kelsen
A declarative executable model for object-based systems based on functional decomposition. ICSOFT (1) (2006)
Christian Glodt, Pierre Kelsen
DEMOS: a tool for declarative executable modeling of object-based systems. OOPSLA Companion (2006)
Pierre Kelsen
A Simple Static Model for Understanding the Dynamic Behavior of Programs. IWPC (2004)
Pierre Kelsen
An Information-Based View of Representational Coupling in Object-Oriented Systems. FASE (2003)
Noga Alon, Pierre Kelsen, Sanjeev Mahajan, Ramesh Hariharan
Approximate Hypergraph Coloring. Nord. J. Comput. 3 (4) (1996)
Pierre Kelsen
Neighborhood Graphs and Distributed Delta+1-Coloring. SWAT (1996)
Pierre Kelsen, Sanjeev Mahajan, Ramesh Hariharan
Approximate Hypergraph Coloring. SWAT (1996)
Oscar Garrido, Pierre Kelsen, Andrzej Lingas
A Simple NC-Algorithm for a Maximal Independent set in a Hypergraph of Poly-Log Arboricity. Inf. Process. Lett. 58 (2) (1996)
Pierre Kelsen
Ranking and Unranking Trees Using Regular Reductions. STACS (1996)
Xiaofeng Han, Pierre Kelsen, Vijaya Ramachandran, Robert Endre Tarjan
Computing Minimal Spanning Subgraphs in Linear Time. SIAM J. Comput. 24 (6) (1995)
Pierre Kelsen, Vijaya Ramachandran
On Finding Minimal Two-Connected Subgraphs. J. Algorithms 18 (1) (1995)
Pierre Kelsen
An Optimal Parallel Algorithm for Maximal Matching. Inf. Process. Lett. 52 (4) (1994)
Pierre Kelsen
Fast Parallel Matching in Expander Graphs. SPAA (1993)
Xiaofeng Han, Pierre Kelsen, Vijaya Ramachandran, Robert Endre Tarjan
Computing Minimal Spanning Subgraphs in Linear Time. SODA (1992)
Pierre Kelsen
On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph STOC (1992)
Elias Dahlhaus, Marek Karpinski, Pierre Kelsen
An Efficient Parallel Algorithm for Computing a Maximal Independent Set in a Hypergraph of Dimension 3. Inf. Process. Lett. 42 (6) (1992)
Pierre Kelsen, Vijaya Ramachandran
On Finding Minimal 2-Connected Subgraphs. SODA (1991)