Lars-Åke Fredlund

José Antonio Calvo-Manzano

J. Log. Algebraic Methods Program., 2025

2024

Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises.

[BibT_eX]

[DOI]

Ricardo Colomo Palacios

Ana M. Moreno

Proceedings of the Systems, Software and Services Process Improvement, 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]

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

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

Synthesis of verifiable concurrent Java components from formal models.

[BibT_eX]

[DOI]

Softw. Syst. Model., 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

Runtime Verification in Erlang by Using Contracts.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2018

Pitfalls of Jason Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

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

Applying Property-Based Testing in Teaching Safety-Critical System Programming.

[BibT_eX]

[DOI]

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

Teaching Software Safety to Master Students.

[BibT_eX]

[DOI]

Ana María Fernández-Soriano

Elena Gómez-Martínez

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

2014

Execution and Verification of UML State Machines with Erlang.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Property-Based Testing of JSON Based Web Services.

[BibT_eX]

[DOI]

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]

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 Coding Rule Conformance Checker Integrated into GCC.

[BibT_eX]

[DOI]

Guillem Marpons-Ucero

Juan José Moreno-Navarro

Álvaro Polo

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Automatic Coding Rule Conformance Checking Using Logic Programming.

[BibT_eX]

[DOI]

Guillem Marpons-Ucero

Julio Mariño-Carballo

Manuel Carro

Juan José Moreno-Navarro

Proceedings of the Practical Aspects of Declarative Languages, 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

Automatic Coding Rule Conformance Checking Using Logic Programs

[BibT_eX]

[DOI]

Guillem Marpons-Ucero

Juan José Moreno-Navarro

CoRR, 2007

McErlang: a model checker for a distributed functional programming language.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Model Checking a Video-on-Demand Server Using McErlang.

[BibT_eX]

[DOI]

Juan José Sánchez Penas

Proceedings of the Computer Aided Systems Theory, 2007

A more accurate semantics for distributed Erlang.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

Programming distributed Erlang applications: pitfalls and recipes.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

2006

Model checking erlang programs: the functional approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

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

Guaranteeing Correctness Properties of a Java Card Applet.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Runtime Verification, 2004

2003

A verification tool for ERLANG.

[BibT_eX]

[DOI]

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

Formal Methods Research at SICS and KTH: An Overview.

[BibT_eX]

[DOI]

Mads Dam

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2002

Trace analysis of Erlang programs.

[BibT_eX]

[DOI]

Thomas Arts

ACM SIGPLAN Notices, 2002

Model Checking of Multi-Applet JavaCard Applications.

[BibT_eX]

[DOI]

Gennady Chugunov

Proceedings of the Fifth Smart Card Research and Advanced Application Conference, 2002

2001

A framework for reasoning about Erlang code.

[BibT_eX]

[DOI]

PhD thesis, 2001

The Erlang Verification Tool.

[BibT_eX]

[DOI]

Thomas Noll

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Semi-Automated Verification of Erlang Code.

[BibT_eX]

[DOI]

Thomas Noll

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

1999

A Framework for Formal Reasoning about Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1999

1998

On the verification of open distributed systems.

[BibT_eX]

[DOI]

Mads Dam

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

System Description: Verification of Distributed Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

1997

Formal Verification of a Leader Election Protocol in Process Algebra.

[BibT_eX]

[DOI]

Jan Friso Groote

Henri Korver

Theor. Comput. Sci., 1997

Toward Parametric Verification of Open Distributed Systems.

[BibT_eX]

[DOI]

Mads Dam

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

Formalising and Prototyping a Concurrent Object-Based Language.

[BibT_eX]

[DOI]

Jari Koistinen

Fredrik Orava

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1991

Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991).

[BibT_eX]

[DOI]

Comput. Commun. Rev., 1991

Modelling Dynamic Communication Structures in LOTOS.

[BibT_eX]

Fredrik Orava

Proceedings of the Formal Description Techniques, 1991

Specification and Validation of a Simple Overtaking Protokol using LOTOS.

[BibT_eX]

Patrik Ernberg

Bengt Jonsson

Proceedings of the Formal Description Techniques, 1991

1990

An Implementation of a Translational Semantics for an Imperative Language.

[BibT_eX]

[DOI]