The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Werner Stephan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Werner Stephan, Susanne Biundo
    Deduction-Based Refinement Planning. [Citation Graph (0, 0)][DBLP]
    AIPS, 1996, pp:213-220 [Conf]
  2. Dieter Hutter, Werner Stephan
    A Portrait of a Scientist: Logic, AI and Politics. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:1-13 [Conf]
  3. Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
    Verification Support Environment. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:476-493 [Conf]
  4. Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan
    An Interactive Verification System Based on Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:306-315 [Conf]
  5. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Implementing Verification Strategies in the KIV-System. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:131-140 [Conf]
  6. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Tactical Theorem Proving in Program Verification. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:117-131 [Conf]
  7. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Program Verification Using Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1987, pp:102-117 [Conf]
  8. Wolfgang Schönfeld, Werner Stephan
    Integration of Descriptive and Procedural Language Constructs. [Citation Graph (0, 0)][DBLP]
    CSL, 1988, pp:344-356 [Conf]
  9. Susanne Biundo, Werner Stephan
    Modeling Planning Domains Systematically. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:599-603 [Conf]
  10. Werner Stephan, Jörg H. Siekmann
    Completeness and Soundness of the Connection Graph Proof. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:340-344 [Conf]
  11. Werner Stephan, Susanne Biundo
    Multilevel Refinement Planning in an Interval-Based Temporal Logic. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:483-487 [Conf]
  12. Maritta Heisel, Wolfgang Reif, Werner Stephan
    A Dynamic Logic for Program Verification. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:134-145 [Conf]
  13. Werner Stephan
    Die Deutsche Bibliothek: The National Archive for Electronic Media? [Citation Graph (0, 0)][DBLP]
    Essen Symposium, 1995, pp:132-140 [Conf]
  14. Andreas Nonnengart, Georg Rock, Werner Stephan
    Formal Requirements Engineering Using Observer Models. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:264-278 [Conf]
  15. 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]
  16. Georg Rock, Werner Stephan, Andreas Wolpers
    Assumption-Commitment Specifications and Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:125-135 [Conf]
  17. Georg Rock, Werner Stephan, Andreas Wolpers
    Modeling Dynamic Processes in TLA. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:185-192 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
    Deduction in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:268-286 [Conf]
  22. 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]
  23. Werner Stephan
    Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:587-591 [Conf]
  24. Susanne Biundo, Werner Stephan
    System Assistance in Structured Domain Model Development. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1240-1245 [Conf]
  25. Werner Stephan, Susanne Biundo
    A New Logical framework for Deductive Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:32-38 [Conf]
  26. Serge Autexier, Heiko Mantel, Werner Stephan
    Simultaneous Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    KI, 1998, pp:141-152 [Conf]
  27. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Program Verification by Symbolic Execution and Induction. [Citation Graph (0, 0)][DBLP]
    GWAI, 1987, pp:201-210 [Conf]
  28. Maritta Heisel, Wolfgang Reif, Werner Stephan
    Machine-Assisted Program Construction and Modification. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:338-347 [Conf]
  29. Werner Stephan, Andreas Wolpers
    A Calculus for Higher Order Procedures with Global Variables. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:714-723 [Conf]
  30. Werner Stephan, Susanne Biundo
    A New Logical Framework for deductive Planning. [Citation Graph (0, 0)][DBLP]
    PuK, 1993, pp:27-38 [Conf]
  31. 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]
  32. Dieter Hutter, Werner Stephan, Markus Ullmann
    Security and Privacy in Pervasive Computing State of the Art and Future Directions. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:285-289 [Conf]
  33. Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers
    The KIV System: A Tool for Formal Program Development. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:704-705 [Conf]
  34. Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver
    VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. [Citation Graph (0, 0)][DBLP]
    VIS, 1993, pp:175-190 [Conf]
  35. Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan
    Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:63, n:, pp:- [Journal]
  36. 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]
  37. 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]
  38. Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
    Verification of Distributed Applications. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:315-328 [Conf]

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


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


  41. Networking Resources for Research and Scientific Education in BW-eLabs. [Citation Graph (, )][DBLP]


Search in 0.038secs, Finished in 0.039secs
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