Hichem Boudali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2008
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | DSN | Architectural dependability evaluation with Arcade. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2008 | ICECCS | Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2007 | ATVA | A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. | Hichem Boudali, Pepijn Crouzen, Marille Stoelinga |
| 2007 | DSN | Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. | Hichem Boudali, Pepijn Crouzen, Marille Stoelinga |