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

2006

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.

2007

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.

2008

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. (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 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.

2009

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. (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, 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.

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.

2013

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

2014

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

2015

Ngoupe, Eric Lunaud. (2015). Gestion automatique des configurations réseaux : une approche déductive. 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.

2016

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.

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.

2017

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

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.

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.

2018

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.

Canac, Tom. (2018). Complete website tester : tests fonctionnels d’application web et couverture maximale. Mémoire de maîtrise, 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.

2019

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

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.

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.

2020

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.

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)

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., 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.

2021

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.

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

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.

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

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.

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,

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.

2022

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.

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

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.

2023

Bédard, Alexis. (2023). Model checking sur des pipelines de stream processing. 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.

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

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.

Minetto Napoleao, Bianca. (2023). Continuous systematic literature review in software engineering. Thèse de doctorat, 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.

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.

2024

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.

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.

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

2025

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.

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.

2026

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.