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

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

Este/a investigador/a no tiene libros.

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

Executable contracts for Elixir

  • Fredlund, Lars-Ake
  • BUESO DE BARRIO, LUIS EDUARDO, Sergio Pérez, Ignacio Ballesteros, Ángel Herranz, Julio Mariño,

(p. 46) - 6/9/2022

https://doi.org/10.1145/3546186.3549930 Ver en origen

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

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

Property-based Testing of JSON based Web Services

  • Fredlund, Lars-Ake
  • Herranz, Angel
  • Benac Earle, Clara
  • Marino, Julio;

Web Services (Icws), 2014 Ieee International Conference On (p. 704-707) - 27/6/2014

10.1109/icws.2014.110 Ver en origen

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

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

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang

  • Guo Q
  • Derrick J
  • Benac Earle C
  • Fredlund L

Testing - Practice And Research Techniques (Taic Part 2010) (p. 23-38) - 3/9/2010

10.1007/978-3-642-15585-7_5 Ver en origen

  • ISSN 03029743

Execution and Verification of UML State Machines with Erlang

  • Rodríguez R
  • Fredlund L
  • Herranz A
  • Mariño J

Software Engineering And Formal Methods (p. 284-289) - 1/9/2014

10.1007/978-3-319-10431-7_22 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 unified semantics for future Erlang

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

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

10.1145/1863509.1863514 Ver en origen

  • ISSN 00010782

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

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

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

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

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

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

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

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

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

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