An Implementation of a Translational Semantics for an Imperative Language. - Lars-Åke Fredlund; Bengt Jonsson 001; Joachim Parrow (CONCUR, 1990)

Specification and Validation of a Simple Overtaking Protokol using LOTOS. - Patrik Ernberg; Lars-Åke Fredlund; Bengt Jonsson 001 (FORTE, 1991)

Modelling Dynamic Communication Structures in LOTOS. - Lars-Åke Fredlund; Fredrik Orava (FORTE, 1991)

Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991). - Lars-Åke Fredlund (Comput. Commun. Rev., 1991)

Formalising and Prototyping a Concurrent Object-Based Language. - Lars-Åke Fredlund; Jari Koistinen; Fredrik Orava (LOMAPS, 1996)

Toward Parametric Verification of Open Distributed Systems. - Mads Dam; Lars-Åke Fredlund; Dilian Gurov (COMPOS, 1997)

Formal Verification of a Leader Election Protocol in Process Algebra. - Lars-Åke Fredlund; Jan Friso Groote; Henri Korver (Theor. Comput. Sci., 1997)

System Description: Verification of Distributed Erlang Programs. - Thomas Arts; Mads Dam; Lars-Åke Fredlund; Dilian Gurov (CADE, 1998)

On the verification of open distributed systems. - Mads Dam; Lars-Åke Fredlund (SAC, 1998)

A Framework for Formal Reasoning about Open Distributed Systems. - Lars-Åke Fredlund; Dilian Gurov (ASIAN, 1999)

Semi-Automated Verification of Erlang Code. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001 (ASE, 2001)

The Erlang Verification Tool. - Thomas Noll 001; Lars-Åke Fredlund; Dilian Gurov (TACAS, 2001)

A framework for reasoning about Erlang code. - Lars-Åke Fredlund (2001)

Model Checking of Multi-Applet JavaCard Applications. - Gennady Chugunov; Lars-Åke Fredlund; Dilian Gurov (CARDIS, 2002)

Trace analysis of Erlang programs. - Thomas Arts; Lars-Åke Fredlund (ACM SIGPLAN Notices, 2002)

Formal Methods Research at SICS and KTH: An Overview. - Mads Dam; Lars-Åke Fredlund; Dilian Gurov (FMICS, 2003)

A verification tool for ERLANG. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001; Mads Dam; Thomas Arts; Gennady Chugunov (Int. J. Softw. Tools Technol. Transf., 2003)

Guaranteeing Correctness Properties of a Java Card Applet. - Lars-Åke Fredlund (RV@ETAPS, 2004)

Verifying fault-tolerant Erlang programs. - Clara Benac Earle; Lars-Åke Fredlund; John Derrick (Erlang Workshop, 2005)

Verification of Language Based Fault-Tolerance. - Clara Benac Earle; Lars-Åke Fredlund (EUROCAST, 2005)

Model checking erlang programs: the functional approach. - Lars-Åke Fredlund; Clara Benac Earle (Erlang Workshop, 2006)

Programming distributed Erlang applications: pitfalls and recipes. - Hans Svensson; Lars-Åke Fredlund (Erlang Workshop, 2007)

A more accurate semantics for distributed Erlang. - Hans Svensson; Lars-Åke Fredlund (Erlang Workshop, 2007)

Model Checking a Video-on-Demand Server Using McErlang. - Lars-Åke Fredlund; Juan José Sánchez Penas (EUROCAST, 2007)

McErlang: a model checker for a distributed functional programming language. - Lars-Åke Fredlund; Hans Svensson (ICFP, 2007)

Automatic Coding Rule Conformance Checking Using Logic Programs - Guillem Marpons-Ucero; Julio Mariño; Ángel Herranz-Nieva; Lars-Åke Fredlund; Manuel Carro; Juan José Moreno-Navarro (CoRR, 2007)

Verifying Robocup Teams. - Clara Benac Earle; Lars-Åke Fredlund; José Antonio Iglesias 001; Agapito Ledezma (MoChArt, 2008)

Automatic Coding Rule Conformance Checking Using Logic Programming. - Guillem Marpons-Ucero; Julio Mariño-Carballo; Manuel Carro; Ángel Herranz-Nieva; Juan José Moreno-Navarro; Lars-Åke Fredlund (PADL, 2008)

A Coding Rule Conformance Checker Integrated into GCC. - Guillem Marpons-Ucero; Julio Mariño; Manuel Carro; Ángel Herranz-Nieva; Lars-Åke Fredlund; Juan José Moreno-Navarro; Álvaro Polo (PROLE, 2008)

Recent improvements to the McErlang model checker. - Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2009)

Debugging and Verification of Multi-Agent Systems. - Clara Benac Earle; Lars-Åke Fredlund (EUROCAST, 2009)

Property-Based Testing - The ProTest Project. - John Derrick; Neil Walkinshaw; Thomas Arts; Clara Benac Earle; Francesco Cesarini; Lars-Åke Fredlund; Víctor M. Gulías; John Hughes 001; Simon J. Thompson (FMCO, 2009)

Rigorous Software Development Using McErlang. - Clara Benac Earle; Lars-Åke Fredlund (JISBD, 2009)

Implementing a multiagent negotiation protocol in Erlang. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2010)

A unified semantics for future Erlang. - Hans Svensson; Lars-Åke Fredlund; Clara Benac Earle (Erlang Workshop, 2010)

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. - Qiang Guo 001; John Derrick; Clara Benac Earle; Lars-Åke Fredlund (TAIC PART, 2010)

A Case Study on Verifying a Supervisor Component Using McErlang. - David Castro 005; Víctor M. Gulías; Clara Benac Earle; Lars-Åke Fredlund; Samuel Rivas (PROLE, 2010)

Erlang as an implementation platform for BDI languages. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2012)

Verification of Timed Erlang Programs Using McErlang. - Clara Benac Earle; Lars-Åke Fredlund (FMOODS/FORTE, 2012)

eJason: An Implementation of Jason in Erlang. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (ProMAS, 2012)

Static Partial Order Reduction for Probabilistic Concurrent Systems. - Álvaro Fernández Díaz; Christel Baier; Clara Benac Earle; Lars-Åke Fredlund (QEST, 2012)

Jsongen: a quickcheck based library for testing JSON web services. - Clara Benac Earle; Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (Erlang Workshop, 2014)

Teaching Students Property-Based Testing. - Clara Benac Earle; Lars-Åke Fredlund; Julio Mariño; Thomas Arts (EUROMICRO-SEAA, 2014)

Property-Based Testing of JSON Based Web Services. - Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz-Nieva; Julio Mariño-Carballo (ICWS, 2014)

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. - Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (SEFM Workshops, 2014)

Execution and Verification of UML State Machines with Erlang. - Ricardo J. Rodríguez; Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (SEFM, 2014)

Teaching Software Safety to Master Students. - Clara Benac Earle; Ana María Fernández-Soriano; Lars-Åke Fredlund; Elena Gómez-Martínez (EUROMICRO-SEAA, 2015)

Applying Property-Based Testing in Teaching Safety-Critical System Programming. - Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (EUROMICRO-SEAA, 2015)

Functional Testing of Java Programs. - Clara Benac Earle; Lars-Åke Fredlund (TFP, 2015)

Adding distribution and fault tolerance to Jason. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (Sci. Comput. Program., 2015)

Automatic Grading of Programming Exercises using Property-Based Testing. - Clara Benac Earle; Lars-Åke Fredlund; John Hughes 001 (ITiCSE, 2016)

Pitfalls of Jason Concurrency. - Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund (EMAS@AAMAS, 2018)

Runtime Verification in Erlang by Using Contracts. - Lars-Åke Fredlund; Julio Mariño; Sergio Pérez 001; Salvador Tamarit (WFLP, 2018)

A Property-based Testing Framework for Multi-Agent Systems. - Clara Benac Earle; Lars-Åke Fredlund (AAMAS, 2019)

Synthesis of verifiable concurrent Java components from formal models. - Julio Mariño; Raúl N. N. Alborodo; Lars-Åke Fredlund; Ángel Herranz-Nieva (Softw. Syst. Model., 2019)

Makina: a new QuickCheck state machine library. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Clara Benac Earle; Julio Mariño (Erlang Workshop, 2021)

Automatic Generation of Attacker Contracts in Solidity. - Ignacio Ballesteros; Clara Benac Earle; Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Julio Mariño (FMBC@CAV, 2022)

Executable contracts for Elixir. - Sergio Pérez 001; Luis Eduardo Bueso de Barrio; Ignacio Ballesteros; Ángel Herranz; Julio Mariño; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2022)

Generation and Refinement of Testing Models. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz; Julio Mariño (Erlang Workshop, 2023)

Gaining trust by tracing security protocols. - Lars-Åke Fredlund; Clara Benac Earle; Thomas Arts; Hans Svensson (J. Log. Algebraic Methods Program., 2023)

Testing feature-rich blockchains. - Thomas Arts; Hans Svensson; Clara Benac Earle; Lars-Åke Fredlund (Softw. Pract. Exp., 2023)

A formal semantics for agent distribution and fault tolerance in Jason. - Álvaro Fernández Díaz; Lars-Åke Fredlund; Clara Benac Earle; Julio Mariño (J. Log. Algebraic Methods Program., 2023)

Controlled Scheduling of Concurrent Elixir Programs. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz; Julio Mariño (Erlang, 2024)

Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. - José Antonio Calvo-Manzano; Tomás San Feliu; Ángel Herranz; Julio Mariño; Lars-Åke Fredlund; Ricardo Colomo-Palacios; Ana María Moreno 001 (EuroSPI (1), 2024)

Checking Concurrency Coding Rules. - Lars-Åke Fredlund; Ángel Herranz; Julio Mariño (PADL, 2025)

Generation of algebraic data type values using evolutionary algorithms. - Ignacio Ballesteros; Clara Benac Earle; Julio Mariño; Lars-Åke Fredlund; Ángel Herranz (J. Log. Algebraic Methods Program., 2025)

Executable contracts for Elixir. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Julio Mariño; Clara Benac Earle (J. Log. Algebraic Methods Program., 2025)