Travelled to:1 × Cyprus
1 × Denmark
1 × Estonia
1 × Spain
1 × United Kingdom
3 × France
3 × USA
Collaborated with:L.Zhang S.Kiefer H.Hermanns E.M.Hahn R.Wilhelm A.S.Murawski J.Ouaknine J.Worrell B.Westphal D.Kroening P.Schrammel D.Poetzl K.Madhukar M.Srivas D.Kröning R.Metta H.Chen C.David S.Altmeyer C.Burguière D.Grund J.Herter J.Reineke S.Wilhelm
Talks about:probabilist (7) model (4) automata (3) abstract (3) time (3) infinit (2) equival (2) complex (2) checker (2) analysi (2)
Person: Björn Wachter
DBLP: Wachter:Bj=ouml=rn
Contributed to:
2015
2014
2012
201220112010
2010
2010200920082007
20152016Wrote 15 papers:
- DATE-2015-MadhukarSWKM #abstraction #lazy evaluation #using #verification
- Verifying synchronous reactive systems using lazy abstraction (KM, MS, BW, DK, RM), pp. 1571–1574.
- ICALP-v2-2014-KieferW #automaton #complexity #probability
- Stability and Complexity of Minimising Probabilistic Automata (SK, BW), pp. 268–279.
- CAV-2012-KieferMOWW #named #probability #source code
- APEX: An Analyzer for Open Probabilistic Programs (SK, ASM, JO, BW, JW), pp. 693–698.
- FoSSaCS-2012-KieferMOWW #automaton #complexity #equivalence #on the #probability #problem
- On the Complexity of the Equivalence Problem for Probabilistic Automata (SK, ASM, JO, BW, JW), pp. 467–481.
- CAV-2011-KieferMOWW #automaton #equivalence #probability
- Language Equivalence for Probabilistic Automata (SK, ASM, JO, BW, JW), pp. 526–540.
- CAV-2010-HahnHWZ #markov #model checking #modelling #named #parametricity
- PARAM: A Model Checker for Parametric Markov Models (EMH, HH, BW, LZ), pp. 660–664.
- TACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement
- PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.
- VMCAI-2010-WachterZ #probability
- Best Probabilistic Transformers (BW, LZ), pp. 362–379.
- VMCAI-2010-WilhelmABGHRWW #analysis #realtime
- Static Timing Analysis for Hard Real-Time Systems (RW, SA, CB, DG, JH, JR, BW, SW), pp. 3–22.
- CAV-2009-HahnHWZ #infinity #markov #model checking #named
- INFAMY: An Infinite-State Markov Model Checker (EMH, HH, BW, LZ), pp. 641–647.
- CAV-2008-HermannsWZ #probability
- Probabilistic CEGAR (HH, BW, LZ), pp. 162–175.
- CAV-2008-WilhelmW #abstract interpretation #validation
- Abstract Interpretation with Applications to Timing Validation (RW, BW), pp. 22–36.
- VMCAI-2007-WachterW #principle
- The Spotlight Principle (BW, BW), pp. 182–198.
- ASE-2015-ChenDKSW #interprocedural #proving #termination
- Synthesising Interprocedural Bit-Precise Termination Proofs (T) (HYC, CD, DK, PS, BW), pp. 53–64.
- ASE-2016-KroeningPSW #analysis #concurrent #thread
- Sound static deadlock analysis for C/Pthreads (DK, DP, PS, BW), pp. 379–390.