Research

Publications

• CV: Currículo Lattes (In Portuguese)

• Google Scholar Profile

• List of publications at the EPrints database (University of Twente)

GROOVE

• Groove@SourceForge.net

• Groove@UT.nl

Research Interests

The following (non-exhaustive) list comprise my current research interests:

• • Graphs and graph transformation for behavioral modelling

  • Model checking of graph transformation systems

  • Abstraction techniques for the analysis of systems with infinite behaviour

  • Traversal algorithms and guided search for state space exploration

  • Algorithms and data structures for classical graph theory problems such as graph isomorphism and graph matching

  • Formal specification and modelling of programming languages' semantics

  • Software model checking

  • Formal analysis/verification of network components

• Software Defined Networks (SDN)

• Tools and methods for improving source code quality in large code bases