Login



Publications

Filter:
 

Year: 2001

  • 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]
  • Technical Report I. Mura and A. Bondavalli. "Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions". CNUCE-CNR. Technical Report B4-1999-00. 1999. [More]
  • Conference F. Di Giandomenico, F. Grandoni, A. Bondavalli and I. Mura. "Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults". 29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track. 1999. [More]
  • Conference A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini. "Integrated Validation of Dependable Systems". IDPT '99 4th, Int. Conference on Integrated Design and Process Technology. 1999. [More]
  • Conference A. Bondavalli, I. Majzik and I. Mura. "Automated Dependability Analysis of UML Designs". 2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99). 1999. pp. 139-144. [More]
  • Technical Report D. Viva, A. Bondavalli and S. Chiaradonna. "Sviluppo di un Caso di Studio". PDCC-ENEA. Technical Report PDCC-TN-00. 1999. [More]
  • Technical Report D. Viva, A. Bondavalli and S. Chiaradonna. "Sperimentazione di Diverse Metodologie e Strumenti per la Modellizzazione". PDCC-ENEA. Technical Report PDCC-TN-00. 1999. [More]
  • PhD Thesis I. Mura. "Modelling and Evaluation of Phased Mission Systems". Ph.D. thesis. Università degli Studi di Pisa. Dottorato in Ingegneria Elettronica, Informatica e delle Telecomunicazioni (XI ciclo). January, 1999. Supervisor(s): L. Simoncini, Co-Supervisor(s): A. Bondavalli. [More]
Results 301 - 325 of 433
<< Start < Prev 11 12 13 14 15 16 17 18 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web