Publications

Filters: Author is Pedro R. D'Argenio [Clear All Filters]

2009

S. Giro and D'Argenio, P. R., “On the Expressive Power of Schedulers in Distributed Probabilistic Systems”, Electr. Notes Theor. Comput. Sci., vol. 253, no. 3, pp. 45-71, 2009.

paper-18.pdf (525.34 KB)

P. R. D'Argenio, Wolovick, N., Sánchez Terraf, P., and Celayes, P., “Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization”, in QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, pp. 11-20.

paper-16.pdf (525.46 KB)

N. Wolovick, D'Argenio, P. R., and Qu, H., “Optimizing Probabilities of Real-Time Test Case Execution”, in ICST 2009, Second International Conference on Software Testing Verification and Validation, 2009, pp. 446-455.

S. Giro, D'Argenio, P. R., and Ferrer Fioriti, L. M., “Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers”, in CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009, vol. LNCS 5710, pp. 338-353.

paper-14.pdf (469.3 KB)

S. Andova, McIver, A., D'Argenio, P. R., Cuijpers, P. J. L., Markovski, J., Morgan, C., and Núñez, M., Eds., “Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications”, QFM, vol. 13. 2009.

S. Giro and D'Argenio, P. R., “On the verification of probabilistic I/O automata with unspecified rates”, in Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009, pp. 582-586.

paper-17.pdf (312.21 KB)

2008

M. E. Andrés, D'Argenio, P. R., and van Rossum, P., “Significant Diagnostic Counterexamples in Probabilistic Model Checking”, in Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, 2008, vol. LNCS 5394, pp. 129-148.

paper-19.pdf (363.58 KB)

2007

S. Giro and D'Argenio, P. R., “Quantitative Model Checking Revisited: Neither Decidable Nor Approximable”, in Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, 2007, vol. LNCS 4763, pp. 179-194.

paper-20.pdf (414.71 KB)

2006

H. C. Bohnenkamp, D'Argenio, P. R., Hermanns, H., and Katoen, J. - P., “MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems”, IEEE Trans. Software Eng., vol. 32, no. 10, pp. 812-830, 2006.

paper-22.pdf (1.78 MB)

C. Baier, D'Argenio, P. R., and Größer, M., “Partial Order Reduction for Probabilistic Branching Time”, Electr. Notes Theor. Comput. Sci., vol. 153, no. 2, pp. 97-116, 2006.

paper-21.pdf (432.14 KB)

2005

M. Lohrey, D'Argenio, P. R., and Hermanns, H., “Axiomatising divergence”, Inf. Comput., vol. 203, no. 2, pp. 115-144, 2005.

paper-5.pdf (373.54 KB)

P. R. D'Argenio and Gebremichael, B., “The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation”, in CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005, vol. LNCS 3653, pp. 125-140.

P. R. D'Argenio and Katoen, J. - P., “A theory of stochastic systems part I: Stochastic automata”, Inf. Comput., vol. 203, no. 1, pp. 1-38, 2005.

paper-3.pdf (530.65 KB)

P. R. D'Argenio and Katoen, J. - P., “A theory of Stochastic systems. Part II: Process algebra”, Inf. Comput., vol. 203, no. 1, pp. 39-74, 2005.

paper-4.pdf (976.9 KB)

2004

P. R. D'Argenio and Niebert, P., “Partial Order Reduction on Concurrent Probabilistic Programs”, in 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004, pp. 240-249.

paper-28.pdf (884.87 KB)

G. Barthe, D'Argenio, P. R., and Rezk, T., “Secure Information Flow by Self-Composition”, in 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 2004, pp. 100-114.

paper-27.pdf (1.18 MB)

M. Bravetti and D'Argenio, P. R., “Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions”, in Validation of Stochastic Systems - A Guide to Current Research, 2004, vol. LNCS 2925, pp. 44-88.

paper-29.pdf (637.4 KB)

2003

P. R. D'Argenio and Baeten, J. C. M., “Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems”, J. Log. Algebr. Program., vol. 56, pp. 1-2, 2003.

Pages