Clara Benac-Earle

Publications

2025

1. Executable contracts for Elixir

   Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, Mariño, J., & Earle, C. B. (2025). Executable contracts for Elixir. J. Log. Algebraic Methods Program., 142, 101019.
2. Generation of algebraic data type values using evolutionary algorithms

   Ballesteros, I., Earle, C. B., Mariño, J., Fredlund, L.-Å., & Ángel Herranz. (2025). Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebraic Methods Program., 143, 101022.

2024

1. Controlled Scheduling of Concurrent Elixir Programs

   Bueso de Barrio, L. E., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2024). Controlled Scheduling of Concurrent Elixir Programs. In K. Fernandez-Reyes & A. L. Voinea (Eds.), Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024 (pp. 67–75). ACM.

2023

1. Gaining trust by tracing security protocols

   Fredlund, L.-Å., Earle, C. B., Arts, T., & Svensson, H. (2023). Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program., 130, 100829.
2. A formal semantics for agent distribution and fault tolerance in Jason

   Fernández Dı́az, Fredlund, L.-Å., Earle, C. B., & Mariño, J. (2023). A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program., 133, 100874.
3. Testing feature-rich blockchains

   Arts, T., Svensson, H., Earle, C. B., & Fredlund, L.-Å. (2023). Testing feature-rich blockchains. Softw. Pract. Exp., 53(5), 1144–1173.
4. Generation and Refinement of Testing Models

   Bueso de Barrio, L. E., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2023). Generation and Refinement of Testing Models. In B. K. Ozkan & K. Fernandez-Reyes (Eds.), Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023 (pp. 14–23). ACM.

2022

1. Automatic Generation of Attacker Contracts in Solidity

   Ballesteros, I., Earle, C. B., Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, & Mariño, J. (2022). Automatic Generation of Attacker Contracts in Solidity. In Z. Dargaye & C. Schneidewind (Eds.), 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel (Vol. 105, pp. 3:1–3:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
2. Executable contracts for Elixir

   Pérez, S., Bueso de Barrio, L. E., Ballesteros, I., Ángel Herranz, Mariño, J., Earle, C. B., & Fredlund, L.-Å. (2022). Executable contracts for Elixir. In S. Aronis & B. K. Ozkan (Eds.), Erlang ’22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022 (pp. 40–46). ACM.

2021

1. Makina: a new QuickCheck state machine library

   Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, Earle, C. B., & Mariño, J. (2021). Makina: a new QuickCheck state machine library. In S. Aronis & A. Bieniusa (Eds.), Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021 (pp. 41–53). ACM.

2019

1. A Property-based Testing Framework for Multi-Agent Systems

   Earle, C. B., & Fredlund, L.-Å. (2019). A Property-based Testing Framework for Multi-Agent Systems. In E. Elkind, M. Veloso, N. Agmon, & M. E. Taylor (Eds.), Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS ’19, Montreal, QC, Canada, May 13-17, 2019 (pp. 1823–1825). International Foundation for Autonomous Agents and Multiagent Systems.
2. Gaining trust by tracing security protocols

   Fredlund, L.-Å., Earle, C. B., Arts, T., & Svensson, H. (2019). Gaining trust by tracing security protocols. In A. Francalanza & V. Fördós (Eds.), Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019 (pp. 56–67). ACM.
3. Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion

   Grande, V., Earle, C. B., Manresa-Yee, C., Gómez-Martı́nez Elena, Castro, L. M., Pons, P., & Corobán, R. (2019). Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. In I. O. Pappas, P. Mikalef, Y. K. Dwivedi, L. Jaccheri, J. Krogstie, & M. Mäntymäki (Eds.), Digital Transformation for a Sustainable Society in the 21st Century - I3E 2019 IFIP WG 6.11 International Workshops, Trondheim, Norway, September 18-20, 2019, Revised Selected Papers (Vol. 573, pp. 5–16). Springer.

2018

1. Pitfalls of Jason Concurrency

   Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2018). Pitfalls of Jason Concurrency. In D. Weyns, V. Mascardi, & A. Ricci (Eds.), Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers (Vol. 11375, pp. 19–33). Springer.

2017

1. Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer

   Gallina, B., Gómez-Martı́nez Elena, & Earle, C. B. (2017). Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer. Comput. Stand. Interfaces, 54, 119–128.

2016

1. Automatic Grading of Programming Exercises using Property-Based Testing

   Earle, C. B., Fredlund, L.-Å., & Hughes, J. (2016). Automatic Grading of Programming Exercises using Property-Based Testing. In A. Clear, E. Cuadros-Vargas, J. Carter, & Y. Túpac (Eds.), Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016 (pp. 47–52). ACM.
2. Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128

   Gallina, B., Gómez-Martı́nez Elena, & Earle, C. B. (2016). Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128. In P. M. Clarke, R. V. O’Connor, T. Rout, & A. Dorling (Eds.), Software Process Improvement and Capability Determination - 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings (Vol. 609, pp. 3–16). Springer.

2015

1. Adding distribution and fault tolerance to Jason

   Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2015). Adding distribution and fault tolerance to Jason. Sci. Comput. Program., 98, 205–232.
2. Teaching Software Safety to Master Students

   Earle, C. B., Fernández-Soriano Ana Marı́a, Fredlund, L.-Å., & Gómez-Martı́nez Elena. (2015). Teaching Software Safety to Master Students. 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015, 306–308.
3. Functional Testing of Java Programs

   Earle, C. B., & Fredlund, L.-Å. (2015). Functional Testing of Java Programs. In M. Serrano & J. Hage (Eds.), Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Vol. 9547, pp. 40–59). Springer.

2014

1. Jsongen: a quickcheck based library for testing JSON web services

   Earle, C. B., Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). Jsongen: a quickcheck based library for testing JSON web services. In L. M. Castro & H. Svensson (Eds.), Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014 (pp. 33–41). ACM.
2. Teaching Students Property-Based Testing

   Earle, C. B., Fredlund, L.-Å., Mariño, J., & Arts, T. (2014). Teaching Students Property-Based Testing. 40th EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2014, Verona, Italy, August 27-29, 2014, 437–442.
3. Property-Based Testing of JSON Based Web Services

   Fredlund, L.-Å., Earle, C. B., Ángel Herranz-Nieva, & Mariño-Carballo, J. (2014). Property-Based Testing of JSON Based Web Services. 2014 IEEE International Conference on Web Services, ICWS, 2014, Anchorage, AK, USA, June 27 - July 2, 2014, 704–707.
4. Model-Based Verification of Safety Contracts

   Gómez-Martı́nez Elena, Rodrı́guez Ricardo J., Elorza, L. E., Rezabal, M. I., & Earle, C. B. (2014). Model-Based Verification of Safety Contracts. In C. Canal & A. Idani (Eds.), Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Vol. 8938, pp. 101–115). Springer.

2012

1. Adding distribution and fault tolerance to jason

   Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2012). Adding distribution and fault tolerance to jason. In G. A. Agha, R. H. Bordini, A. Marron, & A. Ricci (Eds.), Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA (pp. 95–106). ACM.
2. Erlang as an implementation platform for BDI languages

   Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2012). Erlang as an implementation platform for BDI languages. In T. Hoffman & J. Hughes (Eds.), Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, September 14, 2012 (pp. 1–10). ACM.
3. Verification of Timed Erlang Programs Using McErlang

   Earle, C. B., & Fredlund, L.-Å. (2012). Verification of Timed Erlang Programs Using McErlang. In H. Giese & G. Rosu (Eds.), Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings (Vol. 7273, pp. 251–267). Springer.
4. eJason: An Implementation of Jason in Erlang

   Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2012). eJason: An Implementation of Jason in Erlang. In M. Dastani, J. F. Hübner, & B. Logan (Eds.), Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers (Vol. 7837, pp. 1–16). Springer.
5. Static Partial Order Reduction for Probabilistic Concurrent Systems

   Fernández Dı́az, Baier, C., Earle, C. B., & Fredlund, L.-Å. (2012). Static Partial Order Reduction for Probabilistic Concurrent Systems. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, 104–113.

2010

1. A unified semantics for future Erlang

   Svensson, H., Fredlund, L.-Å., & Earle, C. B. (2010). A unified semantics for future Erlang. In S. L. Fritchie & K. Sagonas (Eds.), Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010 (pp. 23–32). ACM.
2. Implementing a multiagent negotiation protocol in Erlang

   Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2010). Implementing a multiagent negotiation protocol in Erlang. In S. L. Fritchie & K. Sagonas (Eds.), Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010 (pp. 69–74). ACM.
3. Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang

   Guo, Q., Derrick, J., Earle, C. B., & Fredlund, L.-Å. (2010). Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. In L. Bottaci & G. Fraser (Eds.), Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings (Vol. 6303, pp. 23–38). Springer.
4. A Case Study on Verifying a Supervisor Component Using McErlang

   Castro, D., Gulı́as Vı́ctor M., Earle, C. B., Fredlund, L.-Å., & Rivas, S. (2010). A Case Study on Verifying a Supervisor Component Using McErlang. In Gulı́as Vı́ctor M. & J. S. Galiana (Eds.), Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010 (Vol. 271, pp. 23–40). Elsevier.

2009

1. Recent improvements to the McErlang model checker

   Earle, C. B., & Fredlund, L.-Å. (2009). Recent improvements to the McErlang model checker. In C. B. Earle & S. J. Thompson (Eds.), Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 (pp. 93–100). ACM.
2. Debugging and Verification of Multi-Agent Systems

   Earle, C. B., & Fredlund, L.-Å. (2009). Debugging and Verification of Multi-Agent Systems. In Moreno-Dı́az Roberto, F. Pichler, & A. Quesada-Arencibia (Eds.), Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers (Vol. 5717, pp. 263–270). Springer.
3. Property-Based Testing - The ProTest Project

   Derrick, J., Walkinshaw, N., Arts, T., Earle, C. B., Cesarini, F., Fredlund, L.-Å., Gulı́as Vı́ctor M., Hughes, J., & Thompson, S. J. (2009). Property-Based Testing - The ProTest Project. In F. S. de Boer, M. M. Bonsangue, S. Hallerstede, & M. Leuschel (Eds.), Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Vol. 6286, pp. 250–271). Springer.
4. Rigorous Software Development Using McErlang

   Earle, C. B., & Fredlund, L.-Å. (2009). Rigorous Software Development Using McErlang. In A. Vallecillo & G. Sagardui (Eds.), XIV Jornadas de Ingenierı́a del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009 (pp. 355–358).
5. Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009

   Earle, C. B., & Thompson, S. J. (Eds.). (2009). Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. ACM.

2008

1. A cognitive trust and reputation model for the ART testbed

   Gómez, M., Carbó, J., & Earle, C. B. (2008). A cognitive trust and reputation model for the ART testbed. Inteligencia Artif., 12(39), 29–40.
2. Verifying Robocup Teams

   Earle, C. B., Fredlund, L.-Å., Iglesias, J. A., & Ledezma, A. (2008). Verifying Robocup Teams. In D. A. Peled & M. J. Wooldridge (Eds.), Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers (Vol. 5348, pp. 34–48). Springer.

2007

1. Honesty and trust revisited: the advantages of being neutral about other’s cognitive models

   Gómez, M., Carbó, J., & Earle, C. B. (2007). Honesty and trust revisited: the advantages of being neutral about other’s cognitive models. Auton. Agents Multi Agent Syst., 15(3), 313–335.

2006

1. Model checking erlang programs: the functional approach

   Fredlund, L.-Å., & Earle, C. B. (2006). Model checking erlang programs: the functional approach. In M. Feeley & P. W. Trinder (Eds.), Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006 (pp. 11–19). ACM.
2. An Anticipatory Trust Model for Open Distributed Systems

   Gómez, M., Carbó, J., & Earle, C. B. (2006). An Anticipatory Trust Model for Open Distributed Systems. In M. V. Butz, O. Sigaud, G. Pezzulo, & G. Baldassarre (Eds.), Anticipatory Behavior in Adaptive Learning Systems, From Brains to Individual and Social Behavior [the book is a result from the third workshop on anticipatory behavior in adaptive learning systems, ABiALS 2006, Rome, Italy, September 30, 2006, colocated with SAB 2006] (Vol. 4520, pp. 307–324). Springer.

2005

1. Model checking the interaction of Erlang components

   Earle, C. B. (2005). Model checking the interaction of Erlang components [PhD thesis, University of Kent, UK].
2. Verifying fault-tolerant Erlang programs

   Earle, C. B., Fredlund, L.-Å., & Derrick, J. (2005). Verifying fault-tolerant Erlang programs. In K. Sagonas & J. Armstrong (Eds.), Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005 (pp. 26–34). ACM.
3. Verification of Language Based Fault-Tolerance

   Earle, C. B., & Fredlund, L.-Å. (2005). Verification of Language Based Fault-Tolerance. In Moreno-Dı́az Roberto, F. Pichler, & A. Quesada-Arencibia (Eds.), Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers (Vol. 3643, pp. 140–149). Springer.

2004

1. Development of a verified Erlang program for resource locking

   Arts, T., Earle, C. B., & Derrick, J. (2004). Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf., 5(2-3), 205–220.
2. Translating Erlang to \(\mathrmμ\)CRL

   Arts, T., Earle, C. B., & Penas, J. J. S. (2004). Translating Erlang to \(\mathrmμ\)CRL. 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, 135–144.

2002

1. Verifying Erlang Code: A Resource Locker Case-Study

   Arts, T., Earle, C. B., & Derrick, J. (2002). Verifying Erlang Code: A Resource Locker Case-Study. In L.-H. Eriksson & P. A. Lindsay (Eds.), FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings (Vol. 2391, pp. 184–203). Springer.

2000

1. Symbolic program execution using the Erlang verification tool

   Earle, C. B. (2000). Symbolic program execution using the Erlang verification tool. In Alpuente Marı́a (Ed.), 9th International Workshop on Functional and Logic Programming, WFLP’2000, Benicassim, Spain, September 28-30, 2000 (pp. 42–55).