 | 2011 |
|---|
| 6 |       | Jasper Berendsen,
Biniam Gebremichael,
Frits W. Vaandrager,
Miaomiao Zhang:
Formal specification and analysis of zeroconf using uppaalS.
ACM Trans. Embedded Comput. Syst. 10(3): 34 (2011) |
| 2010 |
|---|
| 5 | | Jasper Berendsen,
David N. Jansen,
Frits W. Vaandrager:
Fortuna: Model Checking Priced Probabilistic Timed Automata.
QEST 2010: 273-281 |
| 4 | | Jasper Berendsen,
David N. Jansen,
Julien Schmaltz,
Frits W. Vaandrager:
The axiomatization of override and update.
J. Applied Logic 8(1): 141-150 (2010) |
| 2009 |
|---|
| 3 | | Jasper Berendsen,
Taolue Chen,
David N. Jansen:
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.
TAMC 2009: 128-137 |
| 2008 |
|---|
| 2 | | Jasper Berendsen,
Frits W. Vaandrager:
Compositional Abstraction in Real-Time Model Checking.
FORMATS 2008: 233-249 |
| 2006 |
|---|
| 1 | | Jasper Berendsen,
David N. Jansen,
Joost-Pieter Katoen:
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.
QEST 2006: 311-322 |
Data released under the ODC-BY 1.0 license — See also our legal information page