Oliver Botti

According to our database, Oliver Botti authored at least 16 papers between 1991 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Software-implemented fault-tolerance and separate recovery strategies enhance maintainability [substation automation].

Geert Deconinck, Vincenzo De Florio, Oliver Botti

IEEE Trans. Reliab., 2002

2000

The TIRAN approach to reusing software implemented fault tolerance.

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

Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000

System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.

Giovanna Dondossola, Oliver Botti

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications.

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

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation.

Lorenzo Capra, Rossano Gaeta, Oliver Botti

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation.

Lorenzo Capra, Rossano Gaeta, Oliver Botti

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Stable Memory in Substation Automation: A Case Study.

Geert Deconinck, Oliver Botti, Flavio Cassinari, Vincenzo De Florio, Rudy Lauwereins

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN.

Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1996

A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems.

Oliver Botti, Lorenzo Capra

J. Syst. Archit., 1996

Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation.

Oliver Botti, Lorenzo Capra

Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

SImulation of High-Voltage Substations on Parallel ARchitectures.

Oliver Botti, M. Cesana, Edoardo Corsetti, P. Coslett, J. Hammond, F. Maestri, R. Meda, Elena Ratto, G. L. Redaelli, Alan Tully

Proceedings of the High-Performance Computing and Networking, 1996

Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems.

Oliver Botti, Susanna Donatelli, Giuliana Franceschinis

Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996

1995

Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications.

Oliver Botti, Lorenzo Capra, Carlo Bergomi

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets.

Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1992

A basic-net algebra for program semantics and its application to OCCAM.

Richard P. Hopkins, Jon G. Hall, Oliver Botti

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

From Basic to Timed Net Models of Occam: An Application to Program Placement.

Oliver Botti, Fiorella de Cindio

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991