Urmăriți
Pedro R. D'Argenio
Pedro R. D'Argenio
FaMAF, Universidad Nacional de Córdoba - CONICET
Adresă de e-mail confirmată pe famaf.unc.edu.ar - Pagina de pornire
Titlu
Citat de
Citat de
Anul
Secure information flow by self-composition
G Barthe, PR D'argenio, T Rezk
Mathematical Structures in Computer Science 21 (6), 1207-1252, 2011
6542011
Testing timed automata
J Springintveld, F Vaandrager, PR D'Argenio
Theoretical computer science 254 (1-2), 225-257, 2001
4002001
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
2212006
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
2092001
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
1911997
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
1592001
Algebras and automata for timed and stochastic systems
PR D'Argenio
Universiteit Twente, 1999
1321999
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
1111998
A theory of stochastic systems part I: Stochastic automata
PR D’Argenio, JP Katoen
Information and computation 203 (1), 1-38, 2005
1042005
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
1042002
On Generative Parallel Composition1
PR D'argenio, H Hermanns, JP Katoen
Electronic Notes in Theoretical Computer Science 22, 30-54, 1999
1031999
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
922001
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
782006
Partial Order Reduction on Concurrent Probabilistic Programs.
PR D'Argenio, P Niebert
QEST 4, 240-249, 2004
782004
Significant diagnostic counterexamples in probabilistic model checking
ME Andrés, P D’Argenio, P van Rossum
Haifa Verification Conference, 129-148, 2008
772008
Rapture: A tool for verifying Markov decision processes
B Jeannet, P d’Argenio, K Larsen
Tools day 2, 149, 2002
772002
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
742015
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
662004
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
592018
General distributions in process algebra
JP Katoen, PR D’Argenio
School organized by the European Educational Forum, 375-429, 2000
532000
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20