Travelled to:1 × Canada
1 × Denmark
1 × France
1 × Israel
4 × USA
Collaborated with:J.Sifakis S.Tripakis A.Olivero M.Bozga O.Maler V.A.Braberman F.J.Fernández D.Garbervetsky E.Asarin G.J.Pace G.Schneider A.Pnueli T.A.Henzinger X.Nicollin C.Daws E.Closse M.Poize J.Pulou P.Venter D.Weil
Talks about:system (6) time (6) verif (4) tool (3) real (3) abstract (2) symbol (2) hybrid (2) model (2) check (2)
Person: Sergio Yovine
DBLP: Yovine:Sergio
Contributed to:
2008
200220011998199719961994
1992Wrote 8 papers:
- ISMM-2008-BrabermanFGY #memory management #parametricity #predict #requirements
- Parametric prediction of heap memory requirements (VAB, FJF, DG, SY), pp. 141–150.
- CAV-2002-AsarinPSY #hybrid #named #verification
- SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.
- CAV-2001-ClossePPSVWY #development #embedded #named #realtime #verification
- TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems (EC, MP, JP, JS, PV, DW, SY), pp. 391–395.
- CAV-1998-BozgaDMOTY #model checking #named #realtime
- Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.
- CAV-1997-BozgaMPY #automaton #verification
- Some Progress in the Symbolic Verification of Timed Automata (MB, OM, AP, SY), pp. 179–190.
- CAV-1996-TripakisY #analysis #bisimulation
- Analysis of Timed Systems Based on Time-Abstracting Bisimulation (ST, SY), pp. 232–243.
- CAV-1994-OliveroSY #abstraction #hybrid #linear #using #verification
- Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
- LICS-1992-HenzingerNSY #model checking #realtime
- Symbolic Model Checking for Real-time Systems (TAH, XN, JS, SY), pp. 394–406.