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 | | |