Aziz Salah

According to our database, Aziz Salah authored at least 18 papers between 1999 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Assisted Composition of Linked Data Queries.

Imen Sarray, Aziz Salah

Proceedings of the 11th International Joint Conference on Knowledge Discovery, 2019

2014

A framework for context-aware self-adaptive mobile applications SPL.

Rabeb Mizouni, Mohammad Abu-Matar, Zaid Al Mahmoud, Salwa Mohamed Alzahmi, Aziz Salah

Expert Syst. Appl., 2014

2012

Towards the automatic discovery of platform transformation templates of legacy object-oriented systems.

Gino Chénard, Ismaïl Khriss, Aziz Salah

Proceedings of the 6th International Workshop on Models and Evolution, 2012

2011

Interface Expressions Monitoring for BPEL Processes.

Wassim Jendoubi, Guy Tremblay, Aziz Salah

Proceedings of the WEBIST 2011, 2011

2010

Towards a framework for estimating system NFRs on behavioral models.

Rabeb Mizouni, Aziz Salah

Knowl. Based Syst., 2010

2009

Behavioral Model Composition: a Non Functional Requirements Driven Approach.

Rabeb Mizouni, Aziz Salah

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

2008

Oto, a generic and extensible tool for marking programming assignments.

Guy Tremblay, F. Guérin, A. Pons, Aziz Salah

Softw. Pract. Exp., 2008

2007

Merging partial system behaviours: composition of use-case automata.

Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli

IET Softw., 2007

Using Formal Composition of Use Cases in Requirements Engineering.

Rabeb Mizouni, Aziz Salah, Rachida Dssouli

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus.

Guy Tremblay, Bruno Malenfant, Aziz Salah, Pablo Zentilli

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Extending a marking tool with simple support for testing.

Guy Tremblay, Louise Laforest, Aziz Salah

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

2006

Test Case Minimization for Real-Time Systems Using Timed Bound Traces.

Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah

Proceedings of the Testing of Communicating Systems, 2006

Composition of Use Cases Using Synchronization and Model Checking.

Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Mise en oeuvre des patrons de conception par représentation explicite du problème.

Hafedh Mili, Ghizlane El-Boussaidi, Aziz Salah

Obj. Logiciel Base données Réseaux, 2005

2004

Formal Composition of Distributed Scenarios.

Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Implicit integration of scenarios into a reduced timed automaton.

Aziz Salah, Rachida Dssouli, Guy Lapalme

Inf. Softw. Technol., 2003

2001

Compiling Real-Time Scenarios into a Timed Automaton.

Aziz Salah, Rachida Dssouli, Guy Lapalme

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

1999

A service creation environment based on scenarios.

Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah

Inf. Softw. Technol., 1999