Nombre de documents

15

CV de Sergio Yovine


Chapitre d'ouvrage1 document

  • Sergio Yovine, Ismail Assayad, François-Xavier Defaut, Marcelo Zanconi, Ananda Basu. A formal approach to derivation of concurrent implementations in software product lines. Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development, CRC Press-Taylor and Francis Group, LLC, pp.11, 2008, Computational Science Series. <hal-00281753>

Communication dans un congrès8 documents

  • Víctor Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine. Parametric Prediction of Heap Memory Requirements. ACM. The 2008 International Symposium on Memory Management, Jun 2008, Tucson, AZ, United States. pp.1, 2008. <hal-00281752>
  • Guillaume Salagnac, Christophe Rippert, Sergio Yovine. Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2007, Daegu, South Korea. pp.RTCSA 2007, 2007, <10.1109/RTCSA.2007.3>. <hal-00282241>
  • Guillaume Salagnac, Chaker Nakhli, Christophe Rippert, Sergio Yovine. Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems.. Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, in association with the 20th ACM ECOOP conference, Jul 2006, Nantes, France. <hal-00309688>
  • Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky. Fast Escape Analysis for Region-based Memory Management. 1st International Workshop on Abstract Interpretation of Object-Oriented Languages, 2005, Paris, France. 2005. <inria-00602874>
  • Marius Bozga, Jianmin Hu, Oded Maler, Sergio Yovine. Verification of Asynchronous Circuits using Timed Automata. Asarin, Eugene; Maler, Oded; Yovine, Sergio. Theory and Practice of Timed Systems TPTS'02, Apr 2002, Grenoble, France. Elsevier, 65 (6), pp.47-59, 2002, Electronic Notes in Theoretical Computer Science. <hal-00374812>
  • Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, et al.. Kronos: a model-checking tool for real-time systems. Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Sep 1998, Lyngby, Denmark. Springer, 1486, pp.298-302, 1998, Lecture Notes in Computer Science. <hal-00374788>
  • Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, et al.. Kronos: a model-checking tool for real-time systems. Hu, Alan J.; Vardi, Moshe Y. Computer Aided Verification 10th International Conference, CAV'98, Jun 1998, Vancouver, BC, Canada. Springer, 1427, pp.546--549, 1998, Lecture Notes in Computer Science. <10.1007/BFb0028779>. <hal-00374784>
  • Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine. Some Progress in the Symbolic Verification of Timed Automata. Grumberg, Orna. Computer Aided Verification 9th International Conference, CAV'97, Jun 1997, Haifa, Israel. Springer, 1254, pp.179--190, 1997, Lecture Notes in Computer Science. <10.1007/3-540-63166-6_19>. <hal-00374086>

Rapport1 document

  • Alain Girault, Sergio Yovine. Stability Analysis of a Longitudinal Control Law for Autonomous Vehicles. RR-3498, INRIA. 1998. <inria-00073187>

Article dans une revue4 documents

  • Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. Summary-based inference of quantitative bounds of live heap objects. Science of Computer Programming, Elsevier, 2014, 92, pp.56-84. <10.1016/j.scico.2013.11.036>. <hal-01196949>
  • Eugène Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine. Algorithmic analysis of polygonal hybrid systems. Part II: Phase Portrait and Tools. Theoretical Computer Science, Elsevier, 2008, pp.1-26. <hal-00281754>
  • Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools. Theoretical Computer Science, Elsevier, 2007, Accepted, To appear. Manuscript Number: TCS-D-07-00065R1. <hal-00172768v2>
  • Eugene Asarin, Gerardo Schneider, Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability. Theoretical Computer Science, Elsevier, 2007, 379 (1-2), pp.231-265. <10.1016/j.tcs.2007.03.055>. <hal-00157340>

Thèse1 document

  • Sergio Yovine. Méthodes et outils pour la vérification symbolique de systèmes temporisés. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1993. Français. <tel-00127808>