default search action

combined dblp search
author search
venue search
publication search

ask others

Georg Rock

> Home > Persons

Person information

affiliation: Hochschule Trier, Trier, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2004
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Rock2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Rock2004
Georg Rock:
Formal methods for real-time requirements engineering. Saarland University, Saarbrücken, Germany, 2004, pp. 1-243

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2000
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jetai/HutterLRSSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetai/HutterLRSSV00
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): 383-406 (2000)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AutexierHLMRSSVW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AutexierHLMRSSVW00
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): 66-77 (2000)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/KuntzerSSR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/KuntzerSSR24
Lucas Küntzer, Sandra U. Schwab, Heike Spaderna, Georg Rock:
ROVER: A Standalone Overlay Tool for Questionnaires in Virtual Reality. EICS (Companion) 2024: 31-39
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/qomex/KuntzerSSR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qomex/KuntzerSSR24
Lucas Küntzer, Sandra U. Schwab, Heike Spaderna, Georg Rock:
Measuring User Experience of Older Adults during Virtual Reality Exergaming. QoMEX 2024: 153-159
2020
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ispe/KuntzerSSR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/KuntzerSSR20
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: 102-111
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ispe/AllabarBMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/AllabarBMR20
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: 433-442
2019
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/delfi/KuntzerHR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/delfi/KuntzerHR19
Lucas Küntzer, Michael Hoffmann, Georg Rock:
Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon". DeLFI 2019: 157-162
2018
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ispe/0002BR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/0002BR18
Anna Schmitt, Christian Bettinger, Georg Rock:
Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines. TE 2018: 665-673
2015
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ispe/JunkRRTWW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/JunkRRTWW15
Christopher Junk, Robert Rößger, Georg Rock, Karsten Theis, Christoph Weidenbach, Patrick Wischnewski:
Model-Based Variant Management with v.control. CE 2015: 194-203
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/OmmenR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/OmmenR15
Jürgen Ommen, Georg Rock:
Visualization of Variability in Complex Development Structures. VaMoS 2015: 109
2013
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ispe/RossgerR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/RossgerR13
Robert Rößger, Georg Rock:
A Framework and Generator for Large Parameterized Feature Models. CE 2013: 333-342
2012
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ispe/GummerJR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/GummerJR12
Ralf Gümmer, Christopher Junk, Georg Rock:
A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts. CE 2012: 109-120
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ispe/KlawitterR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/KlawitterR12
Sylvia Klawitter, Georg Rock:
Handling of Product Variety Throughout the Product Life-Cycle. CE 2012: 169-179
2011
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/MannR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/MannR11
Stefan Mann, Georg Rock:
Control variant-rich models by variability measures. VaMoS 2011: 29-38
2010
[c18]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/KliemannelRM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/KliemannelRM10
Fabian Kliemannel, Georg Rock, Stefan Mann:
A Custom Approach for Variability Management in Automotive Applications. VaMoS 2010: 155-158
2009
[c17]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/MannR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/MannR09
Stefan Mann, Georg Rock:
Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines. VaMoS 2009: 111-120
2008
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/CheikhrouhouNSKR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/CheikhrouhouNSKR08
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock:
Automating Interactive Protocol Verification. KI 2008: 30-37
2007
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/LangensteinNRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LangensteinNRS07
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan:
A History-based Verification of Distributed Applications. VERIFY 2007
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LangensteinNRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LangensteinNRS07
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan:
Verification of Distributed Applications. SAFECOMP 2007: 315-328
2006
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/CheikhrouhouRSSL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/CheikhrouhouRSSL06
Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann:
Verifying a Chipcard-Based Biometric Identification Protocol in VSE. SAFECOMP 2006: 42-56
2005
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/StephanLNR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/StephanLNR05
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock:
Verification Support Environment. Mechanizing Mathematical Reasoning 2005: 476-493
2002
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/NonnengartRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/NonnengartRS02
Andreas Nonnengart, Georg Rock, Werner Stephan:
Formal Requirements Engineering Using Observer Models. FASE 2002: 264-278
2001
[c10]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/NonnengartRS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/NonnengartRS01
Andreas Nonnengart, Georg Rock, Werner Stephan:
Using Hybrid Automata to Express Realtime Properties in VSE-II. FLAIRS 2001: 640-644
2000
[c9]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/StephanRB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/StephanRB00
Werner Stephan, Georg Rock, Michael Brodski:
Modeling Specification and Verification of an Emergency Closing System. FLAIRS 2000: 356-360
[c8]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/HutterRSSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/HutterRSSV00
Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt:
Formal Software Development in the Verification Support Environment (VSE). FLAIRS 2000: 367-376
1999
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/RockSW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/RockSW99
Georg Rock, Werner Stephan, Andreas Wolpers:
Modeling Dynamic Processes in TLA. FBT 1999: 185-192
1998
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NonnengartRW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NonnengartRW98
Andreas Nonnengart, Georg Rock, Christoph Weidenbach:
On Generating Small Clause Normal Forms. CADE 1998: 397-411
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/RockSW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/RockSW98
Georg Rock, Werner Stephan, Andreas Wolpers:
Assumption-Commitment Specifications and Safety-Critical Systems. FBT 1998: 125-135
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HutterMRSWBRSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HutterMRSWBRSS98
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: 351-358
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/Rock0W98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/Rock0W98
Georg Rock, Werner Stephan, Andreas Wolpers:
Modular reasoning about structured TLA specifications. Tool Support for System Specification, Development and Verification 1998: 217-229
1997
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fbt/RockSW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/RockSW97
Georg Rock, Werner Stephan, Andreas Wolpers:
Tool Support for the Compositional Development of Distributed Systems. FBT 1997: 89-98
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/WeidenbachGR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WeidenbachGR96
Christoph Weidenbach, Bernd Gaede, Georg Rock:
SPASS & FLOTTER Version 0.42. CADE 1996: 141-145

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2013
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/ispe/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/2012
Josip Stjepandic, Georg Rock, Cees Bil:
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, ISBN 978-1-4471-4425-0 [contents]
2011
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/ispe/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispe/2011
Daniel D. Frey, Shuichi Fukuda, Georg Rock:
Improving Complex Systems Today, Proceedings of the 18th ISPE International Conference on Concurrent Engineering, July 4-8, 2011, Boston, MA, USA. Springer 2011, ISBN 978-0-85729-798-3 [contents]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.