Sergio Yovine

发表

Conrado Daws, Sergio Yovine, 1996, RTSS.
Sergio Yovine, Eugene Asarin, Gerardo Schneider, 2002, HSCC.
Aude Maignan, Sergio Yovine, Jean Della Dora, 2001, ISSAC '01.
Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2011, Concurr. Comput. Pract. Exp..
Joseph Sifakis, Sergio Yovine, Alfredo Olivero, 1994, CAV.
Christophe Rippert, Sergio Yovine, Guillaume Salagnac, 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).
Gerardo Lafferriere, George J. Pappas, Sergio Yovine, 1999, HSCC.
Sergio Yovine, S. Yovine, 1996, European Educational Forum: School on Embedded Systems.
Amir Pnueli, Sergio Yovine, Oded Maler, 1997, CAV.
Sergio Yovine, Franz Mayr, S. Yovine, 2018, CD-MAKE.
Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1999, Inf. Comput..
Thomas A. Henzinger, Joseph Sifakis, Sergio Yovine, 1994, Inf. Comput..
Stavros Tripakis, Conrado Daws, Sergio Yovine, 1998, CAV.
Thomas A. Henzinger, Nicolas Halbwachs, Joseph Sifakis, 1995, Theor. Comput. Sci..
Sergio Yovine, Peter Niebert, S. Yovine, 2000, HSCC.
Christos Kloukinas, Sergio Yovine, S. Yovine, 2011, Automated Software Engineering.
Sergio Yovine, Eugene Asarin, Gerardo Schneider, 2007, Theor. Comput. Sci..
Joseph Sifakis, Stavros Tripakis, Sergio Yovine, 2003, Proc. IEEE.
Stavros Tripakis, Sergio Yovine, S. Yovine, 2001, Formal Methods Syst. Des..
Joseph Sifakis, Sergio Yovine, Xavier Nicollin, 1991, REX Workshop.
Stavros Tripakis, Sergio Yovine, S. Yovine, 1996, CAV.
Joseph Sifakis, Sergio Yovine, Alfredo Olivero, 1992, Hybrid Systems.
Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2009, JTRES '09.
Sergio Yovine, Diego Garbervetsky, Chaker Nakhli, 2004, RV@ETAPS.
Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1992, Hybrid Systems.
Joseph Sifakis, Amir Pnueli, Stavros Tripakis, 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2008, ISMM '08.
Sergio Yovine, Diego Garbervetsky, Guillaume Salagnac, 2005, AIOOL@VMCAI.
Conrado Daws, Sergio Yovine, S. Yovine, 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
Sergio Yovine, Gonzalo Winniczuk, 2017, 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft).
Sergio Yovine, Peter Niebert, S. Yovine, 2001, Eur. J. Control.
Gerardo Lafferriere, George J. Pappas, Sergio Yovine, 2001, J. Symb. Comput..
Sergio Yovine, Gervasio Pérez, 2017, International Journal on Software Tools for Technology Transfer.
Christos Kloukinas, Sergio Yovine, S. Yovine, 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..
Stavros Tripakis, Ahmed Bouajjani, Sergio Yovine, 2005, Formal Methods Syst. Des..
Sergio Yovine, Diego Garbervetsky, Victor Braberman, 2004 .
Sergio Yovine, Rogelio Alvez, S. Yovine, 1991 .
Sergio Yovine, Eugene Asarin, Gerardo Schneider, 2001, HSCC.
Ismail Assayad, Sergio Yovine, 2007, 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007).
Christophe Rippert, Sergio Yovine, Guillaume Salagnac, 2006 .
Gordon J. Pace, Sergio Yovine, Eugene Asarin, 2002, CAV.
Stavros Tripakis, Conrado Daws, Sergio Yovine, 1996, Hybrid Systems.
Stavros Tripakis, Conrado Daws, Sergio Yovine, 1998, FTRTFT.
Thomas A. Henzinger, Joseph Sifakis, Sergio Yovine, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Joseph Sifakis, Sergio Yovine, Xavier Nicollin, 1991, Acta Informatica.
Ismail Assayad, Sergio Yovine, 2006, 2006 International Symposium on Industrial Embedded Systems.
Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine, 1996, FTRTFT.
Ismail Assayad, Sergio Yovine, 2007, 2007 14th IEEE International Conference on Electronics, Circuits and Systems.
Joseph Sifakis, Sergio Yovine, S. Yovine, 1996, STACS.
Stavros Tripakis, Sergio Yovine, 1998, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).
Gordon J. Pace, Sergio Yovine, Eugene Asarin, 2008, Theor. Comput. Sci..
Ismail Assayad, Sergio Yovine, 2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07).
Ismail Assayad, Sergio Yovine, 2010, Des. Autom. Embed. Syst..
Michel Poize, Jacques Pulou, Joseph Sifakis, 2001, CAV.
Jianmin Hou, Sergio Yovine, Oded Maler, 2002, Theory and Practice of Timed Systems @ ETAPS.
Michel Poize, Joseph Sifakis, Sergio Yovine, 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2005, eclipse '05.
Sergio Yovine, G. La Erriere, G. S. Pappas, 1999 .
Valérie Bertin, Ismail Assayad, Sergio Yovine, 2005, ICFEM.
Sergio Yovine, Jean Della Dora, 2001, 2001 European Control Conference (ECC).
Stavros Tripakis, Ahmed Bouajjani, Sergio Yovine, 1997, Proceedings Real-Time Systems Symposium.
Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2014, Sci. Comput. Program..
Sergio Yovine, Alfredo Olivero, S. Yovine, 1992 .
Conrado Daws, Sergio Yovine, Alfredo Olivero, 1994, FORTE.
Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2006, J. Object Technol..
Stavros Tripakis, Sergio Yovine, S. Yovine, 2001, RV@CAV.
Valérie Bertin, Ismail Assayad, Sergio Yovine, 2005, First International Conference on Distributed Frameworks for Multimedia Applications.
Raja Sengupta, Sergio Yovine, Farokh Eskafi, 1999 .
Sergio Yovine, Christian Fabre, Romain Guider, 2002, EMSOFT.
Joseph Sifakis, Sergio Yovine, Xavier Nicollin, 1992, IEEE Trans. Software Eng..
Sergio Yovine, Ramiro Visca, Franz Mayr, 2021, Mach. Learn. Knowl. Extr..
Sergio Yovine, Ramiro Visca, Franz Mayr, 2021, Machine Learning and Knowledge Extraction.
Gerardo Lafferriere, George J. Pappas, Sergio Yovine, 2000 .