Publications in collaboration with researchers from French Institute for Research in Computer Science and Automation (5)

2019

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

    ACM Computing Surveys, Vol. 51, Núm. 5

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

  2. Slicing from formal semantics: Chisel—a tool for generic program slicing

    International Journal on Software Tools for Technology Transfer, Vol. 20, Núm. 6, pp. 739-769

2011

  1. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Introduction

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

  2. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Introduction

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