Madiel Conserva Filho

According to our database, Madiel Conserva Filho authored at least 10 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Laws of Timed State Machines.

Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio

Comput. J., 2024

2023

A Model-based Approach to the Development and Verification of Robotic Systems for Competitions.

Marcus Santos, Madiel Conserva Filho, Augusto Sampaio

Proceedings of the Latin American Robotics Symposium, 2023

2021

Transforming RoboSim Models into UPPAAL.

Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2019

Verified simulation for robotics.

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis

Sci. Comput. Program., 2019

2018

Compositional and local livelock analysis for CSP.

Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti

Inf. Process. Lett., 2018

Analysing RoboChart with Probabilities.

Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017

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

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Local Livelock Analysis of Component-Based Models.

Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti

Proceedings of the Formal Methods and Software Engineering, 2016

2014

Model-Checking Circus State-Rich Specifications.

Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012

Implementing Tactics of Refinement in CRefine.

Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012