Clara Benac Earle

According to our database, Clara Benac Earle authored at least 44 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., June, 2023

Testing feature-rich blockchains.

Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund

Softw. Pract. Exp., May, 2023

Gaining trust by tracing security protocols.

Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson

J. Log. Algebraic Methods Program., 2023

Generation and Refinement of Testing Models.

Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño

Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2023

2022

Executable contracts for Elixir.

Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

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

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

2021

Makina: a new QuickCheck state machine library.

Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

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

Proceedings of the Digital Transformation for a Sustainable Society in the 21st Century, 2019

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

Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Pitfalls of Jason Concurrency.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

2017

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

2016

Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128.

Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle

Proceedings of the Software Process Improvement and Capability Determination, 2016

Automatic Grading of Programming Exercises using Property-Based Testing.

Clara Benac Earle, Lars-Åke Fredlund, John Hughes

Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

2015

Adding distribution and fault tolerance to Jason.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Sci. Comput. Program., 2015

Functional Testing of Java Programs.

Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

Teaching Software Safety to Master Students.

Clara Benac Earle, Ana María Fernández-Soriano, Lars-Åke Fredlund, Elena Gómez-Martínez

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

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

Proceedings of the Software Engineering and Formal Methods, 2014

Property-Based Testing of JSON Based Web Services.

Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Teaching Students Property-Based Testing.

Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

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

Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2012

Static Partial Order Reduction for Probabilistic Concurrent Systems.

Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

eJason: An Implementation of Jason in Erlang.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Verification of Timed Erlang Programs Using McErlang.

Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Formal Techniques for Distributed Systems, 2012

Erlang as an implementation platform for BDI languages.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2010

A Case Study on Verifying a Supervisor Component Using McErlang.

David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas

Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang.

Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Testing, 2010

A unified semantics for future Erlang.

Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

Implementing a multiagent negotiation protocol in Erlang.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

2009

Rigorous Software Development Using McErlang.

Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 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, Simon J. Thompson

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Debugging and Verification of Multi-Agent Systems.

Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Computer Aided Systems Theory, 2009

Recent improvements to the McErlang model checker.

Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009

2008

A cognitive trust and reputation model for the ART testbed.

Mario Gómez, Javier Carbó, Clara Benac Earle

Inteligencia Artif., 2008

Verifying Robocup Teams.

Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

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

2006

An Anticipatory Trust Model for Open Distributed Systems.

Mario Gómez, Javier Carbó, Clara Benac Earle

Proceedings of the Anticipatory Behavior in Adaptive Learning Systems, 2006

Model checking erlang programs: the functional approach.

Lars-Åke Fredlund, Clara Benac Earle

Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

2005

Model checking the interaction of Erlang components.

Clara Benac Earle

PhD thesis, 2005

Verification of Language Based Fault-Tolerance.

Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Computer Aided Systems Theory, 2005

Verifying fault-tolerant Erlang programs.

Clara Benac Earle, Lars-Åke Fredlund, John Derrick

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

2004

Development of a verified Erlang program for resource locking.

Thomas Arts, Clara Benac Earle, John Derrick

Int. J. Softw. Tools Technol. Transf., 2004

Translating Erlang to µCRL.

Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2002

Verifying Erlang Code: A Resource Locker Case-Study.

Thomas Arts, Clara Benac Earle, John Derrick

Proceedings of the FME 2002: Formal Methods, 2002

2000

Symbolic program execution using the Erlang verification tool.

Clara Benac Earle

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000