Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alfredo Olivero
@inproceedings{DBLP:conf/formats/BrabermanGKMO09,
author = {V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Nicolas Kicillof and
Daniel Monteverde and
Alfredo Olivero},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization
and Live Component Analysis},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {58--72},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_7},
doi = {10.1007/978-3-642-04368-0\_7},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BrabermanGKMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BrabermanOOS07,
author = {V{\'{\i}}ctor A. Braberman and
Jorge Luc{\'{a}}ngeli Obes and
Alfredo Olivero and
Fernando Schapachnik},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {Hypervolume Approximation in Timed Automata Model Checking},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {69--81},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_7},
doi = {10.1007/978-3-540-75454-1\_7},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BrabermanOOS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BrabermanOS06,
author = {V{\'{\i}}ctor A. Braberman and
Alfredo Olivero and
Fernando Schapachnik},
title = {Dealing with practical limitations of distributed timed model checking
for timed automata},
journal = {Formal Methods Syst. Des.},
volume = {29},
number = {2},
pages = {197--214},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0012-3},
doi = {10.1007/S10703-006-0012-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BrabermanOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eclipse/CavatortaCFBGKSO06,
author = {Luc{\'{\i}}a Cavatorta and
Guido de Caso and
Andr{\'{e}}s Ferrari and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Nicolas Kicillof and
Fernando Schapachnik and
Alfredo Olivero},
editor = {Michael G. Burke and
Alessandro Orso and
Martin P. Robillard},
title = {A toolsuite for the verification of real-time systems in Eclipse},
booktitle = {Proceedings of the 2006 {OOPSLA} workshop on Eclipse Technology eXchange,
{ETX} 2006, Portland, Oregon, USA, October 22-23, 2006},
pages = {35--39},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1188835.1188843},
doi = {10.1145/1188835.1188843},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eclipse/CavatortaCFBGKSO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BrabermanOS05,
author = {V{\'{\i}}ctor A. Braberman and
Alfredo Olivero and
Fernando Schapachnik},
title = {Issues in distributed timed model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {4--18},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0143-z},
doi = {10.1007/S10009-004-0143-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BrabermanOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrabermanKO05,
author = {V{\'{\i}}ctor A. Braberman and
Nicolas Kicillof and
Alfredo Olivero},
title = {A Scenario-Matching Approach to the Description and Model Checking
of Real-Time Properties},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {12},
pages = {1028--1041},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.131},
doi = {10.1109/TSE.2005.131},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BrabermanKO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrabermanGO04,
author = {V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Alfredo Olivero},
editor = {Rajeev Alur and
Doron A. Peled},
title = {ObsSlice: {A} Timed Automata Slicer Based on Observers},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {470--474},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_39},
doi = {10.1007/978-3-540-27813-9\_39},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrabermanGO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlfonsoBKO04,
author = {Alejandra Alfonso and
V{\'{\i}}ctor A. Braberman and
Nicolas Kicillof and
Alfredo Olivero},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Visual Timed Event Scenarios},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {168--177},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317439},
doi = {10.1109/ICSE.2004.1317439},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlfonsoBKO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrabermanOS05,
author = {V{\'{\i}}ctor A. Braberman and
Alfredo Olivero and
Fernando Schapachnik},
editor = {Lubos Brim and
Martin Leucker},
title = {On-the-fly Workload Prediction and Redistribution in the Distributed
Timed Model Checker Zeus},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {3--18},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.015},
doi = {10.1016/J.ENTCS.2004.10.015},
timestamp = {Mon, 12 Dec 2022 15:21:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrabermanOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchapachnikBO02,
author = {Fernando Schapachnik and
V{\'{\i}}ctor A. Braberman and
Alfredo Olivero},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {An architecture-centric approach to the development of a distributed
model-checker for timed automata},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {710},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581461},
doi = {10.1145/581339.581461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SchapachnikBO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrabermanGO02,
author = {V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Alfredo Olivero},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Improving the Verification of Timed Systems Using Influence Information},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {21--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_3},
doi = {10.1007/3-540-46002-0\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrabermanGO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrabermanPO02,
author = {V{\'{\i}}ctor A. Braberman and
Carlos L{\'{o}}pez Pombo and
Alfredo Olivero},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {On Improving Backwards Verification of Timed Automata},
booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {60--67},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80469-9},
doi = {10.1016/S1571-0661(04)80469-9},
timestamp = {Mon, 05 Dec 2022 15:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrabermanPO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrabermanOS02,
author = {V{\'{\i}}ctor A. Braberman and
Alfredo Olivero and
Fernando Schapachnik},
editor = {Lubos Brim and
Orna Grumberg},
title = {{ZEUS:} {A} Distributed Timed Model-Checker Based on {KRONOS}},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {503--522},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80389-5},
doi = {10.1016/S1571-0661(05)80389-5},
timestamp = {Tue, 06 Dec 2022 11:23:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrabermanOS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrabermanO01,
author = {V{\'{\i}}ctor A. Braberman and
Alfredo Olivero},
editor = {Flavio Corradini and
Walter Vogler},
title = {Extending Timed Automata for Compositional Modeling Healthy Timed
Systems},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark,
August 25, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {3},
pages = {227--245},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00226-9},
doi = {10.1016/S1571-0661(04)00226-9},
timestamp = {Thu, 01 Dec 2022 15:07:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrabermanO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaDMOTY98,
author = {Marius Bozga and
Conrado Daws and
Oded Maler and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {Kronos: {A} Model-Checking Tool for Real-Time Systems},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {546--550},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028779},
doi = {10.1007/BFB0028779},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BozgaDMOTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BozgaDMOTY98,
author = {Marius Bozga and
Conrado Daws and
Oded Maler and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Anders P. Ravn and
Hans Rischel},
title = {{KRONOS:} {A} Model-Checking Tool for Real-Time Systems (Tool-Presentation
for {FTRTFT} '98)},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {298--302},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055357},
doi = {10.1007/BFB0055357},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/BozgaDMOTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurCHHHNOSY95,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
Thomas A. Henzinger and
Pei{-}Hsin Ho and
Xavier Nicollin and
Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
title = {The Algorithmic Analysis of Hybrid Systems},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {3--34},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00202-T},
doi = {10.1016/0304-3975(94)00202-T},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurCHHHNOSY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DawsOTY95,
author = {Conrado Daws and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {The Tool {KRONOS}},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {208--219},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020947},
doi = {10.1007/BFB0020947},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DawsOTY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OliveroSY94,
author = {Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
editor = {David L. Dill},
title = {Using Abstractions for the Verification of Linear Hybrid Systems},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {81--94},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_45},
doi = {10.1007/3-540-58179-0\_45},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/OliveroSY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DawsOY94,
author = {Conrado Daws and
Alfredo Olivero and
Sergio Yovine},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Verifying {ET-LOTOS} programmes with {KRONOS}},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {227--242},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/DawsOY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JourdanMO93,
author = {Martin Jourdan and
Florence Maraninchi and
Alfredo Olivero},
editor = {Costas Courcoubetis},
title = {Verifying Quantitative Real-Time Properties of Synchronous Programs},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {347--358},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_29},
doi = {10.1007/3-540-56922-7\_29},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/JourdanMO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NicollinOSY92,
author = {Xavier Nicollin and
Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {An Approach to the Description and Analysis of Hybrid Systems},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {149--178},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_28},
doi = {10.1007/3-540-57318-6\_28},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NicollinOSY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
