Concepedia

Pedro R. D’Argenio

PR

29

Publications

1.5K

Citations

19

H-Index

1997

Active since

Affiliations

Universidad Nacional de Córdoba(Current)

University of Twente

Consejo Nacional de Investigaciones Científicas y Técnicas

Institut national de recherche en sciences et technologies du numérique

Saarland University

Pedro R. D’Argenio is an author at Universidad Nacional de Córdoba specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningProbabilityVerificationSystems EngineeringProgram AnalysisSoftware Analysis

Publications per year

1997–2020

29

Publications

29

Testing timed automata

Jan Springintveld, Frits Vaandrager, Pedro R. D’Argenio · Theoretical Computer Science · 2001 · 276 citations

Logical Automaton, Engineering, Automated Reasoning +8

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 213 citations

Program Checking, Engineering, Information Security +21

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 167 citations

Program Checking, Engineering, Information Security +21

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · Mathematical Structures in Computer Science · 2011 · 159 citations

Engineering, Information Security, Verification +20

A theory of stochastic systems part I: Stochastic automata

Pedro R. D’Argenio, Joost-Pieter Katoen · Information and Computation · 2005 · 75 citations · Full text

Engineering, Stochastic System, Stochastic Dynamical System +4

Rows per page

1–5 of 29