Publications

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.

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.

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

Pages