Nicolás Wolovick


Lecturer
text hidden; JavaScript is required / home page

Publications:

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)
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.
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 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.

Pages

Powered by Drupal