RDF/XML JSON-LD N3/Turtle RDF/JSON
Author profile at the institutional portal

Fredlund, Lars-ake larsake.fredlund@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Publications

SPECIFICATION AND VALIDATION OF A SIMPLE OVERTAKING PROTOCOL USING LOTOS

  • ERNBERG, P
  • FREDLUND, LA
  • JONSSON, B;

Ifip Transactions C-Communication Systems (p. 377-392) - 1/1/1992

  • ISSN 0926549X
  • iMarina

MODELING DYNAMIC COMMUNICATION STRUCTURES IN LOTOS

  • FREDLUND, LA
  • ORAVA, F;

Ifip Transactions C-Communication Systems (p. 185-200) - 1/1/1992

  • ISSN 0926549X
  • iMarina

Formal verification of a leader election protocol in process algebra

  • Fredlund L
  • Groote J
  • Korver H

Theoretical Computer Science (p. 459-486) - 15/5/1997

10.1016/s0304-3975(96)00256-3 View at source

  • ISSN 03043975

A verification tool for ERLANG

  • Fredlund L
  • Gurov D
  • Noll T
  • Dam M
  • Arts T
  • Chugunov G

International Journal On Software Tools For Technology Transfer (p. 405-420) - 1/12/2003

10.1007/s100090100071 View at source

  • ISSN 14332787

A Coding Rule Conformance Checker Integrated into GCC

  • ÁLVARO POLO
  • Fredlund, Lars-Ake
  • Moreno Navarro, Juan José
  • HERRANZ NIEVA, ANGEL
  • CARRO LIÑARES, MANUEL
  • MARIÑO CARBALLO, JULIO

Electronic Notes In Theoretical Computer Science (p. 149-159) - 5/8/2009

10.1016/j.entcs.2009.07.065 View at source

  • ISSN 03044238

A case study on verifying a supervisor component using McErlang

  • Castro D
  • Gulias V
  • Benac Earle C
  • Fredlund L
  • Rivas S

Electronic Notes In Theoretical Computer Science (p. 23-40) - 4/3/2011

10.1016/j.entcs.2011.02.009 View at source

  • ISSN 15710661

Preface

  • Earle C
  • Castro L
  • Fredlund L

Electronic Communications Of The Easst - 1/1/2013

10.14279/tuj.eceasst.64.959.941 View at source

  • ISSN 18632122

Adding distribution and fault tolerance to Jason

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Science Of Computer Programming (p. 205-232) - 1/2/2015

10.1016/j.scico.2014.01.007 View at source

  • ISSN 01676423

A testing-based approach to ensure the safety of shared resource concurrent systems

  • Fredlund, Lars-Ake
  • HERRANZ NIEVA, ANGEL
  • MARIÑO CARBALLO, JULIO

Proceedings Of The Institution Of Mechanical Engineers Part O-Journal Of Risk And Reliability (p. 457-472) - 1/10/2016

10.1177/1748006x15614231 View at source

  • ISSN 1748006X

Synthesis of verifiable concurrent Java components from formal models

  • Marino, Julio
  • Alborodo, Raul N. N.
  • Fredlund, Lars-Ake
  • Herranz, Angel;

Software And Systems Modeling (p. 71-105) - 8/2/2019

10.1007/s10270-017-0581-1 View at source

  • ISSN 16191366

This researcher has no books.

This researcher has no book chapters.

An implementation of a translational semantics for an imperative language

  • FREDLUND, LA
  • JONSSON, B
  • PARROW, JC;

Lecture Notes In Computer Science (p. 246-262) - 1/1/1990

10.1007/bfb0039064 View at source

  • ISSN 03029743

Formalising and prototyping a concurrent object-based language

  • Fredlund L
  • Koistinen J
  • Orava F

Lecture Notes In Computer Science (p. 116-125) - 1/12/1997

10.1007/3-540-62503-8_6 View at source

  • ISSN 03029743

System description: Verification of distributed Erlang programs

  • Arts T
  • Dam M
  • Fredlund L
  • Gurov D

Lecture Notes In Computer Science (p. 38-41) - 1/1/1998

  • ISSN 03029743
  • iMarina

Toward parametric verification of open distributed systems

  • Dam M
  • Fredlund LÅ
  • Gurov D

Lecture Notes In Computer Science (p. 150-185) - 1/1/1998

10.1007/3-540-49213-5_7 View at source

  • ISSN 03029743

On the verification of open distributed systems

  • Dam M
  • Fredlund L

Proceedings Of The Acm Symposium On Applied Computing (p. 532-540) - 27/2/1998

10.1145/330560.330917 View at source

A framework for formal reasoning about open distributed systems?

  • Fredlund L
  • Gurov D

Lecture Notes In Computer Science (p. 87-100) - 1/1/1999

10.1007/3-540-46674-6_9 View at source

  • ISSN 03029743

Semi-automated verification of Erlang code

  • Fredlund, LA
  • Gurov, D
  • Noll, T;

16th Annual International Conference On Automated Software Engineering (Ase 2001), Proceedings (p. 319-323) - 1/1/2001

10.1109/ase.2001.989820 View at source

Trace analysis of Erlang programs

  • Arts, T
  • Fredlund, LA;

Acm Sigplan Erlang Workshop (p. 16-23) - 1/1/2002

10.1145/592849.592852 View at source

  • ISSN 03621340

Model checking of multi-applet JavaCard applications

  • Chugunov, G
  • Fredlund, LA
  • Gurov, D;

Usenix Association And Ifip Wg 8.8 (Smart Cards) Proceedings Of Cardis '02 Fifth Smart Card Research And Advanced Application Conference (p. 87-95) - 1/1/2002

  • iMarina

Formal methods research at SICS and KTH: An overview

  • Dam M
  • Fredlund L
  • Guruv D

Electronic Notes In Theoretical Computer Science (p. 277-282) - 1/8/2003

10.1016/s1571-0661(04)80824-7 View at source

  • ISSN 15710661

This researcher has no working papers.

This researcher has no technical reports.

BABEL. Next Generation Energy Efficient Secure Software

  • Gomez Martinez, Maria Elena (Participante)
  • Deedar, Ohammad Halim (Participante)
  • Muñoz Hernández, Susana (Participante)
  • Benac Earle, Clara (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Moreno Navarro, Juan José (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... View more Collapse

Period: 01-10-2014 - 31-12-2018

Type of funding: Regional

Amount of funding: 101949,80 Euros.

  • iMarina

TITULO ANALYSIS OF THE ARQUITECTURE OF COOWRY SYSTEMS, DEVELOPMENT OF THEIR DATA MODELS, DESIGN OF THE TESTING STRATEGY, DEVELOPMENT OF AUTOMATIC TESTING FOR THE TRANSACTIONAL CORE SYSTEM

  • MARIÑO CARBALLO, JULIO (Colaborador/a)
  • Fredlund, Lars-Ake (Colaborador/a)
  • HERRANZ NIEVA, ANGEL (Investigador principal (IP))

Period: 30-04-2014 - 30-06-2020

Type of funding: Internal

  • iMarina

Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis

  • BUESO DE BARRIO, LUIS EDUARDO (Participante)
  • BALLESTEROS GONZALEZ, IGNACIO (Participante)
  • CARRO LIÑARES, MANUEL (Investigador principal (IP))
  • MARIÑO CARBALLO, JULIO (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Fredlund, Lars-Ake (Participante)
  • BUENO CARRILLO, FRANCISCO (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • Benac Earle, Clara (Participante)
  • ZANARDINI, DAMIANO (Participante)
... View more Collapse

Period: 01-01-2019 - 30-04-2023

Type of funding: Regional

Amount of funding: 74100,85 Euros.

  • iMarina

e-Health inclusion through ICT training

  • Muñoz Hernández, Susana (Investigador principal (IP))
  • MARIÑO CARBALLO, JULIO (Participante)
  • Fredlund, Lars-Ake (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Benac Earle, Clara (Participante)

Period: 01-01-2019 - 31-12-2019

Type of funding: International

Amount of funding: 289375,00 Euros.

  • iMarina

Analysis and Validation of Software and Web Resources

  • BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
  • Fredlund, Lars-Ake (Investigador principal (IP))
  • Benac Earle, Clara (Investigador principal (IP))
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)

Period: 01-06-2020 - 31-05-2024

Type of funding: National

Amount of funding: 61468,00 Euros.

  • iMarina

eJason : a Framework for Distributed and Fault-Tolerant Multi-Agent Systems

  • Fredlund, Lars-Ake (Director)
  • Benac Earle, Clara (Director) Doctorando: FERNÁNDEZ DÍAZ, Álvaro

1/1/2018

  • iMarina

This researcher has no patents or software licenses.

Last data update: 4/8/24 10:57 PM