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 × France
1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:
F.Hilken M.Gogolla R.Wille
Talks about:
model (4) verif (3) uml (3) condit (2) frame (2) ocl (2) comparison (1) transform (1) filmstrip (1) independ (1)

Person: Philipp Niemann

DBLP DBLP: Niemann:Philipp

Contributed to:

DATE 20152015
MoDELS 20152015
TAP 20142014
ICMT 20152015
ECMFA 20172017

Wrote 5 papers:

DATE-2015-NiemannHGW #formal method #generative #modelling
Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
MoDELS-2015-NiemannHGW #contract
Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.
TAP-2014-HilkenNGW #behaviour #comparison #modelling #ocl #uml #verification
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.
ICMT-2015-HilkenNGW #concept #modelling #ocl #uml #validation #verification
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (FH, PN, MG, RW), pp. 149–165.
ECMFA-2017-GogollaHNW #diagrams #independence #uml #verification
Formulating Model Verification Tasks Prover-Independently as UML Diagrams (MG, FH, PN, RW), pp. 232–247.

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.