Mateus Borges

According to our database1, Mateus Borges authored at least 7 papers between 2011 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Conditional Quantitative Program Analysis.
IEEE Trans. Software Eng., 2022

2019
Chapter Five - Advances in Symbolic Execution.
Adv. Comput., 2019

2017
Model-counting Approaches For Nonlinear Numerical Constraints.
IACR Cryptol. ePrint Arch., 2017

2015
Iterative distribution-aware sampling for probabilistic symbolic execution.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014
Compositional solution space quantification for probabilistic software analysis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012
Symbolic Execution with Interval Solving and Meta-heuristic Search.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
CORAL: Solving Complex Constraints for Symbolic PathFinder.
Proceedings of the NASA Formal Methods, 2011


  Loading...