Sylvain Hallé, profile picture

Sylvain Hallé

48 Slideshow
Sort by
Mutation Testing for Industrial Robotic Systems (FMAS 2025)
bySylvain Hallé
 
A Tree-Based Definition of Business Process Conformance (Talk @ EDOC 2024)
bySylvain Hallé
 
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing
bySylvain Hallé
 
A Stream-Based Approach to Intrusion Detection
bySylvain Hallé
 
Event Stream Processing with BeepBeep 3
bySylvain Hallé
 
Smart Contracts-Enabled Simulation for Hyperconnected Logistics
bySylvain Hallé
 
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning
bySylvain Hallé
 
Synthia: a Generic and Flexible Data Structure Generator (Long Version)
bySylvain Hallé
 
Test Sequence Generation with Cayley Graphs (Talk @ A-MOST 2021)
bySylvain Hallé
 
Efficient Offline Monitoring of LTL with Bit Vectors (Talk at SAC 2021)
bySylvain Hallé
 
A Generic Explainability Framework for Function Circuits
bySylvain Hallé
 
Detecting Responsive Web Design Bugs with Declarative Specifications
bySylvain Hallé
 
Streamlining the Inclusion of Computer Experiments in Research Papers
bySylvain Hallé
 
Writing Domain-Specific Languages for BeepBeep
bySylvain Hallé
 
Real-Time Data Mining for Event Streams
bySylvain Hallé