by Kalita, Pankaj Kumar, Muduli, Sujit Kumar, D’Antoni, Loris, Reps, Thomas, Roy, Subhajit
Published in Proceedings of ACM on programming languages (31.10.2022)

by Pan, Rong, Hu, Qinheping, Xu, Gaowei, D'Antoni, Loris
Published in Proceedings of ACM on programming languages (10.10.2019)

by D’Antoni, Loris, Veanes, Margus
Published in Verification, Model Checking, and Abstract Interpretation

by Albarghouthi, Aws, D’Antoni, Loris, Drews, Samuel
Published in Computer Aided Verification

by Albarghouthi, Aws, D'Antoni, Loris, Drews, Samuel, Nori, Aditya V.
Published in Proceedings of ACM on programming languages (01.10.2017)

by D’Antoni, Loris, Veanes, Margus
Published in Formal methods in system design (01.08.2015)

by Drews, Samuel, D’Antoni, Loris
Published in Tools and Algorithms for the Construction and Analysis of Systems

by D’Antoni, Loris, Samanta, Roopsha, Singh, Rishabh
Published in Computer Aided Verification

by Chang, Brian, Subramanian, Kausik, D'Antoni, Loris, Akella, Aditya
Published in Theoretical computer science (01.07.2024)

by D’Antoni, Loris, Veanes, Margus
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Hu, Qinheping, Samanta, Roopsha, Singh, Rishabh, D’Antoni, Loris
Published in Static Analysis

by Rolim, Reudismam, Soares, Gustavo, D'Antoni, Loris, Polozov, Oleksandr, Gulwani, Sumit, Gheyi, Rohit, Suzuki, Ryo, Hartmann, Bjorn
Published in 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) (01.05.2017)

by Kim, Jinwoo, D'Antoni, Loris, Reps, Thomas
Published in Proceedings of ACM on programming languages (09.01.2023)

by Alur, Rajeev, D’Antoni, Loris
Published in Automata, Languages, and Programming

by Park, Kanghee, D'Antoni, Loris, Reps, Thomas
Published in Proceedings of ACM on programming languages (16.10.2023)

by Kim, Jinwoo, Hu, Qinheping, D'Antoni, Loris, Reps, Thomas
Published in Proceedings of ACM on programming languages (01.01.2021)

by D'Antoni, Loris, Veanes, Margus
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)

by D'Antoni, Loris, Veanes, Margus
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)

by D’Antoni, Loris, Alur, Rajeev
Published in Computer Aided Verification

by Bettini, Lorenzo, Coppo, Mario, D’Antoni, Loris, De Luca, Marco, Dezani-Ciancaglini, Mariangiola, Yoshida, Nobuko
Published in CONCUR 2008 - Concurrency Theory