Travelled to:2 × USA
Collaborated with:F.A.Kraemer F.Han V.Slåtten
Talks about:system (2) specif (2) transform (1) increment (1) exemplifi (1) distribut (1) industri (1) encapsul (1) conflict (1) collabor (1)
♂ Person: Peter Herrmann
DBLP: Herrmann:Peter
Facilitated 3 volumes:
PrCoPrCoContributed to:
2012
201120092007Wrote 4 papers:
- GT-VMT-2012-HanH #modelling
- Remedy of Mixed Initiative Conflicts in Model-based System Engineering (FH, PH).
- GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #verification
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
- MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification
- Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
- GT-VMT-2007-KraemerH #collaboration #execution #specification #state machine
- Transforming Collaborative Service Specifications into Efficiently Executable State Machines (FAK, PH).