Navegar

Colección

Datos Estadísticas

Lista de

Automata theory
3
"On-the-fly workload prediction and redistribution in the distributed timed model checker zeus" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004). 128(3):3-18
"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522
"Extending timed automata for compositional modeling healthy timed systems" (2002) Braberman, V.; Olivero, A. QAPL'01, Quantitative Aspects of Programming Languages (Satellite Event of PLI 2001). 52(3):227-245