| Transforming RoboSim Models into UPPAAL | 0 | 0.34 | 2021 |
| Multi-objective Search for Effective Testing of Cyber-Physical Systems. | 0 | 0.34 | 2019 |
| An integrated semantics for reasoning about SysML design models using refinement | 4 | 0.42 | 2017 |
| Refactoring and representation independence for class hierarchies | 4 | 0.44 | 2012 |
| Correct hardware synthesis: An algebraic approach | 1 | 0.35 | 2011 |
| Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures | 8 | 2.62 | 2010 |
| Refactoring and representation independence for class hierarchies: extended abstract | 3 | 0.44 | 2010 |
| An algebraic approach to the design of compilers for object-oriented languages | 3 | 0.39 | 2010 |
| A process algebraic framework for specification and validation of real-time systems | 30 | 1.07 | 2010 |
| Automatic Test-Case Generation | 2 | 0.45 | 2007 |
| Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures | 8 | 2.78 | 2006 |
| Software test program: a software residency experience | 8 | 1.21 | 2005 |
| A Strategy for the Formal Composition of Frameworks | 5 | 0.58 | 2005 |
| A framework for specification and validation of real-time systems using circus actions | 11 | 0.76 | 2004 |
| Specification and validation of the SACI-1 on-board computer using timed-CSP-Z and Petri nets | 3 | 0.44 | 2003 |
| An Integrated Approach to Specification and Validation of Real-Time Systems | 2 | 0.40 | 2001 |
| Algebraic derivation of an operational semantics | 4 | 0.40 | 2000 |
