Researcher identifiers

Number of documents

6

Claude Kirchner


"Olivier Bournez"   

Conference papers3 documents

  • Olivier Bournez, Claude Kirchner. Probabilistic rewrite strategies. Applications to ELAN. 13th International Conference on Rewriting Techniques and Applications - RTA'2002, Jul 2002, Copenhagen, Denmark, pp.252-266. ⟨inria-00100883⟩
  • Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner. Verification of Timed Automata Using Rewrite Rules and Strategies. ERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p. ⟨inria-00100534⟩
  • Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner. Verification of Timed Automata Using Rewrite Rules and Strategies. The Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p. ⟨inria-00100535⟩

Other publications1 document

  • Olivier Bournez, Florent Garnier, Claude Kirchner. Termination in finite mean time of a CSMA/CA rule-based model. 2006. ⟨inria-00000774⟩

Reports2 documents

  • Olivier Bournez, Garnier Florent, Claude Kirchner. Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b. [Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13. ⟨inria-00104120⟩
  • Olivier Bournez, Florent Garnier, Claude Kirchner. Stratégies de réécriture probabiliste dans ELAN4. [Rapport de recherche] 2004, pp.17. ⟨inria-00104091⟩