We stand with Ukraine

We stand with Ukraine

Werner Stephan

Affiliations:

German Research Center for Artificial Intelligence (DFKI), Saarbrücken

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

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on dfki.de

On csauthors.net:

Bibliography

2015

Formal API Specification of the PikeOS Separation Kernel.

[BibT_eX]

[DOI]

,

,

Julien Schmaltz

,

Sergey Tverdyshev

,

,

Bruno Langenstein

,

,

,

Yakoub Nemouchi

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Formal Specification of a Generic Separation Kernel.

[BibT_eX]

[DOI]

,

Sergey Tverdyshev

,

,

,

Bruno Langenstein

,

,

Yakoub Nemouchi

,

Abderrahmane Feliachi

,

,

Julien Schmaltz

Arch. Formal Proofs, 2014

2012

Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE.

[BibT_eX]

[DOI]

Lassaad Cheikhrouhou

,

,

Özgür Dagdelen

,

,

Proceedings of the Sicherheit 2012: Sicherheit, 2012

2008

Automating Interactive Protocol Verification.

[BibT_eX]

[DOI]

Lassaad Cheikhrouhou

,

Andreas Nonnengart

,

,

,

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2007

Verification of Distributed Applications.

[BibT_eX]

[DOI]

Bruno Langenstein

,

Andreas Nonnengart

,

,

Proceedings of the Computer Safety, 2007

A History-based Verification of Distributed Applications.

[BibT_eX]

[DOI]

Bruno Langenstein

,

Andreas Nonnengart

,

,

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006

Verifying a Chipcard-Based Biometric Identification Protocol in VSE.

[BibT_eX]

[DOI]

Lassaad Cheikhrouhou

,

,

,

Matthias Schwan

,

Gunter Lassmann

Proceedings of the Computer Safety, 2006

Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

2005

Verification Support Environment.

[BibT_eX]

[DOI]

,

Bruno Langenstein

,

Andreas Nonnengart

,

Proceedings of the Mechanizing Mathematical Reasoning, 2005

A Portrait of a Scientist: Logic, AI and Politics.

[BibT_eX]

[DOI]

,

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2003

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

[BibT_eX]

[DOI]

,

,

Proceedings of the Security in Pervasive Computing, 2003

2002

Formal Requirements Engineering Using Observer Models.

[BibT_eX]

[DOI]

Andreas Nonnengart

,

,

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Towards Secure Mobile Multiagent Based Electronic Marketplace Systems.

[BibT_eX]

[DOI]

,

,

Matthias Klusch

,

Proceedings of the First International Workshop on Security of Mobile Multiagent Systems, 2001

Using Hybrid Automata to Express Realtime Properties in VSE-II.

[BibT_eX]

[DOI]

Andreas Nonnengart

,

,

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

2000

VSE: formal methods meet industrial needs.

[BibT_eX]

[DOI]

,

,

Bruno Langenstein

,

,

,

,

,

,

Andreas Wolpers

Int. J. Softw. Tools Technol. Transf., 2000

Formal software development in the Verification Support Environment (VSE).

[BibT_eX]

[DOI]

,

Bruno Langenstein

,

,

Jörg H. Siekmann

,

,

J. Exp. Theor. Artif. Intell., 2000

Modeling Specification and Verification of an Emergency Closing System.

[BibT_eX]

[DOI]

,

,

Michael Brodski

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

Formal Software Development in the Verification Support Environment (VSE).

[BibT_eX]

[DOI]

,

,

Jörg H. Siekmann

,

,

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1999

Modeling Dynamic Processes in TLA.

[BibT_eX]

,

,

Andreas Wolpers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

Modular reasoning about structured TLA specifications.

[BibT_eX]

[DOI]

,

,

Andreas Wolpers

Proceedings of the International Workshop Tool Support for System Specification, 1998

Simultaneous Quantifier Elimination.

[BibT_eX]

[DOI]

,

,

Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

VSE: Controlling the Complexity in Formal Software Developments.

[BibT_eX]

[DOI]

,

,

,

,

Andreas Wolpers

,

,

,

Gerhard Schellhorn

,

Proceedings of the Applied Formal Methods, 1998

Assumption-Commitment Specifications and Safety-Critical Systems.

[BibT_eX]

,

,

Andreas Wolpers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

System Assistance in Structured Domain Model Development.

[BibT_eX]

[DOI]

,

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Tool Support for the Compositional Development of Distributed Systems.

[BibT_eX]

,

,

Andreas Wolpers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Deduction in the Verification Support Environment (VSE).

[BibT_eX]

[DOI]

,

Bruno Langenstein

,

,

Jörg H. Siekmann

,

,

Andreas Wolpers

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Modeling Planning Domains Systematically.

[BibT_eX]

,

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Deduction-Based Refinement Planning.

[BibT_eX]

[DOI]

,

Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

1995

Multilevel Refinement Planning in an Interval-Based Temporal Logic.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

,

,

,

,

,

,

,

,

Andreas Wolpers

,

,

,

,

Proceedings of the Verläßliche Informationssysteme, 1993

The KIV System: A Tool for Formal Program Development.

[BibT_eX]

[DOI]

,

,

Gerhard Schellhorn

,

,

,

Andreas Wolpers

Proceedings of the STACS 93, 1993

A Calculus for Higher Order Procedures with Global Variables.

[BibT_eX]

[DOI]

,

Andreas Wolpers

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

A New Logical framework for Deductive Planning.

[BibT_eX]

[DOI]

,

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1990

Tactical Theorem Proving in Program Verification.

[BibT_eX]

[DOI]

,

,

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Machine-Assisted Program Construction and Modification.

[BibT_eX]

[DOI]

,

,

Proceedings of the GWAI-89, 1989

A Dynamic Logic for Program Verification.

[BibT_eX]

[DOI]

,

,

Proceedings of the Logic at Botik '89, 1989

1988

Implementing Verification Strategies in the KIV-System.

[BibT_eX]

[DOI]

,

,

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Program Verification by Symbolic Execution and Induction.

[BibT_eX]

[DOI]

,

,

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

Program Verification Using Dynamic Logic.

[BibT_eX]

[DOI]

,

,

Proceedings of the CSL '87, 1987

1986

An Interactive Verification System Based on Dynamic Logic.

[BibT_eX]

[DOI]

,

,

,

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.

[BibT_eX]

[DOI]

PhD thesis, 1982

1978

Completeness and Soundness of the Connection Graph Proof.

[BibT_eX]

,

Jörg H. Siekmann

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

Loading...