| 2008 |
|---|
| 10 | EE | Clara Benac Earle,
Lars-Åke Fredlund,
José Antonio Iglesias,
Agapito Ledezma:
Verifying Robocup Teams.
MoChArt 2008: 34-48 |
| 2007 |
|---|
| 9 | EE | Mario Gómez,
Javier Carbó,
Clara Benac Earle:
Honesty and trust revisited: the advantages of being neutral about other's cognitive models.
Autonomous Agents and Multi-Agent Systems 15(3): 313-335 (2007) |
| 2006 |
|---|
| 8 | EE | Lars-Åke Fredlund,
Clara Benac Earle:
Model checking erlang programs: the functional approach.
Erlang Workshop 2006: 11-19 |
| 7 | EE | Mario Gómez,
Javier Carbó,
Clara Benac Earle:
An Anticipatory Trust Model for Open Distributed Systems.
SAB ABiALS 2006: 307-324 |
| 2005 |
|---|
| 6 | EE | Clara Benac Earle,
Lars-Åke Fredlund:
Verification of Language Based Fault-Tolerance.
EUROCAST 2005: 140-149 |
| 5 | EE | Clara Benac Earle,
Lars-Åke Fredlund,
John Derrick:
Verifying fault-tolerant Erlang programs.
Erlang Workshop 2005: 26-34 |
| 2004 |
|---|
| 4 | EE | Thomas Arts,
Clara Benac Earle,
Juan José Sánchez Penas:
Translating Erlang to µCRL.
ACSD 2004: 135-144 |
| 3 | EE | Thomas Arts,
Clara Benac Earle,
John Derrick:
Development of a verified Erlang program for resource locking.
STTT 5(2-3): 205-220 (2004) |
| 2002 |
|---|
| 2 | EE | Thomas Arts,
Clara Benac Earle,
John Derrick:
Verifying Erlang Code: A Resource Locker Case-Study.
FME 2002: 184-203 |
| 2000 |
|---|
| 1 | | Clara Benac Earle:
Symbolic program execution using the Erlang verification tool.
WFLP 2000: 42-55 |
