Madiel S. Conserva Filho

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 3

Top Topics

Automated Verification

Component Based Development

Bounded Model Checking

Top Venues

Publications

Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock
Analysing RoboChart with Probabilities. SBMF (2018)
Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva
BTS: A Tool for Formal Component-Based Development. IFM (2017)
Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
Local Livelock Analysis of Component-Based Models. ICFEM (2016)
Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho
Model-Checking Circus State-Rich Specifications. IFM (2014)