Selected Publications

Adding distribution and fault tolerance to Jason.
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Sci. Comput. Program. 2015.

Applying Property-Based Testing in Teaching Safety-Critical System Programming.
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño.
Best paper award, EUROMICRO-SEAA 2015.

Jsongen: a quickcheck based library for testing JSON web services.
Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño.
Erlang Workshop 2014.

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño.
SEFM Workshops 2014.

Verification of Timed Erlang Programs Using McErlang.
Clara Benac Earle, Lars-Åke Fredlund.
FMOODS/FORTE 2012.

A unified semantics for future Erlang.
Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle.
Erlang Workshop 2010.

Using McErlang to Verify an Erlang Process Supervision Component
David Castro, Clara Benac Earle, Lars-Åke Fredlund, Victor M. Gulías, and Samuel Rivas
In proceedings of the 2010 symposium on Trends in Functional Programming (TFP2010)

A Coding Rule Conformance Checker Integrated into GCC
Guillem Marpons and Julio Mariño and Manuel Carro and Ángel Herranz and Lars-Åke Fredlund and Juan José Moreno-Navarro and Álvaro Polo
In volume 248 of Electronic Notes in Theoretical Computer Science, 2009

Verifying Robocup Teams
Clara Benac Earle and Lars-Åke Fredlund and J. Iglesias and A. Ledezma
In volume 5348 of Lecture Notes in Computer Science (LNCS), proceedings of the 2008 workshop of Model Checking and Artificial Intelligence (MoChArg 2008)

McErlang: a model checker for a distributed functional programming language
Lars-Åke Fredlund and Hans Svensson
In proceedings of the 2007 International Conference on Functional Programming (ICFP2007)

Programming distributed Erlang applications: pitfalls and recipes.
Hans Svensson, Lars-Åke Fredlund.
Erlang Workshop 2007.

Implementing WS-CDL
Lars-Åke Fredlund
In proceedings of JSWEB 2006 (II Jornadas Científico-Técnicas en Servicios Web), Santiago de Compostela, Spain, 2006

Model Checking Erlang Programs: The Functional Approach
Lars-Åke Fredlund and Clara Benac Earle
In proceedings of the ACM SIGPLAN Erlang'06 workshop, at Portland, Oregon, 2006

Verification of Language Based Fault-Tolerance.
Clara Benac Earle and Lars-Åke Fredlund
In proceedings of the 10th International Conference on Computer Aided Systems Theory (Eurocast 2005), Las Palmas 2005 (published in Springers Lecture Notes on Computer Science volume 3643)

Guaranteeing Correctness Properties of a Java Card Applet
Lars-Åke Fredlund
In proceedings of the RV'04 workshop (Runtime Verification '04), at Barcelona, 2004 (published in Electronic Notes in Theoretical Computer Science)

A Tool for Verifying Software Written in Erlang
Thomas Arts, Gennady Chugunov, Mads Dam, Lars-Åke Fredlund, Dilian Gurov and Thomas Noll
In the International Journal on Software Tools for Technology Transfer (STTT), volume 4, number 4, 2003.

Model Checking of Multi-Applet JavaCard Applications Gennady Chugunov, Lars-Åke Fredlund and Dilian Gurov. In proceedings of CARDIS'02.

A Framework for Reasoning about Erlang Code
Lars-Åke Fredlund
PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 2001.

Toward Parametric Verification of Open Distributed Systems
Mads Dam, Lars-Åke Fredlund, and Dilian Gurov
In Compositionality: The Significant Difference. Lecture Notes in Computer Science, vol. 1536, pp. 150-185 1998