Adresse courriel

salah.aziz at uqam point ca

Téléphone

+1 514-987-3000, Ext 1485

Télécopieur

+1 514-987-8477

Adresse postale

Département d'Informatique
Université du Québec à Montréal
Case postale 8888, succursale Centre-ville
Montréal (Québec) Canada - H3C 3P8

Adresse civique

Département d'informatique
Université du Québec à Montréal
Bureau PK-4530, Pavillon Président-Kennedy
201, avenue du Président-Kennedy
Montréal (Québec) Canada - H2X 3Y7

Vous pouvez aussi consulter le DBLP.

  • A. Salah, G. Tremblay, and A. Chami, "Behavioral Interface Conformance Checking for WS-BPEL Processes," International MCETECH Conference on e-Technologies, Montréal, Canada, 2008.
  • S. Kolahi, A. Salah, R. Mizouni, and R. Dssouli, "Tool Support for Composition and Verification of Formal Behavior," 4th International Conference on Innovations in Information Technology (Innovations '07), pp. 471 - 475, Dubai 2007. (Best Paper Award)
  • R. Mizouni, A. Salah, and R. Dssouli, "Using Formal Composition of Use Cases in Requirements Engineering," Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007) Boston, Massachusetts, 2007.
  • I. Khriss, G. Chénard, and A. Salah, "Towards a new approach for extracting business logic of an object-oriented application," 20th International Conference on Software & Systems Engineering and their Applications ICSSEA’2007, Paris, France, 2007.
  • G. Tremblay, B. Malenfant, A. Salah, and P. Zentilli, "Introducing students to professional software construction: A "Software construction and maintenance" course and its maintenance corpus," Proceedings of the 12th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE), Dundee, Scotland, 2007.
  • G. Tremblay, L. Laforest, and A. Salah, "Extending a marking tool with simple support for testing (Poster)," Proceedings of the 12th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE), Dundee, Scotland, 2007.
  • R. Mizouni, A. Salah, S. Kolahi, and R. Dssouli, "Composition of use cases using synchronization and model checking," Formal Techniques for Networked and Distributed Systems - FORTE 2006. 26th IFIP WG 6.1 International Conference. Paris, France, 2006.
  • R. Mizouni, A. Salah, R. Dssouli, and S. Kolahi, "Roles of Variables in Use Case Composition. New Technologies for Distributed Systems," NOTERE’2006 New Technologies for Distributed Systems Toulouse, France, 2006.
  • R. Mizouni, A. Salah, R. Dssouli, and S. Kolahi, " Automated Approach for Use Case Composition," MCSEAI'06, 9th Maghrebian Conference on Information Technologies, Agadir, Morocco, 2006.
  • I. Berrada, R. Castanet, P. Felix, and A. Salah, "Test case minimization for real-time systems using timed bound traces," New York, NY, USA, 2006.
  • R. Mizouni, A. Salah, and R. Dssouli, "Interaction-Based Scenario Integration," Workshop on Model Design and Validation, ACM/IEEE Models/UML, Jamaica, 2005.
  • Aziz Salah, Rabeb Mizouni, Rachida Dssouli, and Benoit Parreaux, "Formal Composition of Distributed Scenario," FORTE : International Conference on Formal Techniques for Networked and Distributed Systems, pp. 213-228, Madrid Spain, September 2004 [pdf]
  • Rabeb Mizouni, Aziz Salah, Rachida Dssouli, and Benoit Parreaux, "Integrating Scenarios with Explicit Loops," presented at NOTERE: New Technologies for Distributed Systems, Essaidia Morocco, June 2004 [pdf]
  • Aziz Salah, Rabeb Mizouni, and Rachida Dssouli, "Communication Abstraction and Verification in Distributed Scenario Integration," presented at Workshop Communication Abstraction for Distributed Systems as part of ECOOP, Oslo Norway, June 2004 [pdf]
  • Aziz Salah, "A use case driven synthesis of state diagrams," Eighth Maghrebian Conference on Software Engineering and Artificial Intelligence, Sfax Tunisia, mars 2004 [pdf]
  • Aziz Salah, Rachida Dssouli and Guy Lapalme, Implicit integration of scenarios into a reduced timed automaton, Journal of Information and Software Technology, 45 (11) (2003) pp.715-725 [pdf]
  • Aziz Salah and Rachida Dssouli, Specification Synthesis by Merging Use Cases, International Workshop on Communication Software Engineering as part IEEE 2nd International Symposium on Signal Processing and Information Technology December 2002 [pdf]
  • Aziz Salah, Rachida Dssouli and Guy Lapalme. Intégration de scénarios temps-réel en automates temporisés, Colloque Francophone sur l'Ingénierie des Protocoles, Montréal, May, 2002 [pdf]
  • Aziz Salah, Rachida Dssouli and Guy Lapalme. Compiling Real-Time Scenarios into a Timed Automaton, FORTE2001, 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp. 135-150, Korea, August 2001 [pdf]
  • Aziz Salah, Rachida Dssouli, Guy Lapalme and Daniel Vincent. Vers un Environnement de Création de Services Fondé sur les Scénarios Enrichis. Colloque Francophone sur l'Ingénierie des Protocoles, France, October 2000 [ps]
  • Rachida Dssouli, Stéphane Somé, Jean Vaucher and Aziz Salah, A service creation environment based on scenarios, Journal of Information and Software Technology, 41 (11-12) (1999) pp.697-713 [pdf]