Kanoun, K.

• Betous-Almeida, Claudia; Kanoun, Karama:
  Dependability modelling of instrumentation and control systems - A comparison of competing architectures. 2004.

• Betous-Almeida, Cláudia; Kanoun, Karama:
  Construction and stepwise refinement of dependability models. 2004.

• Rabah, Mourad; Kanoun, Karama:
  Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach. 2003.

• Arlat, J.; Bondavalli, A.; Di Giandomenico, F.; Jarboui, M. T.; Jenn, E.; Kanoun, K.; Mura, I.; Powell, D.:
  Dependability Evaluation. 2001.

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

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

• Fota, N.; Kaaniche, M.; Kanoun, K.:
  Incremental approach for building stochastic Petri nets for dependability modeling. 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.

• Rabah, M.; Kanoun, K.:
  Dependability evaluation of a distributed shared memory multiprocessor system. 1999.

• Fota, Nicolae; Kaaniche, Mohamed; Kanoun, Karama:
  A modular and incremental approach for building complex stochastic Petri net models. 1997.

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

• Fota, Nicolae; Kaaniche, Mohamed; Kanoun, Karama; Peytavin, Alain:
  Safety analysis and evaluation of an air traffic control computing system. 1996.

• Kanoun, Karama; Borrel, Marie:
  Dependability of Fault-Tolerant Systems: Explicit Modeling of the Interactions Between Hardware and Software Components. 1996.

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

• Laprie, Jean-Claude; Kaaniche, Mohamed; Kanoun, Karama:
  Modeling Computer Systems Evolutions: Non-Stationary Processes and Stochastic Petri Nets - Application to Dependability Growth. 1995.

• Kanoun, K.; Kaaniche, M.; Beounes, C.; Laprie, J.C.; Arlat, J.:
  Reliability growth of fault-tolerant software. 1993.

Back to the Petri Nets Bibliography