Marcelo Arroyo

According to our database1, Marcelo Arroyo authored at least 5 papers between 2005 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
Proceedings of the Fundamental Approaches to Software Engineering, 2021

2018
Goal-conflict likelihood assessment based on model counting.
Proceedings of the 40th International Conference on Software Engineering, 2018

2016
An user configurable clang static analyzer taint checker.
Proceedings of the 35th International Conference of the Chilean Computer Science Society, 2016

2013
Teaching Parallel and Distributed Computing to Undergraduate Computer Science Students.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

2005
Towards Dynamically Communicating Abstract Machines in the B Method.
Proceedings of the Formal Methods and Software Engineering, 2005


  Loading...