Rachida Dssouli

Affiliations: 
Université de Montréal, Montréal, Canada 
Area:
Computer Science
Google:
"Rachida Dssouli"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Kolahi S, Salah A, Mizouni R, et al. (2008) Tool support for composition and verification of formal behavior Innovations'07: 4th International Conference On Innovations in Information Technology, Iit. 471-475
Mizouni R, Salah A, Kolahi S, et al. (2007) Merging partial system behaviours: Composition of use-case automata Iet Software. 1: 143-160
Mizouni R, Salah A, Dssouli R. (2007) Using formal composition of use cases in requirements engineering 19th International Conference On Software Engineering and Knowledge Engineering, Seke 2007. 238-243
Mizouni R, Salah A, Kolahi S, et al. (2006) Composition of use cases using synchronization and model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4229: 292-306
Salah A, Mizouni R, Dssouli R, et al. (2004) Formal composition of distributed scenarios Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3235: 213-228
Salah A, Dssouli R, Lapalme G. (2003) Implicit integration of scenarios into a reduced timed automaton Information and Software Technology. 45: 715-725
Dssouli R, Somé S, Vaucher J, et al. (1999) A service creation environment based on scenarios Information and Software Technology. 41: 697-713
See more...