Journals

I. Assayad, S. Yovine. A scheduler synthesis methodology for joint SW/HW design exploration of SoC. Design Automation for Embedded Systems, Springer Netherlands, 0929-5585 (Print) 1572-8080 (Online), March, 2010. DOI 10.1007/s10617-010-9051-5.

E. Assarin, G. Pace, G. Schneider, S. Yovine. Algorithmic analysis of polygonal hybrid systems. Part II: Phase Portrait and Tools . Theoretical Computer Science, 390 (1), p.1-26, Jan 2008. Elsevier.

E. Assarin, G. Schneider, S. Yovine. Algorithmic analysis of polygonal hybrid systems. Part I: reachability. Theoretical Computer Science 379:231-265, 2007. Elsevier.

V. Braberman, D. Garbervetsky, S. Yovine. Synthesizing parametric specifications of dynamic memory utilization in object oriented programs. In Journal of Object Technology Vol. 5, No. 5, June 2006 (Special Issue: ECOOP 2005 Workshop FTfJP). pdf

S. Tripakis, S. Yovine, A. Bouajjani. Checking Timed Buchi Automata Emptiness Efficiently. Formal Methods in System Design, 26(3). May 2005. Springer Science.pdf.

J. Sifakis, S. Tripakis, S. Yovine. Building models of real-time systems from application software. Proceedings of the IEEE,Special issue on modeling and design of embedded, 91(1):100-111, January 2003. pdf

G. Lafferriere, G. Pappas, S. Yovine. Symbolic reachability computation of families of linear vector fields. Journal of Symbolic Computation, 32(3):231-253, September 2001. Academic Press. ps.gz

P. Niebert, S. Yovine. Computing efficient operation schemes for chemical plants in multi-batch mode. European Journal of Control, 2001. Hermes. ps.gz

S. Tripakis, S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. Formal Methods in System Design, 18(1), 2001. Kluwer Academic Publishers. ps.gz

Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine. Decidable integration graphs. Information and Computation, 150(2):209--243, 1999. Academic Press. pdf [Conference version: Hybrid Systems, LNCS 736, Pages: 179-208.Springer, 1993].

S. Yovine. Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer, Vol. 1, Issue 1/2, pages 123-133, October 1997. Springer-Verlag. ps.gz

R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995. Elsevier Science. ps.gz

T. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193--244, June 1994. Academic Press. ps.

X. Nicollin, J. Sifakis, S. Yovine. From ATP to timed graphs and hybrid systems. Acta Informatica, 30:181--202, 1993. Springer-Verlag. ps

X. Nicollin, J. Sifakis, S. Yovine. Compiling real-time specifications into extended automata. IEEE Transactions on Software Engineering, Special Issue on Real-Time Systems, 18(9):794--804, September 1992. IEEE Computer Society Press. ps

Conference proceedings

D. Garbervetsky, S. Yovine, V. Braberman, M. Rouaux, A. Taboada. On transforming Java-like programs into memory-predictable code. JTRES 2009, Madrid, Spain, September 23-25, 2009. ACM 2009.

V. Braberman, F. Fernandez, D. Garbervetsky, S. Yovine. Parametric Prediction of Heap Memory Requirements. ISMM'08, June 7-8, 2008, Tucson, Arizona, USA. ACM 2008. pdf

A. Basu, S. Yovine, M. Zanconi. An approach to derivation of component-based implementations from data-oriented specifications. APGES 2007, Oct. 4th 2007, Salzburg, Austria. pdf

I. Assayad, S. Yovine. Modelling and Exploration Environment for Application Specific Multiprocessor Systems. HASE 2007. Dallas, Texas, 2007. IEEE Computer Society Press. (short paper) pdf

I. Assayad, S. Yovine. Methodology and tools for performance analysis of embedded multiprocessor industrial applications. ARTIST International Workshop on Tool Platforms for Modeling, Analisis and Validation of Embedded Ssystems 2007. Berlin, Germany, 2007. (short paper) pdf

G. Salagnac, Ch. Rippert, S. Yovine. Semi-automatic Region-Based Memory Management for Real-Time Java Embedded Systems. In Proceedings of "13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07)", August 2007. IEEE Computer Society Press. pdf

I. Assayad, S. Yovine. P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. EUROMICRO Conference on Digital System Design (DSD 2007), August 2007. IEEE Computer Society Press. pdf

I. Assayad, S. Yovine. A scalable framework for modelling and performance analysis of multiprocessor embedded systems: models and benefits. In Proc. of "7th Intl. Conf. on New Technologies of Distributed Systems (NOTERE 2007)", 2007. pdf

I. Assayad, S. Yovine. System-Platform Simulation Model Applied to Performance Analysis of Multi-processor Video Encoding. In Proceedings of "IEEE Symposium on Industrial Embedded Systems (IES 2006)". October 2006. IEEE Computer Society Press. pdf

Ch. Nakhli, Ch. Rippert, G. Salagnac, S. Yovine. Efficient Region-Based Memory Management for Resource- limited Real-Time Embedded Systems. In Proceedings of "Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)", July 3, Nantes (France) . 2006. pdf

I. Assayad, V. Bertin, F-X. Defaut, Ph. Gerner, O. Quevreux, S. Yovine. Jahuel: A formal framework for software synthesis. In Proceedings of ICFEM 2005 Seventh International Conference on Formal Engineering Methods". 1-4 November 2005, Manchester, UK.  LNCS 3785, Pages: 204-218. Springer, 2005. pdf

V. Braberman, A. Ferrari, D. Garbervetsky, P. Listingart, S. Yovine. JScoper: Eclipe support for Research on Scoping and Instrumentation for Real Time Java Applications. In ETX 2005: eclipse Technology eXchange (eTX) Workshop at OOPSLA, San Diego, USA, October 2005. pdf

I. Assayad, S. Yovine. Compositional Constraints Generation for Concurrent Real-time  Loops with Interdependent Iterations. In Proceedings of "I2CS'05 : the international conference on innovative internet community systems". Paris, France, 2005. LNCS 3908, Pages: 159-170. Springer, 2006. pdf

I. Assayad, Ph. Gerner, S. Yovine, V. Bertin. Modelling, Analysis and Implementation of an On-line Video Encoder. In Proceedings of "The First International Conference on Distributed Frameworks for Multimedia Applications (DFMA'2005)". Besancon, France, February 6-9, 2005. Pages: 295 - 302. IEEE Computer Society. 2005. pdf

G. Salagnac, S. Yovine, D. Garbervetsky. Fast Escape Analysis for Region-based Memory Management. In Proceedings of "1st Int. Workshop on Abstract Interpretation for Object Oriented Languages (AIOOL'05)". Paris, January 21, 2005. Electronic Notes in Theoretical Computer Science, Volume 131, 24 May 2005, Pages 99-110. Elsevier Science. 2005. pdf

D. Garbervetsky, C. Nakhli, S. Yovine, H. Zorgati. Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. In Proceedings of "Runtime Verification, RV'04". Barcelona, Spain, 2004. Electronic Notes in Theoretical Computer Science, Volume 113, 3 January 2005, Pages 105-121. Elsevier Science. 2004. pdf

Ch. Kloukinas, Ch. Nakhli, S. Yovine. A methodology and tool support for generating scheduled native code for real-time Java applications. In the Proceedings of the "Third International Conference on Embedded Software (EMSOFT 2003)", LNCS-2855, pages 274-289. Philadelphia, Pennsylvania, USA, October 2003. pdf

Ch. Kloukinas, S. Yovine. Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. In Proceedings of "5th Euromicro Conference on Real-Time Systems (ECRTS'03)", Porto, Portugal, July 2003. Pages: 287 - 294. IEEE Computer Society Press. pdf

V. Colin de Verdiere, S. Cros, C. Fabre, R. Guider, S. Yovine. Speedup Prediction for Selective Compilation of Embedded Java Programs. In Proceedings of "Workshop on Embedded Software, EMSOFT'02". Grenoble, October 7-9, 2002.  Lecture Notes in Computer Science 2491, Pages: 227 - 239. Springer-Verlag. pptpdf

E. Asarin, G. Pace, G. Schneider, and S. Yovine. SPeeDI -- a Verification Tool for Polygonal Hybrid Systems. In Proceedings of "Computer Aided Verification, CAV'02". Denmark, July 27-31, 2002.  Lecture Notes in Computer Science 2404, Pages: 354-358. Springer-Verlag. ps.gz

M. Bozga, J. Hou, O. Maler, S. Yovine. Verification of Asynchronous Circuits using Timed Automata. TPTS'02, Electronic Notes in Theoretical Computer Science, Volume 65, Issue 6, June 2002, Pages 1-13.

E. Asarin, G. Schneider, and S. Yovine. Towards computing phase portraits of polygonal differential inclusions. In Proceedings of "Hybrid Systems: Computation and Control, HSCC'02". Stanford, March, 2002.  Lecture Notes in Computer Science 2289, Pages: 49. Springer-Verlag. ps pdf

V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, S. Yovine. Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. In Proceedings of "40th Conference on Decision and Control, CDC'01". Orlando, December, 2001. Pages: 2875 - 2880 vol.3. IEEE Control Systems Society. ps.gz

E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, S. Yovine. TAXYS: a tool for the developpment and verification real-time embedded systems. In Proceedings of "Computer Aided Verification, CAV'01". Paris, France, July 23, 2001. Lecture Notes in Computer Science 2102, Pages: 391. Springer-Verlag. ps.gz

J. Della Dora, S. Yovine. A Methodology for Analizing the Dynamics of Hybrid Systems. In Proceedings of "European Control Conference, ECC'01". Porto, Portugal, September, 2001. ps.gz

J. Della Dora, Aude Maignan, Mihaela Mirica-Ruse, S. Yovine. Hybrid computation. In Proceedings of "International Symposium on Symbolic and Algebraic Computation, ISSAC'01". Ontario, Canada, July 22 - 25, 2001. ACM. ps pdf

S. Tripakis, S. Yovine. Timing Analysis and Code Generation of Vehicle Control Software using Taxys. In Proceedings of "Runtime Verification, RV'01". Paris, France, July 23, 2001. Electronic Notes in Theoretical Computer Science, Volume 55, Issue 2, October 2001, Pages 277-286. Elsevier Science. ps.gz

E. Asarin, G. Schneider, S. Yovine. On the decidability of the reachability problem of planar differential inclusions. In Proceedings of "Hybrid Systems: Computation and Control, HSCC'01". Rome, Italy, March 28-30, 2001. Lecture Notes in Computer Science 2034, Pages: 89. Springer-Verlag. ps pdf

P. Niebert, S. Yovine. Synthesis and dispatching of production schemes for chemical batch plants. In Proceedings of "4^th International Conference Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM’2000". Dortmund, Germany, 18-19 September 2000. ps pdf

G. Pappas, G. Lafferriere, G. Schneider, S. Yovine. Parameter synthesis in robot motion planning using symbolic reachability computation. In Proceedings of "8^th Mediterranean Conference on Control and Automation, MED’2000". Patras, Greece, July 17-19, 2000. IEEE. pdf

P. Niebert, S. Tripakis, S. Yovine. Minimum-time reachability for timed automata. In Proceedings of "8^th Mediterranean Conference on Control and Automation, MED’2000". Patras, Greece, July 17-19, 2000. IEEE. ps pdf

P. Niebert, S. Yovine. Computing optimal operation schemes for chemical plants in multi-batch mode. In Proceedings of "Hybrid Systems: Computation and Control, HSCC'00". Pittsburgh, PA, USA, March 23-25, 2000. Lecture Notes in Computer Science 1790, Pages: 338. Springer-Verlag. ps pdf

G. Pappas, G. Lafferriere, S. Yovine. A new class of decidable hybrid systems. In Proceedings of "Hybrid Systems: Computation and Control, HSCC'99". Nijmegen, The Netherlands, March 29-31, 1999. Pages: 137. Lecture Notes in Computer Science 1569, pages 137-151, Springer Verlag. ps pdf

K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, S. Yovine. A framework for scheduler synthesis. In Proceedings of the "20^th IEEE Real-Time Systems Symposium, RTSS'99", Phoenix, AZ, USA, December 1999. Pages: 154 - 163. IEEE Computer Society Press. ps pdf

T. Simsek, R. Sengupta, S. Yovine, F. Eskafi. Fault diagnosis for intra-platoon communications. In Proceedings of the "38^th IEEE Conference on Decision and Control, CDC'99". Phoenix, AZ, USA, December 1999. Page(s):3520 - 3525 vol.4. IEEE Computer Society Press. ps pdf

A. Girault, S. Yovine. Stability analysis of a longitudinal control law for autonomous vehicles. In Proceedings of the "38^th IEEE Conference on Decision and Control, CDC'99". Phoenix, AZ, USA, December 1999. Page(s):3728 - 3733 vol.4. IEEE Computer Society Press. ps pdf. Technical Report INRIA RR-3498.

G. Pappas, G. Lafferriere, S. Yovine. Reachability computation for linear hybrid systems. In Proceedings of IFAC'99. Beijing, China, July 5-9, 1999. ps pdf

G. Pappas, G. Lafferriere, S. Yovine. Reach set computation for linear vector fields using quantifier elimination. In IMACS-ACA'99. Madrid, Spain, June 25-27, 1999. ps pdf

S. Tasiran, S. P. Khatri, S. Yovine, R. K. Brayton, A. Sangiovanni-Vincentelli. A timed automaton-based method for accurate computation of circuit delay in the presence of cross-talk. In Proceedings of the "2^nd International Conference on Formal Methods in Computer-Aided Design, FMCAD'98". November 3-6, 1998, Palo Alto, CA, USA. Lecture Notes in Computer Science 1522, pages 149-166, Springer-Verlag. ps pdf

A. Deshpande, S. Yovine. System design using Teja and Kronos. Case Study: The FDDI Protocol. In "Educational Case Studies in Protocols, ECASP, FORTE / PSTV’98". Paris, November 3, 1998. ps pdf

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, S. Yovine. KRONOS: A Model-Checking Tool for Real-Time Systems. Tool-Presentation for FTRTFT '98, Lecture Notes in Computer Science 1486, Pages: 298. Springer, 1998. Also in Proc. of 10th International Conference on Computer Aided Verification, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998, Pages: 546-550. Springer, 1998.

S. Tripakis, S. Yovine. Verification of the fast reservation protocol with delayed transmission using the tool Kronos. In Proceedings of the "4^th IEEE Real-Time Technology and Applications Symposium, RTAS'98". Denver, Colorado, USA, June 1998. Page(s):165 - 170. IEEE Computer Society Press. ps pdf

A. Bouajjani, S.Tripakis, S.Yovine. On-the-fly symbolic model-checking for real-time systems. In Proceedings of the "18^th IEEE Real Time Systems Symposium, RTSS'97", San Francisco, CA, USA, December 1997. Page(s):25 - 34. IEEE Computer Society Press. ps pdf

M. Bozga, O. Maler, A. Pnueli, S. Yovine. Some progress in the symbolic verification of timed automata. In Proceedings of the "9^th Computer-Aided Verification, CAV'97", Israel, June 1997. Lecture Notes in Computer Science 1254, Pages 179-190. Springer-Verlag. ps.gz

C. Daws, S. Yovine. Reducing the number of clock variables of timed automata. In Proceedings of the "17^th IEEE Real Time Systems Symposium, RTSS'96", Washington, DC, USA, December 1996. Page(s):73 - 81. IEEE Computer Society Press. ps pdf

A. Bouajjani, Y. Lakhnech, S. Yovine. Model checking for extended timed temporal logic. In Proceedings of the "4^th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'96", Uppsala, Sweden, September 1996. Lecture Notes in Computer Science 1135, Pages: 306-326. Springer-Verlag. ps pdf

S. Tripakis, S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In Proceedings of the "8^th Computer-Aided Verification, CAV’96", Rutgers, NJ, July 1996. Lecture Notes in Computer Science 1102, Pages: 232-243. Springer-Verlag. ps.gz

O. Maler, S. Yovine. Hardware timing verification using Kronos. In Proceedings of the "7th IEEE Israeli Conference on Computer Systems and Software Engineering, ICCBSSE'96", June 12-13, 1996, Herzliya, Israel. Page(s):23 - 29. IEEE Computer Society Press. ps pdf

C. Daws, A. Olivero, S. Tripakis, S. Yovine. The tool Kronos. In Proceedings of "Hybrid Systems III, Verification and Control", 1996. Lecture Notes in Computer Science 1066, Pages: 208-219. Springer-Verlag. ps.gz

C. Daws, S. Yovine. Two examples of verification of multirate timed automata with Kronos. In Proceedings of the "16^th IEEE Real Time Systems Symposium, RTSS'95", Pisa, Italy, December 1995. Page(s):66 - 75. IEEE Computer Society Press. ps pdf

C. Daws, A. Olivero, S. Yovine. Verifying ET-LOTOS programs with Kronos. In Proceedings of the "7^th IFIP WG G.1 International Conference of Formal Description Techniques FORTE'94", pages 227-242, Bern, Switzerland, October 1994. Formal Description Techniques VII, Chapman & Hall. ps pdf

A. Olivero, J. Sifakis, S. Yovine. Using abstractions for the verification of linear hybrid systems. In Proceedings of the "6^th Computer-Aided Verification, CAV’94", pages 81--94, California, July 1994. Lecture Notes in Computer Science 818, Springer-Verlag. ps.gz

R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems: Sophia-Antipolis, June 15–16–17, 1994.  Lecture Notes in Control and Information Sciences 199, Pages: 329-351. Springer, 1994.

X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. An approach to the description and analysis of hybrid systems. In Proceedings of "Workshop on Theory of Hybrid Systems", pages 149--178, Lyngby, Denmark, June 1992. Lecture Notes in Computer Science 736, Springer-Verlag. ps.gz

Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine. Integration graphs a class of decidable hybrid systems. In Proceedings of "Workshop on Theory of Hybrid Systems", pages 179--208, Lyngby, Denmark, June 1992. Lecture Notes in Computer Science 736, Pages: 179-208. Springer-Verlag. ps.gz

T. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic model checking for real-time systems. In Proceedings of the 7th Annual IEEE Symposium onLogic in Computer Science, LICS '92, Page(s):394 - 406, IEEE Computer Society Press.

X. Nicollin, J. Sifakis, S. Yovine. From ATP to timed graphs and hybrid systems. In Proc. "Real-Time: Theory in Practice: REX Workshop", Mook, The Netherlands, June 3–7, 1991. LNCS 600, Pages: 549-572. Springer, 1992.

S. Yovine. Compiling timed algebras into timed automata. In Proceedings of "XVIII Conferencia Latinoamericana de Informática, PANEL'92", Las Palmas, Spain, August 1992. ps pdf

R. Alvez, S. Yovine. Distributed implementation of a Linda kernel. In Proceedings of "XVII Conferencia Latinoamericana de Informática, PANEL'91", Caracas, Venezuela, August 1991. ps pdf

Invited

J. Sifakis, S. Yovine. Compositional specification of timed systems. In Proceedings of the "13^th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96", pages 347--359, Grenoble, France, February 1996. Lecture Notes in Computer Science 1046, Springer-Verlag. ps pdf

Books, chapters, ...

S. Yovine, I. Assayad, F.-X. Defaut, M. Zanconi, A. Basu. A formal approach to derivation of concurrent implementations in software product lines. In Process Algebra for Parallel and Distributed Processing, M. Alexander & W. Gardner, eds., Chapman and Hall/CRC Press, Taylor and Francis Group LLC, Dicember 2008. ISBN: 978-1-4200-6486-5

Embedded Systems Design. The ARTIST Roadmap for Research and Development. Lecture Notes in Computer Science (Programming and Software Engineering), Vol. 3436. Bouyssounouse, Bruno; Sifakis, Joseph (Eds.), 2005. ISBN: 978-3-540-25107-1

Y. Lakhnech, S.Yovine (Eds.): Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. Lecture Notes in Computer Science 3253 Springer 2004, ISBN 3-540-23167-6