- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| c27 | | Pedro R. D'Argenio, Matias David Lee: Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. FoSSaCS 2012: 452-466 |
| 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) |
| 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 |
| 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 |
Colors in the list of coauthors
Last update Mon May 20 00:15:34 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page