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
532010
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
492019
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, 205-220, 2004
462004
Property-based testing-the protest project
J Derrick, N Walkinshaw, T Arts, C Benac Earle, F Cesarini, LA Fredlund, ...
Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010
372010
Verifying Erlang code: a resource locker case-study
T Arts, CB Earle, J Derrick
FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002
372002
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
302016
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, 313-335, 2007
302007
An anticipatory trust model for open distributed systems
M Gomez, J Carbo, C Benac-Earle
Anticipatory Behavior in Adaptive Learning Systems: From Brains to …, 2007
272007
Translating Erlang to/spl mu/CRL
T Arts, CB Earle, JJS Penas
Proceedings. Fourth International Conference on Application of Concurrency …, 2004
232004
Deriving safety case fragments for assessing mbasafe’s compliance with en 50128
B Gallina, E Gómez-Martínez, CB Earle
Software Process Improvement and Capability Determination: 16th …, 2016
222016
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
202014
Verification of timed erlang programs using mcerlang
CB Earle, LÅ Fredlund
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
192012
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
182014
eJason: an implementation of Jason in Erlang
ÁF Díaz, CB Earle, LÅ Fredlund
Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012 …, 2013
182013
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
Model Checking and Artificial Intelligence: 5th International Workshop …, 2009
142009
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
132012
Model checking Erlang programs: The functional approach
LÅ Fredlund, CB Earle
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, 11-19, 2006
132006
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer
B Gallina, E Gómez-Martínez, C Benac-Earle
Computer Standards & Interfaces 54, 119-128, 2017
112017
Model-checking Erlang–a comparison between EtomCRL2 and McErlang
Q Guo, J Derrick, C Benac Earle, LÅ Fredlund
Testing–Practice and Research Techniques: 5th International Academic and …, 2010
112010
The system can't perform the operation now. Try again later.
Articles 1–20