• Main
• CV
• Research Interests
• Publications

Research Interests

• Formal Methods, with a focus on embedded and real time systems.
• object oriented and graphical programming.
• testing
• configuration management.

• Formal Methods:
  • verification, validation, testing and simulation
  • real time and embedded systems
    • Timed Automata
    • Hybrid Systems
    • real time operating systems
  • tools for Formal Methods (algorithms and visualisation)
  • formal semantics
  • formal design methods for software
• Programming and Software Engineering
  • Methods and tools for the programming of mobile devices
  • object oriented programming and design
  • graphics programming
  • design patterns
  • programming and design environments
  • C++
  • Java
  • UML

Program Committees

• "Formal Approaches to Testing of Software" (FATES 08)
• "Advances in Model Based Testing" (AMOST 08)
• "Systems Software Verification" (SSV 08)