Filters: Author is Nicolás Wolovick  [Clear All Filters]
2017
P. R. D'Argenio, Budde, C. E., Lee, M. D., Monti, R. E., Rodríguez, L., and Wolovick, N., “The Road from Stochastic Automata to the Simulation of Rare Events”, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, J. - P. Katoen, Langerak, R., and Rensink, A., Eds. Springer, 2017, pp. 276-294.PDF icon paper-322.pdf (1.51 MB)
2014
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., Eds. Springer Berlin Heidelberg, 2014, pp. 67-86.PDF icon paper-269.pdf (976.31 KB)
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)
2009
P. R. D'Argenio, Wolovick, N., Sánchez Terraf, P., and Celayes, P., “Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization”, in QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, 2009, pp. 11-20.PDF icon paper-16.pdf (525.46 KB)
N. Wolovick, D'Argenio, P. R., and Qu, H., “Optimizing Probabilities of Real-Time Test Case Execution”, in ICST 2009, Second International Conference on Software Testing Verification and Validation, 2009, pp. 446-455.
2004
M. D. Vásquez, Wolovick, N., and D'Argenio, P. R., “Probabilistic Hoare-like Logics in Comparison”, Universidad Nacional de Córdoba, 2004.Binary Data paper-. (296.22 KB)

Pedro R. D'Argenio (pedro.dargenio [at] unc.edu.ar)
Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054