 | 2011 |
|---|
| 33 |       | Marwane El Kharbili,
Qin Ma,
Pierre Kelsen,
Elke Pulvermueller:
Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example.
CEC 2011: 185-190 |
| 32 | | Marwane El Kharbili,
Qin Ma,
Pierre Kelsen,
Elke Pulvermueller:
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management.
EDOC 2011: 247-256 |
| 31 | | Pierre Kelsen,
Qin Ma,
Christian Glodt:
Models within Models: Taming Model Complexity Using the Sub-model Lattice.
FASE 2011: 171-185 |
| 30 | | Nuno Amálio,
Christian Glodt,
Pierre Kelsen:
Building VCL Models and Automatically Generating Z Specifications from Them.
FM 2011: 149-153 |
| 29 | | Nuno Amálio,
Christian Glodt,
Frederico Pinto,
Pierre Kelsen:
Platform-Variant Applications from Platform-Independent Models via Templates.
Electr. Notes Theor. Comput. Sci. 279(3): 3-25 (2011) |
| 2010 |
|---|
| 28 | | Nuno Amálio,
Pierre Kelsen,
Qin Ma:
Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL.
BMMDS/EMMSAD 2010: 261-273 |
| 27 | | Nuno Amálio,
Pierre Kelsen:
VCL, a Visual Language for Modelling Software Systems Formally.
Diagrams 2010: 282-284 |
| 26 | | Pierre Kelsen,
Qin Ma:
A Modular Model Composition Technique.
FASE 2010: 173-187 |
| 25 | | Nuno Amálio,
Pierre Kelsen:
Modular Design by Contract Visually and Formally Using VCL.
VL/HCC 2010: 227-234 |
| 24 | | 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) |
| 2009 |
|---|
| 23 | | Christian Glodt,
Pierre Kelsen,
Nuno Amálio,
Qin Ma:
From platform-independent to platform-specific models using democles.
OOPSLA Companion 2009: 795-796 |
| 22 | | Barbara Gallina,
Nicolas Guelfi,
Pierre Kelsen:
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.
SEW 2009: 94-103 |
| 21 | | Pierre Kelsen,
Qin Ma:
Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains.
TASE 2009: 295-296 |
| 2008 |
|---|
| 20 | | Pierre Kelsen,
Qin Ma:
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.
MoDELS 2008: 690-704 |
| 19 | | Pierre Kelsen,
Elke Pulvermueller,
Christian Glodt:
Specifying Executable Platform-Independent Models using OCL.
ECEASST 9: (2008) |
| 2007 |
|---|
| 18 | | Christian Glodt,
Pierre Kelsen,
Elke Pulvermueller:
DEMOCLES: a tool for executable modeling of platform-independent systems.
OOPSLA Companion 2007: 870-871 |
| 2006 |
|---|
| 17 |  | Pierre Kelsen:
A declarative executable model for object-based systems based on functional decomposition.
ICSOFT (1) 2006: 63-71 |
| 16 | | Christian Glodt,
Pierre Kelsen:
DEMOS: a tool for declarative executable modeling of object-based systems.
OOPSLA Companion 2006: 716-717 |
| 2004 |
|---|
| 15 | | Pierre Kelsen:
A Simple Static Model for Understanding the Dynamic Behavior of Programs.
IWPC 2004: 46-51 |
| 2003 |
|---|
| 14 | | Pierre Kelsen:
An Information-Based View of Representational Coupling in Object-Oriented Systems.
FASE 2003: 216-230 |
| 1996 |
|---|
| 13 | | Pierre Kelsen:
Ranking and Unranking Trees Using Regular Reductions.
STACS 1996: 581-592 |
| 12 | | Pierre Kelsen:
Neighborhood Graphs and Distributed Delta+1-Coloring.
SWAT 1996: 223-233 |
| 11 | | Pierre Kelsen,
Sanjeev Mahajan,
Ramesh Hariharan:
Approximate Hypergraph Coloring.
SWAT 1996: 41-52 |
| 10 | | 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): 55-58 (1996) |
| 9 | | Noga Alon,
Pierre Kelsen,
Sanjeev Mahajan,
Ramesh Hariharan:
Approximate Hypergraph Coloring.
Nord. J. Comput. 3(4): 425-439 (1996) |
| 1995 |
|---|
| 8 | | Pierre Kelsen,
Vijaya Ramachandran:
On Finding Minimal Two-Connected Subgraphs.
J. Algorithms 18(1): 1-49 (1995) |
| 7 | | Xiaofeng Han,
Pierre Kelsen,
Vijaya Ramachandran,
Robert Endre Tarjan:
Computing Minimal Spanning Subgraphs in Linear Time.
SIAM J. Comput. 24(6): 1332-1358 (1995) |
| 1994 |
|---|
| 6 | | Pierre Kelsen:
An Optimal Parallel Algorithm for Maximal Matching.
Inf. Process. Lett. 52(4): 223-228 (1994) |
| 1993 |
|---|
| 5 | | Pierre Kelsen:
Fast Parallel Matching in Expander Graphs.
SPAA 1993: 293-299 |
| 1992 |
|---|
| 4 | | Xiaofeng Han,
Pierre Kelsen,
Vijaya Ramachandran,
Robert Endre Tarjan:
Computing Minimal Spanning Subgraphs in Linear Time.
SODA 1992: 146-156 |
| 3 | | Pierre Kelsen:
On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph
STOC 1992: 339-350 |
| 2 | | 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): 309-313 (1992) |
| 1991 |
|---|
| 1 | | Pierre Kelsen,
Vijaya Ramachandran:
On Finding Minimal 2-Connected Subgraphs.
SODA 1991: 178-187 |
Data released under the ODC-BY 1.0 license — See also our legal information page