Skip to Main content

Production year

Number of documents



Conference papers2 documents

  • Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. International Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩. ⟨hal-02138366⟩
  • Sara Houhou, Laid Kahloul, Saber Benharzallah, Roufaida Bettira. Transformation of High Level Specification Towards nesC Code. Second International Conference on Real Time Intelligent Systems, Book: Advances in Intelligent Systems and Computing, Oct 2017, Casablanca, Morocco. ⟨hal-02954533⟩