Sylvain Hallé

Sort by

Latest

Most popular

Mutation Testing for Industrial Robotic Systems (FMAS 2025)

A Tree-Based Definition of Business Process Conformance (Talk @ EDOC 2024)

Monitoring Business Process Compliance Across Multiple Executions with Stream Processing

A Stream-Based Approach to Intrusion Detection

Event Stream Processing with BeepBeep 3

Smart Contracts-Enabled Simulation for Hyperconnected Logistics

Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning

Synthia: a Generic and Flexible Data Structure Generator (Long Version)

Test Sequence Generation with Cayley Graphs (Talk @ A-MOST 2021)

Efficient Offline Monitoring of LTL with Bit Vectors (Talk at SAC 2021)

A Generic Explainability Framework for Function Circuits

Detecting Responsive Web Design Bugs with Declarative Specifications

Streamlining the Inclusion of Computer Experiments in Research Papers

Writing Domain-Specific Languages for BeepBeep

Real-Time Data Mining for Event Streams