Pedro R. D'Argenio
Pedro R. D'Argenio
Verified email at famaf.unc.edu.ar - Homepage
Title
Cited by
Cited by
Year
Secure information flow by self-composition
G Barthe, PR D'Argenio, T Rezk
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 100-114, 2004
3652004
Testing timed automata
J Springintveld, F Vaandrager, PR D'Argenio
Theoretical computer science 254 (1-2), 225-257, 2001
3492001
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
1862001
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
1772006
The bounded retransmission protocol must be on time!
PR D'Argenio, JP Katoen, TC Ruys, J Tretmans
International Workshop on Tools and Algorithms for the Construction and …, 1997
1701997
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
1452001
Algebras and automata for timed and stochastic systems
PR D'Argenio
Universiteit Twente, 1999
1161999
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
100*1998
Secure information flow by self-composition
G Barthe, PR D'argenio, T Rezk
Mathematical Structures in Computer Science 21 (6), 1207, 2011
882011
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
862002
On Generative Parallel Composition1
PR D'argenio, H Hermanns, JP Katoen
Electronic Notes in Theoretical Computer Science 22, 30-54, 1999
851999
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
842001
A theory of stochastic systems part I: Stochastic automata
PR D’Argenio, JP Katoen
Information and computation 203 (1), 1-38, 2005
832005
Rapture: A tool for verifying Markov decision processes
B Jeannet, P d’Argenio, K Larsen
Tools day 2, 149, 2002
742002
Significant diagnostic counterexamples in probabilistic model checking
ME Andrés, P D’Argenio, P van Rossum
Haifa Verification Conference, 129-148, 2008
672008
Partial Order Reduction on Concurrent Probabilistic Programs.
PR D'Argenio, P Niebert
QEST 4, 240-249, 2004
672004
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
662006
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
562004
General distributions in process algebra
JP Katoen, PR D’Argenio
School organized by the European Educational Forum, 375-429, 2000
47*2000
A theory of stochastic systems. Part II: Process algebra
PR D’Argenio, JP Katoen
Information and Computation 203 (1), 39-74, 2005
462005
The system can't perform the operation now. Try again later.
Articles 1–20