 | 2009 |
|---|
| 10 |       | Hans Svensson:
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report.
Erlang Workshop 2009: 63-70 |
| 9 | | Koen Claessen,
Michal Palka,
Nicholas Smallbone,
John Hughes,
Hans Svensson,
Thomas Arts,
Ulf Wiger:
Finding race conditions in Erlang with QuickCheck and PULSE.
ICFP 2009: 149-160 |
| 2008 |
|---|
| 8 | | Koen Claessen,
Hans Svensson:
Finding Counter Examples in Induction Proofs.
TAP 2008: 48-65 |
| 2007 |
|---|
| 7 | | Hans Svensson,
Lars-Åke Fredlund:
Programming distributed Erlang applications: pitfalls and recipes.
Erlang Workshop 2007: 37-42 |
| 6 | | Hans Svensson,
Lars-Åke Fredlund:
A more accurate semantics for distributed Erlang.
Erlang Workshop 2007: 43-54 |
| 5 | | Lars-Åke Fredlund,
Hans Svensson:
McErlang: a model checker for a distributed functional programming language.
ICFP 2007: 125-136 |
| 2005 |
|---|
| 4 | | Hans Svensson,
Thomas Arts:
A new leader election implementation.
Erlang Workshop 2005: 35-39 |
| 3 | | Koen Claessen,
Hans Svensson:
A semantics for distributed Erlang.
Erlang Workshop 2005: 78-87 |
| 2004 |
|---|
| 2 | | Thomas Arts,
Koen Claessen,
Hans Svensson:
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.
FATES 2004: 140-154 |
| 2003 |
|---|
| 1 | | 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 |
