Marcelo Sousa
University of Oxford(GB)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Radiation Effects in Electronics, Cloud Computing and Resource Management
Most-Cited Works
- → Cartesian hoare logic for verifying k-safety properties(2016)119 cited
- → Unfolding-based Partial Order Reduction(2015)40 cited
- → Verified three-way program merge(2018)40 cited
- → Abstract Interpretation with Unfoldings(2017)13 cited
- → Consolidation of queries with user-defined functions(2014)11 cited
- → Generation of TLM testbenches using mutation testing(2012)11 cited
- → Quasi-optimal partial order reduction(2020)6 cited