EDBT 2026 Demo / reviewers in the wild / expert
Werner Stephan 0001
dblp:151/9339
· DBLP profile ↗
14ranked-venue papers
3as first author
0since 2021 · last 2007
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 7 · 1 first-authorTheory of computation · 6 · 2 first-authorSoftware engineering, systems software and programming languages · 3 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 3 · 1 first-authorSecurity and privacy · 2
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 50% Automated reasoning and model checking · 50% | |
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% | |
| Artificial intelligence
2 papers |
Planning, search and constraint satisfaction · 66% Knowledge representation and reasoning · 34% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science
formal methods |
0.1 | 1 | 2006 | Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline · FM 2006 |
Automated reasoning and model checking
formal methods for security |
0.1 | 1 | 2006 | Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline · FM 2006 |
Requirements engineering and software design › conceptual modeling
domain modeling |
0.0 | 1 | 1997 | System Assistance in Structured Domain Model Development · IJCAI 1997 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › planning › symbolic planning
deductive planning |
0.0 | 1 | 1993 | A New Logical framework for Deductive Planning · IJCAI 1993 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology |
0.0 | 1 | 1997 | System Assistance in Structured Domain Model Development · IJCAI 1997 |
Methods — techniques the papers use, named apart from their topics
logic-based planning · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2007 | Verification of Distributed Applications
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan 0001 |
SAFECOMP | 4 |
| 2006 | Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline
Werner Stephan 0001 |
FM | 1 |
| 2006 | Verifying a Chipcard-Based Biometric Identification Protocol in VSE
Lassaad Cheikhrouhou, Georg Rock, Werner Stephan 0001, Matthias Schwan, Gunter Laßmann |
SAFECOMP | 3 |
| 2002 | Formal Requirements Engineering Using Observer Models
Andreas Nonnengart, Georg Rock, Werner Stephan 0001 |
FASE | 3 |
| 2000 | Formal software development in the Verification Support Environment (VSE)abstractIn this paper a survey of the VSE system, a CASE-tool for formal software development, is presented. Main emphasis is put on the underlying formal method and tool support, and that in particular from the deductive support perspective. In order to demonstrate its broad range of applicability and to give an impression on how to work with the system we make use of two (commercial) applications taken from the safety and the IT-security domain. Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan 0001, Roland Vogt |
J. Exp. Theor. Artif. Intell. | 5 |
| 2000 | VSE: formal methods meet industrial needs
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan 0001, Roland Vogt, Andreas Wolpers |
Int. J. Softw. Tools Technol. Transf. | 7 |
| 1997 | System Assistance in Structured Domain Model Development
Susanne Biundo-Stephan, Werner Stephan 0001 |
IJCAI | 2 |
| 1996 | Modeling Planning Domains Systematically
Susanne Biundo-Stephan, Werner Stephan 0001 |
ECAI | 2 |
| 1993 | A New Logical framework for Deductive Planning
Werner Stephan 0001, Susanne Biundo-Stephan |
IJCAI | 1 |
| 1993 | A Calculus for Higher Order Procedures with Global Variables
Werner Stephan 0001, Andreas Wolpers |
MFCS | 1 |
| 1993 | The KIV System: A Tool for Formal Program Development
Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan 0001, Andreas Wolpers |
STACS | 5 |
| 1990 | Tactical Theorem Proving in Program Verification
Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 |
CADE | 3 |
| 1988 | Implementing Verification Strategies in the KIV-System
Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 |
CADE | 3 |
| 1986 | An Interactive Verification System Based on Dynamic Logic
Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 |
CADE | 4 |