S. Hallé

MaRDI QIDQ420852zbMATH OpenORCIDFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Uncertainty in runtime verification: a survey Computer Science Review	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 Information and Computation	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 Journal of Logical and Algebraic Methods in Programming	2016-08-18	Paper
Evaluation of diffusion models for airborne nanoparticles transport and dispersion Advances in Fluid Mechanics VII	2014-09-26	Paper
Multipseudoperiodic words International Journal of Foundations of Computer Science	2014-08-04	Paper
Solving equations on words with morphisms and antimorphisms Language and Automata Theory and Applications	2014-03-31	Paper
Pseudoperiodic words Developments in Language Theory	2012-11-02	Paper
A logical approach to data-aware automated sequence generation Transactions on Computational Science XV	2012-06-08	Paper
Reasoning about visibility Journal of Applied Logic	2012-05-23	Paper

Research outcomes over time

This page was built for person: S. Hallé