DSpace at RU >

Search Results

Results 1-12 of 12.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2011	Formal specification and analysis of zeroconf using uppaal	Berendsen, J.; Gebremichael, B.; Vaandrager, F.W.; Zhang, M.
	2010	Abstraction, prices and probability in model checking timed automata	Berendsen, J.K.
	2010	The axiomatization of override and update	Berendsen, J.K.; Jansen, D.N.; Schmaltz, J.; Vaandrager, F.W.
	2010	Fortuna: Model Checking Priced Probabilistic Timed Automata	Berendsen, J.; Jansen, D.N.; Vaandrager, F.W.
	2009	Fortuna: Model Checking Priced Probabilistic Timed Automata	Berendsen, J.K.; Jansen, D.N.; Vaandrager, F.W.
	2009	Undecidability of cost-bounded reachability in priced probabilistic timed automata	Berendsen, J.K.; Chen, Taolue; Jansen, David N.; Chen, Jianer; Cooper, S. Barry
	2008	Compositional Abstraction in Real-Time Model Checking	Berendsen, J.K.; Vaandrager, F.W.; Cassez, F.; Jard, C.
	2007	Compositional Abstraction in Real--Time Model Checking	Berendsen, J.; Vaandrager, F.W.
	2007	Formal Specification and Analysis of Zeroconf using Uppaal	Berendsen, J.; Gebremichael, B.; Zhang, Miaomiao; Vaandrager, F.W.
	2006	Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata	Berendsen, J.K.; Jansen, D.N.; Katoen, J.P.
	2006	Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata	Berendsen, J.K.; Jansen, D.N.; Katoen, J.P.
	2006	Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata	Berendsen, J.K.; Jansen, D.N.; Katoen, J.P.

1