P.R. d' Argenio

Reduction and Refinement Strategies for Probabilistic Analyses

P.R. d' Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen et al. · 2002 · 59 citations

Probabilistic System, Refinement Strategies, Probabilistic Analysis +2

Testing Timed Automata

Jan Springintveld, Frits Vaandrager, P.R. d' Argenio · 1997 · 37 citations · Full text

UPPAAL - Now, Next, and Future

Tobias Amnell, G. Behrmann, Johan Bengtsson et al. · 2000 · 21 citations

Algebras and Automata for Timed and Stochastic Systems

P.R. d' Argenio · 1999 · 16 citations

Engineering, Formal Methods, Automaton Network +3

A Calculus for Timed Automata

P.R. d' Argenio, Hendrik Brinksma · 1996 · 14 citations

Logical Automaton, Engineering, Automated Reasoning +6