Sergio Yovine

Available identifiers

Publication	Date of Publication	Type
Compositional specification of timed systems	2017-11-16	Paper
Hybrid computation	2017-02-03	Paper
Computing efficient operation schemes for chemical plants in multi-batch mode	2014-08-07	Paper
Verification of asynchronous circuits using timed automata	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	2008-03-05	Paper
Algorithmic analysis of polygonal hybrid systems. I: Reachability	2007-07-16	Paper
Checking timed Büchi automata emptiness efficiently	2006-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4736573	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4439582	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4806207	2003-05-21	Paper
Decidable integration graphs.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4552459	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4953404	2002-05-14	Paper
Symbolic reachability computation for families of linear vector fields	2002-01-27	Paper
Analysis of timed systems using time-abstracting bisimulations	2001-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4249569	1999-11-22	Paper
Kronos: A verification tool for real-time systems	1997-01-01	Paper
Symbolic model checking for real-time systems	1995-02-13	Paper
From ATP to timed graphs and hybrid systems	1994-07-04	Paper

This page was built for person: Sergio Yovine