S. Hallé

Available identifiers

Publication	Date of Publication	Type
Uncertainty in runtime verification: a survey	2024-07-29	Paper
Proportion of formal papers at FSE over the years	2024-03-02	Dataset
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
Longitudinal study of website structure	2021-05-12	Dataset
Structural Profiling of Web Sites in the Wild	2020-03-19	Dataset
Benchmark for supply chain monitoring properties using BeepBeep	2019-05-20	Dataset
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

This page was built for person: S. Hallé