Login



Publications

Filter:
 

Year: 1999

  • 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]
  • Conference I. Mura, A. Bondavalli, X. Zang and K. S. Trivedi. "Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach". IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications. 1999. pp. 319-337. [More]
  • Journal A. Bondavalli, F. Di Giandomenico and I. Mura. "An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Dependable Systems", Real-Time Systems Journal, Kluwer Academic Publishers, Vol. 16. 1999, pp. 5-30. [More]
  • Journal A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini. "A Contribution to the Evaluation of the reliability of Iterative-Execution Software", STVR - Software Testing, Verification and Reliability, John Wiley and Sons, Vol. 9. 1999, pp. 145-166. [More]
  • Journal D. Powell et al. "GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems", IEEE Transactions on Parallel and Distributed Systems, Special Issue on Dependable Real-Time Systems, Vol. 10. 1999, pp. 580-599. [More]
  • Journal I. Mura and A. Bondavalli. "Hierarchical Modelling and Evaluation of Phased-Mission Systems", IEEE Transactions on Reliability, Vol. 48. 1999, pp. 360-368. [More]
  • Conference A. Bondavalli, I. Majzik and I. Mura. "Automatic Dependability Analysis for Supporting Design Decisions in UML". 4th IEEE High Assurance System Engineering Symposium (HASE99). 1999. pp. 64-71. [More]
  • Conference A. Bondavalli and I. Mura. "High-Level Petri Net Modelling of Phased Mission Systems". 10th European Workshop on Dependable Computing (EWDC-10). 1999. pp. 91-95. [More]
  • Conference A. Coccoli, L. Simoncini and A. Bondavalli. "Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks". First Int. Workshop on Networked Group Communication, NGC '99. 1999. [More]

Year: 1998

  • Technical Report A. Bondavalli, S. Chiaradonna and I. Mura. "Integrazione di Tecniche di Fault-Forecasting". PDCC-ENEA. Technical Report PDCC-TN-00. 1998. [More]
  • Conference I. Majzik and A. Bondavalli. "Automatic Dependability Modelling of Systems Described in UML". 9th IEEE Int. Symposium on Software Reliability Engineering (ISSRE) - Fast Abstract Track. 1998. pp. 29-30. [More]
  • Technical Report I. Mura, S. Chiaradonna and A. Bondavalli. "Modelli Teorici e Pratici per la Rappresentazione del Processo di Guasto". PDCC-ENEA. Technical Report PDCC-TN-00. 1998. [More]
  • Technical Report A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni. "Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults". IEI-CNR. Technical Report B4-17-06-9. 1998. [More]
  • Conference A. Bondavalli, F. Di Giandomenico, F. Grandoni, D. Powell and C. Rabéjac. "State Restoration in a COTS-based N-Modular Architecture". 1st IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC '98). 1998. pp. 174-183. [More]
  • Technical Report M. Pizza, L. Strigini, A. Bondavalli and F. Di Giandomenico. "Bayesian Diagnosis of Transient vs Permanent Faults". 1998. [More]
  • Technical Report A. Bondavalli and F. Di Giandomenico. "The GUARDS Approach to Safety-Critical Real-Time Systems". Technical Report 32. 1998. [More]
  • Journal C. Bernardeschi, A. Bondavalli, G. Csertán, I. Majzik and L. Simoncini. "Temporal Analysis of Data Flow Control Systems", IFAC Automatica, Vol. 34. 1998, pp. 169-182. [More]
  • Technical Report I. Majzik and A. Bondavalli. "On high level dependability modeling in HIDE". Technical Report Project Re. 1998. [More]
  • Technical Report D. Powell, C. Rabéjac and A. Bondavalli. "Alpha-count Mechanism and Inter-Channel Diagnosis". Technical Report Report GUA. 1998. [More]
Results 326 - 350 of 440
<< Start < Prev 11 12 13 14 15 16 17 18 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web