| 2019 | IC3K | Assisted Composition of Linked Data Queries. | Imen Sarray, Aziz Salah |
| 2012 | MODELS | Towards the automatic discovery of platform transformation templates of legacy object-oriented systems. | Gino Chnard, Ismal Khriss, Aziz Salah |
| 2011 | WEBIST | Interface Expressions Monitoring for BPEL Processes. | Wassim Jendoubi, Guy Tremblay, Aziz Salah |
| 2009 | SoMeT | Behavioral Model Composition: a Non Functional Requirements Driven Approach. | Rabeb Mizouni, Aziz Salah |
| 2007 | ITiCSE | Extending a marking tool with simple support for testing. | Guy Tremblay, Louise Laforest, Aziz Salah |
| 2007 | ITiCSE | Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus. | Guy Tremblay, Bruno Malenfant, Aziz Salah, Pablo Zentilli |
| 2007 | SEKE | Using Formal Composition of Use Cases in Requirements Engineering. | Rabeb Mizouni, Aziz Salah, Rachida Dssouli |
| 2006 | FORTE | Composition of Use Cases Using Synchronization and Model Checking. | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
| 2004 | FORTE | Formal Composition of Distributed Scenarios. | Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux |
| 2001 | FORTE | Compiling Real-Time Scenarios into a Timed Automaton. | Aziz Salah, Rachida Dssouli, Guy Lapalme |