Cerca per relatore della tesi |
Risultati da
1 a 11 di 11
| Titolo | Corso di studi | Anno di discussione | Relatore |
|---|---|---|---|
| A Unified Program Logic for Correctness and Incorrectness | INFORMATICA | 2026 | |
| Modeling Reaction Systems | INFORMATICA | 2025 | |
| Towards Trustworthy Machine Learning: An Abstract Interpretation Framework for Classification Preservation | INFORMATICA | 2025 | |
| Combining over and under-approximation for program analysis | INFORMATICA | 2025 | |
| Modelling Abstract Domain Repair via Refinement | INFORMATICA | 2024 | |
| Enhancing predictor analysis for reaction systems. | INFORMATICA | 2022 | |
| Enhancing predictor analysis for reaction systems | INFORMATICA | 2022 | |
| Limits and difficulties in designing under-approximation abstract domains | INFORMATICA | 2021 | |
| Deciding program properties via complete abstractions on bounded domains | INFORMATICA | 2021 | |
| VERIFICATION OF ROBUSTNESS PROPERTY IN CHEMICAL REACTION NETWORKS | INFORMATICA | 2020 | |
| An efficient abstract domain for the approximation of machine integers | INFORMATICA | 2019 |
| Nuova ricerca |