Login



Publications

Filter:
 

Year: 1994

  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "Modelling Correlation among Successive Inputs in Software Dependability Analyses". CNUCE/CNR. Technical Report C94-20. 1994. [More]
  • Technical Report S. Chiaradonna, A. Bondavalli and L. Strigini. "On Performability Modeling and Evaluation of Software Fault Tolerance Structures". ESPRIT BRA 6362 PDCS2. 1994. [More]
  • Technical Report S. Chiaradonna, A. Bondavalli and F. Di Giandomenico. "A Fault Treatment Approach to Support Dynamic Redundancy in Multiprocessor Architectures". Esprit BRA 6362 PDCS2. 1994. [More]
  • Conference A. Bondavalli and L. Simoncini. "Dependable Dataflow Control Systems". MicroP94, 8th Symposium on Microcomputer and Microprocessor Applications. 1994. pp. 5-14. [More]
  • Technical Report S. Chiaradonna, A. Bondavalli and L. Strigini. "Comparative Performability Evaluation of RB, NVP and SCOP". CNUCE/CNR. Technical Report C94-02. 1994. [More]
  • Conference C. Bernardeschi and A. Bondavalli. "Semantics analysis of dataflow control systems". MicroP94. 1994. pp. 15-24. [More]
  • 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]
Results 401 - 425 of 440
<< Start < Prev 11 12 13 14 15 16 17 18 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web