Clara Benac Earle

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 18

Top Venues

Erlang Workshop

J. Log. Algebraic Methods Program.

EUROMICRO-SEAA

EMAS@AAMAS

University of Kent, UK (PHD)

Education History

University of Kent, UK

PHD

Publications

Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
Controlled Scheduling of Concurrent Elixir Programs. Erlang (2024)
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. 130 (2023)
Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund
Testing feature-rich blockchains. Softw. Pract. Exp. 53 (5) (2023)
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
Generation and Refinement of Testing Models. Erlang Workshop (2023)
Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle, Julio Mariño
A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. 133 (2023)
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
Executable contracts for Elixir. Erlang Workshop (2022)
Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
Automatic Generation of Attacker Contracts in Solidity. FMBC@CAV (2022)
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño
Makina: a new QuickCheck state machine library. Erlang Workshop (2021)
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
Gaining trust by tracing security protocols. Erlang Workshop (2019)
Clara Benac Earle, Lars-Åke Fredlund
A Property-based Testing Framework for Multi-Agent Systems. AAMAS (2019)
Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán
Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. I3E Workshops (2019)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Pitfalls of Jason Concurrency. EMAS@AAMAS (2018)
Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer. Comput. Stand. Interfaces 54 (2017)
Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle
Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. SPICE (2016)
Clara Benac Earle, Lars-Åke Fredlund, John Hughes
Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE (2016)
Clara Benac Earle, Ana María Fernández-Soriano, Lars-Åke Fredlund, Elena Gómez-Martínez
Teaching Software Safety to Master Students. EUROMICRO-SEAA (2015)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Adding distribution and fault tolerance to Jason. Sci. Comput. Program. 98 (2015)
Clara Benac Earle, Lars-Åke Fredlund
Functional Testing of Java Programs. TFP (2015)
Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo
Property-Based Testing of JSON Based Web Services. ICWS (2014)
Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts
Teaching Students Property-Based Testing. EUROMICRO-SEAA (2014)
Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle
Model-Based Verification of Safety Contracts. SEFM Workshops (2014)
Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Jsongen: a quickcheck based library for testing JSON web services. Erlang Workshop (2014)
Clara Benac Earle, Lars-Åke Fredlund
Verification of Timed Erlang Programs Using McErlang. FMOODS/FORTE (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Adding distribution and fault tolerance to jason. AGERE!@SPLASH (2012)
Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
eJason: An Implementation of Jason in Erlang. ProMAS (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Erlang as an implementation platform for BDI languages. Erlang Workshop (2012)
David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas
A Case Study on Verifying a Supervisor Component Using McErlang. Electron. Notes Theor. Comput. Sci. 271 (2011)
Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART (2010)
Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle
A unified semantics for future Erlang. Erlang Workshop (2010)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop (2010)
Clara Benac Earle, Lars-Åke Fredlund
Debugging and Verification of Multi-Agent Systems. EUROCAST (2009)
Clara Benac Earle, Lars-Åke Fredlund
Recent improvements to the McErlang model checker. Erlang Workshop (2009)
John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
Property-Based Testing - The ProTest Project. FMCO (2009)
Clara Benac Earle, Lars-Åke Fredlund
Rigorous Software Development Using McErlang. JISBD (2009)
Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma
Verifying Robocup Teams. MoChArt (2008)
Mario Gómez, Javier Carbó, Clara Benac Earle
A cognitive trust and reputation model for the ART testbed. Inteligencia Artif. 12 (39) (2008)
Mario Gómez, Javier Carbó, Clara Benac Earle
Honesty and trust revisited: the advantages of being neutral about other's cognitive models. Auton. Agents Multi Agent Syst. 15 (3) (2007)
Mario Gómez, Javier Carbó, Clara Benac Earle
An Anticipatory Trust Model for Open Distributed Systems. SAB ABiALS (2006)
Lars-Åke Fredlund, Clara Benac Earle
Model checking erlang programs: the functional approach. Erlang Workshop (2006)
Clara Benac Earle, Lars-Åke Fredlund
Verification of Language Based Fault-Tolerance. EUROCAST (2005)
Clara Benac Earle, Lars-Åke Fredlund, John Derrick
Verifying fault-tolerant Erlang programs. Erlang Workshop (2005)
Thomas Arts, Clara Benac Earle, John Derrick
Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas
Translating Erlang to µCRL. ACSD (2004)
Thomas Arts, Clara Benac Earle, John Derrick
Verifying Erlang Code: A Resource Locker Case-Study. FME (2002)
Clara Benac Earle
Symbolic program execution using the Erlang verification tool. WFLP (2000)

Clara Benac Earle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Clara Benac Earle