Follow
Clara Benac Earle
Clara Benac Earle
Verified email at fi.upm.es - Homepage
Title
Cited by
Cited by
Year
A unified semantics for future Erlang
H Svensson, LÅ Fredlund, C Benac Earle
Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, 23-32, 2010
502010
Development of a verified Erlang program for resource locking
T Arts, C Benac Earle, J Derrick
International Journal on Software Tools for Technology Transfer 5 (2), 205-220, 2004
422004
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
342019
Property-based testing-the protest project
J Derrick, N Walkinshaw, T Arts, C Benac 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
342002
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
322007
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
Automatic grading of programming exercises using property-based testing
C Benac Earle, LÅ Fredlund, J Hughes
Proceedings of the 2016 ACM Conference on Innovation and Technology in …, 2016
222016
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
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
192014
Verification of timed erlang programs using mcerlang
CB Earle, LÅ Fredlund
Formal Techniques for Distributed Systems, 251-267, 2012
192012
eJason: an implementation of Jason in Erlang
ÁF Díaz, CB Earle, LÅ Fredlund
International Workshop on Programming Multi-Agent Systems, 1-16, 2012
172012
Verifying fault-tolerant Erlang programs
CB Earle, LÅ Fredlund, J Derrick
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 26-34, 2005
172005
Verifying robocup teams
C Benac Earle, LÅ Fredlund, JA Iglesias, A Ledezma
International Workshop on Model Checking and Artificial Intelligence, 34-48, 2008
162008
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
152016
Jsongen: a QuickCheck based library for testing JSON web services
C Benac Earle, LÅ Fredlund, Á Herranz, J Mariño
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 33-41, 2014
152014
Model checking Erlang programs: The functional approach
LÅ Fredlund, CB Earle
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, 11-19, 2006
132006
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
Static partial order reduction for probabilistic concurrent systems
Á Fern'ndez-Díaz, C Baier, C Benac-Earle, LÅ Fredlund
2012 Ninth International Conference on Quantitative Evaluation of Systems …, 2012
102012
The system can't perform the operation now. Try again later.
Articles 1–20