Login / Signup
Marcelo Arroyo
Publication Activity (10 Years)
Years Active: 2005-2021
Publications (10 Years): 3
Top Topics
Model Counting
Upper And Lower Bounds
Parallel And Distributed Computing
Bounded Model Checking
Top Venues
FASE
IPDPS Workshops
SCCC
ICSE
</>
Publications
</>
Pablo Ponzio
,
Ariel Godio
,
Nicolás Rosner
,
Marcelo Arroyo
,
Nazareno Aguirre
,
Marcelo F. Frias
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
FASE
(2021)
Renzo Degiovanni
,
Pablo F. Castro
,
Marcelo Arroyo
,
Marcelo Ruiz
,
Nazareno Aguirre
,
Marcelo F. Frias
Goal-conflict likelihood assessment based on model counting.
ICSE
(2018)
Marcelo Arroyo
,
Francisco Chiotta
,
Francisco Bavera
An user configurable clang static analyzer taint checker.
SCCC
(2016)
Marcelo Arroyo
Teaching Parallel and Distributed Computing to Undergraduate Computer Science Students.
IPDPS Workshops
(2013)
Nazareno Aguirre
,
Marcelo Arroyo
,
Juan Bicarregui
,
Lucio Guzmán
,
T. S. E. Maibaum
Towards Dynamically Communicating Abstract Machines in the B Method.
ICFEM
(2005)