Burkhart Wolff

	2012
53		Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Isabelle/Circus: A Process Specification and Verification Environment. VSTTE 2012: 243-260
	2011
52		Martin Gogolla, Burkhart Wolff: Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings Springer 2011
51		Burkhart Wolff, Fatiha Zaïdi: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings Springer 2011
50		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
49		Makarius Wenzel, Burkhart Wolff: Isabelle/PIDE as Platform for Educational Tools THedu'11 2011: 143-153
48		Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff: Preface (OCL 2011 Proceedings). ECEASST 44: (2011)
	2010
47		Matthias P. Krieger, Alexander Knapp, Burkhart Wolff: Automatic and efficient simulation of operation contracts. GPCE 2010: 53-62
46		Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff: Verified Firewall Policy Transformations for Test Case Generation. ICST 2010: 345-354
45		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
44		Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Unifying Theories in Isabelle/HOL. UTP 2010: 188-206
43		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)
	2009
42		Achim D. Brucker, Burkhart Wolff: hol-TestGen. FASE 2009: 417-420
41		Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff: Extending OCL with Null-References. MoDELS Workshops 2009: 261-275
40		Achim D. Brucker, Burkhart Wolff: Semantics, calculi, and analysis for object-oriented specifications. Acta Inf. 46(4): 255-284 (2009)
39		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)
	2008
38		Achim D. Brucker, Burkhart Wolff: Extensible Universes for Object-Oriented Data Models. ECOOP 2008: 438-462
37		Achim D. Brucker, Burkhart Wolff: HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100
36		Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff: HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs 2008: 150-166
35		Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118
34		Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176
33		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)
32		Achim D. Brucker, Burkhart Wolff: An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reasoning 41(3-4): 219-249 (2008)
	2007
31		Achim D. Brucker, Burkhart Wolff: Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP 2007: 149-168
30		Makarius Wenzel, Burkhart Wolff: Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367
29		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)
	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
27		Achim D. Brucker, Jürgen Doser, Burkhart Wolff: A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS 2006: 306-320
26		Achim D. Brucker, Jürgen Doser, Burkhart Wolff: An MDA Framework Supporting OCL. ECEASST 5: (2006)
25		Achim D. Brucker, Jürgen Doser, Burkhart Wolff: Semantic Issues of OCL: Past, Present, and Future. ECEASST 5: (2006)
	2005
24		Achim D. Brucker, Burkhart Wolff: Interactive Testing with HOL-TestGen. FATES 2005: 87-102
23		David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285
22		David Aspinall, Christoph Lüth, Burkhart Wolff: Assisted Proof Document Authoring. MKM 2005: 65-80
21		Achim D. Brucker, Burkhart Wolff: A verification approach to applied system security. STTT 7(3): 233-247 (2005)
	2004
20		Achim D. Brucker, Burkhart Wolff: Symbolic Test Case Generation for Primitive Recursive Functions. FATES 2004: 16-32
19		Thomas 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
17		Achim D. Brucker, Burkhart Wolff: A Case Study of a Formalized Security Architecture. Electr. Notes Theor. Comput. Sci. 80: 24-40 (2003)
16		Nicole Rauch, Burkhart Wolff: Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. Electr. Notes Theor. Comput. Sci. 80: 41-58 (2003)
15		Achim D. Brucker, Frank Rittinger, Burkhart Wolff: HOL-Z 2.0: A Proof Environment for Z-Specifications. J. UCS 9(2): 152-172 (2003)
	2002
14		Achim D. Brucker, Burkhart Wolff: A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs 2002: 99-114
13		Achim D. Brucker, Burkhart Wolff: Using Theory Morphisms for Implementing Formal Methods Tools. TYPES 2002: 59-77
12		Achim 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
10		Christoph Lüth, Burkhart Wolff: More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370
9		Christoph 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
6		Haykal Tej, Burkhart Wolff: A Corrected Failure Divergence Model for CSP in Isabelle/HOL. FME 1997: 318-337
5		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
4		Kolyang, Thomas Santen, Burkhart Wolff: Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648
3		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

1	David Aspinall	[22]
2	David A. Basin	[18] [23] [29]
3	Sascha Böhme	[36] [43]
4	Achim D. Brucker	[11] [12] [13] [14] [15] [17] [20] [21] [24] [25] [26] [27] [31] [32] [33] [35] [37] [38] [40] [41] [42] [45] [46] [50]
5	Lukas Brügger	[33] [35] [46] [50]
6	Jordi Cabot	[48]
7	Robert Clarisó	[48]
8	Matthias Daum	[34] [39]
9	Jan Dörrenbächer	[34] [39]
10	Jürgen Doser	[25] [26] [27]
11	Abderrahmane Feliachi	[44] [53]
12	Marie-Claude Gaudel	[44] [53]
13	Martin Gogolla	[48] [52]
14	Klaus Havelund	[28]
15	Einar W. Karlsen	[7]
16	Paul Kearney	[46] [50]
17	Alexander Knapp	[47]
18	Kolyang	[3] [4] [5] [7]
19	Bernd Krieg-Brückner	[1] [2]
20	Matthias P. Krieger	[41] [45] [47]
21	Hironobu Kuruma	[23] [29]
22	K. Rustan M. Leino	[36]
23	Junbo Liu	[1] [2]
24	Delphine Longuet	[45]
25	Christoph Lüth	[5] [7] [8] [9] [10] [22]
26	Thomas Meyer	[5] [19]
27	Kunihiko Miyazaki	[29]
28	Michal Moskal	[43]
29	Manuel Núñez	[28]
30	Nicole Rauch	[16]
31	Frank Rittinger	[15]
32	Grigore Rosu	[28]
33	Thomas Santen	[3] [4]
34	Mareike Schmidt	[34]
35	Wolfram Schulte	[43]
36	Hui Shi	[1] [2]
37	Kazuo Takaragi	[23] [29]
38	Haykal Tej	[6]
39	Markus Wenzel (Makarius Wenzel)	[30] [49]
40	Stefan Westmeier	[7]
41	Fatiha Zaïdi	[51]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page