Concepedia
Statistics
Publications
7
Citations
252
H-Index
Active since
2012
Affiliations
University of Oxford(Current)
Microsoft Research (United Kingdom)
The University of Texas at Austin
Marcelo Sousa is an author at University of Oxford specializing in formal methods, computer science, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningVerificationSoftware AnalysisFormal VerificationComputer EngineeringParallel Computing
Publications per year
2012–2018
Cartesian hoare logic for verifying k-safety properties
Marcelo Sousa · 2016 · 119 citations · Full text
Computational Logic, Formal Logic, Automated Verification Algorithm +15
Verified three-way program merge
Marcelo Sousa, Shuvendu K. Lahiri · Proceedings of the ACM on Programming Languages · 2018 · 40 citations · Full text
Program Checking, Engineering, Verification +20
Unfolding-based Partial Order Reduction
Marcelo Sousa, Subodh Sharma, Daniel Kroening · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 40 citations · Full text
Numerical Analysis, Mathematical Programming, Reduced Order Modeling +20
Marcelo Sousa · ACM SIGPLAN Notices · 2016 · 20 citations
Generation of TLM testbenches using mutation testing
Marcelo Sousa, Alper Şen · 2012 · 11 citations
Software Maintenance, Engineering, Tlm Testbenches +24
1–5 of 7