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 × Austria
1 × Cyprus
1 × France
1 × Germany
1 × Japan
1 × Luxembourg
1 × Switzerland
2 × Hungary
2 × Italy
2 × United Kingdom
Collaborated with:
B.Wolff L.Brügger L.Compagna P.Guilleminot G.Monakova A.Schaad J.Doser A.Feliachi Y.Nemouchi P.Kearney
Talks about:
test (12) hol (5) generat (4) firewal (3) secur (3) model (3) case (3) ocl (3) gen (3) transform (2)

Person: Achim D. Brucker

DBLP DBLP: Brucker:Achim_D=

Facilitated 4 volumes:

ICMT 2015PrCo
ICMT 2014PrCo
TAP 2012Ed
MoDELS 2016PracticalTrackPrCo

Contributed to:

ICST 20132013
TAP 20132013
SAC 20122012
ICST 20102010
FASE 20092009
ECOOP 20082008
FASE 20082008
MBT 20082008
TestCom/FATES 20082008
TAP 20072007
MoDELS 20062006
FATES 20052005
FATES 20042004
UML 20022002

Wrote 14 papers:

ICST-2013-CompagnaGB #as a service #process #security #validation
Business Process Compliance via Security Validation as a Service (LC, PG, ADB), pp. 455–462.
TAP-2013-BruckerFNW #case study #generative
Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.
SAC-2012-MonakovaBS #process #safety #security
Security and safety of assets in business processes (GM, ADB, AS), pp. 1667–1673.
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.
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.
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.