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: Jansen:David_N=
Contributed to:
2011
2007
2003
2001Wrote 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.