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

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.

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

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

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

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

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

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

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

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

  • ISSN 15710661

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

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

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

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

  • 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

Spanish Research Consortium for informatics and mathematics

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

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

Tipo: Nacional

  • 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

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

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

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

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

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