Madiel Conserva Filho
Madiel Conserva Filho
E-mail confirmado em cin.ufpe.br
Título
Citado por
Citado por
Ano
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
222019
Local livelock analysis of component-based models
MS Conserva Filho, MVM Oliveira, A Sampaio, A Cavalcanti
International Conference on Formal Engineering Methods, 279-295, 2016
92016
Model-checking Circus state-rich specifications
MVM Oliveira, ACA Sampaio, MS Conserva Filho
International Conference on Integrated Formal Methods, 39-54, 2014
82014
Compositional and local livelock analysis for CSP
MS Conserva Filho, MVM Oliveira, A Sampaio, A Cavalcanti
Information Processing Letters 133, 21-25, 2018
72018
Implementing Tactics of Refinement in CRefine
M Conserva Filho, MVM Oliveira
International Conference on Software Engineering and Formal Methods, 342-351, 2012
62012
Analysing RoboChart with probabilities
MS Conserva Filho, R Marinho, A Mota, J Woodcock
Brazilian Symposium on Formal Methods, 198-214, 2018
42018
RoboSim reference manual
A Cavalcanti, P Ribeiro, A Miyazawa, A Sampaio, M Conserva Filho, ...
Technical report, University of York, 2019
22019
BTS: A Tool for Formal Component-Based Development
DI de Almeida Pereira, MVM Oliveira, MS Conserva Filho, SRDR Silva
International Conference on Integrated Formal Methods, 211-226, 2017
12017
Transforming RoboSim Models into UPPAAL
M Zhang, D Du, A Sampaio, A Cavalcanti, M Conserva Filho, M Zhang
2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021
2021
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
A Cavalcanti, W Barnett, J Baxter, G Carvalho, M Conserva Filho, ...
Software Engineering for Robotics, 249-293, 2021
2021
BTS: A Tool for Formal Component-Based Development
MS Conserva Filho, SRDR Silva
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
2017
Livelock Analysis for Component-Based Systems
MS Conserva Filho
Formal Methods, 16, 2014
2014
Estendendo CRefine para o suporte de táticas de refinamento
MS Conserva Filho
Universidade Federal do Rio Grande do Norte, 2011
2011
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–13