Publicaciones en colaboración con investigadores/as de Centrum Wiskunde & Informatica (5)

2020

  1. A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

    Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234

2017

  1. A formal, resource consumption-preserving translation of actors to Haskell

    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

  2. Testing abstract behavioral specifications

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

2013

  1. Engineering virtualized services

    ACM International Conference Proceeding Series