default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLars-Åke Fredlund
Person information
- affiliation: Swedish Institute of Computer Science, Stockholm, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j10]Luis Eduardo Bueso de Barrio
, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño, Clara Benac Earle:
Executable contracts for Elixir. J. Log. Algebraic Methods Program. 142: 101019 (2025)- 2024
- [c55]Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño:
Controlled Scheduling of Concurrent Elixir Programs. Erlang 2024: 67-75 - 2023
- [j9]Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson:
Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. 130: 100829 (2023) - [j8]Á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: 100874 (2023) - [j7]Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund:
Testing feature-rich blockchains. Softw. Pract. Exp. 53(5): 1144-1173 (2023) - [c54]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: 14-23 - 2022
- [c53]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: 3:1-3:14 - [c52]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: 40-46 - 2021
- [c51]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: 41-53
2010 – 2019
- 2019
- [j6]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): 71-105 (2019) - [c50]Clara Benac Earle, Lars-Åke Fredlund:
A Property-based Testing Framework for Multi-Agent Systems. AAMAS 2019: 1823-1825 - [c49]Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson:
Gaining trust by tracing security protocols. Erlang Workshop 2019: 56-67 - 2018
- [c48]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
Pitfalls of Jason Concurrency. EMAS@AAMAS 2018: 19-33 - [c47]Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit:
Runtime Verification in Erlang by Using Contracts. WFLP 2018: 56-73 - [i2]Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit:
Runtime verification in Erlang by using contracts. CoRR abs/1808.07937 (2018) - 2016
- [c46]Clara Benac Earle, Lars-Åke Fredlund, John Hughes:
Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE 2016: 47-52 - 2015
- [j5]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
Adding distribution and fault tolerance to Jason. Sci. Comput. Program. 98: 205-232 (2015) - [c45]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: 306-308 - [c44]Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño:
Applying Property-Based Testing in Teaching Safety-Critical System Programming. EUROMICRO-SEAA 2015: 309-316 - [c43]Clara Benac Earle, Lars-Åke Fredlund:
Functional Testing of Java Programs. TFP 2015: 40-59 - 2014
- [c42]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: 33-41 - [c41]Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts:
Teaching Students Property-Based Testing. EUROMICRO-SEAA 2014: 437-442 - [c40]Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo:
Property-Based Testing of JSON Based Web Services. ICWS 2014: 704-707 - [c39]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: 116-130 - [c38]Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño:
Execution and Verification of UML State Machines with Erlang. SEFM 2014: 284-289 - 2012
- [c37]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
Adding distribution and fault tolerance to jason. AGERE!@SPLASH 2012: 95-106 - [c36]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
Erlang as an implementation platform for BDI languages. Erlang Workshop 2012: 1-10 - [c35]Clara Benac Earle, Lars-Åke Fredlund:
Verification of Timed Erlang Programs Using McErlang. FMOODS/FORTE 2012: 251-267 - [c34]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
eJason: An Implementation of Jason in Erlang. ProMAS 2012: 1-16 - [c33]Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund:
Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST 2012: 104-113 - 2010
- [c32]Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle:
A unified semantics for future Erlang. Erlang Workshop 2010: 23-32 - [c31]Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund:
Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop 2010: 69-74 - [c30]Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund:
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART 2010: 23-38 - [c29]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. PROLE 2010: 23-40
2000 – 2009
- 2009
- [c28]Clara Benac Earle, Lars-Åke Fredlund:
Recent improvements to the McErlang model checker. Erlang Workshop 2009: 93-100 - [c27]Clara Benac Earle, Lars-Åke Fredlund:
Debugging and Verification of Multi-Agent Systems. EUROCAST 2009: 263-270 - [c26]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: 250-271 - [c25]Clara Benac Earle, Lars-Åke Fredlund:
Rigorous Software Development Using McErlang. JISBD 2009: 355-358 - 2008
- [c24]Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma:
Verifying Robocup Teams. MoChArt 2008: 34-48 - [c23]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: 18-34 - [c22]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. PROLE 2008: 149-159 - 2007
- [c21]Hans Svensson, Lars-Åke Fredlund:
Programming distributed Erlang applications: pitfalls and recipes. Erlang Workshop 2007: 37-42 - [c20]Hans Svensson, Lars-Åke Fredlund:
A more accurate semantics for distributed Erlang. Erlang Workshop 2007: 43-54 - [c19]Lars-Åke Fredlund, Juan José Sánchez Penas:
Model Checking a Video-on-Demand Server Using McErlang. EUROCAST 2007: 539-546 - [c18]Lars-Åke Fredlund, Hans Svensson:
McErlang: a model checker for a distributed functional programming language. ICFP 2007: 125-136 - [e1]Simon J. Thompson, Lars-Åke Fredlund:
Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007. ACM 2007, ISBN 978-1-59593-675-2 [contents] - [i1]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 abs/0711.0344 (2007) - 2006
- [c17]Lars-Åke Fredlund, Clara Benac Earle:
Model checking erlang programs: the functional approach. Erlang Workshop 2006: 11-19 - 2005
- [c16]Clara Benac Earle, Lars-Åke Fredlund, John Derrick:
Verifying fault-tolerant Erlang programs. Erlang Workshop 2005: 26-34 - [c15]Clara Benac Earle, Lars-Åke Fredlund:
Verification of Language Based Fault-Tolerance. EUROCAST 2005: 140-149 - 2004
- [c14]Lars-Åke Fredlund:
Guaranteeing Correctness Properties of a Java Card Applet. RV@ETAPS 2004: 217-233 - 2003
- [j4]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): 405-420 (2003) - [c13]Mads Dam, Lars-Åke Fredlund, Dilian Gurov:
Formal Methods Research at SICS and KTH: An Overview. FMICS 2003: 267-272 - 2002
- [j3]Thomas Arts, Lars-Åke Fredlund:
Trace analysis of Erlang programs. ACM SIGPLAN Notices 37(12): 18-24 (2002) - [c12]Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov:
Model Checking of Multi-Applet JavaCard Applications. CARDIS 2002: 87-96 - [c11]Thomas Arts, Lars-Åke Fredlund:
Trace analysis of Erlang programs. Erlang Workshop 2002: 16-23 - 2001
- [b1]Lars-Åke Fredlund:
A framework for reasoning about Erlang code. Research Institutes of Sweden, Sweden, 2001 - [c10]Lars-Åke Fredlund, Dilian Gurov, Thomas Noll:
Semi-Automated Verification of Erlang Code. ASE 2001: 319-323 - [c9]Thomas Noll, Lars-Åke Fredlund, Dilian Gurov:
The Erlang Verification Tool. TACAS 2001: 582-586
1990 – 1999
- 1999
- [c8]Lars-Åke Fredlund, Dilian Gurov:
A Framework for Formal Reasoning about Open Distributed Systems. ASIAN 1999: 87-100 - 1998
- [c7]Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov:
System Description: Verification of Distributed Erlang Programs. CADE 1998: 38-41 - [c6]Mads Dam, Lars-Åke Fredlund:
On the verification of open distributed systems. SAC 1998: 532-540 - 1997
- [j2]Lars-Åke Fredlund, Jan Friso Groote, Henri Korver:
Formal Verification of a Leader Election Protocol in Process Algebra. Theor. Comput. Sci. 177(2): 459-486 (1997) - [c5]Mads Dam, Lars-Åke Fredlund, Dilian Gurov:
Toward Parametric Verification of Open Distributed Systems. COMPOS 1997: 150-185 - 1996
- [c4]Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava:
Formalising and Prototyping a Concurrent Object-Based Language. LOMAPS 1996: 116-125 - 1991
- [j1]Lars-Åke Fredlund:
Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991). Comput. Commun. Rev. 21(2): 14 (1991) - [c3]Lars-Åke Fredlund, Fredrik Orava:
Modelling Dynamic Communication Structures in LOTOS. FORTE 1991: 185-200 - [c2]Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson:
Specification and Validation of a Simple Overtaking Protokol using LOTOS. FORTE 1991: 377-392 - 1990
- [c1]Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow:
An Implementation of a Translational Semantics for an Imperative Language. CONCUR 1990: 246-262
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
