dblp.uni-trier.dewww.uni-trier.de

Burkhart Wolff Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
41EEAchim D. Brucker, Burkhart Wolff: hol-TestGen. FASE 2009: 417-420
40EEAchim D. Brucker, Burkhart Wolff: Semantics, calculi, and analysis for object-oriented specifications. Acta Inf. 46(4): 255-284 (2009)
39EEMatthias 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)
2008
38EEAchim D. Brucker, Burkhart Wolff: Extensible Universes for Object-Oriented Data Models. ECOOP 2008: 438-462
37EEAchim D. Brucker, Burkhart Wolff: HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100
36EESascha Böhme, K. Rustan M. Leino, Burkhart Wolff: HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs 2008: 150-166
35EEAchim D. Brucker, Lukas Brügger, Burkhart Wolff: Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118
34EEMatthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176
33EEAchim 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)
32EEAchim D. Brucker, Burkhart Wolff: An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reasoning 41(3-4): 219-249 (2008)
2007
31EEAchim D. Brucker, Burkhart Wolff: Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP 2007: 149-168
30EEMakarius Wenzel, Burkhart Wolff: Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367
29EEDavid 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)
2006
28 Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff: 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 Springer 2006
27EEAchim D. Brucker, Jürgen Doser, Burkhart Wolff: A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS 2006: 306-320
26EEAchim D. Brucker, Jürgen Doser, Burkhart Wolff: An MDA Framework Supporting OCL. ECEASST 5: (2006)
25EEAchim D. Brucker, Jürgen Doser, Burkhart Wolff: Semantic Issues of OCL: Past, Present, and Future. ECEASST 5: (2006)
2005
24EEAchim D. Brucker, Burkhart Wolff: Interactive Testing with HOL-TestGen. FATES 2005: 87-102
23EEDavid A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285
22EEDavid Aspinall, Christoph Lüth, Burkhart Wolff: Assisted Proof Document Authoring. MKM 2005: 65-80
21EEAchim D. Brucker, Burkhart Wolff: A verification approach to applied system security. STTT 7(3): 233-247 (2005)
2004
20EEAchim D. Brucker, Burkhart Wolff: Symbolic Test Case Generation for Primitive Recursive Functions. FATES 2004: 16-32
19EEThomas Meyer, Burkhart Wolff: Tactic-Based Optimized Compilation of Functional Programs. TYPES 2004: 201-214
2003
18 David A. Basin, Burkhart Wolff: Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings Springer 2003
17EEAchim D. Brucker, Burkhart Wolff: A Case Study of a Formalized Security Architecture. Electr. Notes Theor. Comput. Sci. 80: (2003)
16EENicole Rauch, Burkhart Wolff: Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. Electr. Notes Theor. Comput. Sci. 80: (2003)
15EEAchim D. Brucker, Frank Rittinger, Burkhart Wolff: HOL-Z 2.0: A Proof Environment for Z-Specifications. J. UCS 9(2): 152-172 (2003)
2002
14EEAchim D. Brucker, Burkhart Wolff: A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs 2002: 99-114
13EEAchim D. Brucker, Burkhart Wolff: Using Theory Morphisms for Implementing Formal Methods Tools. TYPES 2002: 59-77
12EEAchim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices. UML 2002: 196-211
2001
11 Achim D. Brucker, Burkhart Wolff: Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) 2001: 608-614
2000
10EEChristoph Lüth, Burkhart Wolff: More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370
9EEChristoph Lüth, Burkhart Wolff: TAS - A Generic Window Inference System. TPHOLs 2000: 406-423
1999
8 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
7 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
6EEHaykal Tej, Burkhart Wolff: A Corrected Failure Divergence Model for CSP in Isabelle/HOL. FME 1997: 318-337
5EE 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
4EE Kolyang, Thomas Santen, Burkhart Wolff: Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648
3EE Kolyang, Thomas Santen, Burkhart Wolff: A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298
1995
2 Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff: Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284
1993
1 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

1David Aspinall [22]
2David A. Basin [18] [23] [29]
3Sascha Böhme [36]
4Achim D. Brucker [11] [12] [13] [14] [15] [17] [20] [21] [24] [25] [26] [27] [31] [32] [33] [35] [37] [38] [40] [41]
5Lukas Brügger [33] [35]
6Matthias Daum [34] [39]
7Jan Dörrenbächer [34] [39]
8Jürgen Doser [25] [26] [27]
9Klaus Havelund [28]
10Einar W. Karlsen [7]
11 Kolyang [3] [4] [5] [7]
12Bernd Krieg-Brückner [1] [2]
13Hironobu Kuruma [23] [29]
14K. Rustan M. Leino [36]
15Junbo Liu [1] [2]
16Christoph Lüth [5] [7] [8] [9] [10] [22]
17Thomas Meyer [5] [19]
18Kunihiko Miyazaki [29]
19Manuel Núñez [28]
20Nicole Rauch [16]
21Frank Rittinger [15]
22Grigore Rosu [28]
23Thomas Santen [3] [4]
24Mareike Schmidt [34]
25Hui Shi [1] [2]
26Kazuo Takaragi [23] [29]
27Haykal Tej [6]
28Markus Wenzel (Makarius Wenzel) [30]
29Stefan Westmeier [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)