Number of items: 3.
Conference or Workshop Item (A Paper)
Jhala, Ranjit and Majumdar, Rupak and Rybalchenko, Andrey
(2011)
HMC: Verifying Functional Programs Using Abstract Interpreters.
Backes, Michael and Köpf, Boris and Rybalchenko, Andrey
(2009)
Automatic Discovery and Quantification of Information Leaks.
Hoffmann, Jörg and Smaus, Jan-Georg and Rybalchenko, Andrey and Kupferschmid, Sebastian and Podelski, Andreas
(2006)
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
This list was generated on Wed Aug 27 00:25:21 2025 CEST.