Werner Stephan

According to our database1, Werner Stephan authored at least 42 papers between 1978 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Formal API Specification of the PikeOS Separation Kernel.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014
Formal Specification of a Generic Separation Kernel.
Archive of Formal Proofs, 2014

2012
Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE.
Proceedings of the Sicherheit 2012: Sicherheit, 2012

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

Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.
Proceedings of the FM 2006: Formal Methods, 2006

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

A Portrait of a Scientist: Logic, AI and Politics.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2003
Security and Privacy in Pervasive Computing State of the Art and Future Directions.
Proceedings of the Security in Pervasive Computing, 2003

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

2001
Towards Secure Mobile Multiagent Based Electronic Marketplace Systems.
Electr. Notes Theor. Comput. Sci., 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
Simultaneous Quantifier Elimination.
Proceedings of the KI-98: Advances in Artificial Intelligence, 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

1997
System Assistance in Structured Domain Model Development.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

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

1996
Deduction in the Verification Support Environment (VSE).
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Modeling Planning Domains Systematically.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Deduction-Based Refinement Planning.
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

1995
Multilevel Refinement Planning in an Interval-Based Temporal Logic.
Proceedings of the Progress in Artificial Intelligence, 1995

1993
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
Proceedings of the Verläßliche Informationssysteme, 1993

The KIV System: A Tool for Formal Program Development.
Proceedings of the STACS 93, 1993

A New Logical Framework for deductive Planning.
Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

A Calculus for Higher Order Procedures with Global Variables.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

A New Logical framework for Deductive Planning.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1990
Tactical Theorem Proving in Program Verification.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
Machine-Assisted Program Construction and Modification.
Proceedings of the GWAI-89, 1989

A Dynamic Logic for Program Verification.
Proceedings of the Logic at Botik '89, 1989

1988
Implementing Verification Strategies in the KIV-System.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
Program Verification by Symbolic Execution and Induction.
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

Program Verification Using Dynamic Logic.
Proceedings of the CSL '87, 1987

1986
An Interactive Verification System Based on Dynamic Logic.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1982
Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen.
PhD thesis, 1982

1978
Completeness and Soundness of the Connection Graph Proof.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978


  Loading...