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
Process Algebra and Probabilistic Methods. Performance Modelling and …, 2001
The bounded retransmission protocol must be on time!
PR D'Argenio, JP Katoen, TC Ruys, J Tretmans
TACAS 97, 416-431, 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
Reduction and refinement strategies for probabilistic analysis
PR D’Argenio, B Jeannet, HE Jensen, KG Larsen
Process Algebra and Probabilistic Methods: Performance Modeling and …, 2002
A theory of stochastic systems part I: Stochastic automata
PR D’Argenio, JP Katoen
Information and computation 203 (1), 1-38, 2005
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
PAPM-PROBMIV 2165, 87-104, 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
Hardware and Software: Verification and Testing: 4th International Haifa …, 2009
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
Quantitative model checking revisited: neither decidable nor approximable
S Giro, PR D’Argenio
Formal Modeling and Analysis of Timed Systems: 5th International Conference …, 2007
General distributions in process algebra
JP Katoen, PR D’Argenio
Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer …, 2001
A theory of stochastic systems. Part II: Process algebra
PR D’Argenio, JP Katoen
Information and Computation 203 (1), 39-74, 2005
The system can't perform the operation now. Try again later.
Articles 1–20