Publicaciones en colaboración con investigadores/as de Universidad Carlos III de Madrid (12)

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

2007

  1. Test synthesis from UML models of distributed software

    IEEE Transactions on Software Engineering, Vol. 33, Núm. 4, pp. 252-269

  2. Verification in the light and large: Large-scale verification for fast-moving open source C projects

    Proceedings - International Conference on Software Engineering

2006

  1. Checking for deadlock, double-free and other abuses in the Linux kernel source code

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

  2. Detecting deadlock, double-free and other abuses in a million lines of Linux kernel source

    Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30

  3. Detecting deadlock, double-free and other abuses in a million lines of linux kernel source

    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS

  4. One million (LOC) and counting: Static analysis for errors and vulnerabilities in the Linux kernel source code

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

  5. Symbolic approximation: An approach to verification in the large

    Innovations in Systems and Software Engineering, Vol. 2, Núm. 3-4, pp. 147-163

  6. Verification in the large via symbolic approximation

    Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

2004

  1. Using UML Sequence diagrams as the basis for a formal test description language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2999, pp. 481-500