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 × Portugal
1 × USA
2 × Switzerland
Collaborated with:
H.Hermanns J.Katoen L.Zhang R.Wieringa F.Nielson T.Kemna I.S.Zapreev F.Eisenbrand
Talks about:
probabilist (2) model (2) check (2) statechart (1) algorithm (1) techniqu (1) automata (1) reactiv (1) minimis (1) bisimul (1)

Person: David N. Jansen

DBLP DBLP: Jansen:David_N=

Contributed to:

ICALP (2) 20112011
TACAS 20072007
UML 20032003
CAiSE 20012001

Wrote 5 papers:

ICALP-v2-2011-ZhangJNH #model checking
Automata-Based CSL Model Checking (LZ, DNJ, FN, HH), pp. 271–282.
TACAS-2007-KatoenKZJ #bisimulation #model checking #probability
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking (JPK, TK, ISZ, DNJ), pp. 87–101.
TACAS-2007-ZhangHEJ #algorithm #performance #probability #simulation
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (LZ, HH, FE, DNJ), pp. 155–169.
UML-2003-JansenHK #uml
A QoS-Oriented Extension of UML Statecharts (DNJ, HH, JPK), pp. 76–91.
CAiSE-2001-WieringaJ #design #tool support
Techniques for Reactive System Design: The Tools in TRADE (RW, DNJ), pp. 93–107.

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.