Sylvain Hallé

Available identifiers

zbMath Open halle.sylvainMaRDI QIDQ420852

List of research outcomes

Publication	Date of Publication	Type
Model Checking of Stream Processing Pipelines.	2023-10-02	Paper
Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines	2023-07-17	Paper
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem	2023-03-21	Paper
Foundations of fine-grained explainability	2022-03-25	Paper
Declarative layout constraints for testing web applications	2016-08-18	Paper
Evaluation of diffusion models for airborne nanoparticles transport and dispersion	2014-09-26	Paper
MULTIPSEUDOPERIODIC WORDS	2014-08-04	Paper
Solving Equations on Words with Morphisms and Antimorphisms	2014-03-31	Paper
Pseudoperiodic Words	2012-11-02	Paper
A Logical Approach to Data-Aware Automated Sequence Generation	2012-06-08	Paper
Reasoning about visibility	2012-05-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sylvain Hallé