Marcelo Sousa
Marcelo Sousa
explore.dev
Email verificata su explore.dev - Home page
Titolo
Citata da
Citata da
Anno
Cartesian Hoare Logic for Verifying k-Safety Properties
M Sousa, I Dillig
Conference on Programming Language Design and Implementation, 2016
962016
Unfolding-based Partial Order Reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
International Conference on Concurrency Theory, 456--469, 2015
532015
Verified three-way program merge
M Sousa, I Dillig, SK Lahiri
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
20*2018
Generation of TLM testbenches using mutation testing.
M Sousa, A Sen
Proceedings of the 10th International Conference on Hardware/Software …, 2012
132012
Quasi-Optimal Partial Order Reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
https://arxiv.org/abs/1802.03950, 2018
102018
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
102014
Abstract Interpretation with Unfoldings
M Sousa, C Rodriguez, V D'Silva, D Kroening
Computer Aided Verification, 2017
82017
Independence Abstractions and Models of Concurrency
V D'Silva, D Kroening, M Sousa
Verification, Model Checking, and Abstract Interpretation, 2017
52017
LLVMVF: A Generic Approach for Verification of Multicore Software
M Sousa, A Sen
Journal of Electronic Testing 29 (5), 635-646, 2013
32013
Complete Abstractions and Subclassical Modal Logics
V D'Silva, M Sousa
Verification, Model Checking, and Abstract Interpretation, 2017
12017
Quasi-optimal partial order reduction
C Coti, L Petrucci, C Rodríguez, M Sousa
Formal Methods in System Design, 1-31, 2020
2020
Abstractions and Independence
M Sousa
University of Oxford, 2018
2018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–12