Adalberto Farias

According to our database, Adalberto Farias authored at least 6 papers between 2004 and 2015.

Collaborative distances:

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

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