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: Kelsen:Pierre
Contributed to:
2015
2011
2011
20112010
2008
20042003
1992
2015Wrote 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.