Lars-åke Fredlund

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Makina: a QuickCheck state machine library Journal of Logical and Algebraic Methods in Programming	2025-12-30	Paper
Toward parametric verification of open distributed systems	2025-03-19	Paper
Generation of algebraic data type values using evolutionary algorithms Journal of Logical and Algebraic Methods in Programming	2025-01-27	Paper
Executable contracts for Elixir Journal of Logical and Algebraic Methods in Programming	2024-11-26	Paper
A formal semantics for agent distribution and fault tolerance in Jason Journal of Logical and Algebraic Methods in Programming	2023-06-19	Paper
Gaining trust by tracing security protocols Journal of Logical and Algebraic Methods in Programming	2022-11-16	Paper
Computer Aided Systems Theory – EUROCAST 2005 Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 1701781 (Why is no real title available?)	2002-02-05	Paper
Formal verification of a leader election protocol in process algebra Theoretical Computer Science	1998-07-23	Paper
scientific article; zbMATH DE number 140247 (Why is no real title available?)	1993-03-28	Paper

Research outcomes over time

This page was built for person: Lars-åke Fredlund