The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pedro R. D'Argenio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pedro R. D'Argenio
    Regular Processes and Timed Automata. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:141-155 [Conf]
  2. Pedro R. D'Argenio, Biniam Gebremichael
    The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:125-140 [Conf]
  3. Pedro R. D'Argenio, Sjouke Mauw
    Delayed choice for process algebra with abstraction. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:501-515 [Conf]
  4. Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
    Secure Information Flow by Self-Composition. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:100-114 [Conf]
  5. Joost-Pieter Katoen, Pedro R. D'Argenio
    General Distributions in Process Algebra. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:375-430 [Conf]
  6. Pedro R. D'Argenio, Ed Brinksma
    A Calculus for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:110-129 [Conf]
  7. Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
    Axiomatising Divergence. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:585-596 [Conf]
  8. Luis R. Sierra Abbate, Pedro R. D'Argenio, Juan V. Echagüe
    From Semantics to Spatial Distribution. [Citation Graph (0, 0)][DBLP]
    LATIN, 2000, pp:427-436 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:99-124 [Conf]
  10. Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
    MoDeST - A Modelling and Description Language for Stochastic Timed Systems. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:87-104 [Conf]
  11. Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
    Reachability Analysis of Probabilistic Systems by Successive Refinements. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:39-56 [Conf]
  12. Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
    Reduction and Refinement Strategies for Probabilistic Analysis. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:57-76 [Conf]
  13. Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
    An algebraic approach to the specification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:126-147 [Conf]
  14. Pedro R. D'Argenio, Peter Niebert
    Partial Order Reduction on Concurrent Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:240-249 [Conf]
  15. Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
    Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:104-114 [Conf]
  16. Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
    The Bounded Retransmission Protocol Must Be on Time! [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:416-431 [Conf]
  17. Mario Bravetti, Pedro R. D'Argenio
    Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:44-88 [Conf]
  18. Christel Baier, Pedro R. D'Argenio, Marcus Größer
    Partial Order Reduction for Probabilistic Branching Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:97-116 [Journal]
  19. Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
    On Generative Parallel Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  20. Pedro R. D'Argenio, Joost-Pieter Katoen
    A theory of stochastic systems part I: Stochastic automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:203, n:1, pp:1-38 [Journal]
  21. Pedro R. D'Argenio, Joost-Pieter Katoen
    A theory of Stochastic systems. Part II: Process algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:203, n:1, pp:39-74 [Journal]
  22. Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns
    Axiomatising divergence. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:203, n:2, pp:115-144 [Journal]
  23. Pedro R. D'Argenio, Jos C. M. Baeten
    Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:1-2 [Journal]
  24. Pedro R. D'Argenio, Chris Verhoef
    A General Conservative Extension Theorem in Process Algebras with Inequalities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:2, pp:351-380 [Journal]
  25. Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio
    Testing timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:225-257 [Journal]
  26. Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
    MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:10, pp:812-830 [Journal]
  27. Sergio Giro, Pedro R. D'Argenio
    Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:179-194 [Conf]

  28. Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. [Citation Graph (, )][DBLP]


  29. Significant Diagnostic Counterexamples in Probabilistic Model Checking. [Citation Graph (, )][DBLP]


  30. Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. [Citation Graph (, )][DBLP]


  31. On the verification of probabilistic I/O automata with unspecified rates. [Citation Graph (, )][DBLP]


  32. Optimizing Probabilities of Real-Time Test Case Execution. [Citation Graph (, )][DBLP]


  33. Significant Diagnostic Counterexamples in Probabilistic Model Checking [Citation Graph (, )][DBLP]


  34. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications [Citation Graph (, )][DBLP]


  35. On the Expressive Power of Schedulers in Distributed Probabilistic Systems. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002