← Back to directory
Sergio Yovine
Researcher Next ID · RN-017690
Researcher · Computer Science
, Uruguay
Not currently recruitingFunding unknown
- Works count
- 112
- Citation count
- 7,893
- H-index
- 37
- i10-index
- 59
Research interests
Computer Science
Formal Methods in Verification
Real-Time Systems Scheduling
Embedded Systems Design Techniques
Parallel Computing and Optimization Techniques
Software Testing and Debugging Techniques
Publications
KRONOS: a verification tool for real-time systems
International Journal on Software Tools for Technology Transfer · 1997 · 10.1007/s100090050009
The tool Kronos
Lecture notes in computer science · 1996 · 10.1007/bfb0020947
The algorithmic analysis of hybrid systems
Theoretical Computer Science · 1995 · 10.1016/0304-3975(94)00202-t
Symbolic Model Checking for Real-Time Systems
Information and Computation · 1994 · 10.1006/inco.1994.1045
Current projects
No projects listed.