| 2008 |
|---|
| 8 | EE | Koen Claessen,
Hans Svensson:
Finding Counter Examples in Induction Proofs.
TAP 2008: 48-65 |
| 2007 |
|---|
| 7 | EE | Hans Svensson,
Lars-Åke Fredlund:
Programming distributed Erlang applications: pitfalls and recipes.
Erlang Workshop 2007: 37-42 |
| 6 | EE | Hans Svensson,
Lars-Åke Fredlund:
A more accurate semantics for distributed Erlang.
Erlang Workshop 2007: 43-54 |
| 5 | EE | Lars-Åke Fredlund,
Hans Svensson:
McErlang: a model checker for a distributed functional programming language.
ICFP 2007: 125-136 |
| 2005 |
|---|
| 4 | EE | Hans Svensson,
Thomas Arts:
A new leader election implementation.
Erlang Workshop 2005: 35-39 |
| 3 | EE | Koen Claessen,
Hans Svensson:
A semantics for distributed Erlang.
Erlang Workshop 2005: 78-87 |
| 2004 |
|---|
| 2 | EE | Thomas Arts,
Koen Claessen,
Hans Svensson:
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.
FATES 2004: 140-154 |
| 2003 |
|---|
| 1 | EE | Ola Åkerberg,
Hans Svensson,
Bastian Schulz,
Pierre Nugues:
CarSim: An Automatic 3D Text-to-Scene Conversion System Applied to Road Accident Reports.
EACL 2003: 191-194 |
