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: Niemann:Philipp
Contributed to:
2015
2015
2014
2015
2017Wrote 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.