Oliver Botti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

10EEGiovanna Dondossola, Oliver Botti: System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. FASE 2000: 82-96
9EEOliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, H. Kufner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst: TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. Euro-Par 1999: 1166-1170
8EELorenzo 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: 168-187
7 Geert Deconinck, Oliver Botti, Flavio Cassinari, Vincenzo De Florio, Rudy Lauwereins: Stable Memory in Substation Automation: A Case Study. FTCS 1998: 452-457
6EEOliver 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: 118-127
5 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: 935-937
4 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: 232-243
3 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: 84-102
2 Richard P. Hopkins, Jon G. Hall, Oliver Botti: A basic-net algebra for program semantics and its application to OCCAM. Advances in Petri Nets: The DEMON Project 1992: 179-214
1 Oliver Botti, Fiorella de Cindio: From Basic to Timed Net Models of Occam: An Application to Program Placement. PNPM 1991: 216-221

Coauthor Index

1Eugenio Battiston [3]
2Andrea Bobbio [9]
3Lorenzo Capra [4] [8]
4Flavio Cassinari [7] [9]
5M. Cesana [5]
6Fiorella de Cindio [1] [3]
7Edoardo Corsetti [5]
8P. Coslett [5]
9E. Crivelli [3]
10Geert Deconinck [7] [9]
11Susanna Donatelli [6] [9]
12Giovanna Dondossola [10]
13Vincenzo De Florio [7] [9]
14Giuliana Franceschinis [6]
15Rossano Gaeta [8]
16Jon G. Hall [2]
17J. Hammond [5]
18Richard P. Hopkins [2]
19A. Klein [9]
20H. Kufner [9]
21Rudy Lauwereins [7] [9]
22F. Maestri [5]
23R. Meda [5]
24Elena Ratto [5]
25G. L. Redaelli [5]
26Erwin M. Thurner [9]
27Alan Tully [5]
28Eric Verhulst [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)