Oliver Botti

16 papers B 2C 1Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2002 J jnl
Software-implemented fault-tolerance and separate recovery strategies enhance maintainability [substation automation].
IEEE Trans. Reliab.
Geert Deconinck, Vincenzo De Florio, Oliver Botti
2000 B conf
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.
FASE
Giovanna Dondossola, Oliver Botti
2000 C conf
The TIRAN approach to reusing software implemented fault tolerance.
PDP
Oliver Botti, Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, Axel Klein, Holger Küfner, Erwin M. Thurner, Eric Verhulst
1999 — conf
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation.
ICATPN
Lorenzo Capra, Rossano Gaeta, Oliver Botti
1999 — conf
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications.
Euro-Par
Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, Axel Klein, Holger Küfner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst
1998 — conf
Stable Memory in Substation Automation: A Case Study.
FTCS
Geert Deconinck, Oliver Botti, Flavio Cassinari, Vincenzo De Florio, Rudy Lauwereins
1998 B conf
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation.
SMC
Lorenzo Capra, Rossano Gaeta, Oliver Botti
1997 — conf
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN.
PNPM
Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti
1996 J jnl
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems.
J. Syst. Archit.
Oliver Botti, Lorenzo Capra
1996 — conf
Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems.
Annual Simulation Symposium
Oliver Botti, Susanna Donatelli, Giuliana Franceschinis
1996 — conf
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation.
Software Engineering for Parallel and Distributed Systems
Oliver Botti, Lorenzo Capra
1996 — conf
SImulation of High-Voltage Substations on Parallel ARchitectures.
HPCN Europe
Oliver Botti, M. Cesana, Edoardo Corsetti, P. Coslett, J. Hammond, F. Maestri, R. Meda, Elena Ratto, G. L. Redaelli, Alan Tully
1995 — conf
An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets.
Application and Theory of Petri Nets
Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio
1995 — conf
Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications.
RTS
Oliver Botti, Lorenzo Capra, Carlo Bergomi
1992 — ch.
A basic-net algebra for program semantics and its application to OCCAM.
Advances in Petri Nets: The DEMON Project
Richard P. Hopkins, Jon G. Hall, Oliver Botti
1991 — conf
From Basic to Timed Net Models of Occam: An Application to Program Placement.
PNPM
Oliver Botti, Fiorella de Cindio