Georg Rock

37 papers A 2B 5Misc 4Journal 2Unranked 21
YearRankTypeTitle / Venue / Authors
2024 B conf
Dynamic Difficulty Adjustment in Virtual Reality Exergaming to Regulate Exertion Levels via Heart Rate Monitoring.
VRST
Lucas Küntzer, Moritz Scherer, Tilo Mentler, Georg Rock
2024 B conf
Measuring User Experience of Older Adults during Virtual Reality Exergaming.
QoMEX
Lucas Küntzer, Sandra U. Schwab, Heike Spaderna, Georg Rock
2024 — conf
ROVER: A Standalone Overlay Tool for Questionnaires in Virtual Reality.
EICS (Companion)
Lucas Küntzer, Sandra U. Schwab, Heike Spaderna, Georg Rock
2024 — conf
XR-CISE: Towards Promoting Physical Activity with Inclusive Virtual Reality Exergaming.
TE
Lucas Küntzer, Georg Rock
2020 — conf
evoDash - A Transdisciplinary Vision for an Education Platform and a Simulation-Based Vehicle Development Process.
TE
Lucas Küntzer, Marcel Schwarzenbarth, Daniel Siladjev, Georg Rock
2020 — conf
scone - A Requirements Management Tool for the Specification and Variability-Based Analysis of Product Lines.
TE
Sara Allabar, Christian Bettinger, Michael Müllen, Georg Rock
2019 — conf
Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon".
DeLFI
Lucas Küntzer, Michael Hoffmann, Georg Rock
2018 — conf
Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines.
TE
Anna Schmitt, Christian Bettinger, Georg Rock
2015 — conf
Model-Based Variant Management with v.control.
CE
Christopher Junk, Robert Rößger, Georg Rock, Karsten Theis, Christoph Weidenbach, Patrick Wischnewski
2015 — conf
Visualization of Variability in Complex Development Structures.
VaMoS
Jürgen Ommen, Georg Rock
2013 — conf
A Framework and Generator for Large Parameterized Feature Models.
CE
Robert Rößger, Georg Rock
2013 — ed.
Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment - Proceedings of the 19th ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012
CE
Josip Stjepandic, Georg Rock, Cees Bil
2012 — conf
A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts.
CE
Ralf Gümmer, Christopher Junk, Georg Rock
2012 — conf
Handling of Product Variety Throughout the Product Life-Cycle.
CE
Sylvia Klawitter, Georg Rock
2011 — conf
Control variant-rich models by variability measures.
VaMoS
Stefan Mann, Georg Rock
2011 — ed.
Improving Complex Systems Today, Proceedings of the 18th ISPE International Conference on Concurrent Engineering, July 4-8, 2011, Boston, MA, USA
CE
Daniel D. Frey, Shuichi Fukuda, Georg Rock
2010 — conf
A Custom Approach for Variability Management in Automotive Applications.
VaMoS
Fabian Kliemannel, Georg Rock, Stefan Mann
2009 — conf
Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines.
VaMoS
Stefan Mann, Georg Rock
2008 Misc conf
Automating Interactive Protocol Verification.
KI
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock
2007 — conf
A History-based Verification of Distributed Applications.
VERIFY
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
2007 B conf
Verification of Distributed Applications.
SAFECOMP
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
2006 B conf
Verifying a Chipcard-Based Biometric Identification Protocol in VSE.
SAFECOMP
Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann
2005 — conf
Verification Support Environment.
Mechanizing Mathematical Reasoning
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
2004 — —
Formal methods for real-time requirements engineering.
Georg Rock
2002 B conf
Formal Requirements Engineering Using Observer Models.
FASE
Andreas Nonnengart, Georg Rock, Werner Stephan
2001 Misc conf
Using Hybrid Automata to Express Realtime Properties in VSE-II.
FLAIRS
Andreas Nonnengart, Georg Rock, Werner Stephan
2000 Misc conf
Formal Software Development in the Verification Support Environment (VSE).
FLAIRS
Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
2000 J jnl
Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell.
Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
2000 Misc conf
Modeling Specification and Verification of an Emergency Closing System.
FLAIRS
Werner Stephan, Georg Rock, Michael Brodski
2000 J jnl
VSE: formal methods meet industrial needs.
Int. J. Softw. Tools Technol. Transf.
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
1999 — conf
Modeling Dynamic Processes in TLA.
FBT
Georg Rock, Werner Stephan, Andreas Wolpers
1998 — conf
Assumption-Commitment Specifications and Safety-Critical Systems.
FBT
Georg Rock, Werner Stephan, Andreas Wolpers
1998 — conf
Modular reasoning about structured TLA specifications.
Tool Support for System Specification, Development and Verification
Georg Rock, Werner Stephan, Andreas Wolpers
1998 A conf
On Generating Small Clause Normal Forms.
CADE
Andreas Nonnengart, Georg Rock, Christoph Weidenbach
1998 — conf
VSE: Controlling the Complexity in Formal Software Developments.
FM-Trends
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997 — conf
Tool Support for the Compositional Development of Distributed Systems.
FBT
Georg Rock, Werner Stephan, Andreas Wolpers
1996 A conf
SPASS & FLOTTER Version 0.42.
CADE
Christoph Weidenbach, Bernd Gaede, Georg Rock