From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation. - Omar Hjiej; Abdelmalek Benzekri; Alberto Valderruten (Decentralized and Distributed Systems, 1993)

Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study. - Alberto Valderruten; Javier Mosquera; Víctor M. Gulías (Computer Performance Evaluation (Tools), 1998)

Building functional patterns for implementing distributed applications. - Víctor M. Gulías; Alberto Valderruten; Carlos Abalde (LANC, 2003)

A high performance Erlang Tcp/Ip stack. - Javier París; Víctor M. Gulías; Alberto Valderruten (Erlang Workshop, 2005)

Developing a functional Tcp/Ip stack oriented towards TCP connection replication. - Javier París; Alberto Valderruten; Víctor M. Gulías (LANC, 2005)

A Distributed Filesystem for Spare Storage. - Javier París; Víctor M. Gulías; Alberto Valderruten; J. Santiago Jorge (EUROCAST, 2007)