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

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

2007

  1. An abstract interpretation toolkit for μcRL

    Formal Methods in System Design

2006

  1. Accelerated modal abstractions of labelled transition systems

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

2005

  1. A state space distribution policy based on abstract interpretation

    Electronic Notes in Theoretical Computer Science

  2. Editorial: Programming languages track

    Proceedings of the ACM Symposium on Applied Computing

2004

  1. Abstraction of parallel uniform processes with data

    Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

  2. Modal abstractions in μCRL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, pp. 409-425

2003

  1. Verification of JavaSpaces™ parallel programs

    Proceedings - International Conference on Application of Concurrency to System Design, ACSD

2002

  1. Formal specification of JavaSpaces™ architecture using μCRL

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