Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Werner Stephan" ( http://dblp.L3S.de/Authors/Werner_Stephan )

  Author page on DBLP  Author page in RDF  Community of Werner Stephan in ASPL-2

Publication years (Num. hits)
1978-1995 (16) 1996-2001 (16) 2002-2012 (13)
Publication types (Num. hits)
article(3) inproceedings(39) proceedings(3)
Venues (Conferences, Journals, ...)
CADE(3) FBT(3) FLAIRS Conference(3) Mechanizing Mathematical Reaso...(3) CSL(2) FM-Trends(2) GWAI(2) IJCAI(2) KI(2) SAFECOMP(2) SPC(2) AIPS(1) AISB/GI (ECAI)(1) ECAI(1) Electr. Notes Theor. Comput. S...(1) EPIA(1) More (+10 of total 30)
Authors
Werner Stephan(45) Georg Rock(15) Dieter Hutter(12) Wolfgang Reif(10) Andreas Wolpers(9) Maritta Heisel(7) Andreas Nonnengart(6) Bruno Langenstein(6) Susanne Biundo(6) Markus Ullmann(5) Jörg H. Siekmann(4) Heiko Mantel(3) Lassaad Cheikhrouhou(3) Roland Vogt(3) Claus Sengler(2) Gerhard Schellhorn(2) More (+10 of total 52)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Lassaad Cheikhrouhou, Werner Stephan, Özgür Dagdelen, Marc Fischlin, Markus Ullmann Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE. Search on Bibsonomy Sicherheit The full citation details ... 2012 DBLP  BibTeX  RDF
1Sabina Jeschke, Barbara Burr, Jens U. Hahn, Leni Helmes, Walter Kriha, Michael Kruger, Andreas W. Liehr, Wolfgang Osten, Olivier Pfeiffer, Thomas Richter, Gerhard Schneider, Werner Stephan, Karl-Heinz Weber Networking Resources for Research and Scientific Education in BW-eLabs. Search on Bibsonomy SNPD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock Automating Interactive Protocol Verification. Search on Bibsonomy KI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan A History-based Verification of Distributed Applications. Search on Bibsonomy VERIFY The full citation details ... 2007 DBLP  BibTeX  RDF
1Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan Verification of Distributed Applications. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann Verifying a Chipcard-Based Biometric Identification Protocol in VSE. Search on Bibsonomy SAFECOMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Werner Stephan Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock Verification Support Environment. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dieter Hutter, Werner Stephan A Portrait of a Scientist: Logic, AI and Politics. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dieter Hutter, Werner Stephan (eds.) Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  BibTeX  RDF
1Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (eds.) Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers Search on Bibsonomy SPC The full citation details ... 2004 DBLP  BibTeX  RDF
1Dieter Hutter, Werner Stephan, Markus Ullmann Security and Privacy in Pervasive Computing State of the Art and Future Directions. Search on Bibsonomy SPC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Andreas Nonnengart, Georg Rock, Werner Stephan Formal Requirements Engineering Using Observer Models. Search on Bibsonomy FASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andreas Nonnengart, Georg Rock, Werner Stephan Using Hybrid Automata to Express Realtime Properties in VSE-II. Search on Bibsonomy FLAIRS Conference The full citation details ... 2001 DBLP  BibTeX  RDF
1Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt Formal software development in the Verification Support Environment (VSE). Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers VSE: formal methods meet industrial needs. Search on Bibsonomy STTT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Formal software development, Modular proof development, Temporal logic, Compositionality, Automated theorem proving, Interactive theorem proving
1Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt Formal Software Development in the Verification Support Environment (VSE). Search on Bibsonomy FLAIRS Conference The full citation details ... 2000 DBLP  BibTeX  RDF
1Werner Stephan, Georg Rock, Michael Brodski Modeling Specification and Verification of an Emergency Closing System. Search on Bibsonomy FLAIRS Conference The full citation details ... 2000 DBLP  BibTeX  RDF
1Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.) Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings Search on Bibsonomy FM-Trends The full citation details ... 1999 DBLP  BibTeX  RDF
1Georg Rock, Werner Stephan, Andreas Wolpers Modeling Dynamic Processes in TLA. Search on Bibsonomy FBT The full citation details ... 1999 DBLP  BibTeX  RDF
1Dieter 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. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Georg Rock, Werner Stephan, Andreas Wolpers Assumption-Commitment Specifications and Safety-Critical Systems. Search on Bibsonomy FBT The full citation details ... 1998 DBLP  BibTeX  RDF
1Serge Autexier, Heiko Mantel, Werner Stephan Simultaneous Quantifier Elimination. Search on Bibsonomy KI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Susanne Biundo, Werner Stephan System Assistance in Structured Domain Model Development. Search on Bibsonomy IJCAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Georg Rock, Werner Stephan, Andreas Wolpers Tool Support for the Compositional Development of Distributed Systems. Search on Bibsonomy FBT The full citation details ... 1997 DBLP  BibTeX  RDF
1Susanne Biundo, Werner Stephan Modeling Planning Domains Systematically. Search on Bibsonomy ECAI The full citation details ... 1996 DBLP  BibTeX  RDF
1Werner Stephan, Susanne Biundo Deduction-Based Refinement Planning. Search on Bibsonomy AIPS The full citation details ... 1996 DBLP  BibTeX  RDF
1Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers Deduction in the Verification Support Environment (VSE). Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Werner Stephan, Susanne Biundo Multilevel Refinement Planning in an Interval-Based Temporal Logic. Search on Bibsonomy EPIA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Werner Stephan Die Deutsche Bibliothek: The National Archive for Electronic Media? Search on Bibsonomy Essen Symposium The full citation details ... 1995 DBLP  BibTeX  RDF
1Werner Stephan, Susanne Biundo A New Logical framework for Deductive Planning. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Werner Stephan, Susanne Biundo A New Logical Framework for deductive Planning. Search on Bibsonomy PuK The full citation details ... 1993 DBLP  BibTeX  RDF
1Werner Stephan, Andreas Wolpers A Calculus for Higher Order Procedures with Global Variables. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers The KIV System: A Tool for Formal Program Development. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Markus 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. Search on Bibsonomy VIS The full citation details ... 1993 DBLP  BibTeX  RDF
1Maritta Heisel, Wolfgang Reif, Werner Stephan Tactical Theorem Proving in Program Verification. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Maritta Heisel, Wolfgang Reif, Werner Stephan A Dynamic Logic for Program Verification. Search on Bibsonomy Logic at Botik The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Maritta Heisel, Wolfgang Reif, Werner Stephan Machine-Assisted Program Construction and Modification. Search on Bibsonomy GWAI The full citation details ... 1989 DBLP  BibTeX  RDF
1Maritta Heisel, Wolfgang Reif, Werner Stephan Implementing Verification Strategies in the KIV-System. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Wolfgang Schönfeld, Werner Stephan Integration of Descriptive and Procedural Language Constructs. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Maritta Heisel, Wolfgang Reif, Werner Stephan Program Verification Using Dynamic Logic. Search on Bibsonomy CSL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Maritta Heisel, Wolfgang Reif, Werner Stephan Program Verification by Symbolic Execution and Induction. Search on Bibsonomy GWAI The full citation details ... 1987 DBLP  BibTeX  RDF
1Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan An Interactive Verification System Based on Dynamic Logic. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Werner Stephan, Jörg H. Siekmann Completeness and Soundness of the Connection Graph Proof. Search on Bibsonomy AISB/GI (ECAI) The full citation details ... 1978 DBLP  BibTeX  RDF
Displaying result #1 - #45 of 45 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.