 | 2009 |
|---|
| 14 |       | Clara Benac Earle,
Simon J. Thompson:
Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009
ACM 2009 |
| 13 |  | Clara Benac Earle,
Lars-Åke Fredlund:
Debugging and Verification of Multi-Agent Systems.
EUROCAST 2009: 263-270 |
| 12 | | Clara Benac Earle,
Lars-Åke Fredlund:
Recent improvements to the McErlang model checker.
Erlang Workshop 2009: 93-100 |
| 11 | | Clara Benac Earle,
Lars-Åke Fredlund:
Rigorous Software Development Using McErlang.
JISBD 2009: 355-358 |
| 2008 |
|---|
| 10 | | Clara Benac Earle,
Lars-Åke Fredlund,
José Antonio Iglesias,
Agapito Ledezma:
Verifying Robocup Teams.
MoChArt 2008: 34-48 |
| 2007 |
|---|
| 9 | | 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 | | Lars-Åke Fredlund,
Clara Benac Earle:
Model checking erlang programs: the functional approach.
Erlang Workshop 2006: 11-19 |
| 7 | | Mario Gómez,
Javier Carbó,
Clara Benac Earle:
An Anticipatory Trust Model for Open Distributed Systems.
SAB ABiALS 2006: 307-324 |
| 2005 |
|---|
| 6 | | Clara Benac Earle,
Lars-Åke Fredlund:
Verification of Language Based Fault-Tolerance.
EUROCAST 2005: 140-149 |
| 5 | | Clara Benac Earle,
Lars-Åke Fredlund,
John Derrick:
Verifying fault-tolerant Erlang programs.
Erlang Workshop 2005: 26-34 |
| 2004 |
|---|
| 4 | | Thomas Arts,
Clara Benac Earle,
Juan José Sánchez Penas:
Translating Erlang to µCRL.
ACSD 2004: 135-144 |
| 3 | | 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 | | 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 |
