From Basic to Timed Net Models of Occam: An Application to Program Placement. - Oliver Botti; Fiorella de Cindio (PNPM, 1991)

A basic-net algebra for program semantics and its application to OCCAM. - Richard P. Hopkins; Jon G. Hall; Oliver Botti (Advances in Petri Nets: The DEMON Project, 1992)

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 (Application and Theory of Petri Nets, 1995)

Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. - Oliver Botti; Lorenzo Capra; Carlo Bergomi (RTS, 1995)

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 (Annual Simulation Symposium, 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 (HPCN Europe, 1996)

Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation. - Oliver Botti; Lorenzo Capra (Software Engineering for Parallel and Distributed Systems, 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 prediction of a reconfigurable high voltage substation simulator: a case study using SWN. - Cosimo Anglano; Susanna Donatelli; Giuliana Franceschinis; Oliver Botti (PNPM, 1997)

Stable Memory in Substation Automation: A Case Study. - Geert Deconinck; Oliver Botti; Flavio Cassinari; Vincenzo De Florio; Rudy Lauwereins (FTCS, 1998)

Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation. - Lorenzo Capra; Rossano Gaeta; Oliver Botti (SMC, 1998)

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 (ICATPN, 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 (Euro-Par, 1999)

System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. - Giovanna Dondossola; Oliver Botti (FASE, 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 (PDP, 2000)

Software-implemented fault-tolerance and separate recovery strategies enhance maintainability [substation automation]. - Geert Deconinck; Vincenzo De Florio; Oliver Botti (IEEE Trans. Reliab., 2002)