Publications en collaboration avec des chercheurs de Centrum Wiskunde & Informatica (4)

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

2013

  1. Engineering virtualized services

    ACM International Conference Proceeding Series