Sylvain Hallé

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 85

Top Venues

CoRR

FPS

EDOC

Publications

Sylvain Hallé
Column: Is Theory (Still) Welcome in Software Engineering Research? ACM SIGSOFT Softw. Eng. Notes 49 (2) (2024)
Bianca Minetto Napoleão, Ritika Sarkar, Sylvain Hallé, Fábio Petrillo, Marcos Kalinowski
Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates. CoRR (2024)
Rania Taleb, Sylvain Hallé, Raphaël Khoury
A modular pipeline for enforcement of security properties at runtime. Ann. des Télécommunications 78 (7-8) (2023)
Chukri Soueidi, Yliès Falcone, Sylvain Hallé
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. EDOC Workshops (2023)
Alexis Bédard, Sylvain Hallé
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines. Inf. Comput. 293 (2023)
Florentin Thullier, Sylvain Hallé, Sébastien Gaboury
LE2ML: a microservices-based machine learning workbench as part of an agnostic, reliable and scalable architecture for smart homes. J. Ambient Intell. Humaniz. Comput. 14 (6) (2023)
Edmond La Chance, Sylvain Hallé
An investigation of distributed computing for combinatorial testing. Softw. Test. Verification Reliab. 33 (4) (2023)
Chukri Soueidi, Yliès Falcone, Sylvain Hallé
Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. ISSRE (2023)
Sylvain Hallé, Chukri Soueidi, Yliès Falcone
Leveraging Runtime Verification for the Monitoring of Digital Twins. FMDT@FM (2023)
Rania Taleb, Sylvain Hallé, Raphaël Khoury
Uncertainty in runtime verification: A survey. Comput. Sci. Rev. 50 (2023)
Raphaël Khoury, Sylvain Hallé
Are Backdoor Mandates Ethical? - A Position Paper. IEEE Technol. Soc. Mag. 41 (4) (2022)
Marcela G. dos Santos, Fábio Petrillo, Sylvain Hallé, Yann-Gaël Guéhéneuc
An approach to apply Automated Acceptance Testing for Industrial Robotic Systems. IRC (2022)
Marc-Antoine Plourde, Sylvain Hallé
Synthia: a Generic and Flexible Data Structure Generator. ICSE-Companion (2022)
Sylvain Hallé
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning. FormaliSE@ICSE (2022)
Fábio Octaviano, Katia Romero Felizardo, Sandra C. P. F. Fabbri, Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
SCAS-AI: A Strategy to Semi-Automate the Initial Selection Task in Systematic Literature Reviews. SEAA (2022)
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Marcos Kalinowski
Towards Continuous Systematic Literature Review in Software Engineering. SEAA (2022)
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Marcos Kalinowski
Towards Continuous Systematic Literature Review in Software Engineering. CoRR (2022)
Rania Taleb, Raphaël Khoury, Sylvain Hallé
Runtime Verification Under Access Restrictions. FormaliSE@ICSE (2021)
Sylvain Hallé, Raphaël Khoury
Test Sequence Generation with Cayley Graphs. ICST Workshops (2021)
Bianca Minetto Napoleão, Katia Romero Felizardo, Érica Ferreira de Souza, Fábio Petrillo, Sylvain Hallé, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa
Establishing a Search String to Detect Secondary Studies in Software Engineering. SEAA (2021)
Benjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj
The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives. J. Syst. Archit. 116 (2021)
Massiva Roudjane, Djamal Rebaïne, Raphaël Khoury, Sylvain Hallé
Detecting trend deviations with generic stream processing patterns. Inf. Syst. 101 (2021)
Sylvain Hallé
Computer Simulations of Scientific Peer Reviewing. IEEE Access 9 (2021)
Sylvain Hallé, Hugo Tremblay
Foundations of Fine-Grained Explainability. CAV (2) (2021)
Benjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj
The Botnet Simulator: A simulation tool for understanding the interaction between botnets. Softw. Impacts 10 (2021)
Stéphane Jacquet, Xavier Chamberland-Thibeault, Sylvain Hallé
Automated Repair of Layout Bugs in Web Pages with Linear Programming. ICWE (2021)
Xavier Chamberland-Thibeault, Sylvain Hallé
An An Empirical Study of Web Page Structural Properties. J. Web Eng. 20 (4) (2021)
Raphaël Khoury, Sylvain Hallé, Yannick Lebrun
. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Kun Xie, Sylvain Hallé
Offline monitoring of LTL with bit vectors. SAC (2021)
Asma Razgallah, Raphaël Khoury, Sylvain Hallé, Kobra Khanmohammadi
A survey of malware detection in Android apps: Recommendations and perspectives for future research. Comput. Sci. Rev. 39 (2021)
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
Automated Support for Searching and Selecting Evidence in Software Engineering: A Cross-domain Systematic Mapping. SEAA (2021)
Alexis Bédard, Sylvain Hallé
Model Checking of Stream Processing Pipelines. TIME (2021)
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
Continuous Systematic Literature Review: An Approach for Open Science. CoRR (2021)
Rania Taleb, Sylvain Hallé, Raphaël Khoury
A Modular Runtime Enforcement Model Using Multi-traces. FPS (2021)
Stéphane Jacquet, Sylvain Hallé
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. IFM (2020)
Xavier Chamberland-Thibeault, Sylvain Hallé
Structural Profiling of Web Sites in the Wild. ICWE (2020)
Raphaël Khoury, Benjamin Vignau, Sylvain Hallé, Abdelwahab Hamou-Lhadj, Asma Razgallah
An Analysis of the Use of CVEs by IoT Malware. FPS (2020)
Oussama Beroual, Francis Guérin, Sylvain Hallé
Detecting Responsive Web Design Bugs with Declarative Specifications. ICWE (2020)
Katia Romero Felizardo, Érica Ferreira de Souza, Tamiris Malacrida, Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa
Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report. SEAA (2020)
Sylvain Hallé
Explainable Queries over Event Logs. EDOC (2020)
Kun Xie, Sylvain Hallé
Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors. CoRR (2020)
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
Open Source Software Development Process: A Systematic Review. EDOC (2020)
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
A Tertiary and Secondary Study Canvas. CoRR (2020)
Sylvain Hallé, Hugo Tremblay
A Generic Explainability Framework for Function Circuits. TaPP (2020)
Sylvain Hallé
Explainable Queries over Event Logs. CoRR (2020)
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
Open Source Software Development Process: A Systematic Review. CoRR (2020)
Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé
Predictive Analytics for Event Stream Processing. EDOC (2019)
Michaël Larouche, Sylvain Hallé
Efficient Generation of Test Data with Extended Cardinality Constraints. QRS (2019)
Raphaël Khoury, Abdelwahab Hamou-Lhadj, Mohamed Ilyes Rahim, Sylvain Hallé, Fábio Petrillo
TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension. ISSRE Workshops (2019)
Julien Maitre, Sylvain Hallé, Kévin Bouchard, Sébastien Gaboury
Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes. GOODTECHS (2019)
Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil
Improving Hyperconnected Logistics With Blockchains and Smart Contracts. IT Prof. 21 (4) (2019)
Benjamin Vignau, Raphaël Khoury, Sylvain Hallé
10 Years of IoT Malware: A Feature-Based Taxonomy. QRS Companion (2019)
Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil
Improving Hyperconnected Logistics with Blockchains and Smart Contracts. CoRR (2019)
Bianca Minetto Napoleão, Katia Romero Felizardo, Érica Ferreira de Souza, Fábio Petrillo, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa, Sylvain Hallé
Establishing a Search String to Detect Secondary Studies in Software Engineering. CoRR (2019)
Florentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury
A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Sylvain Hallé, Raphaël Khoury, Mewena Awesso
Streamlining the Inclusion of Computer Experiments In a Research Paper. Computer 51 (11) (2018)
Raphaël Khoury, Sylvain Hallé
Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. IRI (2018)
Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé
Real-Time Data Mining for Event Streams. EDOC (2018)
Sylvain Hallé, Raphaël Khoury
Writing Domain-Specific Languages for BeepBeep. RV (2018)
Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
Decentralized enforcement of document lifecycle constraints. Inf. Syst. 74 (Part) (2018)
Chafik Meniar, Florence Opalvens, Sylvain Hallé
Runtime Verification of User Interface Guidelines in Mobile Devices. RV (2017)
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
Event Stream Processing with Multiple Threads. CoRR (2017)
Eric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé
A Declarative Approach to Network Device Configuration Correctness. J. Netw. Syst. Manag. 25 (1) (2017)
Mohamed Recem Boussaha, Raphaël Khoury, Sylvain Hallé
Monitoring of Security Properties Using BeepBeep. FPS (2017)
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
Event Stream Processing with Multiple Threads. RV (2017)
Oussama Beroual, Francis Guerin, Sylvain Hallé
Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. SBST@ICSE (2017)
Sylvain Hallé, Raphaël Khoury
Event Stream Processing with BeepBeep 3. RV-CuBES (2017)
Florentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury
A position-independent method for soil types recognition using inertial data from a wearable device. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Sylvain Hallé
LabPal: repeatable computer experiments made easy. ISSTA (2017)
Sylvain Hallé
From Complex Event Processing to Simple Event Processing. CoRR (2017)
Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. Comput. Entertain. 15 (1) (2017)
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
A Few Things We Heard About RV Tools (Position Paper). RV-CuBES (2017)
Sylvain Hallé, Raphaël Khoury
SealTest: a simple library for test sequence generation. ISSTA (2017)
Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard
Activity Recognition Through Complex Event Processing: First Findings. AAAI Workshop: Artificial Intelligence Applied to Assistive Technologies and Smart Environments (2016)
Sylvain Hallé, Oussama Beroual
Fault Localization in Web Applications via Model Finding. CREST@ETAPS (2016)
Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton, Oussama Beroual
Declarative layout constraints for testing web applications. J. Log. Algebraic Methods Program. 85 (5) (2016)
Sylvain Hallé
When RV Meets CEP. RV (2016)
Giles Reger, Sylvain Hallé, Yliès Falcone
Third International Competition on Runtime Verification - CRV 2016. RV (2016)
Raphaël Khoury, Sylvain Hallé, Omar Waldmann
Execution Trace Analysis Using LTL-FO ^+. ISoLA (2) (2016)
Raphaël Khoury, Sébastien Gaboury, Sylvain Hallé
Three Views of Log Trace Triaging. FPS (2016)
Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone
Decentralized Enforcement of Artifact Lifecycles. EDOC (2016)
Sylvain Hallé, Sébastien Gaboury, Raphaël Khoury
A glue language for event stream processing. IEEE BigData (2016)
Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard
Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing. PETRA (2016)
Yannick Lebrun, Raphaël Khoury, Sylvain Hallé
An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report. CoRR (2016)
Kun Xie, Sébastien Gaboury, Sylvain Hallé
Real-Time Streaming Communication With Optical Codes. IEEE Access 4 (2016)
Sylvain Hallé, Maxime Soucy-Boivin
MapReduce for parallel trace validation of LTL properties. J. Cloud Comput. 4 (2015)
Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
A generalized monitor verdict for log trace triaging. PCODA@SANER (2015)
Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton
Testing Web Applications Through Layout Constraints. ICST (2015)
Sylvain Hallé, Raphaël Khoury
Runtime Monitoring of Stream Logic Formulae. FPS (2015)
Sylvain Hallé, Edmond La Chance, Sébastien Gaboury
Graph Methods for Generating Test Cases with Universal and Existential Constraints. ICTSS (2015)
Sylvain Hallé, Jason Vallet, Raphaël Tremblay-Lessard
On piggyback runtime monitoring of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher
A data model for management of network device configuration heterogeneity. IM (2015)
Raphaël Khoury, Sylvain Hallé
Runtime Enforcement with Partial Control. FPS (2015)
Sylvain Hallé
A Declarative Language Interpreter for CEP. EDOC Workshops (2015)
Raphaël Khoury, Sylvain Hallé
Runtime Enforcement With Partial Control. CoRR (2015)
Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé
Portable Runtime Verification with Smartphones and Optical Codes. RV (2014)
Sylvain Hallé, Gabriel Le Breton, Fabien Maronnaud, Alexandre Blondin Massé, Sébastien Gaboury
Exhaustive Exploration of Ajax Web Applications with Selective Jumping. ICST Workshops (2014)
Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. RV (2014)
Gabriel Le Breton, Nicolas Bergeron, Sylvain Hallé
A Reference Framework for the Automated Exploration of Web Applications. ICECCS (2014)
Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. ICECCS (2014)

Sylvain Hallé.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sylvain Hallé