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-3), 205-220, 2004
422004
Verifying Erlang code: a resource locker case-study
T Arts, CB Earle, J Derrick
International Symposium of Formal Methods Europe, 184-203, 2002
332002
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
322009
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
282007
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
212004
Translating Erlang to/spl mu/CRL
T Arts, CB Earle, JJS Penas
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
212004
Verifying fault-tolerant Erlang programs
CB Earle, LÅ Fredlund, J Derrick
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 26-34, 2005
162005
Verification of timed erlang programs using mcerlang
CB Earle, LÅ Fredlund
Formal Techniques for Distributed Systems, 251-267, 2012
152012
Model checking Erlang programs: The functional approach
LÅ Fredlund, CB Earle
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, 11-19, 2006
152006
eJason: an implementation of Jason in Erlang
ÁF Díaz, CB Earle, LÅ Fredlund
International Workshop on Programming Multi-Agent Systems, 1-16, 2012
142012
Verifying robocup teams
CB Earle, LÅ Fredlund, JA Iglesias, A Ledezma
International Workshop on Model Checking and Artificial Intelligence, 34-48, 2008
142008
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
132014
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
Translating erlang to mcrl
T Arts, CB Earle, JJS Penas
Fourth International Conference on Application of Concurrency to System …, 2004
102004
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
92016
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
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
82010
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
72019
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