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 × 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 DBLP: Bošnački:Dragan

Facilitated 3 volumes:

GRAPHITE 2014Ed
GRAPHITE 2013Ed
GRAPHITE 2012Ed

Contributed to:

ECOOP 20152015
AMT 20142014
CAV 20142014
TACAS 20142014
ICALP 20072007
FM 20052005
ASE 20012001
FME 20012001
TACAS 20002000

Wrote 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.

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.