Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Article publié dans une revue avec comité d'évaluation

Hallé, Sylvain, Hughes, Graham, Bultan, Tevfik et Alkhalaf, Muath. (2009). Generating interface grammars from WSDL for automated verification of web services. Lecture Notes in Computer Science, 5900, p. 516-530.

Hallé, Sylvain et Villemaire, Roger. (2008). XML methods for validation of temporal properties on message traces with data. Lecture Notes in Computer Science, 5331, p. 337-353.

Hallé, Sylvain, Villemaire, Roger, Cherkaoui, Omar, Tremblay, Jérôme et Ghandour, Boubker. (2008). Extending model checking to data-aware temporal properties of web services. Lecture Notes in Computer Science, 4937, p. 31-45.

Hallé, Sylvain, Wenaas, Éric, Villemaire, Roger et Cherkaoui, Omar. (2006). Self-configuration of network devices with Configuration Logic. Lecture Notes in Computer Science, 4195, p. 36-49.

Hallé, Sylvain. (2021). Computer simulations of scientific peer reviewing. IEEE Access, 9, p. 111595-111607.

Hallé, Sylvain, Khoury, Raphaël, Betti, Quentin, El-Hokayem, Antoine et Falcone, Yliès. (2017). Decentralized enforcement of document lifecycle constraints. Information Systems, p. 1-19.

Hallé, Sylvain, Villemaire, Roger et Cherkaoui, Omar. (2009). Specifying and validating data-aware temporal web service properties. IEEE Transactions on Software Engineering, 35, (5), p. 669-683.

Khoury, Raphael et Halle, Sylvain. (2022). Are backdoor mandates ethical? A position paper. IEEE Technology and Society Magazine, 41, (4), p. 63-70.

La Chance, Edmond et Hallé, Sylvain. (2023). An investigation of distributed computing for combinatorial testing. Software Testing, Verification and Reliability, e1842.

Taleb, Rania, Hallé, Sylvain et Khoury, Raphaël. (2023). A modular pipeline for enforcement of security properties at runtime. Annals of Telecommunications, 78, p. 429-457.

Taleb, Rania, Hallé, Sylvain et Khoury, Raphaël. (2023). Uncertainty in runtime verification : a survey. Computer Science Review, 50, (e100594), p. 1-27.

Taleb, Rania, Khoury, Raphaël et Hallé, Sylvain. (2021). Runtime Verification Under Access Restrictions. Proceedings of the 9th International Conference on Formal Methods in Software Engineering,

Chapitre de livre

Beroual, Oussama, Guérin, Francis et Hallé, Sylvain. (2020). Detecting responsive web design bugs with declarative specifications. Dans Bielikova, Maria, Mikkonen, Tommi et Pautasso, Cesare (dir.), Web Engineering: 20th International Conference, ICWE 2020 Helsinki, Finland, June 9–12, 2020 Proceedings. (p. 3-18). Lecture Notes in Computer Science. Cham, Suisse : Springer.

Chamberland-Thibeault, Xavier et Hallé, Sylvain. (2020). Structural profiling of Web sites in the wild. Dans Bielikova, Maria, Mikkonen, Tommi et Pautasso, Cesare (dir.), Web Engineering: 20th International Conference, ICWE 2020 Helsinki, Finland, June 9–12, 2020 Proceedings. (12128, p. 27-34). Lecture Notes in Computer Science. Cham, Suisse : Springer.

Goncalves Dos Santos, Marcela, Petrillo, Fabio, Hallé, Sylvain et Guéhéneuc, Yann-Gaël. (2022). An approach to apply automated acceptance testing for industrial robotic systems. Dans Caballos, Cristina (dir.), 2022 Sixth IEEE International Conference on Robotic Computing (IRC), Italy. (p. 336-337). Los Alamitos : IEEE Computer Society.

Hallé, Sylvain et Khoury, Raphaël. (2021). Test sequence generation with Cayley graphs. Dans 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). (p. 182-191). Piscataway, New Jersey : IInstitute of Electrical and Electronics Engineers.

Hallé, Sylvain et Tremblay, Hugo. (2021). Foundations of fine-grained explainability. Dans Silva, Alexandra et Leino, K. Rustan M. (dir.), Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. (p. 500-523). Lecture notes in computer science. Cham, Suisse : Springer.

Jacquet, Stéphane, Chamberland-Thibeault, Xavier et Hallé, Sylvain. (2021). Automated repair of layout bugs in Web pages with linear programming. Dans Brambilla, Marco, Chbeir, Richard, Frasincar, Flavius et Manolescu, Ionana (dir.), Web Engineering : 21st International Conference, ICWE 2021, Biarritz, France, May 18–21, 2021, Proceedings. (p. 423-439). Lecture notes in computer science. Cham, Suisse : Springer.

Maitre, Julien, Hallé, Sylvain, Bouchard, Kévin et Gaboury, Sébastien. (2019). Electric device recognition and recommendation in real-time based on complex event processing for smart homes. Dans Bujari, Armir et Manzoni, Pietro (dir.), GoodTechs '19 : Proceedings of the 5th EAI International conference on smart objects and technologies for social good. (p. 43-48). New York, NY, United States : Association for computing machinery.

Taleb, Rania, Hallé, Sylvain et Khoury, Raphaël. (2022). A modular runtime enforcement model using multi-traces. Dans Aïmeur, Esma, Laurent, Maryline, Yaich, Reda, Dupont, Benoît et Garcia-Alfaro, Joaquin (dir.), Foundations and practice of security : 14th International Symposium, FPS 2021, Paris, France, December 7-10, 2021. (13291, p. 283-302). Lecture notes in computer science. Cham, Suisse : Springer.

Matériel de conférence

Boussaha, Mohamed Racem, Khoury, Raphaël et Hallé, Sylvain. Monitoring of security properties using BeepBeep. Dans : 10th International Symposium, FPS 2017, Revised Selected Papers , October 23-25, 2017, Nancy, France.

Hallé, Sylvain et Villemaire, Roger. (2008). Runtime monitoring of message-based workflows with data. Dans : 12th International IEEE Enterprise Distributed Object Computing Conference , 15-19 Sept. 2008, Munich, Germany.

Hallé, Sylvain et Villemaire, Roger. (2009). Runtime monitoring of web service choreographies using streaming XML. Dans : Proceedings of the 2009 ACM symposium on Applied Computing , March 08-12, 2009 , Honolulu, Hawaii.

Hallé, Sylvain et Villemaire, Roger. (2008). Satisfying a fragment of XQuery by branching-time reduction. Dans : 15th International Symposium on Temporal Representation and Reasoning , 16-18 June 2008 , Montreal, Canada.

Hallé, Sylvain. (2020). Explainable queries over event logs. Dans : IEEE 24th International Enterprise Distributed Object Computing Conference (EDOC) , 5-8 October 2020, Eindhoven, Netherlands.

Hallé, Sylvain et Tremblay, Hugo. (2020). A generic explainability framework for function circuits. Dans : 12th International Workshop on Theory and Practice of Provenance (TaPP 2020)

Hallé, Sylvain, Villemaire, Roger, Cherkaoui, Omar et Ghandour, Boubker. (2007). Model-checking data-aware temporal workflow properties with CTL-FO+. Dans : IEEE International Enterprise Distributed Object Computing Conference , 15-19 October 2007, Annapolis, Maryland.

Jacquet, Stéphane et Hallé, Sylvain. (2020). Reformulation of SAT into a polynomial box-constrained optimization problem. Dans : International Conference on Integrated Formal Methods (IFM) , 16-20 November 2020, Lugano, Switzerland.

Napoleão, Bianca M., Felizardo, Katia R., de Souza, Érica F., Petrillo, Fabio, Hallé, Sylvain, Vijaykumar, Nandamudi L. et Nakagawa, Elisa Y.. (2021). Establishing a search string to detect secondary studies in software engineering. Dans : 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) , Palermo, Italie.

Napoleão, Bianca M., Petrillo, Fabio et Hallé, Sylvain. (2021). Automated support for searching and selecting evidence in software engineering : a cross-domain systematic mapping. Dans : 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) , Palermo, Italie.

Napoleão, Bianca M., Petrillo, Fabio et Hallé, Sylvain. (2020). Open source software development process: a systematic review. Dans : 2020 IEEE 24th International Enterprise Distributed Object Computing Conference (EDOC) , 5-8 October 2020, Eindhoven, Netherlands.

Plantevin, Valère, Thullier, Florentin, Hallé, Sylvain, Bouzouane, Abdenour, Bouchard, Kévin et Gaboury, Sébastien. (2017). Reconnaissance de l'utilisateur d'une maison intelligente par sa démarche pour l'application de ses préférences à l'environnement. Dans : 2e congrès québécois de recherche en adaptation-réadaptation, INTER-REPAR , 18 au 19 mai 2017, Montréal, Québec.

Villemaire, Roger et Hallé, Sylvain. (2009). Strong temporal, weak spatial logic for rule based filters. Dans : 16th International Symposium on Temporal Representation and Reasoning , 23-25 July 2009 , Brixen-Bressanone, Italy.

Thèse ou mémoire de l'UQAC

Bédard, Alexis. (2023). Model checking sur des pipelines de stream processing. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Beroual, Oussama. (2018). Détection et correction automatique des bugs d’interface dans les applications web. Thèse de doctorat, Université du Québec à Chicoutimi.

Betti, Quentin. (2021). Décentralisation du contrôle de conformité de processus opérationnels : approches par blockchain et séquence de pair-actions. Thèse de doctorat, Université du Québec à Chicoutimi.

Bouklab, Raouf. (2016). Énumération de transversaux de circuits de cardinalité minimale à l'aide d'arbres et/ou. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Boussaha, Mohamed Racem. (2019). Surveillance des propriétés de sécurité avec BeepBeep. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Canac, Tom. (2018). Complete website tester : tests fonctionnels d’application web et couverture maximale. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Chamberland-Thibeault, Xavier. (2023). Correction automatique d’erreurs visuelles dans les applications web. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Domingues Martins, Igor Paolo. (2024). Amélioration du processus de test dans les interfaces web par la recherche d’invariants. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Gagnon, Vincent. (2025). Développement d’un modèle pour le choix d’une plateforme de machine learning pour l’apprentissage supervisé dans les petites entreprises. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Goncalves Dos Santos, Marcela. (2025). Automated acceptance testing for industrial robotic systems. Thèse de doctorat, Université du Québec à Chicoutimi.

Guérin, Francis. (2017). Testing web applications through layout constraints : tools and applications. Mémoire de maîtrise, Université du Québec à Chicoutimi.

La Chance, Edmond. (2021). Extended combinatorial testing using graph algorithms and Apache Spark. Thèse de doctorat, Université du Québec à Chicoutimi.

Medeiros de Vasconcellos, Marcelo. (2023). Vers l’évaluation de la stabilité des systèmes à l’aide de la densité des logs. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Mendes de Oliveira, Eduardo. (2025). Cadre conceptuel pour les niveaux de sévérité des logs : directives et heuristiques pour les pratiques de journalisation dans les systèmes logiciels. Thèse de doctorat, Université du Québec à Chicoutimi.

Mendonça Nicacio, Jalves. (2025). Amélioration de la cohérence des diagrammes architecturaux des systèmes distribués à l’aide de descripteurs de systèmes. Thèse de doctorat, Université du Québec à Chicoutimi.

Meniar, Chafik. (2018). Vérification de normes d’interface utilisateur dans les applications mobiles. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Minetto Napoleao, Bianca. (2023). Continuous systematic literature review in software engineering. Thèse de doctorat, Université du Québec à Chicoutimi.

Mrad, Aouatef. (2013). Analyse automatique des traces d'événements : une étude comparative. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Ngoupe, Eric Lunaud. (2015). Gestion automatique des configurations réseaux : une approche déductive. Thèse de doctorat, Université du Québec à Chicoutimi.

Rahim, Mohamed Ilyes. (2019). Compréhension d’un programme à travers la segmentation et l’analyse des traces. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Renaud, Martin. (2024). Les tests unitaires comme méthode de prévention contre les injections SQL. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Roudjane, Massiva. (2023). Détection des écarts de tendance et analyse prédictive pour le traitement des flux d’événements en temps réel. Thèse de doctorat, Université du Québec à Chicoutimi.

Soucy-Boivin, Maxime. (2015). Vérification de propriétés LTL dans un environnement Hadoop MapReduce. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Taleb, Rania. (2024). A multi-trace model for runtime enforcement and verification under uncertainty. Thèse de doctorat, Université du Québec à Chicoutimi.

Thullier, Florentin. (2021). Maisons intelligentes : nouvelles applications des wearable devices dans une architecture distribuée grâce à un outil d’apprentissage machine modulaire. Thèse de doctorat, Université du Québec à Chicoutimi.

Traoré, Amadou Kabiné. (2026). Analyse dynamique de contamination pour la détection des fuites de données sensibles basée sur la provenance. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Varvaressos, Simon. (2014). Étude de faisabilité du runtime monitoring dans les jeux vidéo. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Xie, Kun. (2016). L’amélioration de la collecte de données et de l’évaluation de formules pour la vérification de l’exécution. Mémoire de maîtrise, Université du Québec à Chicoutimi.