Publicaciones en colaboración con investigadores/as de Technical University of Darmstadt (15)

2017

  1. Preface

    Proceedings of the 11th European Conference on Games Based Learning, ECGBL 2017

  2. Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

    Journal of Automated Reasoning, Vol. 59, Núm. 1, pp. 47-85

2016

  1. A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

    Software and Systems Modeling, Vol. 15, Núm. 4, pp. 987-1012

  2. May-happen-in-parallel analysis with condition synchronization

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

2015

  1. May-happen-in-parallel analysis for actor-based concurrency

    ACM Transactions on Computational Logic, Vol. 17, Núm. 2

2014

  1. Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

    Service Oriented Computing and Applications, Vol. 8, Núm. 4, pp. 323-339

  2. SACO: Static analyzer for concurrent objects

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

  3. Testing abstract behavioral specifications

    International Journal on Software Tools for Technology Transfer, Vol. 17, Núm. 1, pp. 107-119

2013

  1. Automatic inference of bounds on resource consumption

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

  2. Engineering virtualized services

    ACM International Conference Proceeding Series

  3. May-happen-in-parallel based deadlock analysis for concurrent objects

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

  4. Termination and cost analysis of loops with concurrent interleavings

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

2012

  1. Parameter adaptation in ant colony optimization

    Autonomous Search (Springer-Verlag Berlin Heidelberg), pp. 191-215

2010

  1. Pre-scheduled and adaptive parameter variation in MAX-MIN ant system

    2010 IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 IEEE Congress on Evolutionary Computation, CEC 2010

2004

  1. On the design of ACO for the biobjective quadratic assignment problem

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