Sylvain Hallé - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Sylvain Hallé' as author, editor, or advisor:

A generalized monitor verdict for log trace triagingSimon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé. WCRE 2015: 13-18 [doi]
21st IEEE International Enterprise Distributed Object Computing Conference, EDOC 2017, Quebec City, QC, Canada, October 10-13, 2017Sylvain Hallé, Roger Villemaire, Robert Lagerström, editors, IEEE Computer Society, 2017. [doi]
LabPal: repeatable computer experiments made easySylvain Hallé. ISSTA 2017: 404-407 [doi]
Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart HomesJulien Maitre, Sylvain Hallé, Kévin Bouchard, Sébastien Gaboury. goodtechs 2019: 43-48 [doi]
Automated exploration and analysis of ajax web applications with WebMoleGabriel Le Breton, Fabien Maronnaud, Sylvain Hallé. WWW 2013: 245-248 [doi]
18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOC Workshops 2014, Ulm, Germany, September 1-2, 2014Georg Grossmann, Sylvain Hallé, Dimka Karastoyanova, Manfred Reichert, Stefanie Rinderle-Ma, editors, IEEE, 2014. [doi]
A survey of malware detection in Android apps: Recommendations and perspectives for future researchAsma Razgallah, Raphaël Khoury, Sylvain Hallé, Kobra Khanmohammadi. csr, 39:100358, 2021. [doi]
Runtime Monitoring of Stream Logic FormulaeSylvain Hallé, Raphaël Khoury. fps 2016: 251-258 [doi]
Are Backdoor Mandates Ethical? - A Position PaperRaphaël Khoury, Sylvain Hallé. tasm, 41(4):63-70, 2022. [doi]
A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types RecognitionFlorentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury. uic 2018: 1052-1056 [doi]
An investigation of distributed computing for combinatorial testingEdmond La Chance, Sylvain Hallé. stvr, 33(4), June 2023. [doi]
A glue language for event stream processingSylvain Hallé, Sébastien Gaboury, Raphaël Khoury. bigdataconf 2016: 2384-2391 [doi]
A Modular Runtime Enforcement Model Using Multi-tracesRania Taleb, Sylvain Hallé, Raphaël Khoury. fps 2022: 283-302 [doi]
Towards Continuous Systematic Literature Review in Software EngineeringBianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Marcos Kalinowski. euromicro 2022: 467-474 [doi]
Open Source Software Development Process: A Systematic ReviewBianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé. edoc 2020: 135-144 [doi]
A Formalization of Complex Event Stream ProcessingSylvain Hallé, Simon Varvaressos. edoc 2014: 2-11 [doi]
Automated Support for Searching and Selecting Evidence in Software Engineering: A Cross-domain Systematic MappingBianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé. euromicro 2021: 45-53 [doi]
Decentralized enforcement of document lifecycle constraintsSylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone. is, 74(Part):117-135, 2018. [doi]
A Case for "Piggyback" Runtime MonitoringSylvain Hallé, Raphaël Tremblay-Lessard. ISoLA 2012: 295-311 [doi]
Runtime Verification of User Interface Guidelines in Mobile DevicesChafik Meniar, Florence Opalvens, Sylvain Hallé. RV 2017: 410-415 [doi]
Real-Time Streaming Communication With Optical CodesKun Xie, Sébastien Gaboury, Sylvain Hallé. access, 4:284-298, 2016. [doi]
Automated Generation of Web Service Stubs Using LTL Satisfiability SolvingSylvain Hallé. wsfm 2011: 42-55 [doi]
When RV Meets CEPSylvain Hallé. RV 2016: 68-91 [doi]
21st IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2017, Quebec City, QC, Canada, October 10-13, 2017Sylvain Hallé, Remco M. Dijkman, James Lapalme, editors, IEEE Computer Society, 2017. [doi]
Test Suite Generation for Boolean Conditions with Equivalence Class PartitioningSylvain Hallé. icse-formalise 2022: 23-33 [doi]
Cooperative Runtime Monitoring of LTL Interface ContractsSylvain Hallé. edoc 2010: 227-236 [doi]
Event Stream Processing with BeepBeep 3Sylvain Hallé, Raphaël Khoury. RV 2017: 81-88 [doi]
Event Stream Processing with Multiple ThreadsSylvain Hallé, Raphaël Khoury, Sébastien Gaboury. RV 2017: 359-369 [doi]
Distributed firewall anomaly detection through LTL model checkingSylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui. im 2013: 194-201 [doi]
Runtime Verification Under Access RestrictionsRania Taleb, Raphaël Khoury, Sylvain Hallé. ICSE 2021: 31-41 [doi]
The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectivesBenjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj. jsa, 116:102143, 2021. [doi]
Graph Methods for Generating Test Cases with Universal and Existential ConstraintsSylvain Hallé, Edmond La Chance, Sébastien Gaboury. pts 2015: 55-70 [doi]
Leveraging Runtime Verification for the Monitoring of Digital TwinsSylvain Hallé, Chukri Soueidi, Yliès Falcone. FM 2023: [doi]
Towards a semantic virtualization of configurationsSylvain Hallé, Omar Cherkaoui, Petko Valtchev. noms 2012: 1268-1271 [doi]
Model-Based Simulation of SOAP Web Services from Temporal Logic SpecificationsSylvain Hallé. ICECCS 2011: 95-104 [doi]
Test Sequence Generation with Cayley GraphsSylvain Hallé, Raphaël Khoury. icst 2021: 182-191 [doi]
Cooperative runtime monitoringSylvain Hallé. eis, 7(4):395-423, 2013. [doi]
A Generic Explainability Framework for Function CircuitsSylvain Hallé, Hugo Tremblay. tapp 2020: [doi]
A Reference Framework for the Automated Exploration of Web ApplicationsGabriel Le Breton, Nicolas Bergeron, Sylvain Hallé. ICECCS 2014: 81-90 [doi]
MapReduce for Parallel Trace Validation of LTL PropertiesBenjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé. RV 2013: 184-198 [doi]
Efficient Generation of Test Data with Extended Cardinality ConstraintsMichaël Larouche, Sylvain Hallé. qrs 2019: 386-393 [doi]
Firewall anomaly detection with a model checker for visibility logicBassam Khorchani, Sylvain Hallé, Roger Villemaire. noms 2012: 466-469 [doi]
A Few Things We Heard About RV Tools (Position Paper)Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury. RV 2017: 89-95 [doi]
Runtime Monitoring of Temporal Logic Properties in a Platform GameSimon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé. RV 2013: 346-351 [doi]
Explainable Queries over Event LogsSylvain Hallé. edoc 2020: 171-180 [doi]
Monitoring of Security Properties Using BeepBeepMohamed Recem Boussaha, Raphaël Khoury, Sylvain Hallé. fps 2018: 160-169 [doi]
Automated Bug Finding in Video Games: A Case Study for Runtime MonitoringSimon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé. cie, 15(1), 2017. [doi]
Pseudoperiodic WordsAlexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé. dlt 2012: 308-319 [doi]
Declarative layout constraints for testing web applicationsSylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton, Oussama Beroual. jlp, 85(5):737-758, 2016. [doi]
SealTest: a simple library for test sequence generationSylvain Hallé, Raphaël Khoury. ISSTA 2017: 392-395 [doi]
Runtime Enforcement with Partial ControlRaphaël Khoury, Sylvain Hallé. fps 2016: 102-116 [doi]
Improving Hyperconnected Logistics With Blockchains and Smart ContractsQuentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil. itpro, 21(4):25-32, 2019. [doi]
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelinesAlexis Bédard, Sylvain Hallé. iandc, 293:105058, August 2023. [doi]
A Declarative Language Interpreter for CEPSylvain Hallé. edoc 2015: 156-159 [doi]
Solving equations on words through boolean satisfiabilityMichaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé. SAC 2013: 104-106 [doi]
Reasoning about visibilityRoger Villemaire, Sylvain Hallé. japll, 10(2):163-178, 2012. [doi]
Dynamic and declarative business processesDragan Gasevic, Georg Grossmann, Sylvain Hallé. edoc 2009: 1-4 [doi]
Solving Equations on Words with Morphisms and AntimorphismsAlexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche. LATA 2014: 186-197 [doi]
Dynamic Program Analysis with Flexible Instrumentation and Complex Event ProcessingChukri Soueidi, Yliès Falcone, Sylvain Hallé. issre 2023: 742-751 [doi]
A position-independent method for soil types recognition using inertial data from a wearable deviceFlorentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury. uic 2017: 1-10 [doi]
A Declarative Approach to Network Device Configuration CorrectnessEric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé. jnsm, 25(1):180-209, 2017. [doi]
Foundations of Fine-Grained ExplainabilitySylvain Hallé, Hugo Tremblay. cav 2021: 500-523 [doi]
LE2ML: a microservices-based machine learning workbench as part of an agnostic, reliable and scalable architecture for smart homesFlorentin Thullier, Sylvain Hallé, Sébastien Gaboury. jaihc, 14(6):6563-6584, 2023. [doi]
A Lazy Evaluation Strategy for Assessing Network Device Configuration CorrectnessEric Lunaud Ngoupe, Sylvain Stoesel, Clement Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher. ICECCS 2014: 190-193 [doi]
Constraint-based invocation of stateful web services: The beep store (case study)Sylvain Hallé, Roger Villemaire. ICSE 2012: 61-62 [doi]
Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience ReportKatia Romero Felizardo, Érica Ferreira de Souza, Tamiris Malacrida, Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa. euromicro 2020: 471-478 [doi]
A modular pipeline for enforcement of security properties at runtimeRania Taleb, Sylvain Hallé, Raphaël Khoury. adt, 78(7-8):429-457, August 2023. [doi]
Activity Recognition Through Complex Event Processing: First FindingsSylvain Hallé, Sébastien Gaboury, Bruno Bouchard. AAAI 2016: [doi]
Multipseudoperiodic WordsAlexandre Blondin Massé, Sarah Desmeules, Sébastien Gaboury, Sylvain Hallé. ijfcs, 24(7):1153-1166, 2013. [doi]
Offline monitoring of LTL with bit vectorsKun Xie, Sylvain Hallé. SAC 2021: 1833-1836 [doi]
Streamlining the Inclusion of Computer Experiments In a Research PaperSylvain Hallé, Raphaël Khoury, Mewena Awesso. Computer, 51(11):78-89, 2018. [doi]
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution TracesSimon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé. RV 2014: 10-14 [doi]
TRIADE A Three-Factor Trace Segmentation Method to Support Program ComprehensionRaphaël Khoury, Abdelwahab Hamou-Lhadj, Mohamed Ilyes Rahim, Sylvain Hallé, Fábio Petrillo. issre 2019: 406-413 [doi]
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web ApplicationsGuillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé. wsfm 2013: 103-117 [doi]
Detecting Responsive Web Design Bugs with Declarative SpecificationsOussama Beroual, Francis Guérin, Sylvain Hallé. ICWE 2020: 3-18 [doi]
Third International Competition on Runtime Verification - CRV 2016Giles Reger, Sylvain Hallé, Yliès Falcone. RV 2016: 21-37 [doi]
MapReduce for parallel trace validation of LTL propertiesSylvain Hallé, Maxime Soucy-Boivin. jcloudc, 4:8, 2015. [doi]
Portable Runtime Verification with Smartphones and Optical CodesKim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé. RV 2014: 80-84 [doi]
Message from the EVL-BP 2011 Workshop ChairsDragan Gasevic, Georg Grossmann, Sylvain Hallé, Florian Rosenberg. edoc 2011: 143-145 [doi]
An Analysis of the Use of CVEs by IoT MalwareRaphaël Khoury, Benjamin Vignau, Sylvain Hallé, Abdelwahab Hamou-Lhadj, Asma Razgallah. fps 2021: 47-62 [doi]
Writing Domain-Specific Languages for BeepBeepSylvain Hallé, Raphaël Khoury. RV 2018: 447-457 [doi]
Computer Simulations of Scientific Peer ReviewingSylvain Hallé. access, 9:111595-111607, 2021. [doi]
Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL SpecificationsRaphaël Khoury, Sylvain Hallé. iri 2018: 495-502 [doi]
Model Checking of Stream Processing PipelinesAlexis Bédard, Sylvain Hallé. time 2021: [doi]
Monitoring Business Process Compliance Across Multiple Executions with Stream ProcessingChukri Soueidi, Yliès Falcone, Sylvain Hallé. edoc 2024: 247-264 [doi]
An An Empirical Study of Web Page Structural PropertiesXavier Chamberland-Thibeault, Sylvain Hallé. jwe, 20(4):971-1002, 2021. [doi]
19th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2015, Adelaide, Australia, September 21-25, 2015Sylvain Hallé, Wolfgang Mayer, editors, IEEE Computer Society, 2015. [doi]
On piggyback runtime monitoring of object-oriented programsSylvain Hallé, Jason Vallet, Raphaël Tremblay-Lessard. STTT, 17(2):125-142, 2015. [doi]
ValidMaker: A tool for managing device configurations using logical constraintsSylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire. noms 2012: 1111-1118 [doi]
Realizability analysis for message-based interactions using shared-state projectionsSylvain Hallé, Tevfik Bultan. FSE 2010: 27-36 [doi]
Establishing a Search String to Detect Secondary Studies in Software EngineeringBianca Minetto Napoleão, Katia Romero Felizardo, Érica Ferreira de Souza, Fábio Petrillo, Sylvain Hallé, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa. euromicro 2021: 9-16 [doi]
+Raphaël Khoury, Sylvain Hallé, Yannick Lebrun. STTT, 23(2):137-154, 2021. [doi]
Automated Bug Finding in Video Games: A Case Study for Runtime MonitoringSimon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé. icst 2014: 143-152 [doi]
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, Lugano, Switzerland, July 15, 2013Domenico Bianculli, Sam Guinea, Sylvain Hallé, Andrea Polini, editors, ACM, 2013. [doi]
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event TracesJason Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet. edoc 2013: 275-284 [doi]
Exhaustive Exploration of Ajax Web Applications with Selective JumpingSylvain Hallé, Gabriel Le Breton, Fabien Maronnaud, Alexandre Blondin Massé, Sébastien Gaboury. icst 2014: 243-252 [doi]
Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit"Sylvain Hallé. edoc 2011: 171-180 [doi]
The Botnet Simulator: A simulation tool for understanding the interaction between botnetsBenjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj. simpa, 10:100173, 2021. [doi]
Searching for Behavioural Bugs with Stateful Test Oracles in Web CrawlersOussama Beroual, Francis Guerin, Sylvain Hallé. ICSE 2017: 7-13 [doi]
Guest EditorialDragan Gasevic, Georg Grossmann, Sylvain Hallé. acj, 43(1):1-4, 2011. [doi]
Runtime Enforcement of Web Service Message Contracts with DataSylvain Hallé, Roger Villemaire. tsc, 5(2):192-206, 2012. [doi]
Execution Trace Analysis Using LTL-FO ^+Raphaël Khoury, Sylvain Hallé, Omar Waldmann. ISoLA 2016: 356-362 [doi]
Three Views of Log Trace TriagingRaphaël Khoury, Sébastien Gaboury, Sylvain Hallé. fps 2017: 179-195 [doi]
SCAS-AI: A Strategy to Semi-Automate the Initial Selection Task in Systematic Literature ReviewsFábio Octaviano, Katia Romero Felizardo, Sandra C. P. F. Fabbri, Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé. euromicro 2022: 483-490 [doi]
BabelTrace: A Collection of Transducers for Trace ValidationAouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet. RV 2013: 126-130 [doi]
Flexible and reliable messaging using runtime monitoringSylvain Hallé, Roger Villemaire. edoc 2009: 116-125 [doi]
Towards User Activity Recognition Through Energy Usage Analysis And Complex Event ProcessingSylvain Hallé, Sébastien Gaboury, Bruno Bouchard 0001. petra 2016: 3 [doi]
Decentralized Enforcement of Artifact LifecyclesSylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone. edoc 2016: 1-10 [doi]
Synthia: a Generic and Flexible Data Structure GeneratorMarc-Antoine Plourde, Sylvain Hallé. ICSE 2022: 207-211 [doi]
Predictive Analytics for Event Stream ProcessingMassiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé. edoc 2019: 171-182 [doi]
Reformulation of SAT into a Polynomial Box-Constrained Optimization ProblemStéphane Jacquet, Sylvain Hallé. IFM 2020: 387-394 [doi]
Uncertainty in runtime verification: A surveyRania Taleb, Sylvain Hallé, Raphaël Khoury. csr, 50:100594, November 2023. [doi]
Real-Time Data Mining for Event StreamsMassiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé. edoc 2018: 123-134 [doi]
10 Years of IoT Malware: A Feature-Based TaxonomyBenjamin Vignau, Raphaël Khoury, Sylvain Hallé. qrs 2019: 458-465 [doi]
A Logical Approach to Data-Aware Automated Sequence GenerationSylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca. tcos, 15:192-216, 2012. [doi]
Structural Profiling of Web Sites in the WildXavier Chamberland-Thibeault, Sylvain Hallé. ICWE 2020: 27-34 [doi]
A Runtime Monitoring Framework for Event Streams with Non-primitive ArgumentsJérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé. icst 2012: 499-508 [doi]
Automated Repair of Layout Bugs in Web Pages with Linear ProgrammingStéphane Jacquet, Xavier Chamberland-Thibeault, Sylvain Hallé. ICWE 2021: 423-439 [doi]
Detecting trend deviations with generic stream processing patternsMassiva Roudjane, Djamal Rebaïne, Raphaël Khoury, Sylvain Hallé. is, 101:101446, 2021. [doi]
A data model for management of network device configuration heterogeneityEric Lunaud Ngoupe, Sylvain Stoesel, Clement Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher. im 2015: 1230-1233 [doi]
Testing Web Applications Through Layout ConstraintsSylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton. icst 2015: 1-8 [doi]
A Logical Approach to Data-Aware Automated Sequence GenerationHallé, S., Villemaire, R., Omar Cherkaoui, O., Deca, R.. , 2011.

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Sylvain Hallé's Profile

Unidentified Publications