RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

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

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

Actividades

Testing feature-rich blockchains

  • Arts, T
  • Svensson, H
  • Earle, CB
  • Fredlund, LA

Software-Practice & Experience (p. 1144-1173) - 1/1/2023

10.1002/spe.3183 Ver en origen

  • ISSN 1097024X

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 Ver en origen

  • ISSN 16191366

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

Preface

  • Earle C
  • Castro L
  • Fredlund L

Electronic Communications Of The Easst - 1/1/2013

10.14279/tuj.eceasst.64.959.941 Ver en origen

  • ISSN 18632122

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 Ver en origen

  • ISSN 03043975

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 Ver en origen

  • ISSN 01676423

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 Ver en origen

  • ISSN 14332787

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 Ver en origen

  • ISSN 1748006X

A formal semantics for agent distribution and fault tolerance in Jason

  • Díaz, AF
  • Fredlund, LÅ
  • Benac-Earle, C
  • Mariño, J

Journal Of Logical And Algebraic Methods In Programming - 1/6/2023

10.1016/j.jlamp.2023.100874 Ver en origen

  • ISSN 15678326

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

eJason: An implementation of Jason in Erlang

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Lecture Notes In Computer Science (p. 1-16) - 5/9/2013

10.1007/978-3-642-38700-5_1 Ver en origen

  • ISSN 03029743

Verifying robocup teams

  • Benac Earle, Clara
  • Fredlund, Lars-ake
  • Iglesias Martinez, Jose Antonio
  • Ledezma Espino, Agapito Ismael

Lecture Notes In Computer Science (p. 34-48) - 6/4/2009

10.1007/978-3-642-00431-5_3 Ver en origen

  • ISSN 03029743

Verifying fault-tolerant Erlang programs

  • Earle C
  • Fredlund L
  • Derrick J

Erlang'05 - Proceedings Of The Acm Sigplan 2005 Erlang Workshop (p. 26-34) - 1/12/2005

10.1145/1088361.1088367 Ver en origen

Verification of timed Erlang programs using McErlang

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Lecture Notes In Computer Science (p. 251-267) - 29/6/2012

10.1007/978-3-642-30793-5_16 Ver en origen

  • ISSN 03029743

Verification of language based fault-tolerance

  • Earle, CB
  • Fredlund, LA;

Lecture Notes In Computer Science (p. 140-149) - 1/12/2005

  • ISSN 03029743
  • iMarina

Using McErlang to verify an Erlang process supervision component

  • Víctor M. Gulias
  • Samuel Rivas
  • David Castro
  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Trends In Functional Programming 2010 (p. 23-40) - 17/5/2010

  • iMarina

Trace analysis of Erlang programs

  • Arts, T
  • Fredlund, LA;

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

10.1145/592849.592852 Ver en origen

  • ISSN 03621340

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 Ver en origen

  • ISSN 03029743

Testing Java with QuickCheck

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Xii Jornadas Sobre Programación Y Lenguajes (Prole) Y V Taller De Programación Funcional (p. 91-105) - 18/9/2013

  • iMarina

Teaching students Property-based Testing

  • Fredlund, Lars-Ake
  • MARIÑO CARBALLO, JULIO
  • Benac Earle, Clara

Conference Proceedings Of The Euromicro (p. 437-442) - 17/10/2014

10.1109/seaa.2014.74 Ver en origen

  • ISSN 10896503

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

pSafety Certification opf software-intensive systems with reusable components

  • Fredlund, Lars-Ake (Investigador principal (IP))

Ejecución: 01-04-2011 - 31-03-2013

Tipo: Internacional

Importe financiado: 16873,68 Euros.

  • iMarina

pSafety Certification of software-intensive systems with reusable components

  • MARIÑO CARBALLO, JULIO (Participante)
  • Benac Earle, Clara (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Fredlund, Lars-Ake (Investigador principal (IP))

Ejecución: 01-01-2011 - 31-12-2012

Tipo: Nacional

Importe financiado: 33646,32 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)

Ejecución: 01-01-2019 - 31-12-2019

Tipo: Internacional

Importe financiado: 289375,00 Euros.

  • iMarina

Tecnologías rigurosas para software de nueva generación abierto y fiable

  • BUESO DE BARRIO, LUIS EDUARDO (Miembro del equipo de trabajo)
  • BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
  • Mycroft ., Alan (Otros)
  • Tonetta ., Stefano (Otros)
  • Lipton ., James (Otros)
  • Moreno Navarro, Juan José (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Benac Earle, Clara (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... Ver más Contraer

Ejecución: 01-01-2013 - 30-06-2017

Tipo: Nacional

Importe financiado: 36644,40 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))

Ejecución: 30-04-2014 - 30-06-2020

Tipo: Interno

  • iMarina

Spanish Research Consortium for informatics and mathematics

  • Fredlund, Lars-Ake (Investigador principal (IP))

Ejecución: 01-05-2008 - 31-12-2009

Tipo: Nacional

  • iMarina

Protest: Property-Based Testing

  • Moreno Navarro, Juan José (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Participante)
  • Fredlund, Lars-Ake (Investigador principal (IP))

Ejecución: 01-01-2008 - 01-01-2009

Tipo: Nacional

  • iMarina

Property-based testing of Web services

  • Fredlund, Lars-Ake (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Participante)
  • MARIÑO CARBALLO, JULIO (Participante)
  • Benac Earle, Clara (Participante)

Ejecución: 01-10-2012 - 31-10-2015

Tipo: Internacional

Importe financiado: 262905,00 Euros.

  • iMarina

Property-based Testing

  • Fredlund, Lars-Ake (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Participante)
  • MARIÑO CARBALLO, JULIO (Participante)
  • Benac Earle, Clara (Participante)

Ejecución: 01-05-2008 - 30-12-2011

Tipo: Internacional

Importe financiado: 318788,00 Euros.

  • iMarina

Programa en métodos para el desarrollo de software, fiable, de alta calidad y seguro de la Comunidad de Madrid

  • Muñoz Hernández, Susana (Participante)
  • Fredlund, Lars-Ake (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Moreno Navarro, Juan José (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))

Ejecución: 01-12-2005 - 01-01-2010

Tipo: Regional

  • 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

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 8/04/24 22:57