Publications

Export 74 results:
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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)
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.
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. Lohrey, D'Argenio, P. R., and Hermanns, H., Axiomatising divergence, Inf. Comput., vol. 203, no. 2, pp. 115-144, 2005.PDF icon paper-5.pdf (373.54 KB)
P. R. D'Argenio, Gebler, D., and Lee, M. D., Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules, in Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, 2014, vol. 8412, pp. 289-303.PDF icon paper-413.pdf (345.34 KB)
B
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)
P. Sánchez Terraf, Boolean factor Congruences and Property (*), International Journal of Algebra and Computation, vol. 21, pp. 931-950, 2011.
C
J. O. Blanco, Smith, S., and Barsotti, D., Calculo de programas. Córdoba: Universidad Nacional de Cordoba, 2008.
N. Wolovick and Johr, S., A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes, in Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, 2006, vol. LNCS 4202, pp. 352-367.
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.
C. E. Budde, D’Argenio, P. R., and Monti, R. E., Compositional Construction of Importance Functions in Fully Automated Importance Splitting, in 10th EAI International Conference on Performance Evaluation Methodologies and Tools {VALUETOOLS 2016}, A. Puliafito, Trivedi, K. S., Tuffin, B., Scarpa, M., Machida, F., and Alonso, J. ACM, 2017.PDF icon paper-716.pdf (227.67 KB)
P. R. D'Argenio and Melgratti, H., 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.
M. Montes, Penazzi, D., and Wolovick, N., Consideraciones Sobre el Voto Electrónico, in 10º Simposio de Informática en el Estado, SIE 2016, 45 JAIIO, 2016, pp. 297-307.PDF icon paper-666.PDF (135.19 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)
K. Bhargavan, Corin, R., Deniélou, P. - M., Fournet, C., and Leifer, J. J., Cryptographic Protocol Synthesis and Verification for Multiparty Sessions, in Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009, 2009, pp. 124-140.PDF icon paper-188.pdf (512.93 KB)
E
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.
F. Rojo, Budde, C. Ernesto, Budde, C. E., and Wio, H. S., Enhanced transport through desorption-mediated diffusion, Physical Review E, vol. 87, no. 1, p. 012115, 2013.PDF icon paper-293.pdf (427.76 KB)
S. Giro and D'Argenio, P. R., On the Expressive Power of Schedulers in Distributed Probabilistic Systems, Electr. Notes Theor. Comput. Sci., vol. 253, no. 3, pp. 45-71, 2009.PDF icon paper-18.pdf (525.34 KB)
F
G. Barthe, D'Argenio, P. R., Finkbeiner, B., and Hermanns, H., Facets of Software Doping, in Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Part II, vol. 9953, T. Margaria and Steffen, B. Springer, 2016, pp. 601-607.PDF icon paper-668.pdf (416.75 KB)

Pages

Powered by Drupal