default search action
Clara Benac Earle
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j9]Luis Eduardo Bueso de Barrio
, Lars-Åke Fredlund
Executable contracts for Elixir. J. Log. Algebraic Methods Program. 142: 101019 (2025) - 2024
- [c38]Luis Eduardo Bueso de Barrio
Controlled Scheduling of Concurrent Elixir Programs. Erlang 2024: 67-75 - 2023
- [j8]Lars-Åke Fredlund
Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. 130: 100829 (2023) - [j7]Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle
A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. 133: 100874 (2023) - [j6]Thomas Arts, Hans Svensson, Clara Benac Earle
Testing feature-rich blockchains. Softw. Pract. Exp. 53(5): 1144-1173 (2023) - [c37]Luis Eduardo Bueso de Barrio
Generation and Refinement of Testing Models. Erlang Workshop 2023: 14-23 - 2022
- [c36]Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio
Automatic Generation of Attacker Contracts in Solidity. FMBC@CAV 2022: 3:1-3:14 - [c35]Sergio Pérez, Luis Eduardo Bueso de Barrio
Executable contracts for Elixir. Erlang Workshop 2022: 40-46 - 2021
- [c34]Luis Eduardo Bueso de Barrio
Makina: a new QuickCheck state machine library. Erlang Workshop 2021: 41-53
2010 – 2019
- 2019
- [c33]Clara Benac Earle, Lars-Åke Fredlund:
A Property-based Testing Framework for Multi-Agent Systems. AAMAS 2019: 1823-1825 - [c32]Lars-Åke Fredlund
Gaining trust by tracing security protocols. Erlang Workshop 2019: 56-67 - [c31]Virginia Grande
Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. I3E Workshops 2019: 5-16 - 2018
- [c30]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Pitfalls of Jason Concurrency. EMAS@AAMAS 2018: 19-33 - 2017
- [j5]Barbara Gallina, Elena Gómez-Martínez
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer. Comput. Stand. Interfaces 54: 119-128 (2017) - 2016
- [c29]Clara Benac Earle, Lars-Åke Fredlund
Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE 2016: 47-52 - [c28]Barbara Gallina, Elena Gómez-Martínez
Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. SPICE 2016: 3-16 - 2015
- [j4]Álvaro Fernández Díaz, Clara Benac Earle
Adding distribution and fault tolerance to Jason. Sci. Comput. Program. 98: 205-232 (2015) - [c27]Clara Benac Earle
Teaching Software Safety to Master Students. EUROMICRO-SEAA 2015: 306-308 - [c26]Clara Benac Earle
Functional Testing of Java Programs. TFP 2015: 40-59 - 2014
- [c25]Clara Benac Earle, Lars-Åke Fredlund
Jsongen: a quickcheck based library for testing JSON web services. Erlang Workshop 2014: 33-41 - [c24]Clara Benac Earle, Lars-Åke Fredlund
Teaching Students Property-Based Testing. EUROMICRO-SEAA 2014: 437-442 - [c23]Lars-Åke Fredlund
Property-Based Testing of JSON Based Web Services. ICWS 2014: 704-707 - [c22]Elena Gómez-Martínez
Model-Based Verification of Safety Contracts. SEFM Workshops 2014: 101-115 - 2012
- [c21]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Adding distribution and fault tolerance to jason. AGERE!@SPLASH 2012: 95-106 - [c20]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Erlang as an implementation platform for BDI languages. Erlang Workshop 2012: 1-10 - [c19]Clara Benac Earle
Verification of Timed Erlang Programs Using McErlang. FMOODS/FORTE 2012: 251-267 - [c18]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
eJason: An Implementation of Jason in Erlang. ProMAS 2012: 1-16 - [c17]Álvaro Fernández Díaz, Christel Baier
Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST 2012: 104-113 - 2010
- [c16]Hans Svensson, Lars-Åke Fredlund
A unified semantics for future Erlang. Erlang Workshop 2010: 23-32 - [c15]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop 2010: 69-74 - [c14]Qiang Guo, John Derrick
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART 2010: 23-38 - [c13]David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund
A Case Study on Verifying a Supervisor Component Using McErlang. PROLE 2010: 23-40
2000 – 2009
- 2009
- [c12]Clara Benac Earle, Lars-Åke Fredlund
Recent improvements to the McErlang model checker. Erlang Workshop 2009: 93-100 - [c11]Clara Benac Earle, Lars-Åke Fredlund
Debugging and Verification of Multi-Agent Systems. EUROCAST 2009: 263-270 - [c10]John Derrick
Property-Based Testing - The ProTest Project. FMCO 2009: 250-271 - [c9]Clara Benac Earle, Lars-Åke Fredlund:
Rigorous Software Development Using McErlang. JISBD 2009: 355-358 - [e1]Clara Benac Earle, Simon J. Thompson:
Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. ACM 2009, ISBN 978-1-60558-507-9 [contents] - 2008
- [j3]Mario Gómez, Javier Carbó, Clara Benac Earle:
A cognitive trust and reputation model for the ART testbed. Inteligencia Artif. 12(39): 29-40 (2008) - [c8]Clara Benac Earle, Lars-Åke Fredlund
Verifying Robocup Teams. MoChArt 2008: 34-48 - 2007
- [j2]Mario Gómez
Honesty and trust revisited: the advantages of being neutral about other's cognitive models. Auton. Agents Multi Agent Syst. 15(3): 313-335 (2007) - 2006
- [c7]Lars-Åke Fredlund, Clara Benac Earle:
Model checking erlang programs: the functional approach. Erlang Workshop 2006: 11-19 - [c6]Mario Gómez, Javier Carbó
An Anticipatory Trust Model for Open Distributed Systems. SAB ABiALS 2006: 307-324 - 2005
- [b1]Clara Benac Earle:
Model checking the interaction of Erlang components. University of Kent, UK, 2005 - [c5]Clara Benac Earle, Lars-Åke Fredlund
Verifying fault-tolerant Erlang programs. Erlang Workshop 2005: 26-34 - [c4]Clara Benac Earle, Lars-Åke Fredlund:
Verification of Language Based Fault-Tolerance. EUROCAST 2005: 140-149 - 2004
- [j1]Thomas Arts, Clara Benac Earle
Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 205-220 (2004) - [c3]Thomas Arts, Clara Benac Earle
Translating Erlang to µCRL. ACSD 2004: 135-144 - 2002
- [c2]Thomas Arts, Clara Benac Earle, John Derrick:
Verifying Erlang Code: A Resource Locker Case-Study. FME 2002: 184-203 - 2000
- [c1]Clara Benac Earle:
Symbolic program execution using the Erlang verification tool. WFLP 2000: 42-55
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: