Publicaciones en colaboración con investigadores/as de University of Oslo (6)

2018

  1. Parallel cost analysis

    ACM Transactions on Computational Logic, Vol. 19, Núm. 4

2015

  1. Parallel cost analysis of distributed systems

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

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

2013

  1. Engineering virtualized services

    ACM International Conference Proceeding Series

2012

  1. The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems

    International Journal on Software Tools for Technology Transfer, Vol. 14, Núm. 5, pp. 567-588

2011

  1. Simulating concurrent behaviors with worst-case cost bounds

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