| 2009 |
|---|
| 18 | EE | Stefan Mann,
Georg Rock:
Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines.
VaMoS 2009: 111-120 |
| 2008 |
|---|
| 17 | EE | Lassaad Cheikhrouhou,
Andreas Nonnengart,
Werner Stephan,
Frank Koob,
Georg Rock:
Automating Interactive Protocol Verification.
KI 2008: 30-37 |
| 2007 |
|---|
| 16 | EE | Bruno Langenstein,
Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Verification of Distributed Applications.
SAFECOMP 2007: 315-328 |
| 15 | EE | Bruno Langenstein,
Andreas Nonnengart,
Georg Rock,
Werner Stephan:
A History-based Verification of Distributed Applications.
VERIFY 2007 |
| 2006 |
|---|
| 14 | EE | Lassaad Cheikhrouhou,
Georg Rock,
Werner Stephan,
Matthias Schwan,
Gunter Lassmann:
Verifying a Chipcard-Based Biometric Identification Protocol in VSE.
SAFECOMP 2006: 42-56 |
| 2005 |
|---|
| 13 | EE | Werner Stephan,
Bruno Langenstein,
Andreas Nonnengart,
Georg Rock:
Verification Support Environment.
Mechanizing Mathematical Reasoning 2005: 476-493 |
| 2002 |
|---|
| 12 | EE | Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Formal Requirements Engineering Using Observer Models.
FASE 2002: 264-278 |
| 2001 |
|---|
| 11 | | Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Using Hybrid Automata to Express Realtime Properties in VSE-II.
FLAIRS Conference 2001: 640-644 |
| 2000 |
|---|
| 10 | | Werner Stephan,
Georg Rock,
Michael Brodski:
Modeling Specification and Verification of an Emergency Closing System.
FLAIRS Conference 2000: 356-360 |
| 9 | | Dieter Hutter,
Georg Rock,
Jörg H. Siekmann,
Werner Stephan,
Roland Vogt:
Formal Software Development in the Verification Support Environment (VSE).
FLAIRS Conference 2000: 367-376 |
| 8 | | Dieter Hutter,
Bruno Langenstein,
Georg Rock,
Jörg H. Siekmann,
Werner Stephan,
Roland Vogt:
Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000) |
| 7 | EE | Serge Autexier,
Dieter Hutter,
Bruno Langenstein,
Heiko Mantel,
Georg Rock,
Axel Schairer,
Werner Stephan,
Roland Vogt,
Andreas Wolpers:
VSE: formal methods meet industrial needs.
STTT 3(1): 66-77 (2000) |
| 1999 |
|---|
| 6 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Modeling Dynamic Processes in TLA.
FBT 1999: 185-192 |
| 1998 |
|---|
| 5 | EE | Andreas Nonnengart,
Georg Rock,
Christoph Weidenbach:
On Generating Small Clause Normal Forms.
CADE 1998: 397-411 |
| 4 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Assumption-Commitment Specifications and Safety-Critical Systems.
FBT 1998: 125-135 |
| 3 | | Dieter Hutter,
Heiko Mantel,
Georg Rock,
Werner Stephan,
Andreas Wolpers,
Michael Balser,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel:
VSE: Controlling the Complexity in Formal Software Developments.
FM-Trends 1998: 351-358 |
| 1997 |
|---|
| 2 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Tool Support for the Compositional Development of Distributed Systems.
FBT 1997: 89-98 |
| 1996 |
|---|
| 1 | | Christoph Weidenbach,
Bernd Gaede,
Georg Rock:
SPASS & FLOTTER Version 0.42.
CADE 1996: 141-145 |
