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 × France
1 × Greece
1 × United Kingdom
3 × USA
Collaborated with:
V.A.Braberman D.Garbervetsky S.Yovine F.Schapachnik J.Sifakis M.Jourdan F.Maraninchi A.Alfonso N.Kicillof M.Bozga C.Daws O.Maler S.Tripakis
Talks about:
time (6) system (3) automata (2) verif (2) model (2) real (2) use (2) architectur (1) distribut (1) synchron (1)

Person: Alfredo Olivero

DBLP DBLP: Olivero:Alfredo

Contributed to:

CAV 20042004
ICSE 20042004
ICSE 20022002
TACAS 20022002
CAV 19981998
CAV 19941994
CAV 19931993

Wrote 7 papers:

CAV-2004-BrabermanGO #automaton #named #slicing
ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.
ICSE-2004-AlfonsoBKO #visual notation
Visual Timed Event Scenarios (AA, VAB, NK, AO), pp. 168–177.
ICSE-2002-SchapachnikBO #approach #architecture #automaton #development #distributed #model checking
An architecture-centric approach to the development of a distributed model-checker for timed automata (FS, VAB, AO), p. 710.
TACAS-2002-BrabermanGO #using #verification
Improving the Verification of Timed Systems Using Influence Information (VAB, DG, AO), pp. 21–36.
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-1994-OliveroSY #abstraction #hybrid #linear #using #verification
Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
CAV-1993-JourdanMO #realtime #source code #verification
Verifying Quantitative Real-Time Properties of Synchronous Programs (MJ, FM, AO), pp. 347–358.

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.