default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSylvain 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]Domenico Bianculli, Sam Guinea, Sylvain Hallé, Andrea Polini:
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. ACM 2013, ISBN 978-1-4503-2182-2 [contents] - 2012
- [j6]Roger Villemaire, Sylvain Hallé:
Reasoning about visibility. J. Appl. Log. 10(2): 163-178 (2012) - [j5]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca:
A Logical Approach to Data-Aware Automated Sequence Generation. Trans. Comput. Sci. 15: 192-216 (2012) - [j4]Sylvain Hallé, Roger Villemaire:
Runtime Enforcement of Web Service Message Contracts with Data. IEEE Trans. Serv. Comput. 5(2): 192-206 (2012) - [c37]Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Pseudoperiodic Words. Developments in Language Theory 2012: 308-319 - [c36]Sylvain Hallé, Roger Villemaire:
Constraint-based invocation of stateful web services: The beep store (case study). PESOS@ICSE 2012: 61-62 - [c35]Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé:
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. ICST 2012: 499-508 - [c34]Sylvain Hallé, Raphaël Tremblay-Lessard:
A Case for "Piggyback" Runtime Monitoring. ISoLA (1) 2012: 295-311 - [c33]Bassam Khorchani, Sylvain Hallé, Roger Villemaire:
Firewall anomaly detection with a model checker for visibility logic. NOMS 2012: 466-469 - [c32]Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire:
ValidMaker: A tool for managing device configurations using logical constraints. NOMS 2012: 1111-1118 - [c31]Sylvain Hallé, Omar Cherkaoui, Petko Valtchev:
Towards a semantic virtualization of configurations. NOMS 2012: 1268-1271 - [c30]Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet:
BabelTrace: A Collection of Transducers for Trace Validation. RV 2012: 126-130 - [c29]Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé:
MapReduce for Parallel Trace Validation of LTL Properties. RV 2012: 184-198 - [c28]Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé:
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. WS-FM 2012: 103-117 - 2011
- [j3]Dragan Gasevic, Georg Grossmann, Sylvain Hallé:
Guest Editorial. J. Res. Pract. Inf. Technol. 43(1): 1-4 (2011) - [c27]Dragan Gasevic, Georg Grossmann, Sylvain Hallé, Florian Rosenberg:
Message from the EVL-BP 2011 Workshop Chairs. EDOCW 2011: 143-145 - [c26]Sylvain Hallé:
Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit". EDOC 2011: 171-180 - [c25]Sylvain Hallé:
Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. ICECCS 2011: 95-104 - 2010
- [j2]Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire:
Runtime Verification of Web Service Interface Contracts. Computer 43(3): 59-66 (2010) - [c24]Sylvain Hallé:
Cooperative Runtime Monitoring of LTL Interface Contracts. EDOC 2010: 227-236 - [c23]Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan:
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. ASE 2010: 235-244 - [c22]Sylvain Hallé, Roger Villemaire:
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. RV 2010: 106-121 - [c21]Sylvain Hallé, Tevfik Bultan:
Realizability analysis for message-based interactions using shared-state projections. SIGSOFT FSE 2010: 27-36 - [c20]Sylvain Hallé:
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. WS-FM 2010: 42-55 - [e1]Gwen Salaün, Xiang Fu, Sylvain Hallé:
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010. EPTCS 35, 2010 [contents]
2000 – 2009
- 2009
- [j1]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Trans. Software Eng. 35(5): 669-683 (2009) - [c19]Sylvain Hallé, Roger Villemaire:
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. CAV 2009: 648-653 - [c18]Dragan Gasevic, Georg Grossmann, Sylvain Hallé:
Dynamic and declarative business processes. EDOCW 2009: 1-4 - [c17]Sylvain Hallé, Roger Villemaire:
Flexible and reliable messaging using runtime monitoring. EDOCW 2009: 116-125 - [c16]Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf:
Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave 2009: 516-530 - [c15]Sylvain Hallé, Roger Villemaire:
Runtime monitoring of web service choreographies using streaming XML. SAC 2009: 2118-2125 - [c14]Roger Villemaire, Sylvain Hallé:
Strong Temporal, Weak Spatial Logic for Rule Based Filters. TIME 2009: 115-121 - 2008
- [c13]Sylvain Hallé, Roger Villemaire:
Runtime Monitoring of Message-Based Workflows with Data. EDOC 2008: 63-72 - [c12]Sylvain Hallé, Roger Villemaire:
XML Methods for Validation of Temporal Properties on Message Traces with Data. OTM Conferences (1) 2008: 337-353 - [c11]Sylvain Hallé, Roger Villemaire:
Satisfying a Fragment of XQuery by Branching-Time Reduction. TIME 2008: 72-76 - 2007
- [c10]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour:
Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278 - [c9]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour:
Extending Model Checking to Data-Aware Temporal Properties of Web Services. WS-FM 2007: 31-45 - 2006
- [c8]Sylvain Hallé:
An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. ICMLA 2006: 43-47 - [c7]Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui:
Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49 - [c6]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35 - 2005
- [c5]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche:
Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282 - [c4]Sylvain Hallé:
Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. MICAI 2005: 425-434 - [c3]Roger Villemaire, Sylvain Hallé, Omar Cherkaoui:
Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137 - 2004
- [c2]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche:
A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158 - [c1]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire:
Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
