Lars-Åke Fredlund

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 19

Top Topics

Student Attitudes

Top Venues

Erlang Workshop

J. Log. Algebraic Methods Program.

Publications

Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
Controlled Scheduling of Concurrent Elixir Programs. Erlang (2024)
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. 130 (2023)
Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund
Testing feature-rich blockchains. Softw. Pract. Exp. 53 (5) (2023)
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)
Á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 (2023)
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)
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)
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)
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
Gaining trust by tracing security protocols. Erlang Workshop (2019)
Clara Benac Earle, Lars-Åke Fredlund
A Property-based Testing Framework for Multi-Agent Systems. AAMAS (2019)
Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz-Nieva
Synthesis of verifiable concurrent Java components from formal models. Softw. Syst. Model. 18 (1) (2019)
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
Runtime Verification in Erlang by Using Contracts. WFLP (2018)
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
Runtime verification in Erlang by using contracts. CoRR (2018)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Pitfalls of Jason Concurrency. EMAS@AAMAS (2018)
Clara Benac Earle, Lars-Åke Fredlund, John Hughes
Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE (2016)
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Applying Property-Based Testing in Teaching Safety-Critical System Programming. EUROMICRO-SEAA (2015)
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)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Adding distribution and fault tolerance to Jason. Sci. Comput. Program. 98 (2015)
Clara Benac Earle, Lars-Åke Fredlund
Functional Testing of Java Programs. TFP (2015)
Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo
Property-Based Testing of JSON Based Web Services. ICWS (2014)
Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts
Teaching Students Property-Based Testing. EUROMICRO-SEAA (2014)
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. SEFM Workshops (2014)
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)
Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Execution and Verification of UML State Machines with Erlang. SEFM (2014)
Clara Benac Earle, Lars-Åke Fredlund
Verification of Timed Erlang Programs Using McErlang. FMOODS/FORTE (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Adding distribution and fault tolerance to jason. AGERE!@SPLASH (2012)
Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
eJason: An Implementation of Jason in Erlang. ProMAS (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Erlang as an implementation platform for BDI languages. Erlang Workshop (2012)
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. Electron. Notes Theor. Comput. Sci. 271 (2011)
Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART (2010)
Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle
A unified semantics for future Erlang. Erlang Workshop (2010)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop (2010)
Clara Benac Earle, Lars-Åke Fredlund
Debugging and Verification of Multi-Agent Systems. EUROCAST (2009)
Clara Benac Earle, Lars-Åke Fredlund
Recent improvements to the McErlang model checker. Erlang Workshop (2009)
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)
Clara Benac Earle, Lars-Åke Fredlund
Rigorous Software Development Using McErlang. JISBD (2009)
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
A Coding Rule Conformance Checker Integrated into GCC. Electron. Notes Theor. Comput. Sci. 248 (2009)
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
Automatic Coding Rule Conformance Checking Using Logic Programming. PADL (2008)
Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma
Verifying Robocup Teams. MoChArt (2008)
Lars-Åke Fredlund, Hans Svensson
McErlang: a model checker for a distributed functional programming language. ICFP (2007)
Hans Svensson, Lars-Åke Fredlund
Programming distributed Erlang applications: pitfalls and recipes. Erlang Workshop (2007)
Lars-Åke Fredlund, Juan José Sánchez Penas
Model Checking a Video-on-Demand Server Using McErlang. EUROCAST (2007)
Hans Svensson, Lars-Åke Fredlund
A more accurate semantics for distributed Erlang. Erlang Workshop (2007)
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
Automatic Coding Rule Conformance Checking Using Logic Programs CoRR (2007)
Lars-Åke Fredlund, Clara Benac Earle
Model checking erlang programs: the functional approach. Erlang Workshop (2006)
Clara Benac Earle, Lars-Åke Fredlund
Verification of Language Based Fault-Tolerance. EUROCAST (2005)
Clara Benac Earle, Lars-Åke Fredlund, John Derrick
Verifying fault-tolerant Erlang programs. Erlang Workshop (2005)
Lars-Åke Fredlund
Guaranteeing Correctness Properties of a Java Card Applet. Electron. Notes Theor. Comput. Sci. 113 (2005)
Mads Dam, Lars-Åke Fredlund, Dillian Guruv
Formal Methods Research at SICS and KTH: An Overview. Electron. Notes Theor. Comput. Sci. 80 (2003)
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Thomas Arts, Lars-Åke Fredlund
Trace analysis of Erlang programs. ACM SIGPLAN Notices 37 (12) (2002)
Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov
Model Checking of Multi-Applet JavaCard Applications. CARDIS (2002)
Thomas Arts, Lars-Åke Fredlund
Trace analysis of Erlang programs. Erlang Workshop (2002)
Thomas Noll, Lars-Åke Fredlund, Dilian Gurov
The Erlang Verification Tool. TACAS (2001)
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
Semi-Automated Verification of Erlang Code. ASE (2001)
Lars-Åke Fredlund, Dilian Gurov
A Framework for Formal Reasoning about Open Distributed Systems. ASIAN (1999)
Mads Dam, Lars-Åke Fredlund
On the verification of open distributed systems. SAC (1998)
Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
System Description: Verification of Distributed Erlang Programs. CADE (1998)
Lars-Åke Fredlund, Jan Friso Groote, Henri Korver
Formal Verification of a Leader Election Protocol in Process Algebra. Theor. Comput. Sci. 177 (2) (1997)
Mads Dam, Lars-Åke Fredlund, Dilian Gurov
Toward Parametric Verification of Open Distributed Systems. COMPOS (1997)
Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava
Formalising and Prototyping a Concurrent Object-Based Language. LOMAPS (1996)
Lars-Åke Fredlund
Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991). Comput. Commun. Rev. 21 (2) (1991)
Lars-Åke Fredlund, Fredrik Orava
Modelling Dynamic Communication Structures in LOTOS. FORTE (1991)
Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson
Specification and Validation of a Simple Overtaking Protokol using LOTOS. FORTE (1991)
Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow
An Implementation of a Translational Semantics for an Imperative Language. CONCUR (1990)