Nicolás Wolovick

text hidden; JavaScript is required / home page


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)
C. E. Budde, D'Argenio, P. R., Sánchez Terraf, P., and Wolovick, N., 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, A. Remke and Stoelinga, M. Springer Berlin Heidelberg, 2014, pp. 67-86.PDF icon paper-513.pdf (976.31 KB)
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)
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.


Powered by Drupal