Oliver Botti

Publication Activity (10 Years)

Years Active: 1991-2002
Publications (10 Years): 0

Publications

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