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

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.

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.

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

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

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.

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.

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)

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.

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.

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.

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.

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.

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.

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.

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.

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.