Publications

Filters: Author is Damián Barsotti [Clear All Filters]

2011

D. Barsotti, “Implementación eficiente de construcciones de alto nivel para la programación concurrente”, Universidad Nacional de Córdoba, Córdoba, 2011.

Google Scholar

paper-173.pdf (1.38 MB)

2010

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.

paper-24.pdf (404.61 KB)

2008

J. O. Blanco, Smith, S., and Barsotti, D., Calculo de programas. Córdoba: Universidad Nacional de Cordoba, 2008.

Google Scholar

2007

D. Barsotti and Blanco, J. O., “Automatic Refinement of Split Binary Semaphore”, in Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, 2007, vol. 4711, pp. 64-78.

D. Barsotti, Nieto, L. P., and Tiu, A., “Verification of clock synchronization algorithms: experiments on a combination of deductive tools”, Formal Asp. Comput., vol. 19, pp. 321-341, 2007.