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

2024

  1. Multi-Objective Archiving

    IEEE Transactions on Evolutionary Computation, Vol. 28, Núm. 3, pp. 696-717

2019

  1. A manifesto for future generation cloud computing: Research directions for the next decade

    ACM Computing Surveys, Vol. 51, Núm. 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