Travelled to:1 × Austria
1 × Czech Republic
1 × France
1 × Poland
1 × Spain
1 × USA
1 × United Kingdom
2 × Germany
Collaborated with:A.Wijs D.Dams L.Holenderski ∅ T.Basten R.Kuiper B.Jacobs J.Katoen E.Elkind B.Genest D.Peled N.Sidorova D.Zhang M.v.d.Brand L.Engelen C.Huizing
Talks about:base (3) connect (2) reduct (2) state (2) decomposit (1) scalarset (1) symmetri (1) calculus (1) abstract (1) uexplor (1)
Person: Dragan Bošnački
DBLP: Bošnački:Dragan
Facilitated 3 volumes:
EdEdEdContributed to:
2015
2014
2014
2014
2007
2005
200120012000Wrote 9 papers:
- ECOOP-2015-JacobsBK #composition #termination #verification
- Modular Termination Verification (BJ, DB, RK), pp. 664–688.
- AMT-2014-ZhangBBEHKW #code generation #concurrent #java #state machine #towards
- Towards Verified Java Code Generation from Concurrent State Machines (DZ, DB, MvdB, LE, CH, RK, AW), pp. 64–69.
- CAV-2014-WijsKB #component #composition #graph
- GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components (AW, JPK, DB), pp. 310–326.
- TACAS-2014-WijsB #manycore #named #on the fly #using
- GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs (AW, DB), pp. 233–247.
- ICALP-2007-BosnackiEGP #agile #commutative #on the
- On Commutativity Based Edge Lean Search (DB, EE, BG, DP), pp. 158–170.
- FM-2005-Bosnacki #abstraction #calculus #on the #μ-calculus
- On Some Galois Connection Based Abstractions for the μ-Calculus (DB), pp. 366–381.
- ASE-2001-BastenB #clustering #partial order #process #reduction
- Enhancing Partial-Order Reduction via Process Clustering (TB, DB), pp. 245–253.
- FME-2001-BosnackiDH #heuristic #reduction #symmetry
- A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.
- TACAS-2000-BosnackiDHS #model checking
- Model Checking SDL with Spin (DB, DD, LH, NS), pp. 363–377.