| 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 | 53 | 2010 |
| 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 | 49 | 2019 |
| 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 | 46 | 2004 |
| 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 | 37 | 2010 |
| 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 | 37 | 2002 |
| 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 | 30 | 2016 |
| 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 | 30 | 2007 |
| 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 | 27 | 2007 |
| Translating Erlang to/spl mu/CRL T Arts, CB Earle, JJS Penas Proceedings. Fourth International Conference on Application of Concurrency …, 2004 | 23 | 2004 |
| 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 | 22 | 2016 |
| 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 | 20 | 2014 |
| Verification of timed erlang programs using mcerlang CB Earle, LÅ Fredlund International Conference on Formal Methods for Open Object-Based Distributed …, 2012 | 19 | 2012 |
| 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 | 18 | 2014 |
| eJason: an implementation of Jason in Erlang ÁF Díaz, CB Earle, LÅ Fredlund Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012 …, 2013 | 18 | 2013 |
| 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 |
| Verifying robocup teams C Benac Earle, LÅ Fredlund, JA Iglesias, A Ledezma Model Checking and Artificial Intelligence: 5th International Workshop …, 2009 | 14 | 2009 |
| 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 | 13 | 2012 |
| Model checking Erlang programs: The functional approach LÅ Fredlund, CB Earle Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, 11-19, 2006 | 13 | 2006 |
| 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 | 11 | 2017 |
| 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 | 11 | 2010 |
