| A Refinement Strategy for Circus A Cavalcanti, A Sampaio, J Woodcock Formal Aspects of Computing 15, 146-181, 2003 | 190 | 2003 |
| Normal form approach to compiler design CAR Hoare, H Jifeng, A Sampaio Acta informatica 30, 701-739, 1993 | 149 | 1993 |
| Algebraic reasoning for object-oriented programming P Borba, A Sampaio, A Cavalcanti, M Cornélio Science of Computer Programming 52 (1-3), 53-100, 2004 | 113 | 2004 |
| An algebraic approach to compiler design A Sampaio World Scientific, 1997 | 106 | 1997 |
| Refinement in Circus A Sampaio, J Woodcock, A Cavalcanti FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002 | 101 | 2002 |
| Formal specification generation from requirement documents G Cabral, A Sampaio Electronic Notes in Theoretical Computer Science 195, 171-188, 2008 | 99 | 2008 |
| Model-checking CSP-Z: strategy, tool support and industrial application A Mota, A Sampaio Science of computer programming 40 (1), 59-96, 2001 | 85 | 2001 |
| NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn Science of Computer Programming 95, 275-297, 2014 | 74 | 2014 |
| Test generation from state based use case models S Nogueira, A Sampaio, A Mota Formal Aspects of Computing 26, 441-490, 2014 | 70 | 2014 |
| Unifying classes and processes A Cavalcanti, A Sampaio, J Woodcock Software & Systems Modeling 4 (3), 277-296, 2005 | 70 | 2005 |
| A process algebraic framework for specification and validation of real-time systems A Sherif, A Cavalcanti, H Jifeng, A Sampaio Formal Aspects of Computing 22, 153-191, 2010 | 69 | 2010 |
| A refinement algebra for object-oriented programming P Borba, A Sampaio, M Cornélio European Conference on Object-oriented Programming, 457-482, 2003 | 66 | 2003 |
| Verified simulation for robotics A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ... Science of Computer Programming 174, 1-37, 2019 | 51 | 2019 |
| Towards provably correct hardware/software partitioning using OCCAM E Barros, A Sampaio Third International Workshop on Hardware/Software Codesign, 210-217, 1994 | 51 | 1994 |
| Guided test generation from CSP models S Nogueira, A Sampaio, A Mota Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008 | 50 | 2008 |
| Refinement of actions in Circus A Cavalcanti, A Sampaio, J Woodcock Electronic notes in theoretical computer science 70 (3), 132-162, 2002 | 50 | 2002 |
| A semantics for UML-RT active classes via mapping into Circus R Ramos, A Sampaio, A Mota Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 …, 2005 | 48 | 2005 |
| Object-Orientation in the UTP T Santos, A Cavalcanti, A Sampaio Unifying Theories of Programming: First International Symposium, UTP 2006 …, 2006 | 45 | 2006 |
| A normal form reduction strategy for hardware/software partitioning L Silva, A Sampaio, E Barros International Symposium of Formal Methods Europe, 624-643, 1997 | 44 | 1997 |
| NAT2TEST tool: From natural language requirements to test cases based on CSP G Carvalho, F Barros, A Carvalho, A Cavalcanti, A Mota, A Sampaio Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015 | 43 | 2015 |