| 2008 |
|---|
| 28 | EE | Clara Benac Earle,
Lars-Åke Fredlund,
José Antonio Iglesias,
Agapito Ledezma:
Verifying Robocup Teams.
MoChArt 2008: 34-48 |
| 27 | EE | Guillem Marpons-Ucero,
Julio Mariño-Carballo,
Manuel Carro,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro,
Lars-Åke Fredlund:
Automatic Coding Rule Conformance Checking Using Logic Programming.
PADL 2008: 18-34 |
| 2007 |
|---|
| 26 | | Simon J. Thompson,
Lars-Åke Fredlund:
Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007
ACM 2007 |
| 25 | EE | Lars-Åke Fredlund,
Juan José Sánchez Penas:
Model Checking a Video-on-Demand Server Using McErlang.
EUROCAST 2007: 539-546 |
| 24 | EE | Hans Svensson,
Lars-Åke Fredlund:
Programming distributed Erlang applications: pitfalls and recipes.
Erlang Workshop 2007: 37-42 |
| 23 | EE | Hans Svensson,
Lars-Åke Fredlund:
A more accurate semantics for distributed Erlang.
Erlang Workshop 2007: 43-54 |
| 22 | EE | Lars-Åke Fredlund,
Hans Svensson:
McErlang: a model checker for a distributed functional programming language.
ICFP 2007: 125-136 |
| 21 | EE | Guillem Marpons-Ucero,
Julio Mariño,
Ángel Herranz-Nieva,
Lars-Åke Fredlund,
Manuel Carro,
Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs
CoRR abs/0711.0344: (2007) |
| 2006 |
|---|
| 20 | EE | Lars-Åke Fredlund,
Clara Benac Earle:
Model checking erlang programs: the functional approach.
Erlang Workshop 2006: 11-19 |
| 2005 |
|---|
| 19 | EE | Clara Benac Earle,
Lars-Åke Fredlund:
Verification of Language Based Fault-Tolerance.
EUROCAST 2005: 140-149 |
| 18 | EE | Clara Benac Earle,
Lars-Åke Fredlund,
John Derrick:
Verifying fault-tolerant Erlang programs.
Erlang Workshop 2005: 26-34 |
| 17 | EE | Lars-Åke Fredlund:
Guaranteeing Correctness Properties of a Java Card Applet.
Electr. Notes Theor. Comput. Sci. 113: 217-233 (2005) |
| 2003 |
|---|
| 16 | EE | Mads Dam,
Lars-Åke Fredlund,
Dillian Guruv:
Formal Methods Research at SICS and KTH: An Overview.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 15 | EE | Lars-Åke Fredlund,
Dilian Gurov,
Thomas Noll,
Mads Dam,
Thomas Arts,
Gennady Chugunov:
A verification tool for ERLANG.
STTT 4(4): 405-420 (2003) |
| 2002 |
|---|
| 14 | EE | Gennady Chugunov,
Lars-Åke Fredlund,
Dilian Gurov:
Model Checking of Multi-Applet JavaCard Applications.
CARDIS 2002: 87-96 |
| 13 | EE | Thomas Arts,
Lars-Åke Fredlund:
Trace analysis of Erlang programs.
Erlang Workshop 2002: 16-23 |
| 12 | EE | Thomas Arts,
Lars-Åke Fredlund:
Trace analysis of Erlang programs.
SIGPLAN Notices 37(12): 18-24 (2002) |
| 2001 |
|---|
| 11 | EE | Lars-Åke Fredlund,
Dilian Gurov,
Thomas Noll:
Semi-Automated Verification of Erlang Code.
ASE 2001: 319-323 |
| 10 | EE | Thomas Noll,
Lars-Åke Fredlund,
Dilian Gurov:
The Erlang Verification Tool.
TACAS 2001: 582-586 |
| 1999 |
|---|
| 9 | EE | Lars-Åke Fredlund,
Dilian Gurov:
A Framework for Formal Reasoning about Open Distributed Systems.
ASIAN 1999: 87-100 |
| 1998 |
|---|
| 8 | EE | Thomas Arts,
Mads Dam,
Lars-Åke Fredlund,
Dilian Gurov:
System Description: Verification of Distributed Erlang Programs.
CADE 1998: 38-41 |
| 7 | EE | Mads Dam,
Lars-Åke Fredlund:
On the verification of open distributed systems.
SAC 1998: 532-540 |
| 1997 |
|---|
| 6 | EE | Mads Dam,
Lars-Åke Fredlund,
Dilian Gurov:
Toward Parametric Verification of Open Distributed Systems.
COMPOS 1997: 150-185 |
| 5 | EE | Lars-Åke Fredlund,
Jan Friso Groote,
Henri Korver:
Formal Verification of a Leader Election Protocol in Process Algebra.
Theor. Comput. Sci. 177(2): 459-486 (1997) |
| 1996 |
|---|
| 4 | | Lars-Åke Fredlund,
Jari Koistinen,
Fredrik Orava:
Formalising and Prototyping a Concurrent Object-Based Language.
LOMAPS 1996: 116-125 |
| 1991 |
|---|
| 3 | | Lars-Åke Fredlund,
Fredrik Orava:
Modelling Dynamic Communication Structures in LOTOS.
FORTE 1991: 185-200 |
| 2 | | Patrik Ernberg,
Lars-Åke Fredlund,
Bengt Jonsson:
Specification and Validation of a Simple Overtaking Protokol using LOTOS.
FORTE 1991: 377-392 |
| 1990 |
|---|
| 1 | | Lars-Åke Fredlund,
Bengt Jonsson,
Joachim Parrow:
An Implementation of a Translational Semantics for an Imperative Language.
CONCUR 1990: 246-262 |
