Towards Dynamically Communicating Abstract Machines in the B Method. - Nazareno Aguirre; Marcelo Arroyo; Juan Bicarregui; Lucio Guzmán; T. S. E. Maibaum (ICFEM, 2005)

Teaching Parallel and Distributed Computing to Undergraduate Computer Science Students. - Marcelo Arroyo (IPDPS Workshops, 2013)

An user configurable clang static analyzer taint checker. - Marcelo Arroyo; Francisco Chiotta; Francisco Bavera (SCCC, 2016)

Goal-conflict likelihood assessment based on model counting. - Renzo Degiovanni; Pablo F. Castro; Marcelo Arroyo; Marcelo Ruiz; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2018)

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. - Pablo Ponzio; Ariel Godio; Nicolás Rosner; Marcelo Arroyo; Nazareno Aguirre; Marcelo F. Frias (FASE, 2021)