| Verified simulation for robotics A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ... Science of Computer Programming 174, 1-37, 2019 | 44 | 2019 |
| RoboStar technology: a roboticist’s toolbox for combined proof, simulation, and testing A Cavalcanti, W Barnett, J Baxter, G Carvalho, MC Filho, A Miyazawa, ... Software Engineering for Robotics, 249-293, 2021 | 22 | 2021 |
| Local livelock analysis of component-based models MSC Filho, MVM Oliveira, A Sampaio, A Cavalcanti Formal Methods and Software Engineering: 18th International Conference on …, 2016 | 12 | 2016 |
| Compositional and local livelock analysis for CSP MS Conserva Filho, MVM Oliveira, A Sampaio, A Cavalcanti Information Processing Letters 133, 21-25, 2018 | 10 | 2018 |
| Model-Checking Circus State-Rich Specifications MVM Oliveira, ACA Sampaio, MS Conserva Filho Integrated Formal Methods: 11th International Conference, IFM 2014 …, 2014 | 8 | 2014 |
| Implementing Tactics of Refinement in CRefine M Conserva Filho, MVM Oliveira Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012 | 8 | 2012 |
| Analysing robochart with probabilities MS Conserva Filho, R Marinho, A Mota, J Woodcock Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018 | 6 | 2018 |
| 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 | 4 | 2021 |
| RoboSim reference manual A Cavalcanti, P Ribeiro, A Miyazawa, A Sampaio, M Conserva Filho, ... University of York, 2019 | 4 | 2019 |
| Bts: A tool for formal component-based development DI de Almeida Pereira, MVM Oliveira, MS Conserva Filho, ... International Conference on Integrated Formal Methods, 211-226, 2017 | 3 | 2017 |
| Laws of timed state machines–extended version ALC Cavalcanti, P Ribeiro, ACA Sampaio RoboStar Centre on software engineering for robotics,, 2022 | 1 | 2022 |
| Laws of Timed State Machines A Cavalcanti, M Conserva Filho, P Ribeiro, A Sampaio The Computer Journal, bxad124, 2023 | | 2023 |
| A Model-based Approach to the Development and Verification of Robotic Systems for Competitions M Santos, M Conserva Filho, A Sampaio 2023 Latin American Robotics Symposium (LARS), 2023 Brazilian Symposium on …, 2023 | | 2023 |
| RoboSim: software models for sound simulation ALC Cavalcanti, M Conserva Filho, PFDOS Ribeiro, A Sampaio YorRobots and RoboStar Industry Exhibition, 2022 | | 2022 |
| 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 |
| A Sound Strategy for Livelock Analysis of Bric Components M Conserva Filho, A Cavalcanti, M Oliveira, A Sampaio Available at SSRN 4436286, 0 | | |
