Conference A. Bondavalli and L. Nardone. "Supporto a Tempo di Esecuzione ed Ambiente per un Linguaggio Dataflow Esteso". 30th Congresso annuale A.I.C.A.. 1991. pp. 1061-1075.[More]
Conference A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini and P. Zini. "PACS: Performability-Achieving Computing Systems". 30th Congresso annuale A.I.C.A.. 1991. pp. 1025-1028.[More]
Year: 1990
Conference A. Bondavalli and L. Simoncini. "Failures Classification with Respect to Detection". 2nd. IEEE Workshop on Future Trends in Distributed Computing Systems. 1990. pp. 47-53.[More]
Journal A. Bondavalli, M. Conti, E. Gregori, L. Lenzini and L. Strigini. "MAC Protocols for High-Speed, MANs: Performance Comparisons for a Family of Fasnet-based Protocols", Computer Networks and ISDN Systems, Vol. 18, February, 1990, pp. 97-113.[More]
Conference F. Di Giandomenico and L. Strigini. "Adjudicators for Diverse-Redundant Components". 9th Symposium on Reliable Distributed Systems. 1990. pp. 114-123.[More]
Year: 1989
Book Chapter A. Bondavalli, N. D. Francesco, D. Latella and G. Vaglini. "Shared Abstract Data Types: an Algebraic Methodology for their Specification". In 2nd Symposium on Mathematical Fundamentals of Database Systems-MFDBS'89, LNCS 364. Visegrad, Hungary : Springer-Verlag. 1989. pp. 53-67.[More]
Conference A. Bondavalli, N. D. Francesco, D. Latella and G. Vaglini. "Using Algebraic Specifications for Data Types Shared among Concurrent Transactions". 13th. Information Technologies Conference SARAJEVO JAHORINA 1989''. 1989. pp. 130-1-130-10.[More]
Conference A. Bondavalli, E. Gregori and L. Lenzini. "Proposals for improving the FASNET Performances". 13th. Information Technologies Conference SARAJEVO JAHORINA 1989''. 1989. pp. 112-1-112-9.[More]
Journal A. Bondavalli and L. Simoncini. "Data-flow-like model for robust computations", Journal of Computer Systems Science and Engineering, Vol. 4. 1989, pp. 176-184.[More]
Year: 1988
Conference T. Belli, C. Bernardeschi, A. Bondavalli and D. Latella. "Costruzione gerarchica di tipi di dati astratti condivisi". 27th Congresso annuale A.I.C.A.. 1988. pp. 165-180.[More]
Conference A. Bondavalli and L. Simoncini. "Modelling robust computations in a Data-Flow-Like style". 1st IEEE Workshop on Future Trends of Distributed Computing Systems. 1988. pp. 252-261.[More]
Conference A. Bondavalli and E. Gregori. "Concurrency Control in OSI Transactional Environments". IFIP TC6/TC8 Open Symposium on Network Information Processing Systems. 1988. pp. 69-77.[More]
Conference A. Bondavalli and E. Gregori. "OSIRIDE and Transactions". 2nd IEEE Int. Zurich Seminar on Digital Communications. 1988. pp. 261-266.[More]
Year: 1987
Conference A. Bondavalli and L. Simoncini. "Un modello per la descrizione di computazioni robuste Data-Flow-Like". 26th Congresso annuale A.I.C.A.. 1987. pp. 163-182.[More]
Conference A. Bondavalli and L. Simoncini. "Modelling robust computations in a Data-Flow-Like style". Workshop on Fault Tolerance in Parallel and Distributed Computing (without Proceedings). 1987.[More]