Publications
, “Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms”, Theoretical Computer Science, vol. 538, pp. 84-102, 2014.
paper-425.pdf (689.43 KB)
paper-425.pdf (689.43 KB), “A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems”, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, Springer Berlin Heidelberg, 2014, pp. 67-86. paper-513.pdf (976.31 KB)
paper-513.pdf (976.31 KB), “CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8052. Springer, 2013.
, “Distributed analysis of diagnosability in concurrent systems”, in Proceedings of the 24th International Workshop on Principles of Diagnosis (DX'13), Jerusalem, Israel, 2013. paper-333.pdf (226.67 KB)
paper-333.pdf (226.67 KB), “Enhanced transport through desorption-mediated diffusion”, Physical Review E, vol. 87, no. 1, p. 012115, 2013. paper-293.pdf (427.76 KB)
paper-293.pdf (427.76 KB), “A Petri Net Based Analysis of Deadlocks for Active Objects and Futures”, in Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, 2013, vol. 7684, pp. 110-127.
, “Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8054. Springer, 2013.
, “Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability”, in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers, 2013, vol. 8191, pp. 182-197. paper-304.pdf (329.79 KB)
paper-304.pdf (329.79 KB), “Semántica de procesos para sistemas interactivos y sistemas probabilísticos”, Universidad Nacional de Córdoba, Córdoba, 2013. paper-260. (968.3 KB)
paper-260. (968.3 KB), “A theory for the semantics of continuous systems with stochastic and structural non-determinism”, in YR-CONCUR, Buenos Aires, Argentina, 2013. paper-291.pdf (96.98 KB)
paper-291.pdf (96.98 KB), “Bisimilarity is not Borel”, ArXiv e-prints, 2012.
, “Bisimulations for non-deterministic labelled Markov processes”, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012. paper-39.pdf (250.46 KB)
paper-39.pdf (250.46 KB), “Continuous probability and nondeterminism in labeled transaction systems”, Universidad Nacional de Córdoba, Córdoba, 2012. paper-175.pdf (1015.21 KB)
paper-175.pdf (1015.21 KB), “No determinismo completamente medible en procesos probabilísticos continuos”, Universidad Nacional de Córdoba, Córdoba, 2012. paper-292.pdf (2 MB)
paper-292.pdf (2 MB), “Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation”, in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012, vol. 7213, pp. 452-466. paper-123.pdf (269.47 KB)
paper-123.pdf (269.47 KB), “q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms”, Computer Physics Communications, vol. 183, pp. 1578-1587, 2012. paper-128.pdf (692.27 KB)
paper-128.pdf (692.27 KB), “Reconciling real and stochastic time: the need for probabilistic refinement”, Formal Aspects of Computing, vol. 24, pp. 497-518, 2012. paper-124.pdf (568 KB)
paper-124.pdf (568 KB), “Taint Analysis of Security Code in the KLEE Symbolic Execution Engine”, in Information and Communications Security - 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings, 2012, pp. 264-275.
, “Tree rules in probabilistic transition system specifications with negative and quantitative premises”, in Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012, vol. 89, pp. 115-130. paper-122.pdf (192.61 KB)
paper-122.pdf (192.61 KB), “Verified Cryptographic Implementations for TLS”, ACM Trans. Inf. Syst. Secur., vol. 15, p. 3, 2012. paper-183.pdf (981.84 KB)
paper-183.pdf (981.84 KB), “Boolean factor Congruences and Property (*)”, International Journal of Algebra and Computation, vol. 21, pp. 931-950, 2011.
, “Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations”, in Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings, 2011, pp. 58-72.
, “Implementación eficiente de construcciones de alto nivel para la programación concurrente”, Universidad Nacional de Córdoba, Córdoba, 2011. paper-173.pdf (1.38 MB)
paper-173.pdf (1.38 MB), “Measurability and safety verification for stochastic hybrid systems”, in Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, 2011, pp. 43-52.
, “Secure information flow by self-composition”, Mathematical Structures in Computer Science, vol. 21, no. 6, pp. 1207-1252, 2011. paper-9.pdf (411.05 KB)
paper-9.pdf (411.05 KB)