The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Mourad Badri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Linda Badri, Mourad Badri, Daniel St-Yves
    Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:167-175 [Conf]
  2. Ghazwa Malak, Linda Badri, Mourad Badri, Houari A. Sahraoui
    Towards a Multidimensional Model for Web-Based Applications Quality Assessment. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2004, pp:316-327 [Conf]
  3. Mourad Badri, Linda Badri, Marius Naha
    A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:223-235 [Conf]
  4. Jean-François Gélinas, Linda Badri, Mourad Badri
    Measuring Cohesion in Aspect-oriented Systems. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2005, pp:343-348 [Conf]
  5. Ghazwa Malak, Linda Badri, Mourad Badri, Nadir Belkhiter
    Web-based Applications Quality: Evaluation and Perspectives. [Citation Graph (0, 0)][DBLP]
    International Conference on Internet Computing, 2002, pp:939-946 [Conf]
  6. Nadir Belkhiter, Ghazwa Malak, Mourad Badri, Linda Badri
    Evaluation de la qualité des applications Web: état de l'art. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2002, pp:107-122 [Conf]
  7. Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri
    Specifying DIMA Multi-agents Models Using Maude. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2004, pp:29-42 [Conf]
  8. Philippe Massicotte, Linda Badri, Mourad Badri
    Aspects-Classes Integration Testing Strategy: An Incremental Approach. [Citation Graph (0, 0)][DBLP]
    RISE, 2005, pp:158-173 [Conf]
  9. Farid Mokhati, Mourad Badri, Patrice Gagnon
    Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:572-577 [Conf]
  10. Philippe Massicotte, Mourad Badri, Linda Badri
    Generating Aspects-Classes Integration Testing Sequences: A Collaboration Diagram Based Strategy. [Citation Graph (0, 0)][DBLP]
    SERA, 2005, pp:30-39 [Conf]
  11. Linda Badri, Mourad Badri, Velou Stéphane Blé
    A Method Level Based Approach for OO Integration Testing: An Experimental Study. [Citation Graph (0, 0)][DBLP]
    SNPD, 2005, pp:102-109 [Conf]
  12. Ghazwa Malak, Houari A. Sahraoui, Linda Badri, Mourad Badri
    Modeling Web-Based Applications Quality: A Probabilistic Approach. [Citation Graph (0, 0)][DBLP]
    WISE, 2006, pp:398-404 [Conf]
  13. Linda Badri, Mourad Badri
    A Proposal of a New Class Cohesion Criterion: An Empirical Study. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:4, pp:145-159 [Journal]
  14. F. Tessier, Mourad Badri, Linda Badri
    An early detection of semantic conflicts between aspects: A model analysis based technique. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:623-628 [Conf]
  15. Linda Badri, Mourad Badri, Velou Stéphane Blé
    Object-oriented integration testing: A method level based approach. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:324-330 [Conf]
  16. Jean-François Gélinas, Mourad Badri, Linda Badri
    A Cohesion Measure for Aspects. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2006, v:5, n:7, pp:- [Journal]
  17. Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri
    Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2007, v:6, n:4, pp:- [Journal]
  18. Philippe Massicotte, Linda Badri, Mourad Badri
    Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2007, v:6, n:1, pp:- [Journal]

  19. Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. [Citation Graph (, )][DBLP]


  20. Predicting Change Propagation in Object-oriented Systems: a Control-call Path Based Approach and Associated Tool. [Citation Graph (, )][DBLP]


  21. Dynamic Object Behaviours in Separation of Concerns Based Systems. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002