Publications

Export 76 results:
Author Title Type [ Year(Desc)]
2009
P. Sánchez Terraf and Vaggione, D., Varieties with Definable Factor Congruences, Trans. Amer. Math. Soc., vol. 361, pp. 5061–5088, 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.PDF icon paper-17.pdf (312.21 KB)
2010
L. Brandán Briones, Assume-guarantee Reasoning with ioco Testing Relation, in Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, 2010, pp. 103-107.PDF icon paper-182.pdf (562.12 KB)
D. Barsotti and Wolovick, N., Automatic Probabilistic Program Verification through Random Variable Abstraction, in Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 2010, vol. EPTCS 28, pp. 34-47.PDF icon paper-24.pdf (404.61 KB)
S. Giro, On the automatic verification of Distributed Probabilistic Automata with Partial Information, Universidad Nacional de Córdoba, Córdoba, 2010.PDF icon paper-176.pdf (1.79 MB)
M. D. Lee and D'Argenio, P. R., Describing Secure Interfaces with Interface Automata, Electr. Notes Theor. Comput. Sci., vol. 264, no. 1, pp. 107-123, 2010.PDF icon paper-12.pdf (474.34 KB)
M. D. Lee and D'Argenio, P. R., 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.PDF icon paper-10.pdf (320.38 KB)
G. Calin, Crouzen, P., D'Argenio, P. R., Hahn, E. M., and Zhang, L., 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.PDF icon paper-11.pdf (315.45 KB)
2011
P. Sánchez Terraf, Boolean factor Congruences and Property (*), International Journal of Algebra and Computation, vol. 21, pp. 931-950, 2011.
R. Corin and Manzano, F. A., 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.
D. Barsotti, Implementación eficiente de construcciones de alto nivel para la programación concurrente, Universidad Nacional de Córdoba, Córdoba, 2011.PDF icon paper-173.pdf (1.38 MB)
M. Fränzle, Hahn, E. M., Hermanns, H., Wolovick, N., and Zhang, L., 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.
G. Barthe, D'Argenio, P. R., and Rezk, T., Secure information flow by self-composition, Mathematical Structures in Computer Science, vol. 21, no. 6, pp. 1207-1252, 2011.PDF icon paper-9.pdf (411.05 KB)
M. D. Lee and D'Argenio, P. R., Semantics for Interactive Sequential Systems and Non-Interference Properties, CLEI Electron. J., vol. 14, no. 3, 2011.PDF icon paper-8.pdf (231.62 KB)
P. Sánchez Terraf, Unprovability of the logical characterization of bisimulation, Information and Computation, vol. 209, pp. 1048-1056, 2011.
2012
P. Sánchez Terraf, Bisimilarity is not Borel, ArXiv e-prints, 2012.
P. R. D'Argenio, Sánchez Terraf, P., and Wolovick, N., Bisimulations for non-deterministic labelled Markov processes, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012.PDF icon paper-39.pdf (250.46 KB)
N. Wolovick, Continuous probability and nondeterminism in labeled transaction systems, Universidad Nacional de Córdoba, Córdoba, 2012.PDF icon paper-175.pdf (1015.21 KB)
C. E. Budde, No determinismo completamente medible en procesos probabilísticos continuos, Universidad Nacional de Córdoba, Córdoba, 2012.PDF icon paper-292.pdf (2 MB)
P. R. D'Argenio and Lee, M. D., 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.PDF icon paper-123.pdf (269.47 KB)
E. E. Ferrero, De Francesco, J. P., Wolovick, N., and Cannas, S. A., q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms, Computer Physics Communications, vol. 183, pp. 1578-1587, 2012.PDF icon paper-128.pdf (692.27 KB)
J. Markovski, D'Argenio, P. R., Baeten, J. C. M., and de Vink, E. P., Reconciling real and stochastic time: the need for probabilistic refinement, Formal Aspects of Computing, vol. 24, pp. 497-518, 2012.PDF icon paper-124.pdf (568 KB)
R. Corin and Manzano, F. A., 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.
M. D. Lee, Gebler, D., and D'Argenio, P. R., 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.PDF icon paper-122.pdf (192.61 KB)
K. Bhargavan, Fournet, C., Corin, R., and Zalinescu, E., Verified Cryptographic Implementations for TLS, ACM Trans. Inf. Syst. Secur., vol. 15, p. 3, 2012.PDF icon paper-183.pdf (981.84 KB)

Pages

Powered by Drupal