Lars-Åke Fredlund@fi.upm |
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