BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × USA
2 × France
2 × Germany
Collaborated with:
A.King S.Biallas S.Kowalewski J.Peleska U.Schulze J.Kriener
Talks about:
tool (2) trustworthi (1) increment (1) existenti (1) transfer (1) synthesi (1) quantifi (1) programm (1) platform (1) function (1)

Person: Jörg Brauer

DBLP DBLP: Brauer:J=ouml=rg

Contributed to:

ASE 20122012
ICTSS 20122012
SAS 20122012
CAV 20112011
ESOP 20112011
SAS 20102010

Wrote 6 papers:

ASE-2012-BiallasBK #framework #logic #platform #programmable #verification
Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
ICTSS-2012-BrauerPS #modelling #performance #testing #tool support
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
Loop Leaping with Closures (SB, JB, AK, SK), pp. 214–230.
CAV-2011-BrauerKK #incremental #quantifier #satisfiability
Existential Quantification as Incremental SAT (JB, AK, JK), pp. 191–207.
ESOP-2011-BrauerK #quantifier #synthesis
Transfer Function Synthesis without Quantifier Elimination (JB, AK), pp. 97–115.
SAS-2010-BrauerK #abstraction #automation #using
Automatic Abstraction for Intervals Using Boolean Formulae (JB, AK), pp. 167–183.

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.