Lars-ke Fredlund
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
14
Active years
1990–2025
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EuroSPI | Cybersecurity Vulnerabilities Management for Small and Medium Enterprises. | Jos Antonio Calvo-Manzano, Toms San Feliu, ngel Herranz, Julio Mario, Lars-ke Fredlund, Ricardo Colomo-Palacios, Ana M. Moreno |
| 2025 | PADL | Checking Concurrency Coding Rules. | Lars-ke Fredlund, ngel Herranz, Julio Mario |
| 2024 | EuroSPI | Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. | Jos Antonio Calvo-Manzano, Toms San Feliu, ngel Herranz, Julio Mario, Lars-ke Fredlund, Ricardo Colomo-Palacios, Ana Mara Moreno |
| 2022 | CAV | Automatic Generation of Attacker Contracts in Solidity. | Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-ke Fredlund, ngel Herranz, Julio Mario |
| 2018 | EMAS | Pitfalls of Jason Concurrency. | lvaro Fernndez Daz, Clara Benac Earle, Lars-ke Fredlund |
| 2016 | ITiCSE | Automatic Grading of Programming Exercises using Property-Based Testing. | Clara Benac Earle, Lars-ke Fredlund, John Hughes |
| 2014 | ICWS | Property-Based Testing of JSON Based Web Services. | Lars-ke Fredlund, Clara Benac Earle, ngel Herranz-Nieva, Julio Mario-Carballo |
| 2014 | SEFM | A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. | Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario |
| 2014 | SEFM | Execution and Verification of UML State Machines with Erlang. | Ricardo J. Rodrguez, Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario |
| 2012 | FORTE | Verification of Timed Erlang Programs Using McErlang. | Clara Benac Earle, Lars-ke Fredlund |
| 2008 | PADL | Automatic Coding Rule Conformance Checking Using Logic Programming. | Guillem Marpons-Ucero, Julio Mario-Carballo, Manuel Carro, ngel Herranz-Nieva, Juan Jos Moreno-Navarro, Lars-ke Fredlund |
| 2007 | ICFP | McErlang: a model checker for a distributed functional programming language. | Lars-ke Fredlund, Hans Svensson |
| 2002 | CARDIS | Model Checking of Multi-Applet JavaCard Applications. | Gennady Chugunov, Lars-ke Fredlund, Dilian Gurov |
| 2001 | TACAS | The Erlang Verification Tool. | Thomas Noll, Lars-ke Fredlund, Dilian Gurov |
| 1998 | CADE | System Description: Verification of Distributed Erlang Programs. | Thomas Arts, Mads Dam, Lars-ke Fredlund, Dilian Gurov |
| 1998 | SAC | On the verification of open distributed systems. | Mads Dam, Lars-ke Fredlund |
| 1991 | FORTE | Specification and Validation of a Simple Overtaking Protokol using LOTOS. | Patrik Ernberg, Lars-ke Fredlund, Bengt Jonsson |
| 1991 | FORTE | Modelling Dynamic Communication Structures in LOTOS. | Lars-ke Fredlund, Fredrik Orava |
| 1990 | CONCUR | An Implementation of a Translational Semantics for an Imperative Language. | Lars-ke Fredlund, Bengt Jonsson, Joachim Parrow |