CASTELLANI, ILARIA; D'ARGENIO, PEDRO R.; MOUSAVI, MOHAMMAD REZA; SOKOLOVA, ANA

Special issue on Open Problems in Concurrency Theory

Journal of Logical and Algebraic Methods in Programming; Año: 2023 vol. 130

BUDDE, CARLOS E.; D?ARGENIO, PEDRO R.; MONTI, RAÚL E.; STOELINGA, MARIËLLE

Analysis of non-Markovian repairable fault trees through rare event simulation

International Journal on Software Tools for Technology Transfer; Año: 2022 vol. 24 p. 821 - 841

RAVERTA, FERNANDO D.; FRAIRE, JUAN A.; MADOERY, PABLO G.; DEMASI, RAMIRO A.; FINOCHIETTO, JORGE M.; D'ARGENIO, PEDRO R.

Routing in Delay-Tolerant Networks under uncertain contact plans

AD HOC NETWORKS; Año: 2021 vol. 123

BIEWER, SEBASTIAN; D'ARGENIO, PEDRO R.; HERMANNS, HOLGER

Doping Tests for Cyber-physical Systems

ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION; Año: 2021 vol. 31

BAIER, CHRISTEL; DARGENIO, PEDRO R.; HERMANNS, HOLGER

On the probabilistic bisimulation spectrum with silent moves

ACTA INFORMATICA; Año: 2020 vol. 57 p. 465 - 512

BUDDE, CARLOS E.; D'ARGENIO, PEDRO R.; HARTMANNS, ARND; SEDWARDS, SEAN

An efficient statistical model checker for nondeterminism and rare events

International Journal on Software Tools for Technology Transfer; Año: 2020

BUDDE, CARLOS E.; D'ARGENIO, PEDRO R.; HARTMANNS, ARND

Automated compositional importance splitting

SCIENCE OF COMPUTER PROGRAMMING; Año: 2019 vol. 174 p. 90 - 108

PEDRO R. D'ARGENIO; GILLES BARTHE; SEBASTIAN BIEWER; BERND FINKBEINER; HOLGER HERMANNS

Is your software on dope?: Formal analysis of surreptitiously "enhanced" programs

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2017 vol. 1020 p. 83 - 110

CARLOS E. BUDDE; PEDRO R. D'ARGENIO; ARND HARTMANNS

Better Automated Importance Splitting for Transient Rare Events

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2017 vol. 1060 p. 42 - 58

PEDRO R. D'ARGENIO; DANIEL GEBLER; MATÍAS D. LEE

A general SOS theory for the specification of probabilistic transition systems

Information and Computation; Lugar: Amsterdam; Año: 2016 vol. 249 p. 76 - 109

PEDRO R. D'ARGENIO; MATÍAS D. LEE; RAÚL E. MONTI

Input/Output Stochastic Automata - Compositionality and Determinism

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2016 vol. 9884 p. 53 - 68

PEDRO R. D'ARGENIO; ARND HARTMANNS; AXEL LEGAY; SEAN SEDWARDS

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2016 vol. 9681 p. 99 - 114

GILLES BARTHE; PEDRO R. D'ARGENIO; BERND FINKBEINER; HOLGER HERMANNS

Facets of Software Doping

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2016 vol. 9953 p. 601 - 608

PEDRO R. D'ARGENIO; AXEL LEGAY; SEAN SEDWARDS; LOUIS-MARIE TRAONOUEZ

Smart sampling for lightweight verification of Markov decision processes

International Journal on Software Tools for Technology Transfer; Año: 2015 vol. 17 p. 469 - 484

PEDRO R. D'ARGENIO; HERNÁN MELGRATTI; DAVIDE SANGIORGI

SPECIAL ISSUE: Selected Papers of the "24th International Conference on Concurrency Theory". CONCUR 2013. Buenos Aires, Argentina, 2013

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Lugar: BRAUNSCHWEIG; Año: 2015

CARLOS E. BUDDE; PEDRO R. D'ARGENIO; HOLGER HERMANNS

Rare Event Simulation with Fully Automated Importance Splitting

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2015 vol. 9272 p. 275 - 290

PEDRO R. D'ARGENIO; DANIEL GEBLER; MATÍAS D. LEE

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014 vol. 8412 p. 289 - 303

SERGIO GIRO; PEDRO R. D'ARGENIO; LUIS MARÍA FERRER FIORITI

Distributed Probabilistic Input/Output Automata: Expressiveness, (Un)Decidability and Algorithms

THEORETICAL COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2014 vol. 438 p. 84 - 102

SILVIA S. PELOZO; PEDRO R. D'ARGENIO

Security analysis in probabilistic distributed protocols via bounded reachability

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2013 vol. 8191 p. 182 - 197

PEDRO R. D'ARGENIO; NICOLÁS WOLOVICK; PEDRO SÁNCHEZ TERRAF

Bisimulations for non-deterministic labelled Markov processes

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Año: 2012 vol. 22 p. 43 - 68

PEDRO R. D'ARGENIO; MATÍAS D. LEE

Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2012 vol. 7213 p. 452 - 466

JASEN MARKOVSKI; PEDRO R. D'ARGENIO; JOS C.M. BAETEN; ERIK P. DE VINK

Reconciling real and stochastic time: the need for probabilistic refinement

FORMAL ASPECTS OF COMPUTING; Lugar: Berlin; Año: 2012 vol. 24 p. 497 - 518

MATÍAS D. LEE; PEDRO R. D'ARGENIO

Semantics for Interactive Sequential Systems and Non-Interference Properties

CLEI Electronic Journal; Año: 2011 vol. 14 p. 1 - 16

GILLES BARTHE; PEDRO R. D'ARGENIO; TAMARA REZK

Secure information flow by self-composition

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Año: 2011 vol. 21 p. 1207 - 1252

GEORGEL CALIN; PEPIJN CROUZEN; PEDRO R. D'ARGENIO; E. MORITZ HAHN; LIJUN ZHANG

Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2010 vol. 6349 p. 193 - 211

MATÍAS D. LEE; PEDRO R. D'ARGENIO

Describing Secure Interfaces with Interface Automata

Electronic Notes in Theoretical Computer Science; Año: 2010 vol. 264 p. 107 - 123

MIGUEL ANDRÉS; PEDRO R. D'ARGENIO; PETER VAN ROSSUM

Significant Diagnostic Counterexamples in Probabilistic Model Checking

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2009 vol. 5394 p. 129 - 148

SERGIO GIRO; PEDRO R. D'ARGENIO; LUIS MARÍA FERRER FIORITI

Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2009 vol. 5710 p. 338 - 353

SERGIO GIRO; PEDRO R. D'ARGENIO

On the Expressive Power of Schedulers in Distributed Probabilistic Systems

Electronic Notes in Theoretical Computer Science; Año: 2009 vol. 253 p. 45 - 71

SERGIO GIRO; PEDRO R. D'ARGENIO

Quantitative Model Checking Revisited: neither Decidable nor Approximable.

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2007 vol. 4763 p. 179 - 194

HENRIK BOHNENKAMP; PEDRO R. D'ARGENIO; HOLGER HERMANNS; JOOST-PIETER KATOEN

MoDeST: A Compositional Modeling Formalism for Hard and Softly Timed Systems

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Año: 2006 vol. 32 p. 812 - 830

CHRISTEL BAIER; PEDRO R. D'ARGENIO; MARCUS GRÖßER

Partial Order Reduction for Probabilistic Branching Time

Electronic Notes in Theoretical Computer Science; Año: 2006 vol. 153 p. 97 - 116

PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN

A Theory of Stochastic Systems, Part I: Stochastic Automata

Information and Computation; Año: 2005 vol. 203 p. 1 - 38

PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN

A Theory of Stochastic Systems, Part II: Process Algebra

Information and Computation; Año: 2005 vol. 203 p. 39 - 74

MARKUS LORHEY; PEDRO R. D'ARGENIO; HOLGER HERMANNS

Axiomatising Divergence

Information and Computation; Año: 2005 vol. 203 p. 115 - 144

BINIAM GEBREMICHAEL; PEDRO R. D'ARGENIO

The Coarsest Congruence for Timed Automata with Deadlines

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2005 vol. 3653 p. 125 - 140

JOS C.M. BAETEN; PEDRO R. D'ARGENIO

Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems

The Journal of Logic and Algebraic Programming; Año: 2003 vol. 56 p. 1 - 2

PEDRO R. D'ARGENIO; BERTRAND JEANNET; HENRIK E. JENSEN; KIM G. LARSEN

Reduction and Refinement Strategies for Probabilistic Analysis

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2002 vol. 2399 p. 57 - 76

MARKUS LORHEY; PEDRO R. D'ARGENIO; HOLGER HERMANNS

Axiomatising Divergence

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2002 vol. 2380 p. 585 - 596

JAN SPRINGINTVELD; FRITS VAANDRAGERA; PEDRO R. D'ARGENIO

Testing timed automata

THEORETICAL COMPUTER SCIENCE; Año: 2001 vol. 254 p. 225 - 257

PEDRO R. D'ARGENIO; BERTRAND JEANNET; HENRIK E. JENSEN; KIM G. LARSEN

Reachability Analysis of Probabilistic Systems by Successive Refinements

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2001 vol. 2165 p. 39 - 56

PEDRO R. D'ARGENIO; HOLGER HERMANNS; JOOST-PIETER KATOEN; RIC KLAREN

MoDeST — A Modelling and Description Language for Stochastic Timed Systems

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2001 vol. 2165 p. 87 - 104

LUIS R. SIERRA ABATE; PEDRO R. D'ARGENIO; JUAN V. ECHAGÜE

From Semantics to Spatial Distribution

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2000 vol. 1776 p. 427 - 436

PEDRO R. D'ARGENIO; HOLGER HERMANNS; JOOST-PIETER KATOEN

On Generative Parallel Composition

Electronic Notes in Theoretical Computer Science; Año: 1999 vol. 22 p. 30 - 54

PEDRO R. D'ARGENIO; CHRIS VERHOEF

A general conservative extension theorem in process algebras with inequalities

THEORETICAL COMPUTER SCIENCE; Año: 1997 vol. 177 p. 351 - 380

PEDRO R. D'ARGENIO

Regular processes and timed automata

LECTURE NOTES IN COMPUTER SCIENCE; Año: 1997 vol. 1231 p. 141 - 155

PEDRO R. D'ARGENIO; JOOST-PIETER KATOEN; THEO C. RUYS; JAN TRETMANS

The bounded retransmission protocol must be on time!

LECTURE NOTES IN COMPUTER SCIENCE; Año: 1997 vol. 1217 p. 416 - 431

PEDRO R. D'ARGENIO; ED BRINKSMA

A calculus for timed automata

LECTURE NOTES IN COMPUTER SCIENCE; Año: 1996 vol. 1135 p. 110 - 129

PEDRO R. D'ARGENIO; SJOUKE MAUW

Delayed choice for process algebra with abstraction

LECTURE NOTES IN COMPUTER SCIENCE; Año: 1995 vol. 962 p. 501 - 515