Fredlund, Lars-ake larsake.fredlund@upm.es
Publications
- Articles 12
- Books 0
- Book chapters 0
- Conferences 55
- Working papers 0
- Technical reports 0
- Research projects 15
- Supervised theses 1
- Patent or software license 0
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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- ISSN 15678326
This researcher has no books.
This researcher has no book chapters.
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 View at source
- ISSN 03029743
- iMarina
- iMarina
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
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 View at source
- ISSN 03029743
- iMarina
- iMarina
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
Model checking erlang programs: The functional approach
- Fredlund L
- Earle C
Erlang'06 - Proceedings Of The Acm Sigplan 2006 Erlang Workshop (p. 11-19) - 20/11/2006
- iMarina
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
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 View at source
- ISSN 03621340
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
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 View at source
- ISSN 00010782
- iMarina
- iMarina
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 View at source
- iMarina
- iMarina
This researcher has no working papers.
This researcher has no technical reports.
pSafety Certification opf software-intensive systems with reusable components
- Fredlund, Lars-Ake (Investigador principal (IP))
Period: 01-04-2011 - 31-03-2013
Type of funding: International
Amount of funding: 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))
Period: 01-01-2011 - 31-12-2012
Type of funding: National
Amount of funding: 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)
Period: 01-01-2019 - 31-12-2019
Type of funding: International
Amount of funding: 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))
Period: 01-01-2013 - 30-06-2017
Type of funding: National
Amount of funding: 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))
Period: 30-04-2014 - 30-06-2020
Type of funding: Internal
- iMarina
Spanish Research Consortium for informatics and mathematics
- Fredlund, Lars-Ake (Investigador principal (IP))
Period: 01-05-2008 - 31-12-2009
Type of funding: National
- iMarina
Protest: Property-Based Testing
- Moreno Navarro, Juan José (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- Fredlund, Lars-Ake (Investigador principal (IP))
Period: 01-01-2008 - 01-01-2009
Type of funding: National
- 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)
Period: 01-10-2012 - 31-10-2015
Type of funding: International
Amount of funding: 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)
Period: 01-05-2008 - 30-12-2011
Type of funding: International
Amount of funding: 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))
Period: 01-12-2005 - 01-01-2010
Type of funding: Regional
- iMarina
This researcher has no patents or software licenses.
Research groups
Researcher profiles
-
ORCID
-
Publons
-
Scopus Author ID