Clara Benac Earle

J. Log. Algebraic Methods Program., 2025

2024

Controlled Scheduling of Concurrent Elixir Programs.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2023

A formal semantics for agent distribution and fault tolerance in Jason.

[BibT_eX]

[DOI]

Julio Mariño

J. Log. Algebraic Methods Program., June, 2023

Testing feature-rich blockchains.

[BibT_eX]

[DOI]

Softw. Pract. Exp., May, 2023

Gaining trust by tracing security protocols.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2023

Generation and Refinement of Testing Models.

[BibT_eX]

[DOI]

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

2022

Executable contracts for Elixir.

[BibT_eX]

[DOI]

Sergio Pérez

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

Automatic Generation of Attacker Contracts in Solidity.

[BibT_eX]

[DOI]

Ignacio Ballesteros

Á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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2018

Pitfalls of Jason Concurrency.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Barbara Gallina

Comput. Stand. Interfaces, 2017

2016

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

[BibT_eX]

[DOI]

Barbara Gallina

Proceedings of the Software Process Improvement and Capability Determination, 2016

Automatic Grading of Programming Exercises using Property-Based Testing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Functional Testing of Java Programs.

[BibT_eX]

[DOI]

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

Teaching Software Safety to Master Students.

[BibT_eX]

[DOI]

Ana María Fernández-Soriano

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

2014

Model-Based Verification of Safety Contracts.

[BibT_eX]

[DOI]

Miren Illarramendi Rezabal

Ricardo J. Rodríguez

Leire Etxeberria Elorza

Proceedings of the Software Engineering and Formal Methods, 2014

Property-Based Testing of JSON Based Web Services.

[BibT_eX]

[DOI]

Ángel Herranz-Nieva

Julio Mariño-Carballo

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

Teaching Students Property-Based Testing.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2012

Static Partial Order Reduction for Probabilistic Concurrent Systems.

[BibT_eX]

[DOI]

Christel Baier

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

eJason: An Implementation of Jason in Erlang.

[BibT_eX]

[DOI]

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

Verification of Timed Erlang Programs Using McErlang.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

Erlang as an implementation platform for BDI languages.

[BibT_eX]

[DOI]

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2010

A Case Study on Verifying a Supervisor Component Using McErlang.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Testing, 2010

A unified semantics for future Erlang.

[BibT_eX]

[DOI]

Hans Svensson

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

Implementing a multiagent negotiation protocol in Erlang.

[BibT_eX]

[DOI]

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

2009

Rigorous Software Development Using McErlang.

[BibT_eX]

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Property-Based Testing - The ProTest Project.

[BibT_eX]

[DOI]

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

Debugging and Verification of Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2009

Recent improvements to the McErlang model checker.

[BibT_eX]

[DOI]

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

2008

A cognitive trust and reputation model for the ART testbed.

[BibT_eX]

[DOI]

Mario Gómez

Javier Carbó

Inteligencia Artif., 2008

Verifying Robocup Teams.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mario Gómez

Javier Carbó

Auton. Agents Multi Agent Syst., 2007

2006

An Anticipatory Trust Model for Open Distributed Systems.

[BibT_eX]

[DOI]

Mario Gómez

Javier Carbó

Proceedings of the Anticipatory Behavior in Adaptive Learning Systems, 2006

Model checking erlang programs: the functional approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

2005

Model checking the interaction of Erlang components.

[BibT_eX]

[DOI]

PhD thesis, 2005

Verification of Language Based Fault-Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2005

Verifying fault-tolerant Erlang programs.

[BibT_eX]

[DOI]

John Derrick

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

2004

Development of a verified Erlang program for resource locking.

[BibT_eX]

[DOI]

Thomas Arts

John Derrick

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

Translating Erlang to µCRL.

[BibT_eX]

[DOI]

Thomas Arts

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.

[BibT_eX]

[DOI]

Thomas Arts

John Derrick

Proceedings of the FME 2002: Formal Methods, 2002

2000

Symbolic program execution using the Erlang verification tool.

[BibT_eX]