, “A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis”, in SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, 2010, pp. 280-289.
paper-10.pdf (320.38 KB)
paper-10.pdf (320.38 KB), “Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains”, in Model Checking Software - 17th International SPIN Workshop, 2010, vol. LNCS 6349, pp. 193-211. paper-11.pdf (315.45 KB)
paper-11.pdf (315.45 KB), “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)
paper-18.pdf (525.34 KB), “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)
paper-16.pdf (525.46 KB), “Optimizing Probabilities of Real-Time Test Case Execution”, in ICST 2009, Second International Conference on Software Testing Verification and Validation, 2009, pp. 446-455.
, “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)
paper-14.pdf (469.3 KB), “Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications”, QFM, vol. 13. 2009.
, “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)
paper-17.pdf (312.21 KB), “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)
paper-19.pdf (363.58 KB), “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)
paper-20.pdf (414.71 KB), “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)
paper-22.pdf (1.78 MB), “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)
paper-21.pdf (432.14 KB), “Axiomatising divergence”, Inf. Comput., vol. 203, no. 2, pp. 115-144, 2005. paper-5.pdf (373.54 KB)
paper-5.pdf (373.54 KB), “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.
, “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)
paper-3.pdf (530.65 KB), “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)
paper-4.pdf (976.9 KB), “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)
paper-28.pdf (884.87 KB), “Probabilistic Hoare-like Logics in Comparison”, Universidad Nacional de Córdoba, 2004. paper-. (296.22 KB)
paper-. (296.22 KB), “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)
paper-27.pdf (1.18 MB), “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)
paper-29.pdf (637.4 KB), “From Stochastic Automat to Timed Automata: Abstracting probability in a Compositional manner”, in Proceedings of the Argentinian Workshop on Theoretical Computer Science, WAIT 2003. Associated to the 32 JAIIO. {\rm Buenos Aires, Argentina, September 1-5, 2003}, 2003. paper-194.pdf (335.62 KB)
paper-194.pdf (335.62 KB), “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.
, “Axiomatising Divergence”, in Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, 2002, vol. 2380, pp. 585-596. paper-195.pdf (202.29 KB)
paper-195.pdf (202.29 KB), “La Enseñanza de Informática en la FaMAF”, SADIO Newsletters, vol. 2, 2002.
, “Rapture: A tool for verifying Markov Decision Processes”, in Tools Day'02, Brno, Czech Republic, 2002. paper-197.pdf (246.19 KB)
paper-197.pdf (246.19 KB)