Pedro R. D'Argenio
Pedro R. D'Argenio
Verified email at - Homepage
Cited by
Cited by
Secure information flow by self-composition
G Barthe, PR D'argenio, T Rezk
Mathematical Structures in Computer Science 21 (6), 1207-1252, 2011
Testing timed automata
J Springintveld, F Vaandrager, PR D'Argenio
Theoretical computer science 254 (1-2), 225-257, 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
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
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
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
Algebras and automata for timed and stochastic systems
PR D'Argenio
Universiteit Twente, 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
A theory of stochastic systems part I: Stochastic automata
PR D’Argenio, JP Katoen
Information and computation 203 (1), 1-38, 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
On Generative Parallel Composition1
PR D'argenio, H Hermanns, JP Katoen
Electronic Notes in Theoretical Computer Science 22, 30-54, 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
Partial Order Reduction on Concurrent Probabilistic Programs.
PR D'Argenio, P Niebert
QEST 4, 240-249, 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
Rapture: A tool for verifying Markov decision processes
B Jeannet, P d’Argenio, K Larsen
Tools day 2, 149, 2002
Significant diagnostic counterexamples in probabilistic model checking
ME Andrés, P D’Argenio, P van Rossum
Haifa Verification Conference, 129-148, 2008
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
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
Quantitative model checking revisited: neither decidable nor approximable
S Giro, PR D’Argenio
International Conference on Formal Modeling and Analysis of Timed Systems …, 2007
General distributions in process algebra
JP Katoen, PR D’Argenio
School organized by the European Educational Forum, 375-429, 2000
The system can't perform the operation now. Try again later.
Articles 1–20