default search action
Sylvain Hallé
Person information
- affiliation: Université du Québec à Chicoutimi, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j31]Sylvain Hallé:
Column: Is Theory (Still) Welcome in Software Engineering Research? ACM SIGSOFT Softw. Eng. Notes 49(2): 19-21 (2024) - [c110]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. WSESE@ICSE 2024: 34-41 - [i13]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 abs/2402.05317 (2024) - 2023
- [j30]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): 429-457 (2023) - [j29]Rania Taleb, Sylvain Hallé, Raphaël Khoury:
Uncertainty in runtime verification: A survey. Comput. Sci. Rev. 50: 100594 (2023) - [j28]Alexis Bédard, Sylvain Hallé:
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines. Inf. Comput. 293: 105058 (2023) - [j27]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): 6563-6584 (2023) - [j26]Edmond La Chance, Sylvain Hallé:
An investigation of distributed computing for combinatorial testing. Softw. Test. Verification Reliab. 33(4) (2023) - [c109]Chukri Soueidi, Yliès Falcone, Sylvain Hallé:
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. EDOC Workshops 2023: 247-264 - [c108]Sylvain Hallé, Chukri Soueidi, Yliès Falcone:
Leveraging Runtime Verification for the Monitoring of Digital Twins. FMDT@FM 2023 - [c107]Chukri Soueidi, Yliès Falcone, Sylvain Hallé:
Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. ISSRE 2023: 742-751 - 2022
- [j25]Raphaël Khoury, Sylvain Hallé:
Are Backdoor Mandates Ethical? - A Position Paper. IEEE Technol. Soc. Mag. 41(4): 63-70 (2022) - [c106]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Marcos Kalinowski:
Towards Continuous Systematic Literature Review in Software Engineering. SEAA 2022: 467-474 - [c105]Fábio Octaviano, Kátia 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: 483-490 - [c104]Marc-Antoine Plourde, Sylvain Hallé:
Synthia: a Generic and Flexible Data Structure Generator. ICSE-Companion 2022: 207-211 - [c103]Sylvain Hallé:
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning. FormaliSE@ICSE 2022: 23-33 - [c102]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: 336-337 - [i12]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Marcos Kalinowski:
Towards Continuous Systematic Literature Review in Software Engineering. CoRR abs/2206.04177 (2022) - 2021
- [j24]Sylvain Hallé:
Computer Simulations of Scientific Peer Reviewing. IEEE Access 9: 111595-111607 (2021) - [j23]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: 100358 (2021) - [j22]Massiva Roudjane, Djamal Rebaïne, Raphaël Khoury, Sylvain Hallé:
Detecting trend deviations with generic stream processing patterns. Inf. Syst. 101: 101446 (2021) - [j21]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: 102143 (2021) - [j20]Xavier Chamberland-Thibeault, Sylvain Hallé:
An An Empirical Study of Web Page Structural Properties. J. Web Eng. 20(4): 971-1002 (2021) - [j19]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: 100173 (2021) - [j18]Raphaël Khoury, Sylvain Hallé, Yannick Lebrun:
Automata-based monitoring for LTL-FO+. Int. J. Softw. Tools Technol. Transf. 23(2): 137-154 (2021) - [c101]Sylvain Hallé, Hugo Tremblay:
Foundations of Fine-Grained Explainability. CAV (2) 2021: 500-523 - [c100]Bianca Minetto Napoleão, Kátia 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: 9-16 - [c99]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: 45-53 - [c98]Rania Taleb, Sylvain Hallé, Raphaël Khoury:
A Modular Runtime Enforcement Model Using Multi-traces. FPS 2021: 283-302 - [c97]Rania Taleb, Raphaël Khoury, Sylvain Hallé:
Runtime Verification Under Access Restrictions. FormaliSE@ICSE 2021: 31-41 - [c96]Sylvain Hallé, Raphaël Khoury:
Test Sequence Generation with Cayley Graphs. ICST Workshops 2021: 182-191 - [c95]Stéphane Jacquet, Xavier Chamberland-Thibeault, Sylvain Hallé:
Automated Repair of Layout Bugs in Web Pages with Linear Programming. ICWE 2021: 423-439 - [c94]Kun Xie, Sylvain Hallé:
Offline monitoring of LTL with bit vectors. SAC 2021: 1833-1836 - [c93]Alexis Bédard, Sylvain Hallé:
Model Checking of Stream Processing Pipelines. TIME 2021: 5:1-5:17 - [i11]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Continuous Systematic Literature Review: An Approach for Open Science. CoRR abs/2108.12922 (2021) - 2020
- [c92]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Open Source Software Development Process: A Systematic Review. EDOC 2020: 135-144 - [c91]Sylvain Hallé:
Explainable Queries over Event Logs. EDOC 2020: 171-180 - [c90]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:
Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report. SEAA 2020: 471-478 - [c89]Raphaël Khoury, Benjamin Vignau, Sylvain Hallé, Abdelwahab Hamou-Lhadj, Asma Razgallah:
An Analysis of the Use of CVEs by IoT Malware. FPS 2020: 47-62 - [c88]Oussama Beroual, Francis Guérin, Sylvain Hallé:
Detecting Responsive Web Design Bugs with Declarative Specifications. ICWE 2020: 3-18 - [c87]Xavier Chamberland-Thibeault, Sylvain Hallé:
Structural Profiling of Web Sites in the Wild. ICWE 2020: 27-34 - [c86]Stéphane Jacquet, Sylvain Hallé:
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. IFM 2020: 387-394 - [c85]Sylvain Hallé, Hugo Tremblay:
A Generic Explainability Framework for Function Circuits. TaPP 2020 - [i10]Sylvain Hallé:
Explainable Queries over Event Logs. CoRR abs/2002.05589 (2020) - [i9]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
A Tertiary and Secondary Study Canvas. CoRR abs/2004.01315 (2020) - [i8]Kun Xie, Sylvain Hallé:
Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors. CoRR abs/2005.11737 (2020) - [i7]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Open Source Software Development Process: A Systematic Review. CoRR abs/2008.05015 (2020)
2010 – 2019
- 2019
- [j17]Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil:
Improving Hyperconnected Logistics With Blockchains and Smart Contracts. IT Prof. 21(4): 25-32 (2019) - [c84]Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé:
Predictive Analytics for Event Stream Processing. EDOC 2019: 171-182 - [c83]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: 43-48 - [c82]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: 406-413 - [c81]Michaël Larouche, Sylvain Hallé:
Efficient Generation of Test Data with Extended Cardinality Constraints. QRS 2019: 386-393 - [c80]Benjamin Vignau, Raphaël Khoury, Sylvain Hallé:
10 Years of IoT Malware: A Feature-Based Taxonomy. QRS Companion 2019: 458-465 - [i6]Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil:
Improving Hyperconnected Logistics with Blockchains and Smart Contracts. CoRR abs/1904.03633 (2019) - [i5]Bianca Minetto Napoleão, Kátia 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 abs/1912.08861 (2019) - 2018
- [j16]Sylvain Hallé, Raphaël Khoury, Mewena Awesso:
Streamlining the Inclusion of Computer Experiments In a Research Paper. Computer 51(11): 78-89 (2018) - [j15]Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone:
Decentralized enforcement of document lifecycle constraints. Inf. Syst. 74(Part): 117-135 (2018) - [c79]Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé:
Real-Time Data Mining for Event Streams. EDOC 2018: 123-134 - [c78]Raphaël Khoury, Sylvain Hallé:
Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. IRI 2018: 495-502 - [c77]Sylvain Hallé, Raphaël Khoury:
Writing Domain-Specific Languages for BeepBeep. RV 2018: 447-457 - [c76]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: 1052-1056 - 2017
- [j14]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): 1:1-1:28 (2017) - [j13]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): 180-209 (2017) - [c75]Mohamed Recem Boussaha, Raphaël Khoury, Sylvain Hallé:
Monitoring of Security Properties Using BeepBeep. FPS 2017: 160-169 - [c74]Oussama Beroual, Francis Guerin, Sylvain Hallé:
Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. SBST@ICSE 2017: 7-13 - [c73]Sylvain Hallé, Raphaël Khoury:
SealTest: a simple library for test sequence generation. ISSTA 2017: 392-395 - [c72]Sylvain Hallé:
LabPal: repeatable computer experiments made easy. ISSTA 2017: 404-407 - [c71]Sylvain Hallé, Raphaël Khoury:
Event Stream Processing with BeepBeep 3. RV-CuBES 2017: 81-88 - [c70]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
A Few Things We Heard About RV Tools (Position Paper). RV-CuBES 2017: 89-95 - [c69]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
Event Stream Processing with Multiple Threads. RV 2017: 359-369 - [c68]Chafik Meniar, Florence Opalvens, Sylvain Hallé:
Runtime Verification of User Interface Guidelines in Mobile Devices. RV 2017: 410-415 - [c67]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: 1-10 - [e8]Sylvain Hallé, Roger Villemaire, Robert Lagerström:
21st IEEE International Enterprise Distributed Object Computing Conference, EDOC 2017, Quebec City, QC, Canada, October 10-13, 2017. IEEE Computer Society 2017, ISBN 978-1-5090-3045-3 [contents] - [e7]Sylvain Hallé, Remco M. Dijkman, James Lapalme:
21st IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2017, Quebec City, QC, Canada, October 10-13, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-1568-3 [contents] - [i4]Sylvain Hallé:
From Complex Event Processing to Simple Event Processing. CoRR abs/1702.08051 (2017) - [i3]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
Event Stream Processing with Multiple Threads. CoRR abs/1707.02600 (2017) - 2016
- [j12]Kun Xie, Sébastien Gaboury, Sylvain Hallé:
Real-Time Streaming Communication With Optical Codes. IEEE Access 4: 284-298 (2016) - [j11]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): 737-758 (2016) - [c66]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 - [c65]Sylvain Hallé, Sébastien Gaboury, Raphaël Khoury:
A glue language for event stream processing. IEEE BigData 2016: 2384-2391 - [c64]Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone:
Decentralized Enforcement of Artifact Lifecycles. EDOC 2016: 1-10 - [c63]Raphaël Khoury, Sébastien Gaboury, Sylvain Hallé:
Three Views of Log Trace Triaging. FPS 2016: 179-195 - [c62]Raphaël Khoury, Sylvain Hallé, Omar Waldmann:
Execution Trace Analysis Using LTL-FO ^+. ISoLA (2) 2016: 356-362 - [c61]Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard:
Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing. PETRA 2016: 3 - [c60]Giles Reger, Sylvain Hallé, Yliès Falcone:
Third International Competition on Runtime Verification - CRV 2016. RV 2016: 21-37 - [c59]Sylvain Hallé:
When RV Meets CEP. RV 2016: 68-91 - [c58]Sylvain Hallé, Oussama Beroual:
Fault Localization in Web Applications via Model Finding. CREST@ETAPS 2016: 55-67 - [i2]Yannick Lebrun, Raphaël Khoury, Sylvain Hallé:
An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report. CoRR abs/1610.07080 (2016) - 2015
- [j10]Sylvain Hallé, Maxime Soucy-Boivin:
MapReduce for parallel trace validation of LTL properties. J. Cloud Comput. 4: 8 (2015) - [j9]Sylvain Hallé, Jason Vallet, Raphaël Tremblay-Lessard:
On piggyback runtime monitoring of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 17(2): 125-142 (2015) - [c57]Sylvain Hallé:
A Declarative Language Interpreter for CEP. EDOC Workshops 2015: 156-159 - [c56]Raphaël Khoury, Sylvain Hallé:
Runtime Enforcement with Partial Control. FPS 2015: 102-116 - [c55]Sylvain Hallé, Raphaël Khoury:
Runtime Monitoring of Stream Logic Formulae. FPS 2015: 251-258 - [c54]Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton:
Testing Web Applications Through Layout Constraints. ICST 2015: 1-8 - [c53]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: 1230-1233 - [c52]Sylvain Hallé, Edmond La Chance, Sébastien Gaboury:
Graph Methods for Generating Test Cases with Universal and Existential Constraints. ICTSS 2015: 55-70 - [c51]Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé:
A generalized monitor verdict for log trace triaging. PCODA@SANER 2015: 13-18 - [e6]Sylvain Hallé, Wolfgang Mayer, Aditya K. Ghose, Georg Grossmann:
19th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2015, Adelaide, Australia, September 21-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9203-7 [contents] - [e5]Jens Kolb, Barbara Weber, Sylvain Hallé, Wolfgang Mayer, Aditya K. Ghose, Georg Grossmann:
19th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2015, Adelaide, Australia, September 21-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9331-7 [contents] - [i1]Raphaël Khoury, Sylvain Hallé:
Runtime Enforcement With Partial Control. CoRR abs/1508.06525 (2015) - 2014
- [c50]Sylvain Hallé, Simon Varvaressos:
A Formalization of Complex Event Stream Processing. EDOC 2014: 2-11 - [c49]Gabriel Le Breton, Nicolas Bergeron, Sylvain Hallé:
A Reference Framework for the Automated Exploration of Web Applications. ICECCS 2014: 81-90 - [c48]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: 190-193 - [c47]Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. ICST 2014: 143-152 - [c46]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: 243-252 - [c45]Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche:
Solving Equations on Words with Morphisms and Antimorphisms. LATA 2014: 186-197 - [c44]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: 10-14 - [c43]Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé:
Portable Runtime Verification with Smartphones and Optical Codes. RV 2014: 80-84 - [e4]Georg Grossmann, Sylvain Hallé, Dimka Karastoyanova, Manfred Reichert, Stefanie Rinderle-Ma:
18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOC Workshops 2014, Ulm, Germany, September 1-2, 2014. IEEE Computer Society 2014 [contents] - 2013
- [j8]Sylvain Hallé:
Cooperative runtime monitoring. Enterp. Inf. Syst. 7(4): 395-423 (2013) - [j7]Alexandre Blondin Massé, Sarah Desmeules, Sébastien Gaboury, Sylvain Hallé:
Multipseudoperiodic Words. Int. J. Found. Comput. Sci. 24(7): 1153-1166 (2013) - [c42]Jason Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet:
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces. EDOC Workshops 2013: 275-284 - [c41]Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui:
Distributed firewall anomaly detection through LTL model checking. IM 2013: 194-201 - [c40]Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé:
Runtime Monitoring of Temporal Logic Properties in a Platform Game. RV 2013: 346-351 - [c39]Michaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Solving equations on words through boolean satisfiability. SAC 2013: 104-106 - [c38]Gabriel Le Breton, Fabien Maronnaud, Sylvain Hallé:
Automated exploration and analysis of ajax web applications with WebMole. WWW (Companion Volume) 2013: 245-248 - [e3]Ebrahim Bagheri, Dragan Gasevic, Sylvain Hallé, Marek Hatala, Hamid R. Motahari Nezhad, Manfred Reichert:
17th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Vancouver, BC, Canada, September 9-13, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-3048-7 [contents] - [e2]