Suche
3812 Treffer
×
Hochschule Trier
- D. Frey, Daniel; Fukuda, Shuichi; Rock, Georg
- Improving Complex Systems Today, Proceedings of the 18th ISPE International Conference on Concurrent Engineering, July 4-8, 2011, Boston, MA, USA
- Springer 2011
- 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