Jasper Berendsen

According to our database, Jasper Berendsen authored at least 7 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Formal specification and analysis of zeroconf using uppaalS.

Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang

ACM Trans. Embed. Comput. Syst., 2011

2010

Abstraction, prices and probability in model checking timed automata.

Jasper Berendsen

PhD thesis, 2010

The axiomatization of override and update.

Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager

J. Appl. Log., 2010

Fortuna: Model Checking Priced Probabilistic Timed Automata.

Jasper Berendsen, David N. Jansen, Frits W. Vaandrager

Proceedings of the QEST 2010, 2010

2009

Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.

Jasper Berendsen, Taolue Chen, David N. Jansen

Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

2008

Compositional Abstraction in Real-Time Model Checking.

Jasper Berendsen, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2006

Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.

Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006