Concepedia

Clara Benac Earle

CB

Statistics

Publications

10

Citations

214

H-Index

10

Active since

2004

Affiliations

Universidad Politécnica de Madrid(Current)

University of Kent

Universidad Carlos III de Madrid

Chalmers University of Technology

Clara Benac Earle is an author at Universidad Politécnica de Madrid specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisSoftware AnalysisSoftware EngineeringSystem SoftwareSoftware Testing

Publications per year

2004–2019

10

Publications

10

Engineering Multi-Agent Systems

Viviana Mascardi, Danny Weyns, Alessandro Ricci et al. · ACM SIGSOFT Software Engineering Notes · 2019 · 37 citations · Full text

Artificial Intelligence, Engineering, Engineering Multi-agent Systems +18

A unified semantics for future Erlang

H. Svensson, Lars‐Åke Fredlund, Clara Benac Earle · 2010 · 35 citations · Full text

Engineering, Unified Semantics, Computer Architecture +20

Development of a verified Erlang program for resource locking

Thomas Arts, Clara Benac Earle, John Derrick · International Journal on Software Tools for Technology Transfer · 2004 · 34 citations

Engineering, Program Analysis, Verification +11

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

Mario Gómez, Javier Carbó, Clara Benac Earle · Autonomous Agents and Multi-Agent Systems · 2007 · 25 citations

Cognitive Science, Prosocial Behavior, Behavioral Decision Making +7

Automatic Grading of Programming Exercises using Property-Based Testing

Clara Benac Earle, Lars‐Åke Fredlund, John Hughes · 2016 · 18 citations

Program Checking, Engineering, Functional Correctness Model +22

1–5 of 10