S. Yovine

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Analysis of Timed Systems Using Time-Abstracting Bisimulations

S. Tripakis and others (2001) · Springer Science and Business Media LLC

KRONOS: a verification tool for real-time systems

S. Yovine (1997) · Springer Science and Business Media LLC

Reducing the number of clock variables of timed automata

C. Daws and others (1996) · IEEE Comput. Soc. Press

Two examples of verification of multirate timed automata with Kronos

C. Daws and others (1995) · IEEE Comput. Soc. Press