We stand with Ukraine  

Manuel Valdiviezo

According to our database1, Manuel Valdiviezo authored at least 3 papers between 2011 and 2014.

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

2014
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.
[BibTeX]
[DOI]
Manuel Valdiviezo
,
Cristina Cifuentes
,
Padmanabhan Krishnan
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2012
Transitioning Parfait into a Development Tool.
[BibTeX]
[DOI]
Cristina Cifuentes
,
Nathan Keynes
,
Lian Li
,
Nathan Hawes
,
Manuel Valdiviezo
IEEE Secur. Priv., 2012

2011
Static deep error checking in large system applications using parfait.
[BibTeX]
[DOI]
Cristina Cifuentes
,
Nathan Keynes
,
Lian Li
,
Nathan Hawes
,
Manuel Valdiviezo
,
Andrew Browne
,
Jacob Zimmermann
,
Andrew Craik
,
Douglas Teoh
,
Christian Hoermann
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011


  Loading...