Georg Rock

发表

evoDash – A Transdisciplinary Vision for an Education Platform and a Simulation-Based Vehicle Development Process

Lucas Kuentzer, Marcel Schwarzenbarth, Daniel Siladjev, 2020 .

Improving Complex Systems Today, Proceedings of the 18th ISPE International Conference on Concurrent Engineering, July 4-8, 2011, Boston, MA, USA

福田収一, Daniel D. Frey, Georg Rock, 2011, ISPE CE.

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

Cees Bil, Georg Rock, Josip Stjepandic, 2013, ISPE CE.

Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon"

Georg Rock, Lucas Küntzer, Michael Hoffmann, 2019, DeLFI.

A History-based Verification of Distributed Applications

Andreas Nonnengart, Bruno Langenstein, Werner Stephan, 2007, VERIFY.

VSE: Controlling the Complexity in Formal Software Developments

Dieter Hutter, Kurt Stenzel, Wolfgang Reif, 1998, FM-Trends.

Verisoft – secure biometric identification system

Lassaad Cheikhrouhou, Georg Rock, Gunter Lassmann, 2008 .

Control variant-rich models by variability measures

Georg Rock, Stefan Mann, 2011, VaMoS '11.

Verification of Distributed Applications

Andreas Nonnengart, Bruno Langenstein, Werner Stephan, 2007, SAFECOMP.

Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines.

Georg Rock, Stefan Mann, Georg Rock, 2009 .

A Custom Approach for Variability Management in Automotive Applications

Georg Rock, Stefan Mann, Fabian Kliemannel, 2010, VaMoS.

Modular reasoning about structured TLA specifications

Werner Stephan, Georg Rock, Andreas Wolpers, 1998, Tool Support for System Specification, Development and Verification.

Formal Requirements Engineering Using Observer Models

Andreas Nonnengart, Werner Stephan, Georg Rock, 2002, FASE.

Dealing with Variability in Architecture Descriptions to Sup- port Automotive Product Lines: Specification and Analysis Methods

Georg Rock, Stefan Mann, Prostep Imp, 2009 .

Handling of Product Variety Throughout the Product Life-Cycle

Georg Rock, Sylvia Klawitter, 2012, ISPE CE.

Assumption-Commitment Specifications and Safety-Critical Systems

Werner Stephan, Georg Rock, Andreas Wolpers, 1998, FBT.

A Framework and Generator for Large Parameterized Feature Models

Georg Rock, Robert Rößger, 2013, ISPE CE.

A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts

Georg Rock, Ralf Gümmer, Christopher Junk, 2012, ISPE CE.

Automating Interactive Protocol Verification

Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, 2008, KI.

On Generating Small Clause Normal Forms

Christoph Weidenbach, Andreas Nonnengart, Georg Rock, 1998, CADE.

SPASS & FLOTTER Version 0.42

Christoph Weidenbach, Georg Rock, Bernd Gaede, 1996, CADE.

Visualization of Variability in Complex Development Structures

Georg Rock, Jürgen Ommen, Georg Rock, 2015, VaMoS.

Verifying a Chipcard-Based Biometric Identification Protocol in VSE

Gunter Laßmann, Lassaad Cheikhrouhou, Werner Stephan, 2006, SAFECOMP.

VSE: formal methods meet industrial needs

Dieter Hutter, Axel Schairer, Roland Vogt, 2000, International Journal on Software Tools for Technology Transfer.

Verification Support Environment

Andreas Nonnengart, Bruno Langenstein, Werner Stephan, 2005, Mechanizing Mathematical Reasoning.

Formal methods for real-time requirements engineering

Georg Rock, G. Rock, 2004 .

Glencoe – a tool and a methodology to manage variability within the product development process

Georg Rock, Christian Bettinger, Anna Schmitt, 2019 .

Model-Based Variant Management with v.control

Christoph Weidenbach, Georg Rock, Patrick Wischnewski, 2015, ISPE CE.

Modeling Dynamic Processes in TLA

Werner Stephan, Georg Rock, Andreas Wolpers, 1999, FBT.

Formal software development in the Verification Support Environment (VSE)

Jörg H. Siekmann, Dieter Hutter, Roland Vogt, 2000, J. Exp. Theor. Artif. Intell..

Tool Support for the Compositional Development of Distributed Systems

Werner Stephan, Georg Rock, Andreas Wolpers, 1997, FBT.

Using Hybrid Automata to Express Realtime Properties in VSE-II

Andreas Nonnengart, Werner Stephan, Georg Rock, 2001, FLAIRS Conference.

Modeling Specification and Verification of an Emergency Closing System

Werner Stephan, Georg Rock, Michael Brodski, 2000, FLAIRS Conference.

Assumption{commitment Speciications and Safety{critical Systems

Werner Stephan, Georg Rock, Andreas Wolpers, 1998 .