BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yovine:Sergio

Contributed to:

ISMM 20082008
CAV 20022002
CAV 20012001
CAV 19981998
CAV 19971997
CAV 19961996
CAV 19941994
LICS 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.