2009-08 |
Multi-Prover and parallel repetition in non-classical interactive games |
Payette, Tommy |
Salvail, Louis; Brassard, Gilles |
2016-08 |
La fuite d’information d’une réalisation quantique de primitives
cryptographiques classiques |
Beaudry, Maxime |
Salvail, Louis |
2011-04 |
Détection de la retransmission sélective sur les réseaux de capteurs |
Haddad, Edgard |
Salvail, Louis |
2016-08 |
Sur l’identification des états produits par une source quantique maximalement décorrélée |
Paquette, Serge-Olivier |
Salvail, Louis |
2015-04 |
Étude comparative des moyens de paiement |
Abdoulaye, Hamadou |
Salvail, Louis |
2017-12 |
Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique |
Lamontagne, Philippe |
Salvail, Louis |
2018-08 |
Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework |
Kessentini, Wael |
Sahraoui, Houari; Wimmer, Manuel |
2005 |
Migrating legacy system towards object technology |
Wu, Lei |
Sahraoui, Houari; Valtchev, Petko |
2023-10 |
Optimizing vertical farming : control and scheduling algorithms for enhanced plant growth |
Vu, Cong Vinh |
Sahraoui, Houari; Syriani, Eugene |
2021-05 |
Pattern-based refactoring in model-driven engineering |
Mokaddem, Chihab eddine Mohamed Omar |
Sahraoui, Houari; Syriani, Eugene |
2012-06 |
Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique |
Allier, Simon |
Sahraoui, Houari; Sadou, Salah |
2006 |
Visualisation de la qualité des logiciels de grandes taille |
Langelier, Guillaume |
Sahraoui, Houari; Poulin, Pierre |
2007 |
Un système d'aide à la visualisation interactive de logiciels |
Hassaine, Salima |
Sahraoui, Houari; Poulin, Pierre |
2015-02 |
A unified framework for the comprehension of software's time dimension |
Benomar, Omar |
Sahraoui, Houari; Poulin, Pierre |
2021-11 |
Abstraction de comportement de haut niveau à l’aide de la visualisation interactive |
Vandamme, Dorian |
Sahraoui, Houari; Poulin, Pierre |
2010-12 |
Intégration de la visualisation à multiples vues pour le développement du logiciel |
Langelier, Guillaume |
Sahraoui, Houari; Poulin, Pierre |
2010-08 |
Rétro-ingénierie des diagrammes de séquence
par visualisation interactive |
Grati, Hassen |
Sahraoui, Houari; Poulin, Pierre |
2007 |
Détection visuelle d'anomalies de conception dans les programmes orientés objets |
Dhambri, Karim |
Sahraoui, Houari; Poulin, Pierre |
2011-08 |
Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels |
Bouvier, Simon |
Sahraoui, Houari; Poulin, Pierre |
2006 |
Formal checking of web based applications |
Barburas, Doina Mirela |
Sahraoui, Houari; PETRENKO, ALEXANDRE |
2007 |
A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic |
Haydar, May |
Sahraoui, Houari; PETRENKO, ALEXANDRE |
2009-07 |
Développement logiciel par transformation de modèles |
El boussaidi, Ghizlane |
Sahraoui, Houari; Mili, Hafedh |
2007 |
Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents |
Pham, Viet Thang |
Sahraoui, Houari; MAGNIN, LAURENT |
2004 |
Estimation de l'impact du changement dans les programmes à objets |
Cheikhi, Laila |
Sahraoui, Houari; LOUNIS, HAKIM |
2004 |
Estimation de caractéristiques externes de qualité à partir de mesures d'attributs internes : bilan et perspectives |
Ait Mehedine, Lynda |
Sahraoui, Houari; LOUNIS, HAKIM |
2005 |
Estimation de la qualité du produit logiciel : réseaux Bayésiens |
El Aoumari, Sanaa |
Sahraoui, Houari; LOUNIS, HAKIM |
2003 |
Determination of software quality through a generic model |
Mehio, Nouha |
Sahraoui, Houari; LOUNIS, HAKIM |
2011-09 |
Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées |
Bouchoucha, Arbi |
Sahraoui, Houari; L'Écuyer, Pierre |
2011-08 |
Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation |
Haouari, Dorsaf |
Sahraoui, Houari; Langlais, Philippe |
2010-11 |
Formulation interactive des requêtes pour l’analyse et la compréhension du code source |
Jridi, Jamel Eddine |
Sahraoui, Houari; Langlais, Philippe |