Clara Benac Earle
Clara Benac Earle
Verified email at babel.ls.fi.upm.es - Homepage
Title
Cited by
Cited by
Year
Development of a verified Erlang program for resource locking
T Arts, CB Earle, J Derrick
International Journal on Software Tools for Technology Transfer 5 (2), 205-220, 2004
412004
Property-based testing-the protest project
J Derrick, N Walkinshaw, T Arts, CB Earle, F Cesarini, LA Fredlund, ...
International Symposium on Formal Methods for Components and Objects, 250-271, 2009
342009
Verifying Erlang code: a resource locker case-study
T Arts, CB Earle, J Derrick
International Symposium of Formal Methods Europe, 184-203, 2002
332002
Honesty and trust revisited: the advantages of being neutral about other’s cognitive models
M Gómez, J Carbó, CB Earle
Autonomous Agents and Multi-Agent Systems 15 (3), 313-335, 2007
292007
An anticipatory trust model for open distributed systems
M Gómez, J Carbó, C Benac-Earle
Workshop on Anticipatory Behavior in Adaptive Learning Systems, 307-324, 2006
252006
Translating Erlang to/spl mu/CRL
T Arts, CB Earle, JJS Penas
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
222004
Translating Erlang to/spl mu/CRL
T Arts, CB Earle, JJS Penas
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
222004
Engineering multi-agent systems: State of affairs and the road ahead
V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...
ACM SIGSOFT Software Engineering Notes 44 (1), 18-28, 2019
202019
Property-based testing of JSON based web services
LÅ Fredlund, CB Earle, Á Herranz, J Mariño
2014 IEEE International Conference on Web Services, 704-707, 2014
172014
Verifying fault-tolerant erlang programs
CB Earle, LÅ Fredlund, J Derrick
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 26-34, 2005
172005
Verification of timed erlang programs using mcerlang
CB Earle, LÅ Fredlund
Formal Techniques for Distributed Systems, 251-267, 2012
162012
eJason: an implementation of Jason in Erlang
ÁF Díaz, CB Earle, LÅ Fredlund
International Workshop on Programming Multi-Agent Systems, 1-16, 2012
162012
Verifying robocup teams
CB Earle, LÅ Fredlund, JA Iglesias, A Ledezma
International Workshop on Model Checking and Artificial Intelligence, 34-48, 2008
152008
Model checking Erlang programs: The functional approach
LÅ Fredlund, CB Earle
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, 11-19, 2006
142006
Deriving safety case fragments for assessing mbasafe’s compliance with en 50128
B Gallina, E Gómez-Martínez, CB Earle
International Conference on Software Process Improvement and Capability …, 2016
132016
Model-based verification of safety contracts
E Gómez-Martínez, RJ Rodríguez, LE Elorza, MI Rezabal, CB Earle
International Conference on Software Engineering and Formal Methods, 101-115, 2014
102014
Model-checking Erlang–a comparison between EtomCRL2 and McErlang
Q Guo, J Derrick, CB Earle, LÅ Fredlund
International Academic and Industrial Conference on Practice and Research …, 2010
92010
Translating erlang to mcrl
T Arts, CB Earle, JJS Penas
Fourth International Conference on Application of Concurrency to System …, 2004
92004
A case study on verifying a supervisor component using McErlang
D Castro, VM Gulias, CB Earle, LÅ Fredlund, S Rivas
Electronic Notes in Theoretical Computer Science 271, 23-40, 2011
82011
Verification of language based fault-tolerance
CB Earle, LÅ Fredlund
International Conference on Computer Aided Systems Theory, 140-149, 2005
62005
The system can't perform the operation now. Try again later.
Articles 1–20