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.

2017

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.

2019

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.

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

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.

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,

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

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.