BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × Finland
1 × France
1 × Germany
1 × Ireland
1 × Poland
1 × USA
2 × Italy
Collaborated with:
Q.Ma C.Glodt L.Gammaitoni N.Amálio M.E.Kharbili E.Pulvermüller
Talks about:
model (10) languag (3) base (3) complex (2) alloy (2) use (2) lightweight (1) understand (1) regulatori (1) hypergraph (1)

Person: Pierre Kelsen

DBLP DBLP: Kelsen:Pierre

Contributed to:

SLE 20152015
EDOC 20112011
FASE 20112011
FM 20112011
FASE 20102010
MoDELS 20082008
IWPC 20042004
FASE 20032003
STOC 19921992
ICMT 20152015

Wrote 10 papers:

SLE-2015-GammaitoniKG #design #using
Designing languages using lightning (LG, PK, CG), pp. 77–82.
EDOC-2011-KharbiliMKP #modelling #named
CoReL: Policy-Based and Model-Driven Regulatory Compliance Management (MEK, QM, PK, EP), pp. 247–256.
FASE-2011-KelsenMG #complexity #modelling #using
Models within Models: Taming Model Complexity Using the Sub-model Lattice (PK, QM, CG), pp. 171–185.
FM-2011-AmalioGK #automation #generative #modelling #specification
Building VCL Models and Automatically Generating Z Specifications from Them (NA, CG, PK), pp. 149–153.
FASE-2010-KelsenM #composition
A Modular Model Composition Technique (PK, QM), pp. 173–187.
MoDELS-2008-KelsenM #approach #lightweight #modelling #semantics
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
IWPC-2004-Kelsen #behaviour #comprehension #source code
A Simple Static Model for Understanding the Dynamic Behavior of Programs (PK), pp. 46–51.
FASE-2003-Kelsen #object-oriented
An Information-Based View of Representational Coupling in Object-Oriented Systems (PK), pp. 216–230.
STOC-1992-Kelsen #complexity #independence #on the #parallel #set
On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph (PK), pp. 339–350.
ICMT-2015-GammaitoniK #alloy #model transformation #named #transformation language
F-Alloy: An Alloy Based Model Transformation Language (LG, PK), pp. 166–180.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.