Secure information flow by self-composition G Barthe, PR D'argenio, T Rezk Mathematical Structures in Computer Science 21 (6), 1207-1252, 2011 | 625 | 2011 |
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1-2), 225-257, 2001 | 394 | 2001 |
MODEST: A compositional modeling formalism for hard and softly timed systems H Bohnenkamp, PR d'Argenio, H Hermanns, JP Katoen Software Engineering, IEEE Transactions on 32 (10), 812-830, 2006 | 209 | 2006 |
Reachability analysis of probabilistic systems by successive refinements PR D’Argenio, B Jeannet, HE Jensen, KG Larsen Joint International Workshop von Process Algebra and Probabilistic Methods …, 2001 | 209 | 2001 |
The bounded retransmission protocol must be on time! PR D'Argenio, JP Katoen, TC Ruys, J Tretmans Tools and Algorithms for the Construction and Analysis of Systems: Third …, 1997 | 190 | 1997 |
Uppaal-now, next, and future T Amnell, G Behrmann, J Bengtsson, P D’argenio, A David, A Fehnker, ... Modeling and verification of parallel processes, 99-124, 2001 | 160 | 2001 |
Algebras and automata for timed and stochastic systems PR D'Argenio Universiteit Twente, 1999 | 133 | 1999 |
An algebraic approach to the specification of stochastic systems PR D'Argenio, JP Katoen, E Brinksma Proceedings of the IFIP TC2/WG2 2 (2.3), 126-147, 1998 | 108 | 1998 |
A theory of stochastic systems part I: Stochastic automata PR D’Argenio, JP Katoen Information and computation 203 (1), 1-38, 2005 | 100 | 2005 |
Reduction and refinement strategies for probabilistic analysis PR D’Argenio, B Jeannet, HE Jensen, KG Larsen Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002 | 100 | 2002 |
On Generative Parallel Composition1 PR D'argenio, H Hermanns, JP Katoen Electronic Notes in Theoretical Computer Science 22, 30-54, 1999 | 98 | 1999 |
MoDeST — A Modelling and Description Language for Stochastic Timed Systems PR D’Argenio, H Hermanns, JP Katoen, R Klaren Joint International Workshop von Process Algebra and Probabilistic Methods …, 2001 | 90 | 2001 |
Partial Order Reduction on Concurrent Probabilistic Programs. PR D'Argenio, P Niebert QEST 4, 240-249, 2004 | 81 | 2004 |
Partial order reduction for probabilistic branching time C Baier, P d'Argenio, M Groesser Electronic Notes in Theoretical Computer Science 153 (2), 97-116, 2006 | 80 | 2006 |
Significant diagnostic counterexamples in probabilistic model checking ME Andrés, P D’Argenio, P van Rossum Haifa Verification Conference, 129-148, 2008 | 77 | 2008 |
Rapture: A tool for verifying Markov decision processes B Jeannet, P d’Argenio, K Larsen Tools day 2, 149, 2002 | 76 | 2002 |
Smart sampling for lightweight verification of Markov decision processes P D’Argenio, A Legay, S Sedwards, LM Traonouez International Journal on Software Tools for Technology Transfer 17, 469-484, 2015 | 63 | 2015 |
Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions M Bravetti, P D’Argenio Validation of Stochastic Systems, 44-88, 2004 | 63 | 2004 |
A statistical model checker for nondeterminism and rare events CE Budde, PR D’Argenio, A Hartmanns, S Sedwards International Conference on Tools and Algorithms for the Construction and …, 2018 | 53 | 2018 |
General distributions in process algebra JP Katoen, PR D’Argenio School organized by the European Educational Forum, 375-429, 2000 | 53 | 2000 |