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

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

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

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.

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, Khoury Raphaël et Hallé Sylvain. (2021). Runtime Verification Under Access Restrictions. Proceedings of the 9th International Conference on Formal Methods in Software Engineering,

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

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.

Chapitre de livre

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 Cristina Caballos (dir.), 2022 Sixth IEEE International Conference on Robotic Computing (IRC), Italy. (p. 336-337). Los Alamitos : IEEE Computer Society.

Taleb Rania, Hallé Sylvain et Khoury Raphaël. (2022). A modular runtime enforcement model using multi-traces. Dans Esma Aïmeur, Maryline Laurent, Reda Yaich, Benoît Dupont et Joaquin Garcia-Alfaro (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.

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 Alexandra Silva et K. Rustan M. Leino (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 Marco Brambilla, Richard Chbeir, Flavius Frasincar et Ionana Manolescu (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.

Beroual Oussama, Guérin Francis et Hallé Sylvain. (2020). Detecting responsive web design bugs with declarative specifications. Dans Maria Bielikova, Tommi Mikkonen et Cesare Pautasso (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 Maria Bielikova, Tommi Mikkonen et Cesare Pautasso (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.

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 Armir Bujari et Pietro Manzoni (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.

Matériel de conférence

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.

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.

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)

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.

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.

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.

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

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.

Thèse ou mémoire de l'UQAC

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.

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.

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.

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.

La Chance Edmond. (2021). Extended combinatorial testing using graph algorithms and Apache Spark. 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.

Boussaha Mohamed Racem. (2019). Surveillance des propriétés de sécurité avec BeepBeep. Mémoire de maîtrise, 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.

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.

Meniar Chafik. (2018). Vérification de normes d’interface utilisateur dans les applications mobiles. 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.

Guérin Francis. (2017). Testing web applications through layout constraints : tools and applications. 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.

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.

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.

Varvaressos Simon. (2014). Étude de faisabilité du runtime monitoring dans les jeux vidéo. Mémoire de maîtrise, 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.