Searching for authors named "Alfredo Olivero" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Extending Timed Automata for Compositional Modeling Healthy Timed Systems
- … Alfredo Olivero 3;4 Department of Information Technology, FIyCE, Universidad Argentina de la Empresa…
- Cited by 1 (1 self) – Add To MetaCart
-
Kronos: A Tool for Verifying Real-time Systems - User's Guide and Reference Manual - Draft 0.0
- …Kronos: A Tool for Verifying Real-time Systems User's Guide and Reference Manual Draft 0.0 Alfredo…
- Cited by 12 (2 self) – Add To MetaCart
-
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Issues in Distributed Timed Model Checking Building Zeus
- … in Distributed Timed Model Checking Building Zeus Víctor Braberman 1⋆ , Alfredo Olivero 2⋆⋆ , Fernando…
- Add To MetaCart
-
Improving the Verification of Timed Systems Using Influence Information
- …⋆ , Diego Garbervetsky 1 , and Alfredo Olivero 2⋆⋆ 1 Computer Science Department, FCEyN, Universidad de…
- Cited by 7 (3 self) – Add To MetaCart
-
F.: Optimizing timed automata model checking via clock reordering
- …Optimizing Timed Automata Model Checking via Clock Reordering Víctor Braberman ∗ Alfredo Olivero…
- Cited by 1 (1 self) – Add To MetaCart
-
Hypervolume Approximation in Timed Automata Model Checking
- … Obes 1 , Alfredo Olivero 3 , and Fernando Schapachnik 1 1 Departamento de Computación, FCEy…
- Add To MetaCart
-
Kronos: A Model-Checking Tool for Real-Time Systems
- …) Marius Bozga 1 , Conrado Daws 1 , Oded Maler 1 , Alfredo Olivero 2 , Stavros Tripakis 1…
- Cited by 78 (13 self) – Add To MetaCart
Showing 1 through 7.
