Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Burkhart Wolff
2010 – today
- 2013
[c37]Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff: Test Program Generation for a Microprocessor - A Case-Study. TAP 2013: 76-95- [e5]Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (Eds.): Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7681, Springer 2013, ISBN 978-3-642-35704-6
- [i1]Thierry Jéron, Margus Veanes, Burkhart Wolff: Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports 3(1): 1-29 (2013)
- 2012
- [j15]Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel: Isabelle/Circus. Archive of Formal Proofs 2012 (2012)
- [c36]Achim D. Brucker, Burkhart Wolff: Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL and Textual Modelling 2012: 19-24
- [c35]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Isabelle/Circus: A Process Specification and Verification Environment. VSTTE 2012: 243-260
- 2011
- [j14]Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff: Preface (OCL 2011 Proceedings). ECEASST 44 (2011)
- [c34]Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff: An approach to modular and testable security models of real-world health-care applications. SACMAT 2011: 133-142
- [c33]Makarius Wenzel, Burkhart Wolff: Isabelle/PIDE as Platform for Educational Tools. THedu'11 2011: 143-153
- [e4]Burkhart Wolff, Fatiha Zaïdi (Eds.): Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Lecture Notes in Computer Science 7019, Springer 2011, ISBN 978-3-642-24579-4
- [e3]Martin Gogolla, Burkhart Wolff (Eds.): Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Lecture Notes in Computer Science 6706, Springer 2011, ISBN 978-3-642-21767-8
- 2010
- [j13]Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff: HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reasoning 44(1-2): 111-144 (2010)
- [c32]Matthias P. Krieger, Alexander Knapp, Burkhart Wolff: Automatic and efficient simulation of operation contracts. GPCE 2010: 53-62
- [c31]Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff: Verified Firewall Policy Transformations for Test Case Generation. ICST 2010: 345-354
- [c30]Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff: A Specification-Based Test Case Generation Method for UML/OCL. MoDELS Workshops 2010: 334-348
- [c29]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Unifying Theories in Isabelle/HOL. UTP 2010: 188-206
2000 – 2009
- 2009
- [j12]Achim D. Brucker, Burkhart Wolff: Semantics, calculi, and analysis for object-oriented specifications. Acta Inf. 46(4): 255-284 (2009)
- [j11]Matthias Daum, Jan Dörrenbächer, Burkhart Wolff: Proving Fairness and Implementation Correctness of a Microkernel Scheduler. J. Autom. Reasoning 42(2-4): 349-388 (2009)
- [c28]
- [c27]Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff: Extending OCL with Null-References. MoDELS Workshops 2009: 261-275
- 2008
- [j10]Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Verifying Test-Hypotheses: An Experiment in Test and Proof. Electr. Notes Theor. Comput. Sci. 220(1): 15-27 (2008)
- [j9]Achim D. Brucker, Burkhart Wolff: An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reasoning 41(3-4): 219-249 (2008)
- [c26]Achim D. Brucker, Burkhart Wolff: Extensible Universes for Object-Oriented Data Models. ECOOP 2008: 438-462
- [c25]Achim D. Brucker, Burkhart Wolff: HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100
- [c24]Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118
- [c23]Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff: HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs 2008: 150-166
- [c22]Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176
- 2007
- [j8]David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff: Verifying a signature architecture: a comparative case study. Formal Asp. Comput. 19(1): 63-91 (2007)
- [c21]Achim D. Brucker, Burkhart Wolff: Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP 2007: 149-168
- [c20]Makarius Wenzel, Burkhart Wolff: Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367
- 2006
- [j7]
- [j6]Achim D. Brucker, Jürgen Doser, Burkhart Wolff: Semantic Issues of OCL: Past, Present, and Future. ECEASST 5 (2006)
- [c19]Achim D. Brucker, Jürgen Doser, Burkhart Wolff: A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS 2006: 306-320
- [e2]Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.): Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8
- 2005
- [j5]Achim D. Brucker, Burkhart Wolff: A verification approach to applied system security. STTT 7(3): 233-247 (2005)
- [c18]
- [c17]David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285
- [c16]
- 2004
- [c15]Achim D. Brucker, Burkhart Wolff: Symbolic Test Case Generation for Primitive Recursive Functions. FATES 2004: 16-32
- [c14]Thomas Meyer, Burkhart Wolff: Tactic-Based Optimized Compilation of Functional Programs. TYPES 2004: 201-214
- 2003
- [j4]Achim D. Brucker, Burkhart Wolff: A Case Study of a Formalized Security Architecture. Electr. Notes Theor. Comput. Sci. 80: 24-40 (2003)
- [j3]Nicole Rauch, Burkhart Wolff: Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. Electr. Notes Theor. Comput. Sci. 80: 41-58 (2003)
- [j2]Achim D. Brucker, Frank Rittinger, Burkhart Wolff: HOL-Z 2.0: A Proof Environment for Z-Specifications. J. UCS 9(2): 152-172 (2003)
- [e1]David A. Basin, Burkhart Wolff (Eds.): Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Lecture Notes in Computer Science 2758, Springer 2003, ISBN 3-540-40664-6
- 2002
- [c13]Achim D. Brucker, Burkhart Wolff: A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs 2002: 99-114
- [c12]Achim D. Brucker, Burkhart Wolff: Using Theory Morphisms for Implementing Formal Methods Tools. TYPES 2002: 59-77
- [c11]Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices. UML 2002: 196-211
- 2001
- [c10]Achim D. Brucker, Burkhart Wolff: Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) 2001: 608-614
- 2000
- [c9]Christoph Lüth, Burkhart Wolff: More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370
- [c8]
1990 – 1999
- 1999
- [j1]Christoph Lüth, Burkhart Wolff: Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. 9(2): 167-189 (1999)
- 1998
- [c7]Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff: HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM 1998: 116-134
- 1997
- [c6]Haykal Tej, Burkhart Wolff: A Corrected Failure Divergence Model for CSP in Isabelle/HOL. FME 1997: 318-337
- [c5]Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff: TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT 1997: 855-858
- 1996
- [c4]Kolyang, Thomas Santen, Burkhart Wolff: Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648
- [c3]Kolyang, Thomas Santen, Burkhart Wolff: A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298
- 1995
- [c2]Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff: Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284
- 1993
- [c1]Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi: Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung 1993: 241-246
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-13 23:00 CEST by the dblp team