Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Oliver Botti
@article{DBLP:journals/tr/DeconinckFB02,
author = {Geert Deconinck and
Vincenzo De Florio and
Oliver Botti},
title = {Software-implemented fault-tolerance and separate recovery strategies
enhance maintainability [substation automation]},
journal = {{IEEE} Trans. Reliab.},
volume = {51},
number = {2},
pages = {158--165},
year = {2002},
url = {https://doi.org/10.1109/TR.2002.1011520},
doi = {10.1109/TR.2002.1011520},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/DeconinckFB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DondossolaB00,
author = {Giovanna Dondossola and
Oliver Botti},
editor = {T. S. E. Maibaum},
title = {System Fault Tolerance Specification: Proposal of a Method Combining
Semi-formal and Formal Approaches},
booktitle = {Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1783},
pages = {82--96},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46428-X\_7},
doi = {10.1007/3-540-46428-X\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/DondossolaB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BottiFDLCDBKKTV00,
author = {Oliver Botti and
Vincenzo De Florio and
Geert Deconinck and
Rudy Lauwereins and
Flavio Cassinari and
Susanna Donatelli and
Andrea Bobbio and
Axel Klein and
Holger K{\"{u}}fner and
Erwin M. Thurner and
Eric Verhulst},
title = {The {TIRAN} approach to reusing software implemented fault tolerance},
booktitle = {Eight Euromicro Workshop on Parallel and Distributed Processing, {PDP}
2000, 19-12 January 2000, Rhodos, Greece},
pages = {325--332},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMPDP.2000.823427},
doi = {10.1109/EMPDP.2000.823427},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdp/BottiFDLCDBKKTV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CapraGB99,
author = {Lorenzo Capra and
Rossano Gaeta and
Oliver Botti},
editor = {Susanna Donatelli and
H. C. M. Kleijn},
title = {{SWN} Nets as a Framework for the Specification and the Analysis of
{FT} Techniques Adopted in Electric Plant Automation},
booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference,
{ICATPN} '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1639},
pages = {168--187},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48745-X\_11},
doi = {10.1007/3-540-48745-X\_11},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CapraGB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BottiFDCDBKKLTV99,
author = {Oliver Botti and
Vincenzo De Florio and
Geert Deconinck and
Flavio Cassinari and
Susanna Donatelli and
Andrea Bobbio and
Axel Klein and
Holger K{\"{u}}fner and
Rudy Lauwereins and
Erwin M. Thurner and
Eric Verhulst},
editor = {Patrick Amestoy and
Philippe Berger and
Michel J. Dayd{\'{e}} and
Iain S. Duff and
Val{\'{e}}rie Frayss{\'{e}} and
Luc Giraud and
Daniel Ruiz},
title = {{TIRAN:} Flexible and Portable Fault Tolerance Solutions for Cost
Effective Dependable Applications},
booktitle = {Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference,
Toulouse, France, August 31 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1685},
pages = {1166--1170},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48311-X\_164},
doi = {10.1007/3-540-48311-X\_164},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/BottiFDCDBKKLTV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/DeconinckBCFL98,
author = {Geert Deconinck and
Oliver Botti and
Flavio Cassinari and
Vincenzo De Florio and
Rudy Lauwereins},
title = {Stable Memory in Substation Automation: {A} Case Study},
booktitle = {Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium
on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998},
pages = {452--457},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/FTCS.1998.689497},
doi = {10.1109/FTCS.1998.689497},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/DeconinckBCFL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CapraGB98,
author = {Lorenzo Capra and
Rossano Gaeta and
Oliver Botti},
title = {Using {SWN} nets to specify and analyze {FT} mechanisms adopted in
electric plant automation},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
USA, October 11-14,1998},
pages = {493--498},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.725460},
doi = {10.1109/ICSMC.1998.725460},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/CapraGB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/AnglanoDFB97,
author = {Cosimo Anglano and
Susanna Donatelli and
Giuliana Franceschinis and
Oliver Botti},
title = {Performance prediction of a reconfigurable high voltage substation
simulator: a case study using {SWN}},
booktitle = {Proceedings of the Seventh International Workshop on Petri Nets and
Performance Models, {PNPM} 1997, Saint Malo, France, June 3-6, 1997},
pages = {163--172},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PNPM.1997.595547},
doi = {10.1109/PNPM.1997.595547},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/AnglanoDFB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BottiC96,
author = {Oliver Botti and
Lorenzo Capra},
title = {A {GSPN} based methodology for the evaluation of concurrent applications
in distributed plant automation systems},
journal = {J. Syst. Archit.},
volume = {42},
number = {6-7},
pages = {503--530},
year = {1996},
url = {https://doi.org/10.1016/S1383-7621(96)00037-9},
doi = {10.1016/S1383-7621(96)00037-9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/BottiC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anss/BottiDF96,
author = {Oliver Botti and
Susanna Donatelli and
Giuliana Franceschinis},
title = {Assessing the Performance of Multiprocessor Architectures through
{SWN} Models Simulation: {A} Case Study in the Field of Plant Automation
Systems},
booktitle = {Proceedings 29st Annual Simulation Symposium {(SS} '96), April 8-11,
1996, New Orleans, LA, {USA}},
pages = {118--127},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/SIMSYM.1996.492159},
doi = {10.1109/SIMSYM.1996.492159},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/anss/BottiDF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/BottiCCCHMMRRT96,
author = {Oliver Botti and
M. Cesana and
Edoardo Corsetti and
P. Coslett and
J. Hammond and
F. Maestri and
R. Meda and
Elena Ratto and
G. L. Redaelli and
Alan Tully},
editor = {Heather M. Liddell and
Adrian Colbrook and
Louis O. Hertzberger and
Peter M. A. Sloot},
title = {SImulation of High-Voltage Substations on Parallel ARchitectures},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1996, Brussels, Belgium, April 15-19,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1067},
pages = {935--937},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61142-8\_654},
doi = {10.1007/3-540-61142-8\_654},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcn/BottiCCCHMMRRT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pds/BottiC96,
author = {Oliver Botti and
Lorenzo Capra},
editor = {Innes Jelly and
Ian Gorton and
Peter R. Croll},
title = {Performance indices to characterise concurrent applications: experimenting
{GSPN} evaluation techniques in plant automation},
booktitle = {Software Engineering for Parallel and Distributed Systems, Proceedings
of the First {IFIP} {TC10} International Workshop on Parallel and
Distributed Software Engineering, March 1996},
series = {{IFIP} Conference Proceedings},
volume = {50},
pages = {232--243},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Thu, 03 Jan 2002 12:07:19 +0100},
biburl = {https://dblp.org/rec/conf/pds/BottiC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BattistonBCC95,
author = {Eugenio Battiston and
Oliver Botti and
E. Crivelli and
Fiorella de Cindio},
editor = {Giorgio De Michelis and
Michel Diaz},
title = {An Incremental Specification of a Hydroelectric Power Plant Control
Systems using a Class of Modular Algebraic Nets},
booktitle = {Application and Theory of Petri Nets 1995, 16th International Conference,
Turin, Italy, June 26-30, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {935},
pages = {84--102},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60029-9\_35},
doi = {10.1007/3-540-60029-9\_35},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BattistonBCC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BottiCB95,
author = {Oliver Botti and
Lorenzo Capra and
Carlo Bergomi},
title = {Stochastic Petri net evaluation techniques in plant automation: tuning
performance indices for distributed applications},
booktitle = {7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense,
Denmark, March 14-16, 1995},
pages = {294--301},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EMWRTS.1995.514324},
doi = {10.1109/EMWRTS.1995.514324},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BottiCB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/HopkinsHB92,
author = {Richard P. Hopkins and
Jon G. Hall and
Oliver Botti},
editor = {Grzegorz Rozenberg},
title = {A basic-net algebra for program semantics and its application to {OCCAM}},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {179--214},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_172},
doi = {10.1007/3-540-55610-9\_172},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/HopkinsHB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BottiC91,
author = {Oliver Botti and
Fiorella de Cindio},
title = {From Basic to Timed Net Models of Occam: An Application to Program
Placement},
booktitle = {Proceedings of the Fourth International Workshop on Petri Nets and
Performance Models, {PNPM} 1991, Melbourne, Victoria, Australia, December
2-5, 1991},
pages = {216--221},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PNPM.1991.238798},
doi = {10.1109/PNPM.1991.238798},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BottiC91.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 02:04 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:
