Sergio Yovine

Universidad ORT Uruguay - Montevideo / Uruguay

Engineering & Technology / Computer Science

AD Scientific Index ID: 843907

URUGUAY UNIVERSITY

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Universidad ORT Uruguay

Sergio Yovine's MOST POPULAR ARTICLES

1-) The algorithmic analysis of hybrid systems Theoretical computer science 138 (1), 3-34, 1995

2-) Symbolic model checking for real-time systems Information and computation 111 (2), 193-244, 1994

3-) Kronos: A verification tool for real-time systems Int. J. Softw. Tools Technol. Transf. 1 (1-2), 123-133, 1997

4-) The tool Kronos International Hybrid Systems Workshop, 208-219, 1995

5-) Kronos: A model-checking tool for real-time systems International Conference on Computer Aided Verification, 546-550, 1998

ARTICLES

Add your articles