| Cartesian Hoare Logic for Verifying k-Safety Properties M Sousa, I Dillig Conference on Programming Language Design and Implementation, 2016 | 169 | 2016 |
| Unfolding-based Partial Order Reduction C Rodríguez, M Sousa, S Sharma, D Kroening International Conference on Concurrency Theory, 456--469, 2015 | 77 | 2015 |
| Verified three-way program merge M Sousa, I Dillig, SK Lahiri Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018 | 67 | 2018 |
| Quasi-Optimal Partial Order Reduction HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci https://arxiv.org/abs/1802.03950, 2018 | 35 | 2018 |
| Consolidation of queries with user-defined functions M Sousa, I Dillig, D Vytiniotis, T Dillig, C Gkantsidis Conference on Programming Language Design and Implementation, 2014 | 19 | 2014 |
| Abstract Interpretation with Unfoldings M Sousa, C Rodriguez, V D'Silva, D Kroening Computer Aided Verification, 2017 | 17 | 2017 |
| Generation of TLM testbenches using mutation testing. M Sousa, A Sen Proceedings of the 10th International Conference on Hardware/Software …, 2012 | 17 | 2012 |
| Independence Abstractions and Models of Concurrency V D'Silva, D Kroening, M Sousa Verification, Model Checking, and Abstract Interpretation, 2017 | 5 | 2017 |
| Quasi-optimal partial order reduction C Coti, L Petrucci, C Rodríguez, M Sousa Formal Methods in System Design 57, 3-33, 2021 | 4 | 2021 |
| LLVMVF: A Generic Approach for Verification of Multicore Software M Sousa, A Sen Journal of Electronic Testing 29 (5), 635-646, 2013 | 4 | 2013 |
| Complete Abstractions and Subclassical Modal Logics V D'Silva, M Sousa Verification, Model Checking, and Abstract Interpretation, 2017 | 1 | 2017 |
| Quasi-optimal partial order reduction L Petrucci, C Coti, C Rodríguez, M Sousa Formal Methods in System Design 57 (1), 3-33, 2021 | | 2021 |
| Abstractions and Independence M Sousa University of Oxford, 2018 | | 2018 |
| Chitin binding and N-acetyl-BD-Glucosaminidase activities of the Paracoccin frim Paracoccidioides brasiliensis FBR Almeida, LL Oliveira, MV Sousa, MC Roque-Barreira, ES Hanna Glycobiology 19 (11), 1350-1351, 2009 | | 2009 |
Isil DilligUT AustinEmail verificata su cs.utexas.edu