BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Italy
1 × Japan
1 × Switzerland
1 × The Netherlands
2 × Austria
2 × Germany
2 × Hungary
4 × United Kingdom
Collaborated with:
A.D.Brucker L.Brügger C.Lüth H.Tej M.P.Krieger A.Knapp J.Doser Kolyang T.Santen A.Feliachi Y.Nemouchi P.Kearney D.A.Basin H.Kuruma K.Takaragi K.0001 T.M.0001
Talks about:
test (12) hol (7) transform (4) generat (4) model (4) program (3) firewal (3) case (3) ocl (3) gen (3)

Person: Burkhart Wolff

DBLP DBLP: Wolff:Burkhart

Facilitated 3 volumes:

ICTSS 2011Ed
TAP 2011Ed
FATES/RV 2006Ed

Contributed to:

TAP 20132013
GPCE 20102010
ICST 20102010
FASE 20092009
ECOOP 20082008
FASE 20082008
MBT 20082008
TestCom/FATES 20082008
TAP 20072007
MoDELS 20062006
FATES 20052005
FM 20052005
FATES 20042004
UML 20022002
FASE 20002000
FME 19971997
FME 19961996
TAPSOFT CAAP/FASE 19971997

Wrote 18 papers:

TAP-2013-BruckerFNW #case study #generative
Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.
GPCE-2010-KriegerKW #automation #contract #performance #simulation
Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
ICST-2010-BruckerBKW #generative #policy #testing
Verified Firewall Policy Transformations for Test Case Generation (ADB, LB, PK, BW), pp. 345–354.
FASE-2009-BruckerW #higher-order
hol-TestGen (ADB, BW), pp. 417–420.
ECOOP-2008-BruckerW #modelling #object-oriented
Extensible Universes for Object-Oriented Data Models (ADB, BW), pp. 438–462.
FASE-2008-BruckerW #higher-order #named #ocl #proving #uml
HOL-OCL: A Formal Proof Environment for UML/OCL (ADB, BW), pp. 97–100.
MBT-2008-BruckerBW #empirical #proving #verification
Verifying Test-Hypotheses: An Experiment in Test and Proof (ADB, LB, BW), pp. 15–27.
TestCom-FATES-2008-BruckerBW #consistency #modelling #testing
Model-Based Firewall Conformance Testing (ADB, LB, BW), pp. 103–118.
TAP-2007-BruckerW #generative #higher-order #testing
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (ADB, BW), pp. 149–168.
MoDELS-2006-BruckerDW #analysis #model transformation #semantics
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
FATES-2005-BruckerW #higher-order #interactive #testing
Interactive Testing with HOL-TestGen (ADB, BW), pp. 87–102.
FM-2005-BasinKTW #architecture #verification
Verification of a Signature Architecture with HOL-Z (DAB, HK, KT, BW), pp. 269–285.
FATES-2004-BruckerW #generative #recursion #testing
Symbolic Test Case Generation for Primitive Recursive Functions (ADB, BW), pp. 16–32.
UML-2002-BruckerW #case study #design #experience #higher-order #named #ocl
HOL-OCL: Experiences, Consequences and Design Choices (ADB, BW), pp. 196–211.
FASE-2000-LuthW #development #tool support
More About TAS and IsaWin — Tools for Formal Program Development (CL, BW), pp. 367–370.
FME-1997-TejW #csp #higher-order
A Corrected Failure Divergence Model for CSP in Isabelle/HOL (HT, BW), pp. 318–337.
FME-1996-KolyangSW #implementation
Correct and User-Friendly Implementations of Transformation Systems (K, TS, BW), pp. 629–648.
TAPSOFT-1997-KolyangLMW #development #interface #proving #theorem proving
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving (K0, CL, TM0, BW), pp. 855–858.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.