Werner Stephan

46 papers A* 1A 5B 6Misc 6Journal 3Unranked 21

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	Formal API Specification of the PikeOS Separation Kernel. NFM Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
2014	J	`jnl`	Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
2012	—	`conf`	Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE. Sicherheit Lassaad Cheikhrouhou, Werner Stephan, Özgür Dagdelen, Marc Fischlin, Markus Ullmann
2008	Misc	`conf`	Automating Interactive Protocol Verification. KI Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock
2007	—	`conf`	A History-based Verification of Distributed Applications. VERIFY Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
2007	B	`conf`	Verification of Distributed Applications. SAFECOMP Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
2006	B	`conf`	Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. FM Werner Stephan
2006	B	`conf`	Verifying a Chipcard-Based Biometric Identification Protocol in VSE. SAFECOMP Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann
2005	—	`conf`	A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning Dieter Hutter, Werner Stephan
2005	—	`ed.`	Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday Mechanizing Mathematical Reasoning Dieter Hutter, Werner Stephan
2005	—	`conf`	Verification Support Environment. Mechanizing Mathematical Reasoning Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
2004	—	`ed.`	Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers SPC Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann
2003	—	`conf`	Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC Dieter Hutter, Werner Stephan, Markus Ullmann
2002	B	`conf`	Formal Requirements Engineering Using Observer Models. FASE Andreas Nonnengart, Georg Rock, Werner Stephan
2001	—	`conf`	Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. SEMAS Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan
2001	Misc	`conf`	Using Hybrid Automata to Express Realtime Properties in VSE-II. FLAIRS Andreas Nonnengart, Georg Rock, Werner Stephan
2000	Misc	`conf`	Formal Software Development in the Verification Support Environment (VSE). FLAIRS Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
2000	J	`jnl`	Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
2000	Misc	`conf`	Modeling Specification and Verification of an Emergency Closing System. FLAIRS Werner Stephan, Georg Rock, Michael Brodski
2000	J	`jnl`	VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
1999	—	`ed.`	Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings FM-Trends Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
1999	—	`conf`	Modeling Dynamic Processes in TLA. FBT Georg Rock, Werner Stephan, Andreas Wolpers
1998	—	`conf`	Assumption-Commitment Specifications and Safety-Critical Systems. FBT Georg Rock, Werner Stephan, Andreas Wolpers
1998	—	`conf`	Modular reasoning about structured TLA specifications. Tool Support for System Specification, Development and Verification Georg Rock, Werner Stephan, Andreas Wolpers
1998	Misc	`conf`	Simultaneous Quantifier Elimination. KI Serge Autexier, Heiko Mantel, Werner Stephan
1998	—	`conf`	VSE: Controlling the Complexity in Formal Software Developments. FM-Trends Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997	—	`conf`	System Assistance in Structured Domain Model Development. IJCAI Susanne Biundo, Werner Stephan
1997	—	`conf`	Tool Support for the Compositional Development of Distributed Systems. FBT Georg Rock, Werner Stephan, Andreas Wolpers
1996	—	`conf`	Deduction in the Verification Support Environment (VSE). FME Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
1996	—	`conf`	Deduction-Based Refinement Planning. AIPS Werner Stephan, Susanne Biundo
1996	A	`conf`	Modeling Planning Domains Systematically. ECAI Susanne Biundo, Werner Stephan
1995	Misc	`conf`	Multilevel Refinement Planning in an Interval-Based Temporal Logic. EPIA Werner Stephan, Susanne Biundo
1993	B	`conf`	A Calculus for Higher Order Procedures with Global Variables. MFCS Werner Stephan, Andreas Wolpers
1993	—	`conf`	A New Logical Framework for deductive Planning. PuK Werner Stephan, Susanne Biundo
1993	A*	`conf`	A New Logical framework for Deductive Planning. IJCAI Werner Stephan, Susanne Biundo
1993	A	`conf`	The KIV System: A Tool for Formal Program Development. STACS Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers
1993	—	`conf`	VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS 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
1990	A	`conf`	Tactical Theorem Proving in Program Verification. CADE Maritta Heisel, Wolfgang Reif, Werner Stephan
1989	—	`conf`	A Dynamic Logic for Program Verification. Logic at Botik Maritta Heisel, Wolfgang Reif, Werner Stephan
1989	—	`conf`	Machine-Assisted Program Construction and Modification. GWAI Maritta Heisel, Wolfgang Reif, Werner Stephan
1988	A	`conf`	Implementing Verification Strategies in the KIV-System. CADE Maritta Heisel, Wolfgang Reif, Werner Stephan
1987	B	`conf`	Program Verification Using Dynamic Logic. CSL Maritta Heisel, Wolfgang Reif, Werner Stephan
1987	—	`conf`	Program Verification by Symbolic Execution and Induction. GWAI Maritta Heisel, Wolfgang Reif, Werner Stephan
1986	A	`conf`	An Interactive Verification System Based on Dynamic Logic. CADE Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan
1982	—	`—`	Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen. Werner Stephan
1978	—	`conf`	Completeness and Soundness of the Connection Graph Proof. AISB/GI (ECAI) Werner Stephan, Jörg H. Siekmann