Pedro RD Argenio

Universidad Nacional de Córdoba - Córdoba / Argentina

Others

AD Scientific Index ID: 852266

National University of Córdoba

Registration, Add Profile,
Premium Membership

Print Your Certificate

Pedro RD Argenio's MOST POPULAR ARTICLES

1-) Secure information flow by self-compositionG Barthe, PR D\\\\\\\'argenio, T RezkMathematical Structures in Computer Science 21 (6), 1207-1252, 20115542011

2-) Testing timed automataJ Springintveld, F Vaandrager, PR D\\\\\\\'ArgenioTheoretical computer science 254 (1-2), 225-257, 20013732001

3-) MODEST: A compositional modeling formalism for hard and softly timed systemsH Bohnenkamp, PR d\\\\\\\'Argenio, H Hermanns, JP KatoenSoftware Engineering, IEEE Transactions on 32 (10), 812-830, 20062052006

4-) Reachability analysis of probabilistic systems by successive refinementsPR D’Argenio, B Jeannet, HE Jensen, KG LarsenJoint International Workshop von Process Algebra and Probabilistic Methods …, 20012092001

5-) The bounded retransmission protocol must be on time!PR D\'Argenio, JP Katoen, TC Ruys, J TretmansTools and Algorithms for the Construction and Analysis of Systems: Third …, 19971901997

ARTICLES

Add your articles