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 | 42 | 2004 |
Verifying Erlang code: a resource locker case-study T Arts, CB Earle, J Derrick International Symposium of Formal Methods Europe, 184-203, 2002 | 33 | 2002 |
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 | 32 | 2009 |
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 | 29 | 2007 |
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 | 25 | 2006 |
Translating Erlang to/spl mu/CRL T Arts, CB Earle, JJS Penas Proceedings. Fourth International Conference on Application of Concurrency …, 2004 | 21 | 2004 |
Translating Erlang to/spl mu/CRL T Arts, CB Earle, JJS Penas Proceedings. Fourth International Conference on Application of Concurrency …, 2004 | 21 | 2004 |
Verifying fault-tolerant Erlang programs CB Earle, LÅ Fredlund, J Derrick Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 26-34, 2005 | 17 | 2005 |
Verification of timed erlang programs using mcerlang CB Earle, LÅ Fredlund Formal Techniques for Distributed Systems, 251-267, 2012 | 16 | 2012 |
eJason: an implementation of Jason in Erlang ÁF Díaz, CB Earle, LÅ Fredlund International Workshop on Programming Multi-Agent Systems, 1-16, 2012 | 15 | 2012 |
Model checking Erlang programs: The functional approach LÅ Fredlund, CB Earle Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, 11-19, 2006 | 15 | 2006 |
Verifying robocup teams CB Earle, LÅ Fredlund, JA Iglesias, A Ledezma International Workshop on Model Checking and Artificial Intelligence, 34-48, 2008 | 14 | 2008 |
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 | 13 | 2019 |
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 | 12 | 2014 |
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 | 10 | 2014 |
Translating erlang to mcrl T Arts, CB Earle, JJS Penas Fourth International Conference on Application of Concurrency to System …, 2004 | 10 | 2004 |
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 | 9 | 2016 |
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 | 9 | 2010 |
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 | 8 | 2011 |
Verification of language based fault-tolerance CB Earle, LÅ Fredlund International Conference on Computer Aided Systems Theory, 140-149, 2005 | 6 | 2005 |