Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Pedro R. D'Argenio
2010 – today
- 2013
[e3]Pedro R. D'Argenio, Hernán C. Melgratti (Eds.): CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8052, Springer 2013, ISBN 978-3-642-40183-1- [e2]Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio (Eds.): Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8054, Springer 2013, ISBN 978-3-642-40195-4
- 2012
- [j15]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 Asp. Comput. 24(4-6): 497-518 (2012)
- [j14]Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick: Bisimulations for non-deterministic labelled Markov processes. Mathematical Structures in Computer Science 22(1): 43-68 (2012)
- [c28]Pedro R. D'Argenio, Matias David Lee: Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. FoSSaCS 2012: 452-466
- [c27]Silvia S. Pelozo, Pedro R. D'Argenio: Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability. TGC 2012: 182-197
- [c26]Matias David Lee, Daniel Gebler, Pedro R. D'Argenio: Tree rules in probabilistic transition system specifications with negative and quantitative premises. DCM 2012: 115-130
- 2011
- [j13]Matias David Lee, Pedro R. D'Argenio: Semantics for Interactive Sequential Systems and Non-Interference Properties. CLEI Electron. J. 14(3) (2011)
- [j12]Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure information flow by self-composition. Mathematical Structures in Computer Science 21(6): 1207-1252 (2011)
- 2010
- [j11]Matias David Lee, Pedro R. D'Argenio: Describing Secure Interfaces with Interface Automata. Electr. Notes Theor. Comput. Sci. 264(1): 107-123 (2010)
- [c25]Matias David Lee, Pedro R. D'Argenio: A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. SCCC 2010: 280-289
- [c24]Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang: Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN 2010: 193-211
- [i2]Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick: Bisimulations for Nondeterministic Labeled Markov Processes. CoRR abs/1011.3362 (2010)
2000 – 2009
- 2009
- [j10]Sergio Giro, Pedro R. D'Argenio: On the Expressive Power of Schedulers in Distributed Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 253(3): 45-71 (2009)
- [c23]Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti: Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. CONCUR 2009: 338-353
- [c22]Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu: Optimizing Probabilities of Real-Time Test Case Execution. ICST 2009: 446-455
- [c21]Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes: Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. QEST 2009: 11-20
- [c20]Sergio Giro, Pedro R. D'Argenio: On the verification of probabilistic I/O automata with unspecified rates. SAC 2009: 582-586
- [e1]Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez (Eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications. EPTCS 13, 2009
- 2008
- [c19]Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference 2008: 129-148
- [i1]Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking. CoRR abs/0806.1139 (2008)
- 2007
- [c18]Sergio Giro, Pedro R. D'Argenio: Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS 2007: 179-194
- 2006
- [j9]Christel Baier, Pedro R. D'Argenio, Marcus Größer: Partial Order Reduction for Probabilistic Branching Time. Electr. Notes Theor. Comput. Sci. 153(2): 97-116 (2006)
- [j8]Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. 32(10): 812-830 (2006)
- 2005
- [j7]Pedro R. D'Argenio, Joost-Pieter Katoen: A theory of stochastic systems part I: Stochastic automata. Inf. Comput. 203(1): 1-38 (2005)
- [j6]Pedro R. D'Argenio, Joost-Pieter Katoen: A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. 203(1): 39-74 (2005)
- [j5]Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising divergence. Inf. Comput. 203(2): 115-144 (2005)
- [c17]Pedro R. D'Argenio, Biniam Gebremichael: The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. CONCUR 2005: 125-140
- 2004
- [c16]Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure Information Flow by Self-Composition. CSFW 2004: 100-114
- [c15]Pedro R. D'Argenio, Peter Niebert: Partial Order Reduction on Concurrent Probabilistic Programs. QEST 2004: 240-249
- [c14]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 2004: 44-88
- 2003
- [j4]Pedro R. D'Argenio, Jos C. M. Baeten: Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. J. Log. Algebr. Program. 56(1-2): 1-2 (2003)
- 2002
- [c13]
- [c12]Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
- 2001
- [j3]Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio: Testing timed automata. Theor. Comput. Sci. 254(1-2): 225-257 (2001)
- [c11]Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
- [c10]Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001: 87-104
- 2000
- [c9]Joost-Pieter Katoen, Pedro R. D'Argenio: General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 375-430
- [c8]Luis R. Sierra Abbate, Pedro R. D'Argenio, Juan V. Echagüe: From Semantics to Spatial Distribution. LATIN 2000: 427-436
- [c7]Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
1990 – 1999
- 1999
- [j2]Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: On Generative Parallel Composition. Electr. Notes Theor. Comput. Sci. 22: 30-54 (1999)
- [c6]Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. RTSS 1999: 104-114
- 1998
- [c5]Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: An algebraic approach to the specification of stochastic systems. PROCOMET 1998: 126-147
- 1997
- [j1]Pedro R. D'Argenio, Chris Verhoef: A General Conservative Extension Theorem in Process Algebras with Inequalities. Theor. Comput. Sci. 177(2): 351-380 (1997)
- [c4]
- [c3]Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans: The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431
- 1996
- [c2]
- 1995
- [c1]Pedro R. D'Argenio, Sjouke Mauw: Delayed choice for process algebra with abstraction. CONCUR 1995: 501-515
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team