Adalberto Farias

According to our database, Adalberto Farias authored at least 7 papers between 2004 and 2024.

Collaborative distances:

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

2024

Simulation and Operation of 6DoF Robotic Arms: a Microservices Approach.

Tomas Munoz-Gonzalez, Adalberto Farias, Enrique Piñero-Fuentes, Antonio Rios-Navarro, Sergio Segura-Ramos, Alejandro Linares-Barranco

Proceedings of the Simulation Tools and Techniques, 2024

2015

Model checking CML: tool development and industrial applications.

Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen

Formal Aspects Comput., 2015

2014

Rapid Prototyping of a Semantically Well Founded Circus Model Checker.

Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2009

A Mechanized Strategy for Safe Abstraction of CSP Specifications.

Adriana Damasceno, Adalberto Farias, Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Compositional Abstraction of CSPZ Processes.

Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio

J. Braz. Comput. Soc., 2008

Checking Z Data Refinements Using Traces Refinement.

André Didier, Adalberto Farias, Alexandre Mota

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

2004

Efficient CSP_Z Data Abstraction.

Adalberto Farias, Alexandre Mota, Augusto Sampaio

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004