Sergio Yovine

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional specification of timed systems STACS 96	2017-11-16	Paper
Hybrid computation Proceedings of the 2001 international symposium on Symbolic and algebraic computation	2017-02-03	Paper
Computing efficient operation schemes for chemical plants in multi-batch mode European Journal of Control	2014-08-07	Paper
Verification of asynchronous circuits using timed automata Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Formal approach to derivation of concurrent implementations in software product lines	2009-03-09	Paper
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools Theoretical Computer Science	2008-03-05	Paper
Algorithmic analysis of polygonal hybrid systems. I: Reachability Theoretical Computer Science	2007-07-16	Paper
Checking timed Büchi automata emptiness efficiently Formal Methods in System Design	2006-02-20	Paper
scientific article; zbMATH DE number 2085315 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 2017353 (Why is no real title available?)	2003-12-14	Paper
scientific article; zbMATH DE number 1905117 (Why is no real title available?)	2003-05-21	Paper
Decidable integration graphs. Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1794363 (Why is no real title available?)	2002-09-03	Paper
scientific article; zbMATH DE number 1444362 (Why is no real title available?)	2002-05-14	Paper
Symbolic reachability computation for families of linear vector fields Journal of Symbolic Computation	2002-01-27	Paper
Analysis of timed systems using time-abstracting bisimulations Formal Methods in System Design	2001-10-30	Paper
scientific article; zbMATH DE number 1303067 (Why is no real title available?)	1999-11-22	Paper
Kronos: A verification tool for real-time systems International Journal on Software Tools for Technology Transfer. STTT	1997-01-01	Paper
Symbolic model checking for real-time systems Information and Computation	1995-02-13	Paper
From ATP to timed graphs and hybrid systems Acta Informatica	1994-07-04	Paper

Research outcomes over time

This page was built for person: Sergio Yovine