Sylvain Hallé

171 papers A* 2A 6B 41C 11Misc 5Journal 49Unranked 51
YearRankTypeTitle / Venue / Authors
2026 J jnl
From description to prescription: Unraveling log severity adjustments in open-source software.
J. Syst. Softw.
Eduardo Mendes, Marcelo Vasconcellos, Fábio Petrillo, Sylvain Hallé
2025 J jnl
A theory of fine-grained lineage for functions on structured objects.
Theor. Comput. Sci.
Sylvain Hallé, Hugo Tremblay
2025 J jnl
Is It Instrumentation? Evaluation of Validity Constraints in Smart Homes.
IEEE Internet Things J.
Rania Taleb, Roger Villemaire, Hubert Kenfack Ngankam, Sébastien Gaboury, Sylvain Hallé
2025 — conf
Mutation Testing for Industrial Robotic Systems.
FMAS@iFM
Marcela G. dos Santos, Sylvain Hallé, Fábio Petrillo
2025 Misc conf
Sanity Checks in Smart Home Sensor Streams.
SAC
Rania Taleb, Sylvain Hallé, Roger Villemaire, Sébastien Gaboury, Hubert Kenfack Ngankam
2025 J jnl
Testing Stream Programs from Pre/Post-models.
SN Comput. Sci.
Sylvain Hallé
2024 B conf
A Tree-Based Definition of Business Process Conformance.
EDOC
Sylvain Hallé
2024 J jnl
AAT4IRS: automated acceptance testing for industrial robotic systems.
Frontiers Robotics AI
Marcela G. dos Santos, Sylvain Hallé, Fábio Petrillo, Yann-Gaël Guéhéneuc
2024 J jnl
Column: Is Theory (Still) Welcome in Software Engineering Research?
ACM SIGSOFT Softw. Eng. Notes
Sylvain Hallé
2024 C conf
Distributed and Verifiable Digital Badges.
CRiSIS
Raphaël Khoury, Sylvain Hallé, Muni Venkateswarlu Kumaramangalam
2024 — conf
Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates.
WSESE@ICSE
Bianca Minetto Napoleão, Ritika Sarkar, Sylvain Hallé, Fábio Petrillo, Marcos Kalinowski
2024 J jnl
Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates.
CoRR
Bianca Minetto Napoleão, Ritika Sarkar, Sylvain Hallé, Fábio Petrillo, Marcos Kalinowski
2023 J jnl
A modular pipeline for enforcement of security properties at runtime.
Ann. des Télécommunications
Rania Taleb, Sylvain Hallé, Raphaël Khoury
2023 J jnl
An investigation of distributed computing for combinatorial testing.
Softw. Test. Verification Reliab.
Edmond La Chance, Sylvain Hallé
2023 A conf
Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing.
ISSRE
Chukri Soueidi, Yliès Falcone, Sylvain Hallé
2023 J jnl
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines.
Inf. Comput.
Alexis Bédard, Sylvain Hallé
2023 J jnl
LE2ML: a microservices-based machine learning workbench as part of an agnostic, reliable and scalable architecture for smart homes.
J. Ambient Intell. Humaniz. Comput.
Florentin Thullier, Sylvain Hallé, Sébastien Gaboury
2023 — conf
Leveraging Runtime Verification for the Monitoring of Digital Twins.
FMDT@FM
Sylvain Hallé, Chukri Soueidi, Yliès Falcone
2023 — conf
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing.
EDOC Workshops
Chukri Soueidi, Yliès Falcone, Sylvain Hallé
2023 J jnl
Uncertainty in runtime verification: A survey.
Comput. Sci. Rev.
Rania Taleb, Sylvain Hallé, Raphaël Khoury
2022 — conf
An approach to apply Automated Acceptance Testing for Industrial Robotic Systems.
IRC
Marcela G. dos Santos, Fábio Petrillo, Sylvain Hallé, Yann-Gaël Guéhéneuc
2022 J jnl
Are Backdoor Mandates Ethical? - A Position Paper.
IEEE Technol. Soc. Mag.
Raphaël Khoury, Sylvain Hallé
2022 B conf
SCAS-AI: A Strategy to Semi-Automate the Initial Selection Task in Systematic Literature Reviews.
SEAA
Fábio Octaviano, Kátia Romero Felizardo, Sandra C. P. F. Fabbri, Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
2022 — conf
Synthia: a Generic and Flexible Data Structure Generator.
ICSE-Companion
Marc-Antoine Plourde, Sylvain Hallé
2022 — conf
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning.
FormaliSE@ICSE
Sylvain Hallé
2022 B conf
Towards Continuous Systematic Literature Review in Software Engineering.
SEAA
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Marcos Kalinowski
2022 J jnl
Towards Continuous Systematic Literature Review in Software Engineering.
CoRR
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Marcos Kalinowski
2021 — conf
A Modular Runtime Enforcement Model Using Multi-traces.
FPS
Rania Taleb, Sylvain Hallé, Raphaël Khoury
2021 J jnl
A survey of malware detection in Android apps: Recommendations and perspectives for future research.
Comput. Sci. Rev.
Asma Razgallah, Raphaël Khoury, Sylvain Hallé, Kobra Khanmohammadi
2021 J jnl
An An Empirical Study of Web Page Structural Properties.
J. Web Eng.
Xavier Chamberland-Thibeault, Sylvain Hallé
2021 J jnl
Automata-based monitoring for LTL-FO
Int. J. Softw. Tools Technol. Transf.
Raphaël Khoury, Sylvain Hallé, Yannick Lebrun
2021 B conf
Automated Repair of Layout Bugs in Web Pages with Linear Programming.
ICWE
Stéphane Jacquet, Xavier Chamberland-Thibeault, Sylvain Hallé
2021 B conf
Automated Support for Searching and Selecting Evidence in Software Engineering: A Cross-domain Systematic Mapping.
SEAA
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
2021 J jnl
Computer Simulations of Scientific Peer Reviewing.
IEEE Access
Sylvain Hallé
2021 J jnl
Continuous Systematic Literature Review: An Approach for Open Science.
CoRR
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
2021 J jnl
Detecting trend deviations with generic stream processing patterns.
Inf. Syst.
Massiva Roudjane, Djamal Rebaïne, Raphaël Khoury, Sylvain Hallé
2021 B conf
Establishing a Search String to Detect Secondary Studies in Software Engineering.
SEAA
Bianca Minetto Napoleão, Kátia Romero Felizardo, Érica Ferreira de Souza, Fábio Petrillo, Sylvain Hallé, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa
2021 — conf
Foundations of Fine-Grained Explainability.
CAV (2)
Sylvain Hallé, Hugo Tremblay
2021 C conf
Model Checking of Stream Processing Pipelines.
TIME
Alexis Bédard, Sylvain Hallé
2021 Misc conf
Offline monitoring of LTL with bit vectors.
SAC
Kun Xie, Sylvain Hallé
2021 — conf
Runtime Verification Under Access Restrictions.
FormaliSE@ICSE
Rania Taleb, Raphaël Khoury, Sylvain Hallé
2021 — conf
Test Sequence Generation with Cayley Graphs.
ICST Workshops
Sylvain Hallé, Raphaël Khoury
2021 J jnl
The Botnet Simulator: A simulation tool for understanding the interaction between botnets.
Softw. Impacts
Benjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj
2021 J jnl
The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives.
J. Syst. Archit.
Benjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj
2020 — conf
A Generic Explainability Framework for Function Circuits.
TaPP
Sylvain Hallé, Hugo Tremblay
2020 J jnl
A Tertiary and Secondary Study Canvas.
CoRR
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
2020 — conf
An Analysis of the Use of CVEs by IoT Malware.
FPS
Raphaël Khoury, Benjamin Vignau, Sylvain Hallé, Abdelwahab Hamou-Lhadj, Asma Razgallah
2020 B conf
Detecting Responsive Web Design Bugs with Declarative Specifications.
ICWE
Oussama Beroual, Francis Guérin, Sylvain Hallé
2020 J jnl
Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors.
CoRR
Kun Xie, Sylvain Hallé
2020 B conf
Explainable Queries over Event Logs.
EDOC
Sylvain Hallé
2020 J jnl
Explainable Queries over Event Logs.
CoRR
Sylvain Hallé
2020 B conf
Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report.
SEAA
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
2020 B conf
Open Source Software Development Process: A Systematic Review.
EDOC
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
2020 J jnl
Open Source Software Development Process: A Systematic Review.
CoRR
Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé
2020 B conf
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem.
IFM
Stéphane Jacquet, Sylvain Hallé
2020 B conf
Structural Profiling of Web Sites in the Wild.
ICWE
Xavier Chamberland-Thibeault, Sylvain Hallé
2019 — conf
10 Years of IoT Malware: A Feature-Based Taxonomy.
QRS Companion
Benjamin Vignau, Raphaël Khoury, Sylvain Hallé
2019 C conf
Efficient Generation of Test Data with Extended Cardinality Constraints.
QRS
Michaël Larouche, Sylvain Hallé
2019 — conf
Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes.
GOODTECHS
Julien Maitre, Sylvain Hallé, Kévin Bouchard, Sébastien Gaboury
2019 J jnl
Establishing a Search String to Detect Secondary Studies in Software Engineering.
CoRR
Bianca Minetto Napoleão, Kátia Romero Felizardo, Érica Ferreira de Souza, Fábio Petrillo, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa, Sylvain Hallé
2019 J jnl
Improving Hyperconnected Logistics With Blockchains and Smart Contracts.
IT Prof.
Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil
2019 J jnl
Improving Hyperconnected Logistics with Blockchains and Smart Contracts.
CoRR
Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil
2019 B conf
Predictive Analytics for Event Stream Processing.
EDOC
Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé
2019 — conf
TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension.
ISSRE Workshops
Raphaël Khoury, Abdelwahab Hamou-Lhadj, Mohamed Ilyes Rahim, Sylvain Hallé, Fábio Petrillo
2018 — conf
A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Florentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury
2018 J jnl
Decentralized enforcement of document lifecycle constraints.
Inf. Syst.
Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
2018 B conf
Real-Time Data Mining for Event Streams.
EDOC
Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé
2018 J jnl
Streamlining the Inclusion of Computer Experiments In a Research Paper.
Computer
Sylvain Hallé, Raphaël Khoury, Mewena Awesso
2018 Misc conf
Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications.
IRI
Raphaël Khoury, Sylvain Hallé
2018 B conf
Writing Domain-Specific Languages for BeepBeep.
RV
Sylvain Hallé, Raphaël Khoury
2017 B ed.
21st IEEE International Enterprise Distributed Object Computing Conference, EDOC 2017, Quebec City, QC, Canada, October 10-13, 2017
EDOC
Sylvain Hallé, Roger Villemaire, Robert Lagerström
2017 — ed.
21st IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2017, Quebec City, QC, Canada, October 10-13, 2017
EDOC Workshops
Sylvain Hallé, Remco M. Dijkman, James Lapalme
2017 J jnl
A Declarative Approach to Network Device Configuration Correctness.
J. Netw. Syst. Manag.
Eric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé
2017 — conf
A Few Things We Heard About RV Tools (Position Paper).
RV-CuBES
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
2017 — conf
A position-independent method for soil types recognition using inertial data from a wearable device.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Florentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury
2017 J jnl
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.
Comput. Entertain.
Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
2017 — conf
Event Stream Processing with BeepBeep 3.
RV-CuBES
Sylvain Hallé, Raphaël Khoury
2017 B conf
Event Stream Processing with Multiple Threads.
RV
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
2017 J jnl
Event Stream Processing with Multiple Threads.
CoRR
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
2017 J jnl
From Complex Event Processing to Simple Event Processing.
CoRR
Sylvain Hallé
2017 A conf
LabPal: repeatable computer experiments made easy.
ISSTA
Sylvain Hallé
2017 — conf
Monitoring of Security Properties Using BeepBeep.
FPS
Mohamed Recem Boussaha, Raphaël Khoury, Sylvain Hallé
2017 B conf
Runtime Verification of User Interface Guidelines in Mobile Devices.
RV
Chafik Meniar, Florence Opalvens, Sylvain Hallé
2017 A conf
SealTest: a simple library for test sequence generation.
ISSTA
Sylvain Hallé, Raphaël Khoury
2017 — conf
Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers.
SBST@ICSE
Oussama Beroual, Francis Guerin, Sylvain Hallé
2016 — conf
A glue language for event stream processing.
IEEE BigData
Sylvain Hallé, Sébastien Gaboury, Raphaël Khoury
2016 — conf
Activity Recognition Through Complex Event Processing: First Findings.
AAAI Workshop: Artificial Intelligence Applied to Assistive Technologies and Smart Environments
Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard
2016 J jnl
An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report.
CoRR
Yannick Lebrun, Raphaël Khoury, Sylvain Hallé
2016 B conf
Decentralized Enforcement of Artifact Lifecycles.
EDOC
Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone
2016 J jnl
Declarative layout constraints for testing web applications.
J. Log. Algebraic Methods Program.
Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton, Oussama Beroual
2016 — conf
Execution Trace Analysis Using LTL-FO ^+.
ISoLA (2)
Raphaël Khoury, Sylvain Hallé, Omar Waldmann
2016 — conf
Fault Localization in Web Applications via Model Finding.
CREST
Sylvain Hallé, Oussama Beroual
2016 J jnl
Real-Time Streaming Communication With Optical Codes.
IEEE Access
Kun Xie, Sébastien Gaboury, Sylvain Hallé
2016 B conf
Third International Competition on Runtime Verification - CRV 2016.
RV
Giles Reger, Sylvain Hallé, Yliès Falcone
2016 — conf
Three Views of Log Trace Triaging.
FPS
Raphaël Khoury, Sébastien Gaboury, Sylvain Hallé
2016 — conf
Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing.
PETRA
Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard
2016 B conf
When RV Meets CEP.
RV
Sylvain Hallé
2015 B ed.
19th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2015, Adelaide, Australia, September 21-25, 2015
EDOC
Sylvain Hallé, Wolfgang Mayer, Aditya K. Ghose, Georg Grossmann
2015 — ed.
19th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2015, Adelaide, Australia, September 21-25, 2015
EDOC Workshops
Jens Kolb, Barbara Weber, Sylvain Hallé, Wolfgang Mayer, Aditya K. Ghose, Georg Grossmann
2015 — conf
A Declarative Language Interpreter for CEP.
EDOC Workshops
Sylvain Hallé
2015 B conf
A data model for management of network device configuration heterogeneity.
IM
Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher
2015 — conf
A generalized monitor verdict for log trace triaging.
PCODA@SANER
Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
2015 C conf
Graph Methods for Generating Test Cases with Universal and Existential Constraints.
ICTSS
Sylvain Hallé, Edmond La Chance, Sébastien Gaboury
2015 J jnl
MapReduce for parallel trace validation of LTL properties.
J. Cloud Comput.
Sylvain Hallé, Maxime Soucy-Boivin
2015 J jnl
On piggyback runtime monitoring of object-oriented programs.
Int. J. Softw. Tools Technol. Transf.
Sylvain Hallé, Jason Vallet, Raphaël Tremblay-Lessard
2015 J jnl
Runtime Enforcement With Partial Control.
CoRR
Raphaël Khoury, Sylvain Hallé
2015 — conf
Runtime Enforcement with Partial Control.
FPS
Raphaël Khoury, Sylvain Hallé
2015 — conf
Runtime Monitoring of Stream Logic Formulae.
FPS
Sylvain Hallé, Raphaël Khoury
2015 A conf
Testing Web Applications Through Layout Constraints.
ICST
Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton
2014 — ed.
18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOC Workshops 2014, Ulm, Germany, September 1-2, 2014
EDOC Workshops
Georg Grossmann, Sylvain Hallé, Dimka Karastoyanova, Manfred Reichert, Stefanie Rinderle-Ma
2014 B conf
A Formalization of Complex Event Stream Processing.
EDOC
Sylvain Hallé, Simon Varvaressos
2014 B conf
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness.
ICECCS
Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher
2014 B conf
A Reference Framework for the Automated Exploration of Web Applications.
ICECCS
Gabriel Le Breton, Nicolas Bergeron, Sylvain Hallé
2014 A conf
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.
ICST
Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé
2014 — conf
Exhaustive Exploration of Ajax Web Applications with Selective Jumping.
ICST Workshops
Sylvain Hallé, Gabriel Le Breton, Fabien Maronnaud, Alexandre Blondin Massé, Sébastien Gaboury
2014 B conf
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces.
RV
Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé
2014 B conf
Portable Runtime Verification with Smartphones and Optical Codes.
RV
Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé
2014 C conf
Solving Equations on Words with Morphisms and Antimorphisms.
LATA
Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche
2013 — ed.
17th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Vancouver, BC, Canada, September 9-13, 2013
EDOC Workshops
Ebrahim Bagheri, Dragan Gasevic, Sylvain Hallé, Marek Hatala, Hamid R. Motahari Nezhad, Manfred Reichert
2013 — conf
Automated exploration and analysis of ajax web applications with WebMole.
WWW (Companion Volume)
Gabriel Le Breton, Fabien Maronnaud, Sylvain Hallé
2013 J jnl
Cooperative runtime monitoring.
Enterp. Inf. Syst.
Sylvain Hallé
2013 B conf
Distributed firewall anomaly detection through LTL model checking.
IM
Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui
2013 J jnl
Multipseudoperiodic Words.
Int. J. Found. Comput. Sci.
Alexandre Blondin Massé, Sarah Desmeules, Sébastien Gaboury, Sylvain Hallé
2013 — ed.
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, Lugano, Switzerland, July 15, 2013
QASBA@ISSTA
Domenico Bianculli, Sam Guinea, Sylvain Hallé, Andrea Polini
2013 B conf
Runtime Monitoring of Temporal Logic Properties in a Platform Game.
RV
Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé
2013 Misc conf
Solving equations on words through boolean satisfiability.
SAC
Michaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé
2013 — conf
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces.
EDOC Workshops
Jason Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet
2012 — conf
A Case for "Piggyback" Runtime Monitoring.
ISoLA (1)
Sylvain Hallé, Raphaël Tremblay-Lessard
2012 J jnl
A Logical Approach to Data-Aware Automated Sequence Generation.
Trans. Comput. Sci.
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca
2012 A conf
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments.
ICST
Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé
2012 B conf
BabelTrace: A Collection of Transducers for Trace Validation.
RV
Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet
2012 — conf
Constraint-based invocation of stateful web services: The beep store (case study).
PESOS@ICSE
Sylvain Hallé, Roger Villemaire
2012 B conf
Firewall anomaly detection with a model checker for visibility logic.
NOMS
Bassam Khorchani, Sylvain Hallé, Roger Villemaire
2012 B conf
MapReduce for Parallel Trace Validation of LTL Properties.
RV
Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé
2012 C conf
Pseudoperiodic Words.
Developments in Language Theory
Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé
2012 J jnl
Reasoning about visibility.
J. Appl. Log.
Roger Villemaire, Sylvain Hallé
2012 J jnl
Runtime Enforcement of Web Service Message Contracts with Data.
IEEE Trans. Serv. Comput.
Sylvain Hallé, Roger Villemaire
2012 — conf
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications.
WS-FM
Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé
2012 B conf
Towards a semantic virtualization of configurations.
NOMS
Sylvain Hallé, Omar Cherkaoui, Petko Valtchev
2012 B conf
ValidMaker: A tool for managing device configurations using logical constraints.
NOMS
Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire
2011 B conf
Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit".
EDOC
Sylvain Hallé
2011 J jnl
Guest Editorial.
J. Res. Pract. Inf. Technol.
Dragan Gasevic, Georg Grossmann, Sylvain Hallé
2011 — conf
Message from the EVL-BP 2011 Workshop Chairs.
EDOCW
Dragan Gasevic, Georg Grossmann, Sylvain Hallé, Florian Rosenberg
2011 B conf
Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications.
ICECCS
Sylvain Hallé
2010 — conf
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.
WS-FM
Sylvain Hallé
2010 B conf
Cooperative Runtime Monitoring of LTL Interface Contracts.
EDOC
Sylvain Hallé
2010 A* conf
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines.
ASE
Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan
2010 — ed.
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010.
TAV-WEB
Gwen Salaün, Xiang Fu, Sylvain Hallé
2010 — conf
Realizability analysis for message-based interactions using shared-state projections.
SIGSOFT FSE
Sylvain Hallé, Tevfik Bultan
2010 B conf
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications.
RV
Sylvain Hallé, Roger Villemaire
2010 J jnl
Runtime Verification of Web Service Interface Contracts.
Computer
Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire
2009 A* conf
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep.
CAV
Sylvain Hallé, Roger Villemaire
2009 — conf
Dynamic and declarative business processes.
EDOCW
Dragan Gasevic, Georg Grossmann, Sylvain Hallé
2009 — conf
Flexible and reliable messaging using runtime monitoring.
EDOCW
Sylvain Hallé, Roger Villemaire
2009 — conf
Generating Interface Grammars from WSDL for Automated Verification of Web Services.
ICSOC/ServiceWave
Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf
2009 Misc conf
Runtime monitoring of web service choreographies using streaming XML.
SAC
Sylvain Hallé, Roger Villemaire
2009 J jnl
Specifying and Validating Data-Aware Temporal Web Service Properties.
IEEE Trans. Software Eng.
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui
2009 C conf
Strong Temporal, Weak Spatial Logic for Rule Based Filters.
TIME
Roger Villemaire, Sylvain Hallé
2008 B conf
Runtime Monitoring of Message-Based Workflows with Data.
EDOC
Sylvain Hallé, Roger Villemaire
2008 C conf
Satisfying a Fragment of XQuery by Branching-Time Reduction.
TIME
Sylvain Hallé, Roger Villemaire
2008 — conf
XML Methods for Validation of Temporal Properties on Message Traces with Data.
OTM Conferences (1)
Sylvain Hallé, Roger Villemaire
2007 — conf
Extending Model Checking to Data-Aware Temporal Properties of Web Services.
WS-FM
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour
2007 B conf
Model Checking Data-Aware Workflow Properties with CTL-FO+.
EDOC
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour
2006 C conf
An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets.
ICMLA
Sylvain Hallé
2006 C conf
CTL Model Checking for Labelled Tree Queries.
TIME
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui
2006 — conf
Self-configuration of Network Devices with Configuration Logic.
Autonomic Networking
Sylvain Hallé, Eric P. Wenaas, Roger Villemaire, Omar Cherkaoui
2005 C conf
Configuration Logic: A Multi-site Modal Logic.
TIME
Roger Villemaire, Sylvain Hallé, Omar Cherkaoui
2005 — conf
Modelling the Temporal Aspects of Network Configurations.
Net-Con
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche
2005 — conf
Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning.
MICAI
Sylvain Hallé
2004 — conf
A Formal Validation Model for the Netconf Protocol.
DSOM
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche
2004 — conf
Automated Validation of Service Configuration on Network Devices.
MMNS
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire