| 2000 |
|---|
| 10 | EE | Giovanna Dondossola,
Oliver Botti:
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.
FASE 2000: 82-96 |
| 1999 |
|---|
| 9 | EE | Oliver 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 |
| 8 | EE | 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: 168-187 |
| 1998 |
|---|
| 7 | | Geert Deconinck,
Oliver Botti,
Flavio Cassinari,
Vincenzo De Florio,
Rudy Lauwereins:
Stable Memory in Substation Automation: A Case Study.
FTCS 1998: 452-457 |
| 1996 |
|---|
| 6 | EE | 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: 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 |
| 1995 |
|---|
| 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 |
| 1992 |
|---|
| 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 |
| 1991 |
|---|
| 1 | | Oliver Botti,
Fiorella de Cindio:
From Basic to Timed Net Models of Occam: An Application to Program Placement.
PNPM 1991: 216-221 |
