Georg Rock
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
1996–2024
Best venue rank
A
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EICS | ROVER: A Standalone Overlay Tool for Questionnaires in Virtual Reality. | Lucas Kntzer, Sandra U. Schwab, Heike Spaderna, Georg Rock |
| 2024 | QoMEX | Measuring User Experience of Older Adults during Virtual Reality Exergaming. | Lucas Kntzer, Sandra U. Schwab, Heike Spaderna, Georg Rock |
| 2024 | VRST | Dynamic Difficulty Adjustment in Virtual Reality Exergaming to Regulate Exertion Levels via Heart Rate Monitoring. | Lucas Kntzer, Moritz Scherer, Tilo Mentler, Georg Rock |
| 2008 | KI | Automating Interactive Protocol Verification. | Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock |
| 2007 | CADE | A History-based Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2007 | SAFECOMP | Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2006 | SAFECOMP | Verifying a Chipcard-Based Biometric Identification Protocol in VSE. | Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann |
| 2002 | FASE | Formal Requirements Engineering Using Observer Models. | Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2001 | FlAIRS | Using Hybrid Automata to Express Realtime Properties in VSE-II. | Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2000 | FlAIRS | Formal Software Development in the Verification Support Environment (VSE). | Dieter Hutter, Georg Rock, Jrg H. Siekmann, Werner Stephan, Roland Vogt |
| 2000 | FlAIRS | Modeling Specification and Verification of an Emergency Closing System. | Werner Stephan, Georg Rock, Michael Brodski |
| 1998 | CADE | On Generating Small Clause Normal Forms. | Andreas Nonnengart, Georg Rock, Christoph Weidenbach |
| 1998 | FM | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1996 | CADE | SPASS & FLOTTER Version 0.42. | Christoph Weidenbach, Bernd Gaede, Georg Rock |