Symbolic program execution using the Erlang verification tool. - Clara Benac Earle (WFLP, 2000)

Verifying Erlang Code: A Resource Locker Case-Study. - Thomas Arts; Clara Benac Earle; John Derrick (FME, 2002)

Translating Erlang to µCRL. - Thomas Arts; Clara Benac Earle; Juan José Sánchez Penas (ACSD, 2004)

Development of a verified Erlang program for resource locking. - Thomas Arts; Clara Benac Earle; John Derrick (Int. J. Softw. Tools Technol. Transf., 2004)

Verifying fault-tolerant Erlang programs. - Clara Benac Earle; Lars-Åke Fredlund; John Derrick (Erlang Workshop, 2005)

Verification of Language Based Fault-Tolerance. - Clara Benac Earle; Lars-Åke Fredlund (EUROCAST, 2005)

Model checking the interaction of Erlang components. - Clara Benac Earle (2005)

Model checking erlang programs: the functional approach. - Lars-Åke Fredlund; Clara Benac Earle (Erlang Workshop, 2006)

An Anticipatory Trust Model for Open Distributed Systems. - Mario Gómez; Javier Carbó; Clara Benac Earle (SAB ABiALS, 2006)

Honesty and trust revisited: the advantages of being neutral about other's cognitive models. - Mario Gómez; Javier Carbó; Clara Benac Earle (Auton. Agents Multi Agent Syst., 2007)

Verifying Robocup Teams. - Clara Benac Earle; Lars-Åke Fredlund; José Antonio Iglesias 001; Agapito Ledezma (MoChArt, 2008)

A cognitive trust and reputation model for the ART testbed. - Mario Gómez; Javier Carbó; Clara Benac Earle (Inteligencia Artif., 2008)

Recent improvements to the McErlang model checker. - Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2009)

Debugging and Verification of Multi-Agent Systems. - Clara Benac Earle; Lars-Åke Fredlund (EUROCAST, 2009)

Property-Based Testing - The ProTest Project. - John Derrick; Neil Walkinshaw; Thomas Arts; Clara Benac Earle; Francesco Cesarini; Lars-Åke Fredlund; Víctor M. Gulías; John Hughes 001; Simon J. Thompson (FMCO, 2009)

Rigorous Software Development Using McErlang. - Clara Benac Earle; Lars-Åke Fredlund (JISBD, 2009)

Implementing a multiagent negotiation protocol in Erlang. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2010)

A unified semantics for future Erlang. - Hans Svensson; Lars-Åke Fredlund; Clara Benac Earle (Erlang Workshop, 2010)

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. - Qiang Guo 001; John Derrick; Clara Benac Earle; Lars-Åke Fredlund (TAIC PART, 2010)

A Case Study on Verifying a Supervisor Component Using McErlang. - David Castro 005; Víctor M. Gulías; Clara Benac Earle; Lars-Åke Fredlund; Samuel Rivas (PROLE, 2010)

Erlang as an implementation platform for BDI languages. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2012)

Verification of Timed Erlang Programs Using McErlang. - Clara Benac Earle; Lars-Åke Fredlund (FMOODS/FORTE, 2012)

eJason: An Implementation of Jason in Erlang. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (ProMAS, 2012)

Static Partial Order Reduction for Probabilistic Concurrent Systems. - Álvaro Fernández Díaz; Christel Baier; Clara Benac Earle; Lars-Åke Fredlund (QEST, 2012)

Jsongen: a quickcheck based library for testing JSON web services. - Clara Benac Earle; Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (Erlang Workshop, 2014)

Teaching Students Property-Based Testing. - Clara Benac Earle; Lars-Åke Fredlund; Julio Mariño; Thomas Arts (EUROMICRO-SEAA, 2014)

Property-Based Testing of JSON Based Web Services. - Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz-Nieva; Julio Mariño-Carballo (ICWS, 2014)

Model-Based Verification of Safety Contracts. - Elena Gómez-Martínez; Ricardo J. Rodríguez; Leire Etxeberria Elorza; Miren Illarramendi Rezabal; Clara Benac Earle (SEFM Workshops, 2014)

Teaching Software Safety to Master Students. - Clara Benac Earle; Ana María Fernández-Soriano; Lars-Åke Fredlund; Elena Gómez-Martínez (EUROMICRO-SEAA, 2015)

Functional Testing of Java Programs. - Clara Benac Earle; Lars-Åke Fredlund (TFP, 2015)

Adding distribution and fault tolerance to Jason. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (Sci. Comput. Program., 2015)

Automatic Grading of Programming Exercises using Property-Based Testing. - Clara Benac Earle; Lars-Åke Fredlund; John Hughes 001 (ITiCSE, 2016)

Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. - Barbara Gallina; Elena Gómez-Martínez; Clara Benac Earle (SPICE, 2016)

Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer. - Barbara Gallina; Elena Gómez-Martínez; Clara Benac Earle (Comput. Stand. Interfaces, 2017)

Pitfalls of Jason Concurrency. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (EMAS@AAMAS, 2018)

A Property-based Testing Framework for Multi-Agent Systems. - Clara Benac Earle; Lars-Åke Fredlund (AAMAS, 2019)

Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. - Virginia Grande; Clara Benac Earle; Cristina Manresa-Yee; Elena Gómez-Martínez; Laura M. Castro; Patricia Pons; Raúl Corobán (I3E Workshops, 2019)

Makina: a new QuickCheck state machine library. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Clara Benac Earle; Julio Mariño (Erlang Workshop, 2021)

Automatic Generation of Attacker Contracts in Solidity. - Ignacio Ballesteros; Clara Benac Earle; Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Julio Mariño (FMBC@CAV, 2022)

Executable contracts for Elixir. - Sergio Pérez 001; Luis Eduardo Bueso de Barrio; Ignacio Ballesteros; Ángel Herranz; Julio Mariño; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2022)

Generation and Refinement of Testing Models. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz; Julio Mariño (Erlang Workshop, 2023)

Gaining trust by tracing security protocols. - Lars-Åke Fredlund; Clara Benac Earle; Thomas Arts; Hans Svensson (J. Log. Algebraic Methods Program., 2023)

Testing feature-rich blockchains. - Thomas Arts; Hans Svensson; Clara Benac Earle; Lars-Åke Fredlund (Softw. Pract. Exp., 2023)

A formal semantics for agent distribution and fault tolerance in Jason. - Álvaro Fernández Díaz; Lars-Åke Fredlund; Clara Benac Earle; Julio Mariño (J. Log. Algebraic Methods Program., 2023)

Controlled Scheduling of Concurrent Elixir Programs. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz; Julio Mariño (Erlang, 2024)

Generation of algebraic data type values using evolutionary algorithms. - Ignacio Ballesteros; Clara Benac Earle; Julio Mariño; Lars-Åke Fredlund; Ángel Herranz (J. Log. Algebraic Methods Program., 2025)

Executable contracts for Elixir. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Julio Mariño; Clara Benac Earle (J. Log. Algebraic Methods Program., 2025)