Kenny Ballou

According to our database¹, Kenny Ballou authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

muRelBench: MicroBenchmarks for Zonotope Domains.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Identifying Minimal Changes in the Zone Abstract Domain.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Minimally Comparing Relational Abstract Domains.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Incremental Transitive Closure for Zonal Abstract Domain.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022