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

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

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

  • ISSN 15710661

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

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 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

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

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

MODELING DYNAMIC COMMUNICATION STRUCTURES IN LOTOS

  • FREDLUND, LA
  • ORAVA, F;

Ifip Transactions C-Communication Systems (p. 185-200) - 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

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

Este/a investigador/a no tiene libros.

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

From UML State-Machine Diagrams to Erlang

  • Fredlund, Lars-Ake
  • HERRANZ NIEVA, ANGEL

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

  • iMarina

Functional Testing of Java Programs

  • Benac Earle, Clara
  • Fredlund, Lars-Ake;

Lecture Notes In Computer Science (p. 40-59) - 1/1/2016

10.1007/978-3-319-39110-6_3 Ver en origen

  • ISSN 03029743

Gaining trust by tracing security protocols

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Erlang 2019 - Proceedings Of The 18th Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2019 (p. 56-67) - 18/8/2019

10.1145/3331542.3342573 Ver en origen

  • ISSN 15678326

Generation and Refinement of Testing Models

  • de Barrio, LEB
  • Fredlund, LÅ
  • Earle, CB
  • Herranz, A
  • Mariño, J

Erlang 2023 - Proceedings Of The 22nd Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2023 (p. 14-23) - 1/1/2023

10.1145/3609022.3609415 Ver en origen

Guaranteeing Correctness Properties of a Java Card Applet

  • Fredlund L

Electronic Notes In Theoretical Computer Science (p. 217-233) - 3/1/2005

10.1016/j.entcs.2004.01.033 Ver en origen

  • ISSN 15710661

Implementing a multiagent negotiation protocol in Erlang

  • Fernandez Diaz, Alvaro
  • Benac Earle, Clara
  • Fredlund, Lars-Ake

Proceedings Of The Acm Sigplan International Conference On Functional Programming, Icfp (p. 69-74) - 13/12/2010

10.1145/1863509.1863520 Ver en origen

Jsongen: A QuickCheck based library for testing JSON web services

  • Benac Earle C
  • Fredlund L
  • Herranz A
  • Mariño J

Erlang 2014 - Proceedings Of The 2014 Acm Sigplan Erlang Workshop (p. 33-41) - 1/1/2014

10.1145/2633448.2633454 Ver en origen

  • ISSN 00010782

Makina: A new QuickCheck state machine library

  • De Barrio LEB
  • Fredlund LÅ
  • Herranz Á
  • Earle CB
  • Mariño J

Erlang 2021 - Proceedings Of The 20th Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2021 (p. 41-53) - 1/1/2021

10.1145/3471871.3472964 Ver en origen

McErlang: A model checker for a distributed functional programming language

  • Hans Svensson
  • Fredlund, Lars-Ake

Proceedings Of The Acm Sigplan International Conference On Functional Programming, Icfp (p. 125-136) - 1/12/2007

10.1145/1291151.1291171 Ver en origen

  • ISSN 03621340

Model checking a video-on-demand server using McErlang

  • Fredlund L
  • Penas J

Lecture Notes In Computer Science (p. 539-546) - 12/2/2007

  • ISSN 03029743
  • iMarina

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

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

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)

Ejecución: 01-06-2020 - 31-05-2024

Tipo: Nacional

Importe financiado: 61468,00 Euros.

  • iMarina

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))
... Ver más Contraer

Ejecución: 01-10-2014 - 31-12-2018

Tipo: Regional

Importe financiado: 101949,80 Euros.

  • 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)
... Ver más Contraer

Ejecución: 01-01-2019 - 30-04-2023

Tipo: Regional

Importe financiado: 74100,85 Euros.

  • iMarina

Consorcio español de investigación en informática y matemáticas

  • PIMENTEL ., ERNESTO (Participante)
  • LARROSA BUENDIA, FRANCISCO JAVIER (Participante)
  • ALPUENTE FRASNEDO, MARIA (Participante)
  • HERMENEGILDO SALINAS, MANUEL DE (Investigador principal (IP))
  • Fredlund, Lars-Ake (Participante)

Ejecución: 01-01-2010 - 30-06-2014

Tipo: Nacional

Importe financiado: 300000,00 Euros.

  • iMarina

Desarrollo de software de alta calidad, fiable, distribuido y seguro

  • KRIZANC ., DAVID DANIEL (Participante)
  • SVENSSON ., HANS (Participante)
  • Hughes ., John (Participante)
  • Benac Earle, Clara (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Muñoz Hernández, Susana (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... Ver más Contraer

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

Tipo: Nacional

Importe financiado: 158994,01 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

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

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

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

Spanish Research Consortium for informatics and mathematics

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

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

Tipo: Nacional

  • 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