The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Georg Rock: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
    Verification Support Environment. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:476-493 [Conf]
  2. Andreas Nonnengart, Georg Rock, Christoph Weidenbach
    On Generating Small Clause Normal Forms. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:397-411 [Conf]
  3. Christoph Weidenbach, Bernd Gaede, Georg Rock
    SPASS & FLOTTER Version 0.42. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:141-145 [Conf]
  4. Andreas Nonnengart, Georg Rock, Werner Stephan
    Formal Requirements Engineering Using Observer Models. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:264-278 [Conf]
  5. Georg Rock, Werner Stephan, Andreas Wolpers
    Tool Support for the Compositional Development of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:89-98 [Conf]
  6. Georg Rock, Werner Stephan, Andreas Wolpers
    Assumption-Commitment Specifications and Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:125-135 [Conf]
  7. Georg Rock, Werner Stephan, Andreas Wolpers
    Modeling Dynamic Processes in TLA. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:185-192 [Conf]
  8. Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
    Formal Software Development in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2000, pp:367-376 [Conf]
  9. Andreas Nonnengart, Georg Rock, Werner Stephan
    Using Hybrid Automata to Express Realtime Properties in VSE-II. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2001, pp:640-644 [Conf]
  10. Werner Stephan, Georg Rock, Michael Brodski
    Modeling Specification and Verification of an Emergency Closing System. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2000, pp:356-360 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:351-358 [Conf]
  12. Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann
    Verifying a Chipcard-Based Biometric Identification Protocol in VSE. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2006, pp:42-56 [Conf]
  13. Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
    Formal software development in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 2000, v:12, n:4, pp:383-406 [Journal]
  14. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
    VSE: formal methods meet industrial needs. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:66-77 [Journal]
  15. Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
    Verification of Distributed Applications. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:315-328 [Conf]

  16. A History-based Verification of Distributed Applications. [Citation Graph (, )][DBLP]


  17. Automating Interactive Protocol Verification. [Citation Graph (, )][DBLP]


  18. A Custom Approach for Variability Management in Automotive Applications. [Citation Graph (, )][DBLP]


  19. Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002