WOLOVICK NICOLÁS
Capítulos de libros
The Road from Stochastic Automata to the Simulation of Rare Events
ModelEd, TestEd, TrustEd. LNCS
Año: 2017; p. 276 - 294
A theory for the semantics of stochastic and non-deterministic continuous systems
ROCKS Autumn School
Año: 2014; p. 67 - 86
MARTIN FRÄNZLE; ERNST MORITZ HAHN; HOLGER HERMANNS; NICOLÁS WOLOVICK; LIJUN ZHANG
Measurability and safety verification for stochastic hybrid systems
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011. ACM 2011.
Año: 2011; p. 43 - 52
DAMIÁN BARSOTTI ; NICOLÁS WOLOVICK
Automatic Probabilistic Program Verification through Random Variable Abstraction
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages
Año: 2010; p. 34 - 47
NICOLÁS WOLOVICK; PEDRO R. D'ARGENIO; HONGYANG QU
Optimizing Probabilities of Real-Time Test Case Execution
ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA.
Año: 2009; p. 446 - 455
PEDRO R. D'ARGENIO; NICOLÁS WOLOVICK; PEDRO SÁNCHEZ TERRAF; PABLO CELAYES
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009.
Año: 2009; p. 11 - 20
NICOLÁS WOLOVICK; SVEN JOHR
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.
Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings.
Lugar: Heidelberg; Año: 2006; p. 352 - 367
