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: Brauer:J=ouml=rg
Contributed to:
2012
2012
2012
2011
20112010Wrote 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.
- SAS-2012-BiallasBKK
- 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.