×

zbMATH — the first resource for mathematics

D’Argenio, Pedro Rubén

Compute Distance To:
Author ID: dargenio.pedro-ruben Recent zbMATH articles by "D’Argenio, Pedro Rubén"
Published as: D’Argenio, Pedro R.; D’Argenio, Pedro Rubén; D’argenio, P. R.; D’Argenio, P. R.
Documents Indexed: 35 Publications since 1997, including 2 Books

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 127 times in 102 Documents Cited by Year
Reachability analysis of probabilistic systems by successive refinements. Zbl 1007.68131
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
19
2001
Testing timed automata. Zbl 0972.68104
Springintveld, J.; Vaandrager, F.; D’Argenio, P. R.
15
2001
Secure information flow by self-composition. Zbl 1252.68072
Barthe, Gilles; D’Argenio, Pedro R.; Rezk, Tamara
8
2011
A general conservative extension theorem in process algebras with inequalities. Zbl 0901.68111
D’Argenio, Pedro R.; Verhoef, Chris
8
1997
Reduction and refinement strategies for probabilistic analysis. Zbl 1065.68582
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
7
2002
Bisimulations for non-deterministic labelled Markov processes. Zbl 1234.68316
D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
7
2012
Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions. Zbl 1203.68113
Bravetti, Mario; D’Argenio, Pedro R.
7
2004
A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061
D’Argenio, Pedro R.; Katoen, Joost-Pieter
7
2005
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules. Zbl 1405.68182
D’Argenio, Pedro R.; Gebler, Daniel; Lee, Matias David
6
2014
Partial order reduction for probabilistic systems: a revision for distributed schedulers. Zbl 1254.68149
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María
6
2009
A theory of stochastic systems. II: Process algebra. Zbl 1106.68073
D’Argenio, Pedro R.; Katoen, Joost-Pieter
6
2005
A general SOS theory for the specification of probabilistic transition systems. Zbl 1344.68163
D’Argenio, Pedro R.; Gebler, Daniel; Lee, Matias David
5
2016
Probabilistic transition system specification: congruence and full abstraction of bisimulation. Zbl 1352.68180
D’Argenio, Pedro Rubén; Lee, Matias David
5
2012
Axiomatising divergence. Zbl 1110.68086
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
5
2005
Axiomatising divergence. Zbl 1057.68069
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
4
2002
Quantitative model checking revisited: Neither decidable nor approximable. Zbl 1141.68466
Giro, Sergio; D’Argenio, Pedro R.
4
2007
MoDeST — a modelling and description language for stochastic timed systems. Zbl 1007.68518
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
3
2001
On generative parallel composition. Zbl 0920.68078
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
2
1998
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms. Zbl 1359.68168
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María
2
2014
UPPAAL – now, next, and future. Zbl 0985.68664
Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D’Argenio, Pedro R.; David, Alexandre
1
2001
A general SOS theory for the specification of probabilistic transition systems. Zbl 1344.68163
D’Argenio, Pedro R.; Gebler, Daniel; Lee, Matias David
5
2016
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules. Zbl 1405.68182
D’Argenio, Pedro R.; Gebler, Daniel; Lee, Matias David
6
2014
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms. Zbl 1359.68168
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María
2
2014
Bisimulations for non-deterministic labelled Markov processes. Zbl 1234.68316
D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
7
2012
Probabilistic transition system specification: congruence and full abstraction of bisimulation. Zbl 1352.68180
D’Argenio, Pedro Rubén; Lee, Matias David
5
2012
Secure information flow by self-composition. Zbl 1252.68072
Barthe, Gilles; D’Argenio, Pedro R.; Rezk, Tamara
8
2011
Partial order reduction for probabilistic systems: a revision for distributed schedulers. Zbl 1254.68149
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María
6
2009
Quantitative model checking revisited: Neither decidable nor approximable. Zbl 1141.68466
Giro, Sergio; D’Argenio, Pedro R.
4
2007
A theory of stochastic systems. I: Stochastic automata. Zbl 1105.68061
D’Argenio, Pedro R.; Katoen, Joost-Pieter
7
2005
A theory of stochastic systems. II: Process algebra. Zbl 1106.68073
D’Argenio, Pedro R.; Katoen, Joost-Pieter
6
2005
Axiomatising divergence. Zbl 1110.68086
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
5
2005
Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions. Zbl 1203.68113
Bravetti, Mario; D’Argenio, Pedro R.
7
2004
Reduction and refinement strategies for probabilistic analysis. Zbl 1065.68582
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
7
2002
Axiomatising divergence. Zbl 1057.68069
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
4
2002
Reachability analysis of probabilistic systems by successive refinements. Zbl 1007.68131
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
19
2001
Testing timed automata. Zbl 0972.68104
Springintveld, J.; Vaandrager, F.; D’Argenio, P. R.
15
2001
MoDeST — a modelling and description language for stochastic timed systems. Zbl 1007.68518
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
3
2001
UPPAAL – now, next, and future. Zbl 0985.68664
Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D’Argenio, Pedro R.; David, Alexandre
1
2001
On generative parallel composition. Zbl 0920.68078
D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
2
1998
A general conservative extension theorem in process algebras with inequalities. Zbl 0901.68111
D’Argenio, Pedro R.; Verhoef, Chris
8
1997
all top 5

Cited by 186 Authors

11 D’Argenio, Pedro Rubén
10 Katoen, Joost-Pieter
9 Hermanns, Holger
7 Tini, Simone
5 Gebler, Daniel E.
4 Kwiatkowska, Marta Z.
4 Larsen, Kim Guldstrand
4 Nunez, Manuel A.
4 Rodríguez, Ismael
4 Timmer, Mark
3 Castiglioni, Valentina
3 Delahaye, Benoît
3 Fu, Yuxi
3 Levi, Francesca
3 Merayo, Mercedes G.
3 Norman, Gethin
3 Sánchez Terraf, Pedro
3 Stoelinga, Mariëlle
3 van de Pol, Jan Cornelis
3 Zhang, Lijun
2 Bacci, Giorgio
2 Baier, Christel
2 Barbuti, Roberto
2 Barthe, Gilles
2 Bouyer, Patricia
2 Bravetti, Mario
2 Brihaye, Thomas
2 Carlier, Pierre
2 Ferrer Fioriti, Luis María
2 Giro, Sergio
2 Hierons, Robert Mark
2 Jansen, David N.
2 Junges, Sebastian
2 Kattenbelt, Mark
2 Khoumsi, Ahmed
2 Krčál, Jan
2 Křetínský, Jan
2 Legay, Axel
2 Leucker, Martin
2 Milazzo, Paolo
2 Nourelfath, Mustapha
2 Pinto, Jorge Sousa
2 Qu, Hongyang
2 Scatena, Guido
2 van Glabbeek, Robert Jan
2 Wolovick, Nicolás
1 Ábrahám, Erika
1 Amadio, Roberto M.
1 Andrés, Miguel E.
1 Andreychenko, Aleksandr
1 Bacci, Giovanni
1 Bacelar Almeida, José
1 Baeten, Jos C. M.
1 Barbosa, Manuel
1 Bart, Anicet
1 Becker, Bernd
1 Bertrand, Nathalie
1 Biewer, Sebastian
1 Bloem, Roderick
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Brázdil, Tomáš
1 Bu, Tianming
1 Budde, Carlos Ernesto
1 Camacho, Carlos J.
1 Caravagna, Giulio
1 Chadha, Rohit
1 Chatzieleftheriou, George
1 Chen, Taolue
1 Chen, Yixiang
1 Cleaveland, Rance
1 Coletta, Alessio
1 Costa, José Félix
1 Crespo, Juan Manuel
1 de Vink, Erik P.
1 de Weerdt, Mathijs M.
1 Dehnert, Christian
1 Deng, Yuxin
1 Doberkat, Ernst-Erich
1 Dräger, Klaus
1 Eisentraut, Christian
1 Finkbeiner, Bernd
1 Fischer, Nick
1 Fokkink, Willem Jan
1 Fontana, Peter
1 Fournier, Paulin
1 Frade, Maria João
1 Fuhs, Carsten
1 Galpin, Vashti
1 Garavel, Hubert
1 Godskesen, Jens Chr.
1 Gomez, Rodolfo
1 Gori, Roberta
1 Grinchtein, Olga
1 Gromov, Maksim Leonidovich
1 Guerra, Hélia
1 Hahn, Ernst Moritz
1 Hansen, Henri
1 Haverkort, Boudewijn R.
1 Herzog, Ulrich
...and 86 more Authors

Citations by Year