Madiel Conserva Filho

Orcid: 0000-0002-3922-6192

According to our database1, Madiel Conserva Filho authored at least 9 papers between 2012 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Model-based Approach to the Development and Verification of Robotic Systems for Competitions.
Proceedings of the Latin American Robotics Symposium, 2023

2021
Transforming RoboSim Models into UPPAAL.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2019
Verified simulation for robotics.
Sci. Comput. Program., 2019

2018
Compositional and local livelock analysis for CSP.
Inf. Process. Lett., 2018

Analysing RoboChart with Probabilities.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017
BTS: A Tool for Formal Component-Based Development.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
Local Livelock Analysis of Component-Based Models.
Proceedings of the Formal Methods and Software Engineering, 2016

2014
Model-Checking Circus State-Rich Specifications.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012
Implementing Tactics of Refinement in CRefine.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012


  Loading...