Catal | Espaol | English    AAA
Web de l’equip docent i investigador de la Universitat Oberta de Catalunya
 Recerca

El meus interessos de recerca sn:

 
  • Formal methods in Software Engineering
    • Verification of UML models [The UMLtoCSP tool].
  • Formal verification
    • Program static analysis
    • Abstract interpretation
    • Timing analysis of concurrent systems
  • Numerical properties and abstract domains
    • Convex polyhedra
    • The octahedron abstract domain


En aquesta secci trobareu informaci sobre els projectes de recerca i esdeveniments cientfics on he participat. Podeu trobar informaci sobre les meves publicacions cientfiques a la secci sobre Publicacions.