INVESTIGADORES
D'ARGENIO Pedro Ruben
congresos y reuniones científicas
PABLO F. CASTRO; PEDRO R. D'ARGENIO; RAMIRO DEMASI; LUCIANO PUTRUELE
Quantifying Masking Fault-Tolerance via Fair Stochastic Games
Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
Lugar: Amberes; Año: 2023;
PEDRO R. D'ARGENIO
Optimal route synthesis in space DTN using Markov decision processes
20th International Colloquium Theoretical Aspects of Computing - ICTAC 2023
Lugar: Lima; Año: 2023;
LUCIANO PUTRUELE; RAMIRO DEMASI; PABLO F. CASTRO; PEDRO R. D'ARGENIO
MaskD: A tool for measuring masking fault-tolerance
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022
Lugar: Munich; Año: 2022;
PABLO F. CASTRO; PEDRO R. D'ARGENIO; RAMIRO DEMASI; LUCIANO PUTRUELE
Playing against fair adversaries in stochastic games with total rewards
Computer Aided Verification - 34th International Conference, CAV 2022
Lugar: Haifa; Año: 2022;
PEDRO R. D'ARGENIO; JUAN A. FRAIRE; ARND HARTMANNS; FERNANDO D. RAVERTA
Comparing statistical and analytical routing approaches for delay-tolerant networks
Quantitative Evaluation of Systems - 19th International Conference, QEST 2022
Lugar: Varsovia; Año: 2022;
CARLOS E. BUDDE; MARCO BIAGI; RAÚL E. MONTI; PEDRO R. D'ARGENIO; MARIËLLE STOELINGA
Rare Event Simulation for Non-Markovian Repairable Fault Trees}
TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems
Año: 2020;
PEDRO R. D'ARGENIO; JUAN A. FRAIRE; ARND HARTMANNS
Sampling Distributed Schedulers for Resilient Space Communication
NFM 2020: NASA Formal Methods
Año: 2020;
RAÚL E. MONTI; CARLOS E. BUDDE; PEDRO R. D'ARGENIO
A compositional semantics for Repairable Fault Trees with general distributions.
LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Año: 2020;
SEBASTIAN BIEWER; PEDRO R. D'ARGENIO; HOLGER HERMANNS
Doping Tests for Cyber-Physical Systems
16th International Conference Quantitative Evaluation of Systems, QEST 2019
Lugar: Glasgow; Año: 2019;
PABLO F. CASTRO; PEDRO R. D'ARGENIO; RAMIRO DEMASI; LUCIANO PUTRUELE
Measuring Masking Fault-Tolerance
TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems
Lugar: Praga; Año: 2019;
FERNANDO D. RAVERTA; RAMIRO DEMASI; PABLO G. MADOERY; JUAN A. FRAIRE; JORGE M. FINOCHIETTO; PEDRO R. D'ARGENIO
A Markov Decision Process for Routing in Space DTNs with Uncertain Contact Plans
6th IEEE International Conference on Wireless for Space and Extreme Environments, WiSEE 2018
Año: 2018;
SEBASTIAN BIEWER; PEDRO R. D'ARGENIO; HOLGER HERMANNS
Cyber-Physical Doping Tests
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018
Lugar: Porto; Año: 2018;
HOLGER HERMANNS; SEBASTIAN BIEWER; PEDRO R. D'ARGENIO; MAXIMILIAN A. KÖHL
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Lugar: Awassa; Año: 2018;
PEDRO R. D'ARGENIO; RAÚL E. MONTI
Input/output stochastic automata with urgency: Confluence and weak determinism
Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium
Lugar: Stellenbosch; Año: 2018;
PEDRO R. D'ARGENIO; MARCUS GERHOLD; ARND HARTMANNS; SEAN SEDWARDS
A hierarchy of scheduler classes for stochastic automata
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018
Lugar: Thessaloniki; Año: 2018;
CARLOS E. BUDDE; PEDRO R. D'ARGENIO; ARND HARTMANNS; SEAN SEDWARDS
A statistical model checker for nondeterminism and rare events
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018
Lugar: Thessaloniki; Año: 2018;
PEDRO R. D'ARGENIO; ARND HARTMANNS; SEAN SEDWARDS
Lightweight statistical model checking in nondeterministic continuous time
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018
Lugar: Limassol; Año: 2018;
ARND HARTMANNS; SEAN SEDWARDS; PEDRO R. D'ARGENIO
Efficient simulation-based verification of probabilistic timed automata
2017 Winter Simulation Conference, WSC 2017
Lugar: Las Vegas; Año: 2017;
CARLOS E. BUDDE; PEDRO R. D'ARGENIO; RAÚL E. MONTI
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016
Lugar: Taormina; Año: 2016;
PEDRO R. D'ARGENIO; MATÍAS D. LEE; DANIEL GEBLER
SOS rule formats for convex and abstract probabilistic bisimulations
Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015
Lugar: Madrid; Año: 2015;
MATÍAS D. LEE; DANIEL GEBLER; PEDRO R. D'ARGENIO
Tree rules in probabilistic transition system specifications with negative and quantitative premises
Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics
Año: 2012;
MATÍAS D. LEE; PEDRO R. D'ARGENIO
Describing Secure Interfaces with Interface Automata
7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)
Lugar: Paphos, Chipre; Año: 2010;
MATÍAS D. LEE; PEDRO R. D'ARGENIO
A Refinement Based Notion of Non-Interference for Interface Automata: Compositionality, Decidability and Synthesis
2010 International Conference of the Chilean Computer Science Society (SCCC)
Lugar: Antofagasta, Chile; Año: 2010;
SERGIO GIRO; PEDRO R. D'ARGENIO
On the Verification of Probabilistic I/O Automata with Unspecified Rates
24th Annual ACM Symposium on Applied Computing
Lugar: Hawai; Año: 2009;
NICOLÁS WOLOVICK; PEDRO R. D'ARGENIO; HONGYANG QU
Optimizing Probabilities of Real-Time Test Case Execution
2nd International Conference on Software Testing, Verification, and Validation
Lugar: Denver; Año: 2009;
PEDRO R. D'ARGENIO; NICOLÁS WOLOVICK; PEDRO SÁNCHEZ TERRAF; PABLO CELAYES
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
6th International Conference on Quantitative Evaluation Systems (QEST09)
Lugar: Budapest, Hungría; Año: 2009;
SUZANA ANDOVA; JOS C.M. BAETEN; PEDRO R. D'ARGENIO; TIM A.C. WILLEMSE
A Compositional Merge of Probabilistic Processes in the Alternating Model
18th Nordic Workshop on Programming Theory (NWPT06)
Lugar: Reykjavik, Islandia; Año: 2006;
CHRISTEL BAIER; PEDRO R. D'ARGENIO; MARKUS GRÖßER
Partial Order Reducction for Probabilistic Branching Time
3rd Workshop of Quantitative Aspects of Programming Languages (QAPL'05)
Lugar: Edinburgh, Scotland; Año: 2005;
PEDRO R. D'ARGENIO; PETER NIEBERT
Partial Order Reduction on Concurrent Probabilistic Programs
1st International Conference on Quantitative Evaluation Systems (QEST'04)
Lugar: Enschede, los Países Bajos; Año: 2004;
GILLES BARTHE; PEDRO R. D'ARGENIO; TAMARA REZK
Secure Information Flow by Self-Composition
17th. Computer Security Foundation Workshop -- 17-CSFW
Lugar: Pacific Grove, California; Año: 2004;
PEDRO R. D'ARGENIO
From Stochastic Automata to Timed Automata: Abstracting Probability in a Compositional Manner
WAIT 2003, Workshop Argentino de Informática Teórica (32 JAIIO)
Lugar: Buenos Aires; Año: 2003;
BERTRAND JEANNET; PEDRO R. D'ARGENIO; KIM G. LARSEN
Rapture: A Tool for Verifying Markov Decision Processes.
Special Tools Day at CONCUR 2002
Lugar: República Checa; Año: 2002;
PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN; ED BRINKSMA
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
20th IEEE Real-Time Systems Symposium
Lugar: Phoenix, EEUU; Año: 1999;
PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN; ED BRINKSMA
General Purpose Discrete Event Simulation using \spades
6th International Workshop on Process Algebras and Performance Modeling, PAPM'98
Lugar: Niza, Francia; Año: 1998;
PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN; ED BRINKSMA
A Compositional Approach to Generalised semi-Markov Processes
4th International Workshop on Discrete Event Systems, WODES'98
Lugar: Cagliari, Italia; Año: 1998;
PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN; ED BRINKSMA
An Algebraic Approach to the Specification of Stochastic Systems
IFIP Working conference on Programming Concepts and Methods, PROCOMET'98
Lugar: Shelter Island, EEUU; Año: 1998;
PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN; ED BRINKSMA
A Stochastic Automata Model and its Algebraic Approach.
5th International Workshop on Process Algebras and Performance Modeling, PAPM'97
Lugar: Enschede, los Países Bajos; Año: 1997;
PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN; THEO C. RUYS; JAN TRETMANS
Modeling and verifying a bounded retransmission protocol.
COST 247 International Workshop on Applied Formal Methods in System Design
Lugar: Maribor, Eslovenia; Año: 1996;
PEDRO R. D'ARGENIO
τ-angelic choice: An operator to reduce irrelevant internal activity in process algebra.
24as Jornadas Argentinas de Informática e Investigación Operativa (24 JAIIO),
Lugar: Buenos Aires, Argentina; Año: 1995;
PEDRO R. D'ARGENIO; JUAN V. ECHAGÜE; LETICIA RAMOS
Prioridades en un modelo de verdadero paralelismo.
24as Jornadas Argentinas de Informática e Investigación Operativa (24 JAIIO)
Lugar: Buenos Aires, Argentina; Año: 1995;
PEDRO R. D'ARGENIO
A general conservative extension theorem in process algebras with inequalities
2nd. Workshop ACP95
Lugar: Eindhoven, Los Países Bajos; Año: 1995;
PEDRO R. D'ARGENIO; JUAN V. ECHAGÜE; CECILIA PERTINO
The n-nested equivalences are not a congruence for the priority operator
PANEL'94 - XX Conferencia Latinoamericana de Informática
Lugar: México; Año: 1994;
PEDRO R. D'ARGENIO; JUAN V. ECHAGÜE
Una comparación formal entre CCS y ACP
PANEL'94 - XX Conferencia Latinoamericana de Informática
Lugar: México; Año: 1994;
