Clara Benac Earle

	2011
20		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
19		Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle: A unified semantics for future Erlang. Erlang Workshop 2010: 23-32
18		Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund: Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop 2010: 69-74
17		Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund: Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART 2010: 23-38
	2009
16		Clara Benac Earle, Simon J. Thompson: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 ACM 2009
15		Clara Benac Earle, Lars-Åke Fredlund: Debugging and Verification of Multi-Agent Systems. EUROCAST 2009: 263-270
14		Clara Benac Earle, Lars-Åke Fredlund: Recent improvements to the McErlang model checker. Erlang Workshop 2009: 93-100
13		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
12		Clara Benac Earle, Lars-Åke Fredlund: Rigorous Software Development Using McErlang. JISBD 2009: 355-358
	2008
11		Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma: Verifying Robocup Teams. MoChArt 2008: 34-48
10		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)
	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

Coauthor Index

1	Thomas Arts	[2] [3] [4] [13]
2	David Castro	[20]
3	Francesco Cesarini	[13]
4	John Derrick	[2] [3] [5] [13] [17]
5	Álvaro Fernández Díaz	[18]
6	Lars-Åke Fredlund (Lars-åke Fredlund)	[5] [6] [8] [11] [12] [13] [14] [15] [17] [18] [19] [20]
7	Mario Gómez	[7] [9] [10]
8	Víctor M. Gulías	[13] [20]
9	Qiang Guo	[17]
10	John Hughes	[13]
11	José Antonio Iglesias	[11]
12	Agapito Ledezma (Agapito Ledezma Espino)	[11]
13	Juan José Sánchez Penas	[4]
14	Samuel Rivas	[20]
15	Javier Ignacio Carbó Rubiera (Javier Carbó, Javier Carbo Rubiera)	[7] [9] [10]
16	Hans Svensson	[19]
17	Simon J. Thompson	[13] [16]
18	Neil Walkinshaw	[13]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page