Julien Signoles
From MaRDI portal
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 |
|---|---|---|
| Abstract interpretation of recursive logic definitions for efficient runtime assertion checking | 2023-12-12 | Paper |
| Verified runtime assertion checking for memory properties | 2022-11-09 | Paper |
| Runtime abstract interpretation for numerical accuracy and robustness | 2021-10-18 | Paper |
| A survey of challenges for runtime verification from advanced application domains (beyond software) Formal Methods in System Design | 2019-11-25 | Paper |
| Context generation from formal specifications for C analysis tools (available as arXiv preprint) | 2018-09-06 | Paper |
| Hypercollecting semantics and its application to static analysis of information flow Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Gamifying program analysis Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Research outcomes over time
This page was built for person: Julien Signoles
