Nombre de documents

5

CV de Karim Kecir


Pré-publication, Document de travail1 document

  • Loïc Hélouët, Karim Kecir. Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics (regular paper). 2016. <hal-01284682>

Rapport3 documents

  • Eric Fabre, Karim Kecir, Loïc Hélouët. Deliverable L3.1 : Model for regulated urban railway systems.. [Research Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.21. <hal-01094381>
  • Blaise Genest, Christophe Morvan, Eric Fabre, Hervé Marchand, Karim Kecir, et al.. Deliverable L2: Objectives of Phase 1 and use cases denition.. [Contract] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.5. <hal-01094374>
  • Loïc Hélouët, Eric Fabre, Christophe Morvan, Blaise Genest, Karim Kecir, et al.. Deliverable L1 : State of the art and selected references. [Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32. <hal-01094366>

Communication dans un congrès1 document

  • Loïc Hélouët, Karim Kecir. Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. Fabrice Kordon and Daniel Moldt. 37th International Conference, PETRI NETS 2016, Jun 2016, Torun, Poland. Lecture Notes in Computer Science, pp.155-175, 2016, Application and Theory of Petri Nets and Concurrency. <http://acsd2016.mat.umk.pl/>. <10.1007/978-3-319-39086-4_11>. <hal-01379424>