Dependable Systems Group

Nicolás Wolovick
Senior Lecturer (Profesor Asociado) Personal page

Nicolás obtained his MSc degree and PhD degree in Computer Science in FAMAF, UNC, in 1999 and 2012 respectively. He is currently a member of the board of directors of the CCAD, the High Performance Computer Center of the UNC.

Publications:

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.

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