Go backward to Activity of Thesis Supervision
Go up to Top
Go forward to References

Seminars and other Presentations

September 1981: presentation of paper [3] at the Annual AICA (Associazione Italiana Calcolo Automatico) Meeting.
October 1982: presentation of paper [6] at the 3rd IEEE International Conference on Distributed Computing Systems.
November 1982: presentation of seminar /s1/ at the Istituto per l'Elaborazione dell'Informazione" of the Italian National Research Council - Pisa..
December 1982: presentation of seminar /s2/ at the Istituto per l'Elaborazione dell'Informazione" of the Italian National Research Council - Pisa..
May 1983: presentation of seminar /s3/ at the Istituto per l'Elaborazione dell'Informazione" of the Italian National Research Council - Pisa..
September 1983: presentation of paper [7] at the Annual AICA (Associazione Italiana Calcolo Automatico) Meeting.
February 1984: presentation of seminar /s4/ at the AICA workshop on fault-tolerance in concurrent systems - Pisa.
March 1984: presentation of seminar /s3/ in the mainframe of the "Dottorato di Ricerca" of the University of Pisa.
April1984: presentation of paper [8] at the 7th International Conference on Software Engineering in Orlando.
April 1984: presentation of seminars /s3/ and /s4/ at the IBM T. J. Watson Research Center.
February 1985: presentation of seminar /s5/ in the mainframe of the "Dottorato di Ricerca" of the University of Pisa.
March 1985: presentation of seminar /s6/ in the mainframe of the "Dottorato di Ricerca" of the University of Pisa.
October 1985: presentation of seminar /s7/ in the mainframe of the "Dottorato di Ricerca" of the University of Pisa.
November 1985: presentation of seminars /s7/ and /s8/ at the Department of Computer Science of the University of South Florida.
February 1986: presentation of seminar /s9/ in the mainframe of the "Dottorato di Ricerca" of the University of Pisa.
June 1986: presentation of seminar /s10/ in the mainframe of the "Dottorato di Ricerca" of the University of Pisa.
October 1989: presentation of paper [11] at the Annual AICA (Associazione Italiana Calcolo Automatico) Meeting.
February 1990: presentation of seminar /s11/ at the 2nd European Workshop on Dependable Computing.
October 1990: presentation of paper [13] at the Annual AICA (Associazione Italiana Calcolo Automatico) Meeting.
September 1991: presentation of paper [14] at the Annual AICA (Associazione Italiana Calcolo Automatico) Meeting.
April 1992: presentation of seminar /s12/ at the 4th European Workshop on Dependable Computing.
October 1992: presentation of paper [19] at the Annual AICA (Associazione Italiana Calcolo Automatico) Meeting.
February 1993: presentation of seminar /s13/ at the 5th European Workshop on Dependable Computing.
December 1993: presentation of paper [20] at the Symposium on Parallel and Distributed Computing.
December 1993: presentation of seminar /s14/ at the Department of Electronic Engineering of the University of California at Irvine.
December 1993: presentation of seminar /s14/ at the Department of Electronic Engineering of the University of California at San Diego.
January 1994: presentation of seminar /s14/ at the Istituto per l'Elaborazione dell'Informazione" of the Italian National Research Council - Pisa..
June 1994: presentation of paper [23] at the IEEE International Conference on Distributed Computing Systems.
March 1996: presentation of seminar /s15/ at the Time Services workshop at the Schloß Dagstuhl Center.
March 1997: presentation of seminar [26] at the 2nd European Research Seminar on Advances in Distributed Systems.
August 1998: presentation of seminar /s16/ at the Self Stabilizing Systems workshop at the Schloß Dagstuhl Center.
December 1998: presentation of paper [27] at the 2nd IASTED International Conference.
January 1999: presentation of paper [28] at the 7th Euromicro Workshop on Parallel and Distributed Processing.
May 1999: presentation of paper [29] at the Proc. of 19th IEEE International Conference on Distributed Computing Systems.
May 1999: presentation of paper [30] at the Proc. of 4th Workshop on Self-Stabilizing Systems.
September 1999: presentation of seminar /s17/ at the 4o Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi - L'Aquila (Italia).
October 2000: presentation of seminar /s18/ at the Self Stabilizing Systems workshop at the Schloß Dagstuhl Center.

Titles and abstracts of the seminars

/s1/: "Le architetture decentralizzate come supporto ad applicazioni Fault Tolerant" (in Italian). Informal description of the concepts of distribution and fault tolerance are separately introduced, with reference to the work of E.D. Jensen and L. Lamport. The relationships between the two concepts are then explained and exemplified in some existing systems.
/s2/: "Analisi orientata alla decentralizzazione del controllo ed alla organizzazione a livelli per il progetto di sistemi fault tolerant" (in Italian). Partially based on paper /4/. Some existing systems are presented and compared (SIFT, ESS, Pluribus). The Milner's model of CCS is outlined and its fitness to represent a fault tolerant computation is evaluated.
/s3/: "Error Recovery in Systems of Communicating Processes". The seminar is based on paper /8/.
/s4/: "A Domino-free Recovery Algorithm". Partially based on paper /9/. A system model based on the Hoare's CSP is outlined. Based on this model, a protocol is proposed to rule the creation of recovery points, the rollback and the management of spares in computing systems. The proposed protocol introduces a minimum overhead on system communications, minimizes the number of messages and states checkpointed and guarantees the availability of several recovery lines.
/s5/: "Linguaggi orientati agli oggetti" (in Italian). An overview of several tools that share the attribute 'object oriented'; from Planner to Ada. An attempt is made to give a synthetic definition of this attribute.
/s6/: "THINGLAB: un linguaggio orientato agli oggetti per la simulazione di sistemi" (in Italian). A report about THINGLAB, a language developed at the Xerox-PARC. Special interest is paid to the capabilities of the language in the description of distributed systems.
/s7/: "Review of Some Problems Shared by Fault-Tolerance, Logical Distribution and Artificial Intelligence". Partially based on report /r4/. The seminar shows how the problems arising from the requirement of fault tolerance and the design option of logical distribution are tightly connected. A formal model is introduced to give a precise meaning to "distribution". Finally, the A.I. is introduced as a promising methodology in the design of distributed systems.
/s8/: "Overview of A.I. Techniques: Introduction, Search Spaces and Strategies". The seminar is based on the first three chapters of the E. Rich's "Artificial Intelligence".
/s9/: "Introduzione alla complessita` delle reti di commutazione" (in Italian). A tutorial about the complexity of switching networks. Some classical results are introduced and evaluated.
/s10/: "Il metalinguaggio come strumento di programmazione" (in Italian). A lecture about the use of the metalanguage in reflexive languages. An example is given using Prolog.
/s10/: "Performance Evaluation of Epidemic Protocols: a Suggestion". An overview about protocols based on stochastic diffusion of information in large arrays of processors: some simulation results are presented and commented.
/s11/: "Performance evaluation of epidemic protocols: a suggestion"
/s12/: "Reliability issues in Probabilistic Protocols"
/s13/: "Group Membership in a Synchronous Distributed System"
/s14/: "Basic Consensus Services for Distributed Systems"
/s15/: "Self-Stabilization Issues in Clock Synchronization"
/s16/: "A solution for a peculiar instance of the consensus problem"
/s17/: "Beyond the concept of Self-Stabilization"
/s18/: "Self-stabilization aspects of rollback recovery"