Marcelo Arroyo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FASE | Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | Pablo Ponzio, Ariel Godio, Nicols Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | Goal-conflict likelihood assessment based on model counting. | Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias |
| 2005 | ICFEM | Towards Dynamically Communicating Abstract Machines in the B Method. | Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum |