C
Clara Benac Earle
Researcher at Technical University of Madrid
Publications - 41
Citations - 381
Clara Benac Earle is an academic researcher from Technical University of Madrid. The author has contributed to research in topics: Erlang (programming language) & Model checking. The author has an hindex of 12, co-authored 38 publications receiving 351 citations. Previous affiliations of Clara Benac Earle include University of Kent & Charles III University of Madrid.
Papers
More filters
Proceedings ArticleDOI
A unified semantics for future Erlang
TL;DR: This paper develops a new, much cleaner semantics, for such future implementations of Erlang, and hopes that this paper can stimulate some much needed debate regarding a number of poorly understood features of current and future implementationsof Erlang.
Journal ArticleDOI
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead
Viviana Mascardi,Danny Weyns,Alessandro Ricci,Clara Benac Earle,Arthur Casals,Moharram Challenger,Amit K. Chopra,Andrei Ciortea,Louise A. Dennis,Álvaro Fernández Díaz,Amal El Fallah-Seghrouchni,Angelo Ferrando,Lars-Åke Fredlund,Eleonora Giunchiglia,Zahia Guessoum,Akın Günay,Koen V. Hindriks,Carlos A. Iglesias,Brian Logan,Timotheus Kampik,Geylani Kardas,Vincent J. Koeman,John Bruntse Larsen,Simon Mayer,Tasio Méndez,Juan Carlos Nieves,Valeria Seidita,Baris Tekin Teze,László Zsolt Varga,Michael Winikoff +29 more
TL;DR: This paper reports on the results of the 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018), where participants discussed the issues above focusing on the state of affairs and the road ahead for researchers and engineers in this area.
Journal ArticleDOI
Development of a verified Erlang program for resource locking
TL;DR: In this article, the authors describe a tool to verify Erlang programs and show, by means of an industrial case study, how this tool is used, by using the Caesar/Aldebaran toolset.
Journal ArticleDOI
Honesty and trust revisited: the advantages of being neutral about other's cognitive models
TL;DR: This work proposes a trust model, which does not assume a concrete cognitive model for other agents, but instead uses the discrepancy between the information about other agents and its own experience to better predict the behavior of the others.
Book ChapterDOI
Verifying Erlang Code: A Resource Locker Case-Study
TL;DR: An industrial case-study on the development of formally verified code for Ericsson's AXD 301 switch is described and a tool to apply model checking to communicating Erlang processes is developed to automatically translate the Erlang code to a process algebra with data.