Conference C. Bernardeschi, A. Bondavalli and L. Simoncini. "Data-flow networks in the design of safety-critical systems". ESREL 94. 1994. pp. 876-881.[More]
Book Chapter A. Bondavalli, C. Bernardeschi and L. Simoncini. "The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm". In Halang, W. A., Stoyenko and A. D. (eds), Real Time Computing. Saint Martin, Dutch Antilles : Springer Verlag. 1994. pp. 527-529.[More]
Conference S. Chiaradonna, A. Bondavalli and L. Strigini. "On Performability Modeling and Evaluation of Software Fault Tolerance Structures". 1st European Dependable Computing Conference (EDCC-1). 1994. pp. 97-114.[More]
Conference G. Csertán, C. Bernardeschi, A. Bondavalli and L. Simoncini. "Analysis of temporal properties of dataflow networks". 12th IFAC workshop DCCS 94. 1994. pp. 153-158.[More]
Year: 1993
Conference C. Bernardeschi, A. Bondavalli and L. Simoncini. "Data Flow Control Systems: an Example of Safety Validation". SAFECOMP '93. 1993. pp. 9-20.[More]
Conference S. Chiaradonna and A. Bondavalli. "Uno Schema Efficiente per la Tolleranza a Guasti Operazionali in Architetture Multiprocessore". Congresso annuale A.I.C.A. '93. 1993. pp. 1289-1303.[More]
Book Chapter C. Bernardeschi, A. Bondavalli and L. Simoncini. "From Data Flow Networks to Process Algebras". In PARLE 93 - LNCS 694. Munchen, Germany : Springer Verlag. 1993. pp. 740-743.[More]
Conference A. Bondavalli and L. Simoncini. "Functional Paradigm for Designing Dependable Large-Scale Parallel Computing Systems". IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93). 1993. pp. 108-114.[More]
Journal A. Bondavalli, F. Di Giandomenico and J. Xu. "A Cost-Effective and Flexible Scheme for Software fault Tolerance", Journal of Computer Systems Science and Engineering, Vol. 8. 1993, pp. 234-244.[More]
Year: 1992
Conference A. Bondavalli, L. Strigini and L. Simoncini. "Data-Flow like Languages for Real-Time Systems: Issues of Computational Models and Notation". 11th IEEE Symposium on Reliable Distributed Systems (SRDS-11). 1992. pp. 214-221.[More]
Conference A. Bondavalli and L. Simoncini. "Structured Sofware Fault-Tolerance with BSM". 3rd. IEEE Workshop on Future Trends in Distributed Computing Systems. 1992. pp. 278-286.[More]
Book Chapter F. Di Giandomenico, M. L. Guidotti, F. Grandoni and L. Simoncini. "Evaluating the Efficiency of Byzantine Agreement Algorithms". In Avresky and D. R. (eds), Hardware and Software Fault Tolerance in Parallel Computing Systems. Ellis Horwood Workshops. 1992. pp. 227-242.[More]
Journal A. Bondavalli, L. Strigini and M. Sereno. "Destination Stripping Dual Ring: a new protocol for MANs", Computer Networks and ISDN Systems, Vol. 24. 1992, pp. 15-32.[More]
Year: 1991
Conference A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini and P. Zini. "A Performable BSM Architecture". 5th Int. Conference on Fault-Tolerant Computing Systems. 1991. pp. 332-347.[More]
Conference A. Bondavalli and L. Strigini. "DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs". IEEE INFOCOM'91. 1991. pp. 1022-1030.[More]
Conference A. Bondavalli, M. Mannocci, L. Nardone, L. Simoncini, F. Tarini and P. Zini. "PACS: Performability-Achieving Computing Systems". EWDC-3 European Workshop on Dependable Computing. 1991.[More]
Conference F. Di Giandomenico and L. Strigini. "Flexible Schemes for Application-Level Fault-Tolerance". 10th Symposium on Reliable Distributed Systems. 1991. pp. 86-95.[More]
Conference F. Di Giandomenico and L. Strigini. "Implementations and Extensions of the Conversation Concept". 5th International Conference Fault-Tolerant Computing Systems Test, Diagnosis, Fault Treatment. 1991. pp. 42-53.[More]
Conference L. Strigini, A. Bondavalli and L. Simoncini. "Data-Flow like Languages for Designing Dependable Real-Time Control Systems". 10th IFAC Workshop on Distributed Computer Control Systems. 1991. pp. 131-136.[More]
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]
