Concepedia

Lars‐Åke Fredlund

LF

Statistics

Publications

17

Citations

509

H-Index

13

Active since

1991

Affiliations

Universidad Politécnica de Madrid(Current)

Chalmers University of Technology

Swedish Institute

Lars‐Åke Fredlund is an author at Universidad Politécnica de Madrid specializing in formal verification, engineering, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisSoftware AnalysisSoftware EngineeringSystem SoftwareSoftware Design

Publications per year

1991–2019

17

Publications

17

McErlang

Lars‐Åke Fredlund, H. Svensson · 2007 · 87 citations

Software Maintenance, Program Checking, Engineering +19

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

Lars‐Åke Fredlund · ACM SIGCOMM Computer Communication Review · 1991 · 69 citations

Engineering, Information Security, Protocols +11

A framework for reasoning about Erlang code

Lars‐Åke Fredlund · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2001 · 55 citations · Full text

Erlang Code, Engineering, Verification +17

Engineering Multi-Agent Systems

Viviana Mascardi, Danny Weyns, Alessandro Ricci et al. · ACM SIGSOFT Software Engineering Notes · 2019 · 37 citations · Full text

Artificial Intelligence, Engineering, Engineering Multi-agent Systems +18

A verification tool for ERLANG

Lars‐Åke Fredlund, Dilian Gurov, Thomas Noll et al. · International Journal on Software Tools for Technology Transfer · 2003 · 35 citations

Verification Tool, Formal Specification, Engineering +11

1–5 of 17