The following pages link to Laura Titolo (Q1630021):
Displaying 8 items.
- A formal analysis of the compact position reporting algorithm (Q1630022) (← links)
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- A program analysis framework for \textit{tccp} based on abstract interpretation (Q2628304) (← links)
- Abstract Diagnosis for tccp using a Linear Temporal Logic (Q2931280) (← links)
- Abstract diagnosis for timed concurrent constraint programs (Q3087437) (← links)
- An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs (Q3296349) (← links)
- Abstract Analysis of Universal Properties for tccp (Q5743591) (← links)
- Provably correct floating-point implementation of a point-in-polygon algorithm (Q6535939) (← links)