Suivre
Marcelo Sousa
Marcelo Sousa
Reviewpad
Adresse e-mail validée de reviewpad.com - Page d'accueil
Titre
Citée par
Citée par
Année
Cartesian Hoare Logic for Verifying k-Safety Properties
M Sousa, I Dillig
Conference on Programming Language Design and Implementation, 2016
1352016
Unfolding-based Partial Order Reduction
C Rodríguez, M Sousa, S Sharma, D Kroening
International Conference on Concurrency Theory, 456--469, 2015
652015
Verified three-way program merge
M Sousa, I Dillig, SK Lahiri
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
41*2018
Quasi-Optimal Partial Order Reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
https://arxiv.org/abs/1802.03950, 2018
222018
Generation of TLM testbenches using mutation testing.
M Sousa, A Sen
Proceedings of the 10th International Conference on Hardware/Software …, 2012
152012
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
142014
Abstract Interpretation with Unfoldings
M Sousa, C Rodriguez, V D'Silva, D Kroening
Computer Aided Verification, 2017
112017
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
Quasi-optimal partial order reduction
C Coti, L Petrucci, C Rodríguez, M Sousa
Formal Methods in System Design 57, 3-33, 2021
12021
Complete Abstractions and Subclassical Modal Logics
V D'Silva, M Sousa
Verification, Model Checking, and Abstract Interpretation, 2017
12017
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–14