1
Bloem, Roderick
2022
Table of Contents:
“...VSTTE 2021 -- Quantitative Monitoring of Software -- Making Proofs of Floating-Point Programs Accessible to Regular Developers -- A Calculus for Multi-language Operational Semantics -- Partial Order Reduction for Timed Actors -- Uncertainty-Aware Signal...”2022
Full text