The SCEAS System
Navigation Menu

Search the dblp DataBase


Aziz Salah: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
    Composition of Use Cases Using Synchronization and Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:292-306 [Conf]
  2. Aziz Salah, Rachida Dssouli, Guy Lapalme
    Compiling Real-Time Scenarios into a Timed Automaton. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:135-150 [Conf]
  3. Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux
    Formal Composition of Distributed Scenarios. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:213-228 [Conf]
  4. Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah
    Test Case Minimization for Real-Time Systems Using Timed Bound Traces. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:289-305 [Conf]
  5. Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah
    A service creation environment based on scenarios. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:11-12, pp:697-713 [Journal]
  6. Aziz Salah, Rachida Dssouli, Guy Lapalme
    Implicit integration of scenarios into a reduced timed automaton. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:11, pp:715-725 [Journal]
  7. Rabeb Mizouni, Aziz Salah, Rachida Dssouli
    Using Formal Composition of Use Cases in Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:238-0 [Conf]
  8. Guy Tremblay, Bruno Malenfant, Aziz Salah, Pablo Zentilli
    Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2007, pp:176-180 [Conf]
  9. Guy Tremblay, Louise Laforest, Aziz Salah
    Extending a marking tool with simple support for testing. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2007, pp:313- [Conf]

  10. Behavioral Model Composition: a Non Functional Requirements Driven Approach. [Citation Graph (, )][DBLP]

  11. Mise en oeuvre des patrons de conception par représentation explicite du problème. [Citation Graph (, )][DBLP]

Search in 0.001secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002