Остановите войну!
for scientists:
default search action
Clara Benac Earle
- > Home > Persons > Clara Benac Earle
Publications
- 2023
- [j8]Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson:
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, Julio Mariño:
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, Lars-Åke Fredlund:
Testing feature-rich blockchains. Softw. Pract. Exp. 53(5): 1144-1173 (2023) - [c37]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: 14-23 - 2022
- [c36]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: 3:1-3:14 - [c35]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: 40-46 - 2021
- [c34]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: 41-53 - 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, Clara Benac Earle, Thomas Arts, Hans Svensson:
Gaining trust by tracing security protocols. Erlang Workshop 2019: 56-67 - 2018
- [c30]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
Pitfalls of Jason Concurrency. EMAS@AAMAS 2018: 19-33 - 2016
- [c29]Clara Benac Earle, Lars-Åke Fredlund, John Hughes:
Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE 2016: 47-52 - 2015
- [j4]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
Adding distribution and fault tolerance to Jason. Sci. Comput. Program. 98: 205-232 (2015) - [c27]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: 306-308 - [c26]Clara Benac Earle, Lars-Åke Fredlund:
Functional Testing of Java Programs. TFP 2015: 40-59 - 2014
- [c25]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: 33-41 - [c24]Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts:
Teaching Students Property-Based Testing. EUROMICRO-SEAA 2014: 437-442 - [c23]Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo:
Property-Based Testing of JSON Based Web Services. ICWS 2014: 704-707 - 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, Lars-Åke Fredlund:
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, Clara Benac Earle, Lars-Åke Fredlund:
Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST 2012: 104-113 - 2010
- [c16]Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle:
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, Clara Benac Earle, Lars-Åke Fredlund:
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, Samuel Rivas:
A Case Study on Verifying a Supervisor Component Using McErlang. PROLE 2010: 23-40 - 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, 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: 250-271 - [c9]Clara Benac Earle, Lars-Åke Fredlund:
Rigorous Software Development Using McErlang. JISBD 2009: 355-358 - 2008
- [c8]Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma:
Verifying Robocup Teams. MoChArt 2008: 34-48 - 2006
- [c7]Lars-Åke Fredlund, Clara Benac Earle:
Model checking erlang programs: the functional approach. Erlang Workshop 2006: 11-19 - 2005
- [c5]Clara Benac Earle, Lars-Åke Fredlund, John Derrick:
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
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-04-25 05:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint