Edit Profile (opens in new tab) Yovine, Sergio Compute Distance To: Compute Author ID: yovine.sergio Published as: Yovine, Sergio; Yovine, S. External Links: MGP Documents Indexed: 21 Publications since 1993 2 Contributions as Editor Co-Authors: 31 Co-Authors with 22 Joint Publications 765 Co-Co-Authors all top 5 Co-Authors 1 single-authored 6 Asarin, Eugene 5 Schneider, Gerardo 5 Sifakis, Joseph 3 Nicollin, Xavier 2 Henzinger, Thomas A. 2 Lafferriere, Gerardo 2 Maler, Oded 2 Niebert, Peter 2 Pace, Gordon J. 2 Pappas, George J. 2 Tripakis, Stavros 1 Alur, Rajeev 1 Assayad, Ismail 1 Basu, Ananda 1 Bouajjani, Ahmed 1 Bozga, Marius 1 Colin de Verdière, Vincent 1 Courcoubetis, Costas A. 1 Cros, Sébastien 1 Defaut, Francois-Xavier 1 Della Dora, Jean 1 Fabre, Christian 1 Guider, Romain 1 Jianmin, Hou 1 Kesten, Yonit 1 Lakhnech, Yassine 1 Maignan, Aude 1 Mirica-Ruse, Mihaela 1 Olivero, Alfredo 1 Pnueli, Amir 1 Zanconi, Marcelo all top 5 Serials 2 Theoretical Computer Science 2 Information and Computation 2 Formal Methods in System Design 1 Acta Informatica 1 Journal of Symbolic Computation 1 European Journal of Control 1 1 Lecture Notes in Computer Science 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 19 Computer science (68-XX) 9 Systems theory; control (93-XX) 3 Mathematical logic and foundations (03-XX) 3 Ordinary differential equations (34-XX) 2 General and overarching topics; collections (00-XX) 2 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 393 times in 288 Documents Cited by ▼ Year ▼ Symbolic model checking for real-time systems. Zbl 0806.68080Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 123 1994 Kronos: A verification tool for real-time systems. Zbl 1060.68606Yovine, Sergio 61 1997 Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 39 2001 A new class of decidable hybrid systems. Zbl 0926.93036Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 25 1999 Analysis of timed systems using time-abstracting bisimulations. Zbl 0971.68096Tripakis, Stavros; Yovine, Sergio 24 2001 The algorithmic analysis of hybrid systems. Zbl 0823.68067Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. 23 1994 From ATP to timed graphs and hybrid systems. Zbl 0790.68067Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 18 1993 Checking timed Büchi automata emptiness efficiently. Zbl 1085.68083Tripakis, Stavros; Yovine, Sergio; Bouajjani, Ahmed 18 2005 Compositional specification of timed systems. Zbl 1379.68240Sifakis, Joseph; Yovine, Sergio 15 1996 Decidable integration graphs. Zbl 1045.68566Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S. 14 1999 Algorithmic analysis of polygonal hybrid systems. I: Reachability. Zbl 1121.68071Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 10 2007 On the decidability of the reachability problem for planar differential inclusions. Zbl 0991.93009Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 6 2002 Computing optimal operation schemes for chemical plants in multi-batch mode. Zbl 0984.93061Niebert, Peter; Yovine, Sergio 4 2000 SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 3 2002 Towards computing phase portraits of polygonal differential inclusions. Zbl 1054.93030Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 3 2002 Hybrid computation. Zbl 1356.68275Della Dora, Jean; Maignan, Aude; Mirica-Ruse, Mihaela; Yovine, Sergio 2 2001 Verification of asynchronous circuits using timed automata. Zbl 1270.68164Bozga, Marius; Jianmin, Hou; Maler, Oded; Yovine, Sergio 2 2002 Computing efficient operation schemes for chemical plants in multi-batch mode. Zbl 1293.93526Niebert, Peter; Yovine, Sergio 2 2001 Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 1 2008 Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 1 2008 Algorithmic analysis of polygonal hybrid systems. I: Reachability. Zbl 1121.68071Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 10 2007 Checking timed Büchi automata emptiness efficiently. Zbl 1085.68083Tripakis, Stavros; Yovine, Sergio; Bouajjani, Ahmed 18 2005 On the decidability of the reachability problem for planar differential inclusions. Zbl 0991.93009Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 6 2002 SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 3 2002 Towards computing phase portraits of polygonal differential inclusions. Zbl 1054.93030Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 3 2002 Verification of asynchronous circuits using timed automata. Zbl 1270.68164Bozga, Marius; Jianmin, Hou; Maler, Oded; Yovine, Sergio 2 2002 Symbolic reachability computation for families of linear vector fields. Zbl 0983.93004Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 39 2001 Analysis of timed systems using time-abstracting bisimulations. Zbl 0971.68096Tripakis, Stavros; Yovine, Sergio 24 2001 Hybrid computation. Zbl 1356.68275Della Dora, Jean; Maignan, Aude; Mirica-Ruse, Mihaela; Yovine, Sergio 2 2001 Computing efficient operation schemes for chemical plants in multi-batch mode. Zbl 1293.93526Niebert, Peter; Yovine, Sergio 2 2001 Computing optimal operation schemes for chemical plants in multi-batch mode. Zbl 0984.93061Niebert, Peter; Yovine, Sergio 4 2000 A new class of decidable hybrid systems. Zbl 0926.93036Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio 25 1999 Decidable integration graphs. Zbl 1045.68566Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S. 14 1999 Kronos: A verification tool for real-time systems. Zbl 1060.68606Yovine, Sergio 61 1997 Compositional specification of timed systems. Zbl 1379.68240Sifakis, Joseph; Yovine, Sergio 15 1996 Symbolic model checking for real-time systems. Zbl 0806.68080Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 123 1994 The algorithmic analysis of hybrid systems. Zbl 0823.68067Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. 23 1994 From ATP to timed graphs and hybrid systems. Zbl 0790.68067Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 18 1993 all cited Publications top 5 cited Publications all top 5 Cited by 550 Authors 13 Bouyer, Patricia 13 Larsen, Kim Guldstrand 8 Norman, Gethin 7 Asarin, Eugene 7 Henzinger, Thomas A. 7 Markey, Nicolas 6 Kwiatkowska, Marta Z. 6 Maler, Oded 6 Olveczky, Peter Csaba 6 Ouaknine, Joel O. 6 Sproston, Jeremy 6 Tripakis, Stavros 6 Worrell, James B. 6 Yovine, Sergio 5 André, Étienne 5 Bérard, Béatrice 5 Brihaye, Thomas 5 Dang, Zhe 5 Fahrenberg, Uli 5 Herbreteau, Frédéric 5 Ibarra, Oscar H. 5 Legay, Axel 5 Lime, Didier 5 Meseguer Guaita, José 5 Roux, Olivier H. 5 Srivathsan, Balaguru 5 Zhan, Naijun 4 Dang, Thao 4 Gomez, Rodolfo 4 Haddad, Serge 4 Kopke, Peter W. 4 Lanotte, Ruggero 4 Maggiolo-Schettini, Andrea 4 Platzer, André 4 Pnueli, Amir 4 Raskin, Jean-François 4 Sankur, Ocan 4 Schneider, Gerardo 3 Abujarad, Fuad 3 Alur, Rajeev 3 Bartocci, Ezio 3 Bruyère, Véronique 3 Doyen, Laurent 3 Gastin, Paul 3 Katoen, Joost-Pieter 3 Kulkarni, Sandeep S. 3 Laroussinie, François 3 Li, Zhibin 3 Manna, Zohar 3 Mardare, Radu 3 Pappas, George J. 3 Piazza, Carla 3 Tesei, Luca 3 Vaandrager, Frits W. 3 Varaiya, Pravin Pratap 3 Walukiewicz, Igor 3 Wang, Farn 3 Wang, Qiuye 3 Xue, Bingtian 2 Abate, Alessandro 2 Aceto, Luca 2 Alla, Hassane 2 Almagor, Shaull 2 Andersen, Henrik Reif 2 Balaguer, Sandie 2 Barnat, Jiří 2 Bauer, Kerstin 2 Beneš, Nikola 2 Bergeron, Anne 2 Bezděk, Peter 2 Biswas, Gautam 2 Bonakdarpour, Borzoo 2 Bouajjani, Ahmed 2 Bournez, Olivier 2 Bowman, Howard 2 Casagrande, Alberto 2 Cassez, Franck 2 Černá, Ivana 2 Chatain, Thomas 2 Chen, Mingshuai 2 Chothia, Tom 2 Clarke, Edmund Melson jun. 2 Clemente, Lorenzo 2 Cocquempot, Vincent 2 Corradini, Flavio 2 D’Argenio, Pedro Rubén 2 de Boer, Frank S. 2 Di Benedetto, Maria Domenica 2 Dingel, Juergen 2 D’Innocenzo, Alessandro 2 Dong, JinSong 2 Dreossi, Tommaso 2 Fribourg, Laurent 2 Gentilini, Raffaella 2 Gromov, Dmitry 2 Hulgaard, Henrik 2 Jacobsen, Lasse 2 Jacobsen, Morten 2 Jaghoori, Mohammad Mahdi 2 Jiang, Bin ...and 450 more Authors all top 5 Cited in 53 Serials 44 Theoretical Computer Science 25 Formal Methods in System Design 17 Information and Computation 8 Formal Aspects of Computing 8 Real-Time Systems 8 The Journal of Logic and Algebraic Programming 7 European Journal of Control 6 Acta Informatica 5 Automatica 5 International Journal of Foundations of Computer Science 5 Discrete Event Dynamic Systems 5 Nonlinear Analysis. Hybrid Systems 4 International Journal of Control 4 Journal of Computer and System Sciences 4 Journal of Automated Reasoning 3 International Journal of General Systems 3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 3 Journal of Symbolic Computation 3 International Journal of Robust and Nonlinear Control 3 Mathematics in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Artificial Intelligence 2 Mathematics and Computers in Simulation 2 Science of Computer Programming 2 Distributed Computing 2 RAIRO. Theoretical Informatics and Applications 1 ACM Computing Surveys 1 International Journal of Systems Science 1 Information Processing Letters 1 Journal of the Franklin Institute 1 Journal of Mathematical Biology 1 Applied Mathematics and Computation 1 Journal of Complexity 1 Journal of Computer Science and Technology 1 Mathematical and Computer Modelling 1 Machine Learning 1 International Journal of Algebra and Computation 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Logic, Language and Information 1 Computational & Mathematical Organization Theory 1 Theory of Computing Systems 1 Optimization Methods & Software 1 Soft Computing 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 Journal of Systems Science and Complexity 1 Logical Methods in Computer Science 1 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Numerical Algebra, Control and Optimization 1 Computer Science Review 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 20 Fields 246 Computer science (68-XX) 63 Systems theory; control (93-XX) 30 Mathematical logic and foundations (03-XX) 14 Operations research, mathematical programming (90-XX) 9 Biology and other natural sciences (92-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Ordinary differential equations (34-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Numerical analysis (65-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 General topology (54-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Convex and discrete geometry (52-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year