A Formal Validation Model for the Netconf Protocol. - Sylvain Hallé; Rudy Deca; Omar Cherkaoui; Roger Villemaire; Daniel Puche (DSOM, 2004)

Automated Validation of Service Configuration on Network Devices. - Sylvain Hallé; Rudy Deca; Omar Cherkaoui; Roger Villemaire (MMNS, 2004)

Modelling the Temporal Aspects of Network Configurations. - Sylvain Hallé; Rudy Deca; Omar Cherkaoui; Roger Villemaire; Daniel Puche (Net-Con, 2005)

Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. - Sylvain Hallé (MICAI, 2005)

Configuration Logic: A Multi-site Modal Logic. - Roger Villemaire; Sylvain Hallé; Omar Cherkaoui (TIME, 2005)

An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. - Sylvain Hallé (ICMLA, 2006)

Self-configuration of Network Devices with Configuration Logic. - Sylvain Hallé; Eric P. Wenaas; Roger Villemaire; Omar Cherkaoui (Autonomic Networking, 2006)

CTL Model Checking for Labelled Tree Queries. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui (TIME, 2006)

Model Checking Data-Aware Workflow Properties with CTL-FO+. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui; Boubker Ghandour (EDOC, 2007)

Extending Model Checking to Data-Aware Temporal Properties of Web Services. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui; Jérôme Tremblay; Boubker Ghandour (WS-FM, 2007)

Runtime Monitoring of Message-Based Workflows with Data. - Sylvain Hallé; Roger Villemaire (EDOC, 2008)

XML Methods for Validation of Temporal Properties on Message Traces with Data. - Sylvain Hallé; Roger Villemaire (OTM Conferences (1), 2008)

Satisfying a Fragment of XQuery by Branching-Time Reduction. - Sylvain Hallé; Roger Villemaire (TIME, 2008)

Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. - Sylvain Hallé; Roger Villemaire (CAV, 2009)

Dynamic and declarative business processes. - Dragan Gasevic; Georg Grossmann; Sylvain Hallé (EDOCW, 2009)

Flexible and reliable messaging using runtime monitoring. - Sylvain Hallé; Roger Villemaire (EDOCW, 2009)

Generating Interface Grammars from WSDL for Automated Verification of Web Services. - Sylvain Hallé; Graham Hughes; Tevfik Bultan; Muath Alkhalaf (ICSOC/ServiceWave, 2009)

Runtime monitoring of web service choreographies using streaming XML. - Sylvain Hallé; Roger Villemaire (SAC, 2009)

Strong Temporal, Weak Spatial Logic for Rule Based Filters. - Roger Villemaire; Sylvain Hallé (TIME, 2009)

Specifying and Validating Data-Aware Temporal Web Service Properties. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui (IEEE Trans. Software Eng., 2009)

Cooperative Runtime Monitoring of LTL Interface Contracts. - Sylvain Hallé (EDOC, 2010)

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. - Sylvain Hallé; Taylor Ettema; Chris Bunch; Tevfik Bultan (ASE, 2010)

Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. - Sylvain Hallé; Roger Villemaire (RV, 2010)

Realizability analysis for message-based interactions using shared-state projections. - Sylvain Hallé; Tevfik Bultan (SIGSOFT FSE, 2010)

Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. - Sylvain Hallé (WS-FM, 2010)

Runtime Verification of Web Service Interface Contracts. - Sylvain Hallé; Tevfik Bultan; Graham Hughes; Muath Alkhalaf; Roger Villemaire (Computer, 2010)

Message from the EVL-BP 2011 Workshop Chairs. - Dragan Gasevic; Georg Grossmann; Sylvain Hallé; Florian Rosenberg (EDOCW, 2011)

Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit". - Sylvain Hallé (EDOC, 2011)

Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. - Sylvain Hallé (ICECCS, 2011)

Guest Editorial. - Dragan Gasevic; Georg Grossmann; Sylvain Hallé (J. Res. Pract. Inf. Technol., 2011)

Pseudoperiodic Words. - Alexandre Blondin Massé; Sébastien Gaboury; Sylvain Hallé (Developments in Language Theory, 2012)

Constraint-based invocation of stateful web services: The beep store (case study). - Sylvain Hallé; Roger Villemaire (PESOS@ICSE, 2012)

A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. - Jérôme Calvar; Raphaël Tremblay-Lessard; Sylvain Hallé (ICST, 2012)

A Case for "Piggyback" Runtime Monitoring. - Sylvain Hallé; Raphaël Tremblay-Lessard (ISoLA (1), 2012)

Towards a semantic virtualization of configurations. - Sylvain Hallé; Omar Cherkaoui; Petko Valtchev (NOMS, 2012)

ValidMaker: A tool for managing device configurations using logical constraints. - Sylvain Hallé; Eric Lunaud Ngoupe; Gaetan Nijdam; Omar Cherkaoui; Petko Valtchev; Roger Villemaire (NOMS, 2012)

Firewall anomaly detection with a model checker for visibility logic. - Bassam Khorchani; Sylvain Hallé; Roger Villemaire (NOMS, 2012)

MapReduce for Parallel Trace Validation of LTL Properties. - Benjamin Barre; Mathieu Klein; Maxime Soucy-Boivin; Pierre-Antoine Ollivier; Sylvain Hallé (RV, 2012)

BabelTrace: A Collection of Transducers for Trace Validation. - Aouatef Mrad; Samatar Ahmed; Sylvain Hallé; Éric Beaudet (RV, 2012)

SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. - Guillaume Demarty; Fabien Maronnaud; Gabriel Le Breton; Sylvain Hallé (WS-FM, 2012)

Reasoning about visibility. - Roger Villemaire; Sylvain Hallé (J. Appl. Log., 2012)

A Logical Approach to Data-Aware Automated Sequence Generation. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui; Rudy Deca (Trans. Comput. Sci., 2012)

Runtime Enforcement of Web Service Message Contracts with Data. - Sylvain Hallé; Roger Villemaire (IEEE Trans. Serv. Comput., 2012)

The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces. - Jason Vallet; Aouatef Mrad; Sylvain Hallé; Éric Beaudet (EDOC Workshops, 2013)

Distributed firewall anomaly detection through LTL model checking. - Sylvain Hallé; Eric Lunaud Ngoupe; Roger Villemaire; Omar Cherkaoui (IM, 2013)

Runtime Monitoring of Temporal Logic Properties in a Platform Game. - Simon Varvaressos; Dominic Vaillancourt; Sébastien Gaboury; Alexandre Blondin Massé; Sylvain Hallé (RV, 2013)

Solving equations on words through boolean satisfiability. - Michaël Larouche; Alexandre Blondin Massé; Sébastien Gaboury; Sylvain Hallé (SAC, 2013)

Automated exploration and analysis of ajax web applications with WebMole. - Gabriel Le Breton; Fabien Maronnaud; Sylvain Hallé (WWW (Companion Volume), 2013)

Cooperative runtime monitoring. - Sylvain Hallé (Enterp. Inf. Syst., 2013)

Multipseudoperiodic Words. - Alexandre Blondin Massé; Sarah Desmeules; Sébastien Gaboury; Sylvain Hallé (Int. J. Found. Comput. Sci., 2013)

A Formalization of Complex Event Stream Processing. - Sylvain Hallé; Simon Varvaressos (EDOC, 2014)

A Reference Framework for the Automated Exploration of Web Applications. - Gabriel Le Breton; Nicolas Bergeron; Sylvain Hallé (ICECCS, 2014)

A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. - Eric Lunaud Ngoupe; Sylvain Stoesel; Clément Parisot; Sylvain Hallé; Petko Valtchev; Omar Cherkaoui; Pierre Boucher (ICECCS, 2014)

Exhaustive Exploration of Ajax Web Applications with Selective Jumping. - Sylvain Hallé; Gabriel Le Breton; Fabien Maronnaud; Alexandre Blondin Massé; Sébastien Gaboury (ICST Workshops, 2014)

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. - Simon Varvaressos; Kim Lavoie; Alexandre Blondin Massé; Sébastien Gaboury; Sylvain Hallé (ICST, 2014)

Solving Equations on Words with Morphisms and Antimorphisms. - Alexandre Blondin Massé; Sébastien Gaboury; Sylvain Hallé; Michaël Larouche (LATA, 2014)

Portable Runtime Verification with Smartphones and Optical Codes. - Kim Lavoie; Corentin Leplongeon; Simon Varvaressos; Sébastien Gaboury; Sylvain Hallé (RV, 2014)

Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. - Simon Varvaressos; Kim Lavoie; Sébastien Gaboury; Sylvain Hallé (RV, 2014)

A Declarative Language Interpreter for CEP. - Sylvain Hallé (EDOC Workshops, 2015)

Runtime Monitoring of Stream Logic Formulae. - Sylvain Hallé; Raphaël Khoury (FPS, 2015)

Runtime Enforcement with Partial Control. - Raphaël Khoury; Sylvain Hallé (FPS, 2015)

Testing Web Applications Through Layout Constraints. - Sylvain Hallé; Nicolas Bergeron; Francis Guerin; Gabriel Le Breton (ICST, 2015)

A data model for management of network device configuration heterogeneity. - Eric Lunaud Ngoupe; Sylvain Stoesel; Clément Parisot; Sylvain Hallé; Petko Valtchev; Omar Cherkaoui; Pierre Boucher (IM, 2015)

Graph Methods for Generating Test Cases with Universal and Existential Constraints. - Sylvain Hallé; Edmond La Chance; Sébastien Gaboury (ICTSS, 2015)

A generalized monitor verdict for log trace triaging. - Simon Varvaressos; Kim Lavoie; Sébastien Gaboury; Sylvain Hallé (PCODA@SANER, 2015)

MapReduce for parallel trace validation of LTL properties. - Sylvain Hallé; Maxime Soucy-Boivin (J. Cloud Comput., 2015)

On piggyback runtime monitoring of object-oriented programs. - Sylvain Hallé; Jason Vallet; Raphaël Tremblay-Lessard (Int. J. Softw. Tools Technol. Transf., 2015)

Activity Recognition Through Complex Event Processing: First Findings. - Sylvain Hallé; Sébastien Gaboury; Bruno Bouchard 001 (AAAI Workshop: Artificial Intelligence Applied to Assistive Technologies and Smart Environments, 2016)

A glue language for event stream processing. - Sylvain Hallé; Sébastien Gaboury; Raphaël Khoury (IEEE BigData, 2016)

Decentralized Enforcement of Artifact Lifecycles. - Sylvain Hallé; Raphaël Khoury; Antoine El-Hokayem; Yliès Falcone (EDOC, 2016)

Three Views of Log Trace Triaging. - Raphaël Khoury; Sébastien Gaboury; Sylvain Hallé (FPS, 2016)

Execution Trace Analysis Using LTL-FO ^+. - Raphaël Khoury; Sylvain Hallé; Omar Waldmann (ISoLA (2), 2016)

Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing. - Sylvain Hallé; Sébastien Gaboury; Bruno Bouchard 001 (PETRA, 2016)

When RV Meets CEP. - Sylvain Hallé (RV, 2016)

Third International Competition on Runtime Verification - CRV 2016. - Giles Reger; Sylvain Hallé; Yliès Falcone (RV, 2016)

Real-Time Streaming Communication With Optical Codes. - Kun Xie; Sébastien Gaboury; Sylvain Hallé (IEEE Access, 2016)

Fault Localization in Web Applications via Model Finding. - Sylvain Hallé; Oussama Beroual (CREST@ETAPS, 2016)

An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report. - Yannick Lebrun; Raphaël Khoury; Sylvain Hallé (CoRR, 2016)

Declarative layout constraints for testing web applications. - Sylvain Hallé; Nicolas Bergeron; Francis Guerin; Gabriel Le Breton; Oussama Beroual (J. Log. Algebraic Methods Program., 2016)

Monitoring of Security Properties Using BeepBeep. - Mohamed Recem Boussaha; Raphaël Khoury; Sylvain Hallé (FPS, 2017)

Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. - Oussama Beroual; Francis Guerin; Sylvain Hallé (SBST@ICSE, 2017)

LabPal: repeatable computer experiments made easy. - Sylvain Hallé (ISSTA, 2017)

SealTest: a simple library for test sequence generation. - Sylvain Hallé; Raphaël Khoury (ISSTA, 2017)

Event Stream Processing with BeepBeep 3. - Sylvain Hallé; Raphaël Khoury (RV-CuBES, 2017)

Event Stream Processing with Multiple Threads. - Sylvain Hallé; Raphaël Khoury; Sébastien Gaboury (RV, 2017)

A Few Things We Heard About RV Tools (Position Paper). - Sylvain Hallé; Raphaël Khoury; Sébastien Gaboury (RV-CuBES, 2017)

Runtime Verification of User Interface Guidelines in Mobile Devices. - Chafik Meniar; Florence Opalvens; Sylvain Hallé (RV, 2017)

A position-independent method for soil types recognition using inertial data from a wearable device. - Florentin Thullier; Valère Plantevin; Abdenour Bouzouane; Sylvain Hallé; Sébastien Gaboury (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. - Simon Varvaressos; Kim Lavoie; Sébastien Gaboury; Sylvain Hallé (Comput. Entertain., 2017)

From Complex Event Processing to Simple Event Processing. - Sylvain Hallé (CoRR, 2017)

A Declarative Approach to Network Device Configuration Correctness. - Eric Lunaud Ngoupe; Clément Parisot; Sylvain Stoesel; Petko Valtchev; Roger Villemaire; Omar Cherkaoui; Pierre Boucher; Sylvain Hallé (J. Netw. Syst. Manag., 2017)

Real-Time Data Mining for Event Streams. - Massiva Roudjane; Djamal Rebaine; Raphaël Khoury; Sylvain Hallé (EDOC, 2018)

Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. - Raphaël Khoury; Sylvain Hallé (IRI, 2018)

Writing Domain-Specific Languages for BeepBeep. - Sylvain Hallé; Raphaël Khoury (RV, 2018)

A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition. - Florentin Thullier; Valère Plantevin; Abdenour Bouzouane; Sylvain Hallé; Sébastien Gaboury (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Streamlining the Inclusion of Computer Experiments In a Research Paper. - Sylvain Hallé; Raphaël Khoury; Mewena Awesso (Computer, 2018)

Decentralized enforcement of document lifecycle constraints. - Sylvain Hallé; Raphaël Khoury; Quentin Betti; Antoine El-Hokayem; Yliès Falcone (Inf. Syst., 2018)

Predictive Analytics for Event Stream Processing. - Massiva Roudjane; Djamal Rebaine; Raphaël Khoury; Sylvain Hallé (EDOC, 2019)

Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes. - Julien Maitre; Sylvain Hallé; Kévin Bouchard; Sébastien Gaboury (GOODTECHS, 2019)

TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension. - Raphaël Khoury; Abdelwahab Hamou-Lhadj; Mohamed Ilyes Rahim; Sylvain Hallé; Fábio Petrillo (ISSRE Workshops, 2019)

Efficient Generation of Test Data with Extended Cardinality Constraints. - Michaël Larouche; Sylvain Hallé (QRS, 2019)

10 Years of IoT Malware: A Feature-Based Taxonomy. - Benjamin Vignau; Raphaël Khoury; Sylvain Hallé (QRS Companion, 2019)

Improving Hyperconnected Logistics With Blockchains and Smart Contracts. - Quentin Betti; Raphaël Khoury; Sylvain Hallé; Benoît Montreuil (IT Prof., 2019)

Explainable Queries over Event Logs. - Sylvain Hallé (EDOC, 2020)

Open Source Software Development Process: A Systematic Review. - Bianca Minetto Napoleão; Fábio Petrillo; Sylvain Hallé (EDOC, 2020)

Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report. - Kátia Romero Felizardo; Érica Ferreira de Souza; Tamiris Malacrida; Bianca Minetto Napoleão; Fábio Petrillo; Sylvain Hallé; Nandamudi L. Vijaykumar; Elisa Yumi Nakagawa (SEAA, 2020)

An Analysis of the Use of CVEs by IoT Malware. - Raphaël Khoury; Benjamin Vignau; Sylvain Hallé; Abdelwahab Hamou-Lhadj; Asma Razgallah (FPS, 2020)

Detecting Responsive Web Design Bugs with Declarative Specifications. - Oussama Beroual; Francis Guérin; Sylvain Hallé (ICWE, 2020)

Structural Profiling of Web Sites in the Wild. - Xavier Chamberland-Thibeault; Sylvain Hallé (ICWE, 2020)

Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. - Stéphane Jacquet; Sylvain Hallé (IFM, 2020)

A Generic Explainability Framework for Function Circuits. - Sylvain Hallé; Hugo Tremblay (TaPP, 2020)

A Tertiary and Secondary Study Canvas. - Bianca Minetto Napoleão; Fábio Petrillo; Sylvain Hallé (CoRR, 2020)

Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors. - Kun Xie; Sylvain Hallé (CoRR, 2020)

Foundations of Fine-Grained Explainability. - Sylvain Hallé; Hugo Tremblay (CAV (2), 2021)

Establishing a Search String to Detect Secondary Studies in Software Engineering. - Bianca Minetto Napoleão; Kátia Romero Felizardo; Érica Ferreira de Souza; Fábio Petrillo; Sylvain Hallé; Nandamudi L. Vijaykumar; Elisa Yumi Nakagawa (SEAA, 2021)

Automated Support for Searching and Selecting Evidence in Software Engineering: A Cross-domain Systematic Mapping. - Bianca Minetto Napoleão; Fábio Petrillo; Sylvain Hallé (SEAA, 2021)

A Modular Runtime Enforcement Model Using Multi-traces. - Rania Taleb; Sylvain Hallé; Raphaël Khoury (FPS, 2021)

Runtime Verification Under Access Restrictions. - Rania Taleb; Raphaël Khoury; Sylvain Hallé (FormaliSE@ICSE, 2021)

Test Sequence Generation with Cayley Graphs. - Sylvain Hallé; Raphaël Khoury (ICST Workshops, 2021)

Automated Repair of Layout Bugs in Web Pages with Linear Programming. - Stéphane Jacquet; Xavier Chamberland-Thibeault; Sylvain Hallé (ICWE, 2021)

Offline monitoring of LTL with bit vectors. - Kun Xie; Sylvain Hallé (SAC, 2021)

Model Checking of Stream Processing Pipelines. - Alexis Bédard; Sylvain Hallé (TIME, 2021)

Computer Simulations of Scientific Peer Reviewing. - Sylvain Hallé (IEEE Access, 2021)

Continuous Systematic Literature Review: An Approach for Open Science. - Bianca Minetto Napoleão; Fábio Petrillo; Sylvain Hallé (CoRR, 2021)

A survey of malware detection in Android apps: Recommendations and perspectives for future research. - Asma Razgallah; Raphaël Khoury; Sylvain Hallé; Kobra Khanmohammadi (Comput. Sci. Rev., 2021)

Detecting trend deviations with generic stream processing patterns. - Massiva Roudjane; Djamal Rebaïne; Raphaël Khoury; Sylvain Hallé (Inf. Syst., 2021)

The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives. - Benjamin Vignau; Raphaël Khoury; Sylvain Hallé; Abdelwahab Hamou-Lhadj (J. Syst. Archit., 2021)

An An Empirical Study of Web Page Structural Properties. - Xavier Chamberland-Thibeault; Sylvain Hallé (J. Web Eng., 2021)

The Botnet Simulator: A simulation tool for understanding the interaction between botnets. - Benjamin Vignau; Raphaël Khoury; Sylvain Hallé; Abdelwahab Hamou-Lhadj (Softw. Impacts, 2021)

Automata-based monitoring for LTL-FO+. - Raphaël Khoury; Sylvain Hallé; Yannick Lebrun (Int. J. Softw. Tools Technol. Transf., 2021)

Towards Continuous Systematic Literature Review in Software Engineering. - Bianca Minetto Napoleão; Fábio Petrillo; Sylvain Hallé; Marcos Kalinowski (SEAA, 2022)

SCAS-AI: A Strategy to Semi-Automate the Initial Selection Task in Systematic Literature Reviews. - Fábio Octaviano; Kátia Romero Felizardo; Sandra C. P. F. Fabbri; Bianca Minetto Napoleão; Fábio Petrillo; Sylvain Hallé (SEAA, 2022)

Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning. - Sylvain Hallé (FormaliSE@ICSE, 2022)

Synthia: a Generic and Flexible Data Structure Generator. - Marc-Antoine Plourde; Sylvain Hallé (ICSE-Companion, 2022)

An approach to apply Automated Acceptance Testing for Industrial Robotic Systems. - Marcela G. dos Santos; Fábio Petrillo; Sylvain Hallé; Yann-Gaël Guéhéneuc (IRC, 2022)

Are Backdoor Mandates Ethical? - A Position Paper. - Raphaël Khoury; Sylvain Hallé (IEEE Technol. Soc. Mag., 2022)

Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. - Chukri Soueidi; Yliès Falcone; Sylvain Hallé (EDOC Workshops, 2023)

Leveraging Runtime Verification for the Monitoring of Digital Twins. - Sylvain Hallé; Chukri Soueidi; Yliès Falcone (FMDT@FM, 2023)

Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. - Chukri Soueidi; Yliès Falcone; Sylvain Hallé (ISSRE, 2023)

LE2ML: a microservices-based machine learning workbench as part of an agnostic, reliable and scalable architecture for smart homes. - Florentin Thullier; Sylvain Hallé; Sébastien Gaboury (J. Ambient Intell. Humaniz. Comput., 2023)

An investigation of distributed computing for combinatorial testing. - Edmond La Chance; Sylvain Hallé (Softw. Test. Verification Reliab., 2023)

A modular pipeline for enforcement of security properties at runtime. - Rania Taleb; Sylvain Hallé; Raphaël Khoury (Ann. des Télécommunications, 2023)

Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines. - Alexis Bédard; Sylvain Hallé (Inf. Comput., 2023)

Uncertainty in runtime verification: A survey. - Rania Taleb; Sylvain Hallé; Raphaël Khoury (Comput. Sci. Rev., 2023)

Distributed and Verifiable Digital Badges. - Raphaël Khoury; Sylvain Hallé; Muni Venkateswarlu Kumaramangalam (CRiSIS, 2024)

A Tree-Based Definition of Business Process Conformance. - Sylvain Hallé (EDOC, 2024)

Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates. - Bianca Minetto Napoleão; Ritika Sarkar; Sylvain Hallé; Fábio Petrillo; Marcos Kalinowski (WSESE@ICSE, 2024)

AAT4IRS: automated acceptance testing for industrial robotic systems. - Marcela G. dos Santos; Sylvain Hallé; Fábio Petrillo; Yann-Gaël Guéhéneuc (Frontiers Robotics AI, 2024)

Column: Is Theory (Still) Welcome in Software Engineering Research? - Sylvain Hallé (ACM SIGSOFT Softw. Eng. Notes, 2024)

Sanity Checks in Smart Home Sensor Streams. - Rania Taleb; Sylvain Hallé; Roger Villemaire; Sébastien Gaboury; Hubert Kenfack Ngankam (SAC, 2025)

A theory of fine-grained lineage for functions on structured objects. - Sylvain Hallé; Hugo Tremblay (Theor. Comput. Sci., 2025)

Testing Stream Programs from Pre/Post-models. - Sylvain Hallé (SN Comput. Sci., 2025)

Is It Instrumentation? Evaluation of Validity Constraints in Smart Homes. - Rania Taleb; Roger Villemaire; Hubert Kenfack Ngankam; Sébastien Gaboury; Sylvain Hallé (IEEE Internet Things J., 2025)