The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sergio Yovine: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gerardo Lafferriere, George J. Pappas, Sergio Yovine
    A New Class of Decidable Hybrid Systems. [Citation Graph (1, 0)][DBLP]
    HSCC, 1999, pp:137-151 [Conf]
  2. Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
    SPeeDI - A Verification Tool for Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:354-358 [Conf]
  3. 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]
  4. Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine
    Some Progress in the Symbolic Verification of Timed Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:179-190 [Conf]
  5. Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine
    TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:391-395 [Conf]
  6. 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]
  7. Stavros Tripakis, Sergio Yovine
    Analysis of Timed Systems Based on Time-Abstracting Bisimulation. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:232-243 [Conf]
  8. Ismail Assayad, Philippe Gerner, Sergio Yovine, Valerie Bertin
    Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. [Citation Graph (0, 0)][DBLP]
    DFMA, 2005, pp:295-302 [Conf]
  9. Christos Kloukinas, Sergio Yovine
    Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2003, pp:287-294 [Conf]
  10. Sergio Yovine
    Model Checking Timed Automata. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:114-152 [Conf]
  11. Christos Kloukinas, Chaker Nakhli, Sergio Yovine
    A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:274-289 [Conf]
  12. Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine
    Speedup Prediction for Selective Compilation of Embedded Java Programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:227-239 [Conf]
  13. Conrado Daws, Alfredo Olivero, Sergio Yovine
    Verifying ET-LOTOS programmes with KRONOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:227-242 [Conf]
  14. Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine
    Model-Checking for Extended Timed Temporal Logics. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:306-326 [Conf]
  15. 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]
  16. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    On the Decidability of the Reachability Problem for Planar Differential Inclusions. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:89-104 [Conf]
  17. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    Towards Computing Phase Portraits of Polygonal Differential Inclusions. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:49-61 [Conf]
  18. Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    The Tool KRONOS. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:208-219 [Conf]
  19. Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
    Integration Graphs: A Class of Decidable Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:179-208 [Conf]
  20. 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]
  21. Peter Niebert, Sergio Yovine
    Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:338-351 [Conf]
  22. Ismail Assayad, Valerie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine
    Jahuel: A Formal Framework for Software Synthesis. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:204-218 [Conf]
  23. Ismail Assayad, Sergio Yovine
    Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. [Citation Graph (0, 0)][DBLP]
    IICS, 2005, pp:159-170 [Conf]
  24. Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine
    Hybrid computation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2001, pp:101-108 [Conf]
  25. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    Symbolic Model Checking for Real-time Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:394-406 [Conf]
  26. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    From ATP to Timed Graphs and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:549-572 [Conf]
  27. Stavros Tripakis, Sergio Yovine
    Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1998, pp:165-0 [Conf]
  28. Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
    A Framework for Scheduler Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:154-163 [Conf]
  29. Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
    On-the-fly symbolic model checking for real-time systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1997, pp:25-0 [Conf]
  30. Conrado Daws, Sergio Yovine
    Two Examples of Verification of Multirate Timed Automata with Kronos. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1995, pp:66-75 [Conf]
  31. Conrado Daws, Sergio Yovine
    Reducing the number of clock variables of timed automata. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1996, pp:73-81 [Conf]
  32. Joseph Sifakis, Sergio Yovine
    Compositional Specification of Timed Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    STACS, 1996, pp:347-359 [Conf]
  33. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    From ATP to Timed Graphs and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:2, pp:181-202 [Journal]
  34. Eugene Asarin, Oded Maler, Sergio Yovine
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  35. Marius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine
    Verification of Asynchronous Circuits using Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  36. Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati
    Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:105-121 [Journal]
  37. Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky
    Fast Escape Analysis for Region-based Memory Management. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:99-110 [Journal]
  38. Stavros Tripakis, Sergio Yovine
    Timing Analysis and Code Generation of Vehicle Control Software using Taxys. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  39. Stavros Tripakis, Sergio Yovine
    Analysis of Timed Systems Using Time-Abstracting Bisimulations. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:1, pp:25-68 [Journal]
  40. Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani
    Checking Timed Büchi Automata Emptiness Efficiently. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:3, pp:267-292 [Journal]
  41. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    Symbolic Model Checking for Real-Time Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:111, n:2, pp:193-244 [Journal]
  42. Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
    Decidable Integration Graphs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:150, n:2, pp:209-243 [Journal]
  43. Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine
    A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2006, v:5, n:5, pp:31-58 [Journal]
  44. Gerardo Lafferriere, George J. Pappas, Sergio Yovine
    Symbolic Reachability Computation for Families of Linear Vector Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:3, pp:231-253 [Journal]
  45. Joseph Sifakis, Stavros Tripakis, Sergio Yovine
    Building models of real-time systems from application software. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:100-111 [Journal]
  46. Sergio Yovine
    KRONOS: A Verification Tool for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:123-133 [Journal]
  47. 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]
  48. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    Compiling Real-Time Specifications into Extended Automata. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:9, pp:794-804 [Journal]
  49. Guillaume Salagnac, Christophe Rippert, Sergio Yovine
    Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2007, pp:73-80 [Conf]
  50. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    Algorithmic analysis of polygonal hybrid systems, part I: Reachability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:379, n:1-2, pp:231-265 [Journal]

  51. P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. [Citation Graph (, )][DBLP]


  52. Modelling and Exploration Environment for Application Specific Multiprocessor Systems. [Citation Graph (, )][DBLP]


  53. Parametric prediction of heap memory requirements. [Citation Graph (, )][DBLP]


  54. JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. [Citation Graph (, )][DBLP]


  55. On transforming Java-like programs into memory-predictable code. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.024secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002