Login



Publications

Filter:
 

Year: 2001

  • Journal I. Mura and A. Bondavalli. "Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions", IEEE Transactions on Computers, Vol. 50. 2001, pp. 1337-1351. [More]
  • Journal F. Grandoni, S. Chiaradonna, F. Di Giandomenico and A. Bondavalli. "Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications", Special Issue on High Assurance Systems of The Computer Journal, Vol. 44. 2001, pp. 544-556. [More]
  • Technical Report R. Filippini and A. Bondavalli. "Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach". CNUCE-CNR. Technical Report CNUCE-B4-2. 2001. [More]
  • Conference A. Coccoli, A. Bondavalli and F. Di Giandomenico. "Analysis and Estimation of the Quality of Service of Group Communication Protocols". ISORC'01 - 4th IEEE Int. Symposium on Object-oriented Real-time distributed Computing. 2001. pp. 209-216. [More]
  • Journal A. Bondavalli, M. Nelli, L. Simoncini and G. Mongardi. "Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking", Journal of Computer Systems Science and Engineering, CRL Publishing, Vol. 16. 2001, pp. 249-261. [More]
  • Journal A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini. "Design Validation of Embedded Dependable Systems", IEEE MICRO (special issue on embedded fault tolerant systems), Vol. 21. 2001, pp. 52-62. [More]
  • Conference A. Bondavalli and R. Filippini. "Modelling and analysis of a scheduled maintenance system: a DSPN approach". DSN2001 IEEE Int. Conference on Dependable Systems and Networks (Fast Abstract Track). 2001. [More]
  • Journal A. Bondavalli, M. D. Cin, D. Latella, I. Majzik, A. Pataricza and G. Savoia. "Dependability Analysis in the Early Phases of UML Based System Design", Journal of Computer Systems Science and Engineering, Vol. 16. 2001, pp. 265-275. [More]
  • Book Chapter D. Powell et al.. "Introduction and Overview". In Powell and D. (eds), A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems. Boston : Kluwer Academic Publishers. 2001. pp. 2-26. [More]
  • Book Chapter J. Arlat et al.. "Dependability Evaluation". In Powell and D. (eds), A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems. Boston : Kluwer Academic Publishers. 2001. pp. 157-191. [More]

Year: 2000

  • Technical Report F. Tataranni, S. Porcarelli, F. Di Giandomenico and A. Bondavalli. "Modeling and Evaluation of the Effects of Outages on the Quality of Service of GPRS Network Systems". CNUCE-CNR. Technical Report B4-2000-02. 2000. [More]
  • Conference A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini. "An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems". IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00). 2000. [More]
  • Conference F. Di Giandomenico, S. Chiaradonna, A. Bondavalli and F. Grandoni. "Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems". IEEE Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000). 2000. pp. 1145-1151. [More]
  • Conference A. Coccoli, A. Bondavalli and L. Simoncini. "Consensus in asynchronous distributed systems". IDPT '2000 5th, Int. Conference on Integrated Design and Process Technology. 2000. [More]
  • Conference A. Bondavalli, I. Mura, S. Chiaradonna, R. Filippini, S. Poli and F. Sandrini. "DEEM: a Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems". DSN-2000 IEEE Int. Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8). 2000. pp. 231-236. [More]
  • Conference M. Minichino, E. Ciancamerla, S. Chiaradonna and A. Bondavalli. "An experience of dependability assessment of a typical industrial safety critical Programmable Logic Controller". 4t Int. Symposium Programmable Electronic Systems in Safety Related Applications. 2000. [More]
  • Conference A. Bondavalli and F. Di Giandomenico. "A Position on Design, Methods, and Tools for Object-Oriented Real-time Computing". ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing. 2000. pp. 306-308. [More]
  • Conference F. Sandrini, F. Di Giandomenico, A. Bondavalli and E. Nett. "Scheduling solutions for supporting dependable real-time applications". ISORC2k - 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing.. 2000. pp. 122-129. [More]
  • Journal A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults", IEEE Transactions on Computers, Vol. 49. 2000, pp. 230-245. [More]
  • Conference A. Coccoli, S. Schemmer, F. Di Giandomenico, M. Mock and A. Bondavalli. "Analysis of Group Communication Protocols to Assess Quality of Service Properties". HASE00 - 5th IEEE High Assurance System Engineering Symposium. 2000. pp. 247-256. [More]
  • Journal A. Burns et al. "The Meaning and Role of Value in Scheduling Flexible Real-Time Systems", Journal of System Architecture (JSA), Special Issue on Real-Time Systems, Vol. 46. 2000, pp. 305-325. [More]
  • Conference A. Coccoli, A. Bondavalli and F. Di Giandomenico. "Dependability and performance analysis of a protocol for efficient real-time group communication". EWDC-12 European Workshop on Dependable Computing. 2000. [More]

Year: 1999

  • Conference A. Bondavalli, M. D. Cin, D. Latella and A. Pataricza. "High-level Integrated Design Environment for Dependability (HIDE)". WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems. 1999. pp. 87-92. [More]
  • Book Chapter A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini. "Towards a Discipline of System Engineering: Validation of Dependable Systems". In IEEE - From Needs to Solutions: Computer Security, Dependability, and Assurance (NATO CSDA'98). Williamsburg, VA, USA. 1999. pp. 144-165. [More]
  • Conference A. Bondavalli, I. Mura and K. S. Trivedi. "Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems". EDCC-3 European Dependable Computing Conference (also LNCS N. 1667). 1999. pp. 7-23. [More]
Results 301 - 325 of 440
<< Start < Prev 11 12 13 14 15 16 17 18 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web