Fredlund, Lars-ake larsake.fredlund@upm.es
Actividades
- Artículos 12
- Libros 0
- Capítulos de libro 0
- Congresos 55
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 15
- Tesis dirigidas 1
- Patentes o licencias de software 0
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
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
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
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
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
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 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
- iMarina
- iMarina
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
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
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
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
Automatic Generation of Attacker Contracts in Solidity
- Ballesteros I
- Benac-Earle C
- de Barrio LEB
- Fredlund LÅ
- Herranz Á
- Mariño J
Openaccess Series In Informatics - 1/1/2022
10.4230/oasics.fmbc.2022.3 Ver en origen
- ISSN 21906807
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
A Methodology for Addressing the Second-Level Digital Divide: A Practical Experience
- Hernández SM
- Earle CB
- Fredlund LÅ
Lecture Notes In Computer Science (p. 331-337) - 1/1/2020
10.1007/978-3-030-45002-1_28 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
Pitfalls of Jason Concurrency
- Fernández Díaz Á
- Benac Earle C
- Fredlund L
Lecture Notes In Computer Science (p. 19-33) - 1/1/2019
10.1007/978-3-030-25693-7_2 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
A Property-based Testing Framework for Multi-Agent Systems
- Earle C
- Fredlund L
Aamas '19: Proceedings Of The 18th International Conference On Autonomous Agents And Multiagent Systems (p. 1823-1825) - 1/1/2019
- ISSN 15488403
- iMarina
Runtime Verification in Erlang by Using Contracts
- Fredlund L
- Mariño J
- Pérez S
- Tamarit S
Lecture Notes In Computer Science (p. 56-73) - 1/1/2019
10.1007/978-3-030-16202-3_4 Ver en origen
- ISSN 03029743
Automatic grading of programming exercises using property-based testing
- Earle C
- Fredlund L
- Hughes J
Annual Conference On Innovation And Technology In Computer Science Education, Iticse (p. 47-52) - 11/7/2016
10.1145/2899415.2899443 Ver en origen
- ISSN 00010782
- iMarina
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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))
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
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
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
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Publons
-
Scopus Author ID