Prof. Dr. Georg Rock - Publikationen

Küntzer, Lucas; Scherer, Moritz; Mentler, Tilo et al.
Dynamic Difficulty Adjustment in Virtual Reality Exergaming to Regulate Exertion Levels via Heart Rate Monitoring.
VRST. 2024 S. 82:1 - 82:2

Küntzer, Lucas; Schwab, Sandra U.; Spaderna, Heike et al.
Measuring User Experience of Older Adults during Virtual Reality Exergaming.
QoMEX. 2024 S. 153 - 159

Küntzer, Lucas; Schwab, Sandra U.; Spaderna, Heike et al.
ROVER: A Standalone Overlay Tool for Questionnaires in Virtual Reality.
EICS (Companion). 2024 S. 31 - 39

Küntzer, Lucas; Rock, Georg
XR-CISE: Towards Promoting Physical Activity with Inclusive Virtual Reality Exergaming.
TE. 2024 S. 126 - 135

Brinkmann, Joachim; Theobald, Klara; Rößger, Robert et al.
Digitale Abfallvermeidung – Mehrweg- und Kaskadenwirtschaft mit IntakeDAV
Bockreis, Anke; Faulstich, Martin; Flamme, Sabine; Kranert, Martin; Mocker, Mario; Nelles, Michael; Quicker, Peter; Rettenberger, Gerhard; Rotter, Vera Susanne (Hrsg). 11. DGAW-Wissenschaftskongress Abfall- und Ressourcenwirtschaft, am 17. und 18. März 2022 an der Technischen Universität Dresden. Innsbruck: innsbruck university press 2022 S. 257 - 262

Küntzer, Lucas; Nather, Thomas; Krost, Markus et al.
Extended reality prototyping for transdisciplinary collaboration in product development
International Journal of Agile Systems and Management. Bd. 15. H. 4. Inderscience Publishers 2022 S. 417

Küntzer, Lucas; Schwarzenbarth, Marcel; Siladjev, Daniel et al.
evoDash - A Transdisciplinary Vision for an Education Platform and a Simulation-Based Vehicle Development Process.
TE. 2020 S. 102 - 111

Allabar, Sara; Bettinger, Christian; Müllen, Michael et al.
scone - A Requirements Management Tool for the Specification and Variability-Based Analysis of Product Lines.
TE. 2020 S. 433 - 442

Küntzer, Lucas; Hoffmann, Michael; Rock, Georg
Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon".
DeLFI. 2019 S. 157 - 162

Schmitt, Anna; Bettinger, Christian; Rock, Georg
Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines.
TE. 2018 S. 665 - 673

Junk, Christopher; Rößger, Robert; Rock, Georg et al.
Model-Based Variant Management with v.control.
CE. 2015 S. 194 - 203

Ommen, Jürgen; Rock, Georg
Visualization of Variability in Complex Development Structures.
VaMoS. 2015 S. 109

Rößger, Robert; Rock, Georg
A Framework and Generator for Large Parameterized Feature Models.
CE. 2013 S. 333 - 342

Stjepandic, Josip; Rock, Georg; Bil, Cees
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
Springer 2013

Gümmer, Ralf; Junk, Christopher; Rock, Georg
A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts.
CE. 2012 S. 109 - 120

Klawitter, Sylvia; Rock, Georg
Handling of Product Variety Throughout the Product Life-Cycle.
CE. 2012 S. 169 - 179

Rock, Georg; Mann, Stefan
Control variant-rich models by variability measures
ACM International Conference Proceedings. Deutschland. 2011 29 S.

Mann, Stefan; Rock, Georg
Control variant-rich models by variability measures.
VaMoS. 2011 S. 29 - 38

Rock, Georg; Frey, Daniel; Shuichi, Fukuda
Improving Complex Systems Today
Springer (Hrsg). England. 2011

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

Nonnengart, Andreas; Rock, Georg; Stephan, Werner
Using Hybrid Automata to Express Realtime Properties in VSE-II.
FLAIRS. 2001 S. 640 - 644

Hutter, Dieter; Langenstein, Bruno; Rock, Georg et al.
Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell. Bd. 12. H. 4. 2000 S. 383 - 406

Hutter, Dieter; Rock, Georg; H. Siekmann, Jörg et al.
Formal Software Development in the Verification Support Environment (VSE).
FLAIRS. 2000 S. 367 - 376

Stephan, Werner; Rock, Georg; Brodski, Michael
Modeling Specification and Verification of an Emergency Closing System.
FLAIRS. 2000 S. 356 - 360

Autexier, Serge; Hutter, Dieter; Langenstein, Bruno et al.
VSE: formal methods meet industrial needs.
Int. J. Softw. Tools Technol. Transf. Bd. 3. H. 1. 2000 S. 66 - 77

Rock, Georg; Stephan, Werner; Wolpers, Andreas
Modeling Dynamic Processes in TLA.
FBT. 1999 S. 185 - 192

Rock, Georg; Stephan, Werner; Wolpers, Andreas
Assumption-Commitment Specifications and Safety-Critical Systems.
FBT. 1998 S. 125 - 135

Rock, Georg; Stephan, Werner; Wolpers, Andreas
Modular reasoning about structured TLA specifications.
Tool Support for System Specification, Development and Verification. 1998 S. 217 - 229

Nonnengart, Andreas; Rock, Georg; Weidenbach, Christoph
On Generating Small Clause Normal Forms.
CADE. 1998 S. 397 - 411

Hutter, Dieter; Mantel, Heiko; Rock, Georg et al.
VSE: Controlling the Complexity in Formal Software Developments.
FM-Trends. 1998 S. 351 - 358

Rock, Georg; Stephan, Werner; Wolpers, Andreas
Tool Support for the Compositional Development of Distributed Systems.
FBT. 1997 S. 89 - 98

Weidenbach, Christoph; Gaede, Bernd; Rock, Georg
SPASS & FLOTTER Version 0.42.
CADE. 1996 S. 141 - 145