Georg Rock

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 6

Top Venues

ISPE CE

DeLFI

VaMoS

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Lucas Küntzer, Marcel Schwarzenbarth, Daniel Siladjev, Georg Rock
evoDash - A Transdisciplinary Vision for an Education Platform and a Simulation-Based Vehicle Development Process. TE (2020)
Sara Allabar, Christian Bettinger, Michael Müllen, Georg Rock
scone - A Requirements Management Tool for the Specification and Variability-Based Analysis of Product Lines. TE (2020)
Lucas Küntzer, Michael Hoffmann, Georg Rock
Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon". DeLFI (2019)
Anna Schmitt, Christian Bettinger, Georg Rock
Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines. TE (2018)
Christopher Junk, Robert Rößger, Georg Rock, Karsten Theis, Christoph Weidenbach, Patrick Wischnewski
Model-Based Variant Management with v.control. ISPE CE (2015)
Jürgen Ommen, Georg Rock
Visualization of Variability in Complex Development Structures. VaMoS (2015)
Robert Rößger, Georg Rock
A Framework and Generator for Large Parameterized Feature Models. ISPE CE (2013)
Sylvia Klawitter, Georg Rock
Handling of Product Variety Throughout the Product Life-Cycle. ISPE CE (2012)
Ralf Gümmer, Christopher Junk, Georg Rock
A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts. ISPE CE (2012)
Stefan Mann, Georg Rock
Control variant-rich models by variability measures. VaMoS (2011)
Fabian Kliemannel, Georg Rock, Stefan Mann
A Custom Approach for Variability Management in Automotive Applications. VaMoS (2010)
Stefan Mann, Georg Rock
Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines. VaMoS (2009)
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock
Automating Interactive Protocol Verification. KI (2008)
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
Verification of Distributed Applications. SAFECOMP (2007)
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
A History-based Verification of Distributed Applications. VERIFY (2007)
Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann
Verifying a Chipcard-Based Biometric Identification Protocol in VSE. SAFECOMP (2006)
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
Verification Support Environment. Mechanizing Mathematical Reasoning (2005)
Andreas Nonnengart, Georg Rock, Werner Stephan
Formal Requirements Engineering Using Observer Models. FASE (2002)
Andreas Nonnengart, Georg Rock, Werner Stephan
Using Hybrid Automata to Express Realtime Properties in VSE-II. FLAIRS Conference (2001)
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference (2000)
Werner Stephan, Georg Rock, Michael Brodski
Modeling Specification and Verification of an Emergency Closing System. FLAIRS Conference (2000)
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) (2000)
Georg Rock, Werner Stephan, Andreas Wolpers
Modeling Dynamic Processes in TLA. FBT (1999)
Georg Rock, Werner Stephan, Andreas Wolpers
Assumption-Commitment Specifications and Safety-Critical Systems. FBT (1998)
Andreas Nonnengart, Georg Rock, Christoph Weidenbach
On Generating Small Clause Normal Forms. CADE (1998)
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)
Georg Rock, Werner Stephan, Andreas Wolpers
Modular reasoning about structured TLA specifications. Tool Support for System Specification, Development and Verification (1998)
Georg Rock, Werner Stephan, Andreas Wolpers
Tool Support for the Compositional Development of Distributed Systems. FBT (1997)
Christoph Weidenbach, Bernd Gaede, Georg Rock
SPASS & FLOTTER Version 0.42. CADE (1996)

Georg Rock.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Georg Rock