Fredlund, Lars-ake - Portal de Investigación del Consorcio Madroño

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

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

iMarina

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

iMarina

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

iMarina
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

iMarina

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

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

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

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

iMarina

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

Este/a investigador/a no tiene libros.

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

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

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

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

iMarina

A more accurate semantics for distributed erlang

Hans Svensson
Fredlund, Lars-Ake

Erlang'07: Proceedings Of The 2007 Sigplan Erlang Workshop (p. 43-54) - 1/12/2007

10.1145/1292520.1292528 Ver en origen

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

A verification of a process supervisor with McErlang

Víctor M. Gulias
Samuel Rivas
David Castro
Fredlund, Lars-Ake
Benac Earle, Clara

A Verification Of A Process Supervisor With Mcerlang (p. 0-0) - 8/9/2010

iMarina

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

iMarina
iMarina

Applying property-based testing in teaching safety-critical system programming

Fredlund, Lars-Ake
HERRANZ NIEVA, ANGEL
MARIÑO CARBALLO, JULIO

Proceedings 41st Euromicro Conference On Software Engineering And Advanced Applications Seaa 2015 (p. 309-316) - 20/10/2015

10.1109/seaa.2015.53 Ver en origen

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

Automatic Coding Rule Conformance Checking Using Logic Programs.

Manuel Carro Liñares
Guillem Marpons Ucero
Fredlund, Lars-Ake
Moreno Navarro, Juan José
HERRANZ NIEVA, ANGEL
MARIÑO CARBALLO, JULIO

17th Workshop On Logic-Based Methods In Programming Environments. - 13/9/2007

iMarina

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

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

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

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

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