| Efficient CSP Z Data Abstraction A Farias, A Mota, A Sampaio Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 14 | 2004 |
| Rapid Prototyping of a Semantically Well Founded Circus Model Checker A Mota, A Farias, A Didier, J Woodcock Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 12 | 2014 |
| Compositional abstraction ofCSP Z processes A Farias, A Mota, A Sampaio Journal of the Brazilian Computer Society 14, 23-44, 2008 | 12 | 2008 |
| A mechanized strategy for safe abstraction of CSP specifications A Damasceno, A Farias, A Mota Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009 | 9 | 2009 |
| Model checking CML: tool development and industrial applications A Mota, A Farias, J Woodcock, PG Larsen Formal Aspects of Computing 27, 975-1001, 2015 | 8 | 2015 |
| De CSPz para CSPm-Uma Ferramenta transformacional Java AMA Farias, A Sampaio Proceedings of V Formal Methods Workshop of XVII SBES in Rio de Janeiro, 2001 | 7 | 2001 |
| Ferramentas CASE: suporte, adoção e integração ACD Farias, ACD Farias Monografia de Engenharia de Software, Pernambuco: UFPE, 1999 | 4 | 1999 |
| Checking z data refinements using traces refinement A Didier, A Farias, A Mota Electronic Notes in Theoretical Computer Science 240, 129-148, 2009 | 3 | 2009 |
| Efficient analysis of infinite CSPZ processes A Mota, A Farias, A Sampaio Workshop de Métodos Formais, 2002 | 3 | 2002 |
| De CSPz para CSPm: Uma ferramenta transformacional Java (in Portuguese) A Mota, A Farias, A Sampaio Workshop de Sistemas Formais. In: Workshop de Metodos Formais, 1-10, 2001 | 3 | 2001 |
| Abstraction of infinite and communicating CSPZ processes AC FARIAS Universidade Federal de Pernambuco, 2009 | | 2009 |
| A Support Tool for CSPZ Data Abstraction A Mota, A Farias, A Sampaio In: FORMAL METHODS EUROPE, 2003 | | 2003 |
| Internet Trader Federation AC de Farias | | |
| Um conversor da notação CSPZ para CSPM A FARIAS, A MOTA, A SAMPAIO | | |
| Tolerant Name Service (TNS): Um Serviço de Nomes CORBA Tolerante a Falhas A Farias, J Oliveira, M Simões, M Almeida, P Silva | | |
| Abstracting CSPZ Processes with Infinite Communications A Farias, A Mota, A Sampaio | | |
