Keyword: dependability modeling

• Kanoun, Karama; Ortalo-Borrel, Marie:
  Fault-Tolerant System Dependability-Explicit Modeling of Hardware and Software Component-Interactions. 2000.

• Yin, Meng-Lai; Blough, Douglas M.; Bic, Lubomir:
  A Dependability Analysis for Systems with Global Spares. 2000.

• Fota, N.; Kaaniche, M.; Kanoun, K.:
  Dependability evaluation of an air traffic control computing system. 1999.

• Kanoun, K.; Borrel, M.; Moreteveille, T.; Peytavin, A.:
  Modeling the dependability of CAUTRA, a subset of the French Air Traffic Control Systems. 1999.

• Kanoun, K.; Borrel, M.; Morteveille, T.; Peytavin, A.:
  Availability of CAUTRA, a subset of the French Air Traffic Control system. 1999.

• Lindemann, C.; Reuys, A.; Thuemmler, A.:
  The DSPNexpress 2.000 performance and dependability modeling environment. 1999.

• Kanoun, K.; Borrel, M.; Morteveille, T.; Peytavin, A.:
  Modeling the dependability of CAUTRA, a subset of the French Air Traffic Control system. 1996.

• Kanoun, Karama; Borrel, Marie; Morteveille, Thierry; Peytavin, Alain:
  Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. 1996.

• Constantinescu, C.; Trivedi, K.:
  Dependability modeling of real-time systems using stochastic Petri nets. 1995.

• German, R.; Kelling, C.; Zimmermann, A.; Hommel, G.:
  TimeNET - a toolkit for evaluating non-Markovian stochastic Petri nets. 1995.

Back to the Petri Nets Bibliography