Prof. Dr. Georg Rock
Informatik, Hochschule Trier
- 0651/8103-596
Kliemannel, Fabian; Rock, Georg; Mann, Stefan
A Custom Approach for Variability Management in Automotive Applications.VaMoS. 2010 S. 155 - 158
Mann, Stefan; Rock, Georg
Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines.VaMoS. 2009 S. 111 - 120
Cheikhrouhou, Lassaad; Nonnengart, Andreas; Stephan, Werner et al.
Automating Interactive Protocol Verification.KI. 2008 S. 30 - 37
Langenstein, Bruno; Nonnengart, Andreas; Rock, Georg et al.
A History-based Verification of Distributed Applications.VERIFY. 2007
Langenstein, Bruno; Nonnengart, Andreas; Rock, Georg et al.
Verification of Distributed Applications.SAFECOMP. 2007 S. 315 - 328
Cheikhrouhou, Lassaad; Rock, Georg; Stephan, Werner et al.
Verifying a Chipcard-Based Biometric Identification Protocol in VSE.SAFECOMP. 2006 S. 42 - 56
Stephan, Werner; Langenstein, Bruno; Nonnengart, Andreas et al.
Verification Support Environment.Mechanizing Mathematical Reasoning. 2005 S. 476 - 493
Rock, Georg
Formal methods for real-time requirements engineering.2004 S. 1 - 243
Nonnengart, Andreas; Rock, Georg; Stephan, Werner
Formal Requirements Engineering Using Observer Models.FASE. 2002 S. 264 - 278
Nonnengart, Andreas; Rock, Georg; Stephan, Werner
Using Hybrid Automata to Express Realtime Properties in VSE-II.FLAIRS. 2001 S. 640 - 644