Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Clara Benac Earle
2010 – today
- 2012
[c19]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund: Erlang as an implementation platform for BDI languages. Erlang Workshop 2012: 1-10- [c18]Clara Benac Earle, Lars-Åke Fredlund: Verification of Timed Erlang Programs Using McErlang. FMOODS/FORTE 2012: 251-267
- [c17]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund: eJason: An Implementation of Jason in Erlang. ProMAS 2012: 1-16
- [c16]Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund: Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST 2012: 104-113
- 2011
- [j4]David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas: A Case Study on Verifying a Supervisor Component Using McErlang. Electr. Notes Theor. Comput. Sci. 271: 23-40 (2011)
- 2010
- [c15]Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle: A unified semantics for future Erlang. Erlang Workshop 2010: 23-32
- [c14]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund: Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop 2010: 69-74
- [c13]Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund: Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART 2010: 23-38
2000 – 2009
- 2009
- [c12]Clara Benac Earle, Lars-Åke Fredlund: Recent improvements to the McErlang model checker. Erlang Workshop 2009: 93-100
- [c11]Clara Benac Earle, Lars-Åke Fredlund: Debugging and Verification of Multi-Agent Systems. EUROCAST 2009: 263-270
- [c10]John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson: Property-Based Testing - The ProTest Project. FMCO 2009: 250-271
- [c9]Clara Benac Earle, Lars-Åke Fredlund: Rigorous Software Development Using McErlang. JISBD 2009: 355-358
- [e1]Clara Benac Earle, Simon J. Thompson (Eds.): Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. ACM 2009, ISBN 978-1-60558-507-9
- 2008
- [j3]Mario Gómez, Javier Carbó, Clara Benac Earle: A cognitive trust and reputation model for the ART testbed. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 12(39): 29-40 (2008)
- [c8]Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma: Verifying Robocup Teams. MoChArt 2008: 34-48
- 2007
- [j2]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
- [c7]Lars-Åke Fredlund, Clara Benac Earle: Model checking erlang programs: the functional approach. Erlang Workshop 2006: 11-19
- [c6]Mario Gómez, Javier Carbó, Clara Benac Earle: An Anticipatory Trust Model for Open Distributed Systems. SAB ABiALS 2006: 307-324
- 2005
- [c5]Clara Benac Earle, Lars-Åke Fredlund, John Derrick: Verifying fault-tolerant Erlang programs. Erlang Workshop 2005: 26-34
- [c4]Clara Benac Earle, Lars-Åke Fredlund: Verification of Language Based Fault-Tolerance. EUROCAST 2005: 140-149
- 2004
- [j1]Thomas Arts, Clara Benac Earle, John Derrick: Development of a verified Erlang program for resource locking. STTT 5(2-3): 205-220 (2004)
- [c3]Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas: Translating Erlang to µCRL. ACSD 2004: 135-144
- 2002
- [c2]Thomas Arts, Clara Benac Earle, John Derrick: Verifying Erlang Code: A Resource Locker Case-Study. FME 2002: 184-203
- 2000
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-31 22:19 CEST by the dblp team