Publicaciones en colaboración con investigadores/as de University of Birmingham (5)

2014

  1. Open source verification in an anonymous volunteer network

    Science of Computer Programming

  2. Soundness and completeness of the NRB verification logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010

  1. A formal nethod (a networked formal method)

    Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268

  2. Open source verification under a cloud

    Electronic Communications of the EASST

2008

  1. Approximate verification in an open source world

    Innovations in Systems and Software Engineering