Georg Rock

According to our database1, Georg Rock authored at least 26 papers between 1996 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Visualization of Variability in Complex Development Structures.
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

Model-Based Variant Management with v.control.
Proceedings of the Transdisciplinary Lifecycle Analysis of Systems, 2015

2013
A Framework and Generator for Large Parameterized Feature Models.
Proceedings of the 20th ISPE International Conference on Concurrent Engineering, 2013

2012
Handling of Product Variety Throughout the Product Life-Cycle.
Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012

A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts.
Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012

2011
Control variant-rich models by variability measures.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

2010
A Custom Approach for Variability Management in Automotive Applications.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

2009
Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

2008
Automating Interactive Protocol Verification.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2007
Verification of Distributed Applications.
Proceedings of the Computer Safety, 2007

A History-based Verification of Distributed Applications.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006
Verifying a Chipcard-Based Biometric Identification Protocol in VSE.
Proceedings of the Computer Safety, 2006

2005
Verification Support Environment.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Formal methods for real-time requirements engineering.
PhD thesis, 2004

2002
Formal Requirements Engineering Using Observer Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
Using Hybrid Automata to Express Realtime Properties in VSE-II.
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

2000
VSE: formal methods meet industrial needs.
STTT, 2000

Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell., 2000

Modeling Specification and Verification of an Emergency Closing System.
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

Formal Software Development in the Verification Support Environment (VSE).
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1999
Modeling Dynamic Processes in TLA.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998
VSE: Controlling the Complexity in Formal Software Developments.
Proceedings of the Applied Formal Methods, 1998

Assumption-Commitment Specifications and Safety-Critical Systems.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

On Generating Small Clause Normal Forms.
Proceedings of the Automated Deduction, 1998

1997
Tool Support for the Compositional Development of Distributed Systems.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996
SPASS & FLOTTER Version 0.42.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996


  Loading...