Implementing Tactics of Refinement in CRefine. - Madiel Conserva Filho; Marcel Vinícius Medeiros Oliveira (SEFM, 2012)

Model-Checking Circus State-Rich Specifications. - Marcel Vinícius Medeiros Oliveira; Augusto C. A. Sampaio; Madiel S. Conserva Filho (IFM, 2014)

Local Livelock Analysis of Component-Based Models. - Madiel S. Conserva Filho; Marcel Vinícius Medeiros Oliveira; Augusto Sampaio 001; Ana Cavalcanti 001 (ICFEM, 2016)

Local livelock analysis of component-based models - Madiel Conserva Filho (2016)

BTS: A Tool for Formal Component-Based Development. - Dalay Israel de Almeida Pereira; Marcel Vinícius Medeiros Oliveira; Madiel S. Conserva Filho; Sarah Raquel Da Rocha Silva (IFM, 2017)

Analysing RoboChart with Probabilities. - Madiel S. Conserva Filho; R. Marinho; Alexandre Mota 001; Jim Woodcock 001 (SBMF, 2018)

Compositional and local livelock analysis for CSP. - Madiel Conserva Filho; Marcel Vinícius Medeiros Oliveira; Augusto Sampaio 001; Ana Cavalcanti 001 (Inf. Process. Lett., 2018)

Verified simulation for robotics. - Ana Cavalcanti 001; Augusto Sampaio 001; Alvaro Miyazawa; Pedro Ribeiro 002; Madiel Conserva Filho; André Didier; Wei Li 055; Jon Timmis (Sci. Comput. Program., 2019)

Transforming RoboSim Models into UPPAAL. - Mingzhuo Zhang; Dehui Du; Augusto Sampaio 001; Ana Cavalcanti 001; Madiel Conserva Filho; Menghan Zhang (TASE, 2021)

A Model-based Approach to the Development and Verification of Robotic Systems for Competitions. - Marcus Santos; Madiel Conserva Filho; Augusto Sampaio 001 (LARS/SBR/WRE, 2023)

Laws of Timed State Machines. - Ana Cavalcanti 001; Madiel Conserva Filho; Pedro Ribeiro 002; Augusto Sampaio 001 (Comput. J., 2024)