Siamak Kolahi, M.Sc.
Former student -
Latest PublicationsRabeb 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.