The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Alfredo Olivero: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    Kronos: A Model-Checking Tool for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:546-550 [Conf]
  2. Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
    ObsSlice: A Timed Automata Slicer Based on Observers. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:470-474 [Conf]
  3. M. Jourdan, Florence Maraninchi, Alfredo Olivero
    Verifying Quantitative Real-Time Properties of Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:347-358 [Conf]
  4. Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    Using Abstractions for the Verification of Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:81-94 [Conf]
  5. Conrado Daws, Alfredo Olivero, Sergio Yovine
    Verifying ET-LOTOS programmes with KRONOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:227-242 [Conf]
  6. Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:298-302 [Conf]
  7. Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    The Tool KRONOS. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:208-219 [Conf]
  8. Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    An Approach to the Description and Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:149-178 [Conf]
  9. A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
    Visual Timed Event Scenarios. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:168-177 [Conf]
  10. Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero
    An architecture-centric approach to the development of a distributed model-checker for timed automata. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:710- [Conf]
  11. Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
    Improving the Verification of Timed Systems Using Influence Information. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:21-36 [Conf]
  12. Víctor A. Braberman, Alfredo Olivero
    Extending Timed Automata for Compositional Modeling Healthy Timed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
  13. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
    ZEUS: A Distributed Timed Model-Checker Based on KRONOS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  14. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
    On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:3-18 [Journal]
  15. Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero
    On Improving Backwards Verification of Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  16. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
    Dealing with practical limitations of distributed timed model checking for timed automata. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:2, pp:197-214 [Journal]
  17. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
    Issues in distributed timed model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:1, pp:4-18 [Journal]
  18. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    The Algorithmic Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:3-34 [Journal]
  19. Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
    A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1028-1041 [Journal]
  20. Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
    Hypervolume Approximation in Timed Automata Model Checking. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:69-81 [Conf]

  21. Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. [Citation Graph (, )][DBLP]


  22. A toolsuite for the verification of real-time systems in Eclipse. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.152secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002