PEDRO R. D'ARGENIO; CARLOS E. BUDDE; MATÍAS D. LEE; RAÚL E. MONTI; LEANDRO RODRÍGUEZ; NICOLÁS WOLOVICK

The Road from Stochastic Automata to the Simulation of Rare Events

ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Año: 2017; p. 276 - 294

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

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems

Año: 2014; p. 67 - 86

MARIO BRAVETTI; PEDRO R. D'ARGENIO

Tutte le algebre insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.

Validation of Stochastic Systems: A Guide to Current Research

Lugar: Berlin - Heidelberg; Año: 2004; p. 44 - 88

JOOST-PIETER KATOEN; PEDRO R. D'ARGENIO

General Distributions in Process Algebra

Lectures on Formal Methods and Performance Analysis. First EEF/Euro Summer School on Trends in Computer Science

Año: 2001; p. 375 - 430

TOBIAS AMNELL; GERD BEHRMANN; JOHAN BENGTSSON; PEDRO R. D'ARGENIO; ALEXANDRE DAVID; ANSGAR FEHNKER; THOMAS HUNE; BERTRAND JEANNET; KIM G. LARSEN; M. OLIVER MÖLLER; PAUL PETTERSSON; CARSTEN WEISE; WANG YI

UPPAAL - Now, Next, and Future.

Modeling and Verification of Parallel Processes

Año: 2001; p. 99 - 124