Siamak Kolahi
Siamak Kolahi, M.Sc.
Former student -
 

Latest Publications

  • Rabeb Mizouni, Aziz Salah, Siamak Kolahi and Rachida Dssouli, "Merging partial system behaviours: composition of use-case automata," vol. 1, pp. 143--160, 2007.
  • Siamak Kolahi, Aziz Salah, Rabeb Mizouni and R. Dssouli, "Tool Support for Composition and Verification of Formal Behaviors," in Innovations in Information Technology 2007 (ITT'07), 2007.
  • Rabeb Mizouni, Aziz Salah, Siamak Kolahi and Rachida Dssouli, "Composition of Use Cases Using Synchronization and Model Checking," in Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, , 2006, pp. 292--306.