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
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
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 Ver en origen
- ISSN 03043975
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
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 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
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
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
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
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
Automatic Coding Rule Conformance Checking Using Logic Programming
- Marpons, Guillem
- Marino, Julio
- Carro, Manuel
- Herranz, Angel
- Moreno-Navarro, Juan Jose
- Fredlund, Lars-Ake;
Practical Aspects Of Declarative Languages, 10th International Symposium, Padl 2008 (p. 18-34) - 7/1/2008
10.1007/978-3-540-77442-6_3 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
Recent improvements to the McErlang model checker
- Benac Earle, Clara
- Fredlund, Lars-Ake;
Erlang'09 - Proceedings Of The 2009 Acm Sigplan Erlang Workshop, Co-Located With The International Conference On Functional Programming, Icfp'09 (p. 93-100) - 30/11/2009
10.1145/1596600.1596613 Ver en origen
- ISSN 00010782
- iMarina
- iMarina
Debugging and verification of multi-agent systems
- Fredlund, Lars-Ake
- Benac Earle, Clara
Lecture Notes In Computer Science (p. 263-270) - 1/12/2009
10.1007/978-3-642-04772-5_35 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
Verifying robocup teams
- Benac Earle, Clara
- Fredlund, Lars-ake
- Iglesias Martinez, Jose Antonio
- Ledezma Espino, Agapito Ismael
Lecture Notes In Computer Science (p. 34-48) - 6/4/2009
10.1007/978-3-642-00431-5_3 Ver en origen
- ISSN 03029743
Rigorous Software Development Using McErlang
- Fredlund, Lars-Ake
- Benac Earle, Clara
Actas De La 14th Conference On Software Engineering An Databases, Jisbd09 (p. 335-338) - 8/9/2009
- iMarina
Property-based testing - The ProTest project
- Derrick J
- Walkinshaw N
- Arts T
- Benac Earle C
- Cesarini F
- Fredlund L
- Gulias V
- Hughes J
- Thompson S
Lecture Notes In Computer Science (p. 250-271) - 1/1/2010
10.1007/978-3-642-17071-3_13 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
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
- 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 Ver en origen
- iMarina
- 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
- iMarina
- iMarina
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))
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))
Ejecución: 01-01-2013 - 30-06-2017
Tipo: Nacional
Importe financiado: 36644,40 Euros.
- 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