2025
Executable contracts for Elixir.
J. Log. Algebraic Methods Program., 2025
Generation of algebraic data type values using evolutionary algorithms.
J. Log. Algebraic Methods Program., 2025
2024
Controlled Scheduling of Concurrent Elixir Programs.
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024
2023
A formal semantics for agent distribution and fault tolerance in Jason.
J. Log. Algebraic Methods Program., June, 2023
Testing feature-rich blockchains.
Softw. Pract. Exp., May, 2023
Gaining trust by tracing security protocols.
J. Log. Algebraic Methods Program., 2023
Generation and Refinement of Testing Models.
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2023
2022
Executable contracts for Elixir.
Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022
Automatic Generation of Attacker Contracts in Solidity.
Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022
2021
Makina: a new QuickCheck state machine library.
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.
Proceedings of the Digital Transformation for a Sustainable Society in the 21st Century, 2019
A Property-based Testing Framework for Multi-Agent Systems.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
Pitfalls of Jason Concurrency.
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.
Comput. Stand. Interfaces, 2017
2016
Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128.
Proceedings of the Software Process Improvement and Capability Determination, 2016
Automatic Grading of Programming Exercises using Property-Based Testing.
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016
2015
Adding distribution and fault tolerance to Jason.
Sci. Comput. Program., 2015
Functional Testing of Java Programs.
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015
Teaching Software Safety to Master Students.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
2014
Model-Based Verification of Safety Contracts.
Proceedings of the Software Engineering and Formal Methods, 2014
Property-Based Testing of JSON Based Web Services.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014
Teaching Students Property-Based Testing.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014
Jsongen: a quickcheck based library for testing JSON web services.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014
2012
Static Partial Order Reduction for Probabilistic Concurrent Systems.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
eJason: An Implementation of Jason in Erlang.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012
Verification of Timed Erlang Programs Using McErlang.
Proceedings of the Formal Techniques for Distributed Systems, 2012
Erlang as an implementation platform for BDI languages.
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012
2010
A Case Study on Verifying a Supervisor Component Using McErlang.
Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang.
Proceedings of the Testing, 2010
A unified semantics for future Erlang.
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010
Implementing a multiagent negotiation protocol in Erlang.
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010
2009
Rigorous Software Development Using McErlang.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009
Property-Based Testing - The ProTest Project.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Debugging and Verification of Multi-Agent Systems.
Proceedings of the Computer Aided Systems Theory, 2009
Recent improvements to the McErlang model checker.
Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009
2008
A cognitive trust and reputation model for the ART testbed.
Inteligencia Artif., 2008
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.
Auton. Agents Multi Agent Syst., 2007
2006
An Anticipatory Trust Model for Open Distributed Systems.
Proceedings of the Anticipatory Behavior in Adaptive Learning Systems, 2006
Model checking erlang programs: the functional approach.
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006
2005
Model checking the interaction of Erlang components.
PhD thesis, 2005
Verification of Language Based Fault-Tolerance.
Proceedings of the Computer Aided Systems Theory, 2005
Verifying fault-tolerant Erlang programs.
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005
2004
Development of a verified Erlang program for resource locking.
Int. J. Softw. Tools Technol. Transf., 2004
Translating Erlang to µCRL.
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.
Proceedings of the FME 2002: Formal Methods, 2002
2000
Symbolic program execution using the Erlang verification tool.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000