RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Benac Earle, Clara clara.benac@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

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

Sustainable Methodology for Operational and Formal Digital Skills Acquisition: A Case Study of e-Health Inclusion

  • Munoz-Hernandez, Susana
  • Benac-Earle, Clara
  • Nieva, Angel Herranz
  • Gonzalez-McGuinness, Mayte;

Sustainability - 1/8/2021

https://doi.org/10.3390/su13179698 Ver en origen

  • ISSN 20711050

Engineering Multi-Agent Systems: State of Affairs and the Road Ahead

  • Viviana Mascardi
  • Danny Weyns
  • Alessandro Ricci
  • Clara Benac Earle
  • Arthur Casals
  • Moharram Challenger
  • Amit Chopra
  • Andrei Ciortea
  • Louise A Dennis
  • Álvaro Fernández Díaz
  • Amal El Fallah-Seghrouchni
  • Angelo Ferrando
  • Lars-Åke Fredlund
  • Eleonora Giunchiglia
  • Zahia Guessoum
  • Akin Günay
  • Koen Hindriks
  • Carlos A Iglesias
  • Brian Logan
  • Timotheus Kampik
  • Geylani Kardas
  • Vincent J Koeman
  • John Bruntse Larsen
  • Simon Mayer
  • Tasio Méndez
  • Juan Carlos Nieves
  • Valeria Seidita
  • Baris Tekin Teze
  • László Z Varga
  • Michael Winikoff
... Ver más Contraer

Acm Sigsoft Software Engineering Notes (p. 18-28) - 1/3/2019

  • ISSN 01635948
  • iMarina

A methodology for model-based verification of safety contracts and performance requirements

  • Gomez-Martinez, Elena
  • Rodriguez, Ricardo J.
  • Benac-Earle, Clara
  • Etxeberria, Leire
  • Illarramendi, Miren;

Proceedings Of The Institution Of Mechanical Engineers Part O-Journal Of Risk And Reliability (p. 227-247) - 1/6/2018

10.1177/1748006x16667328 Ver en origen

  • ISSN 1748006X

Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer

  • B Gallina
  • E Gómez-Martínez
  • C Benac-Earle

Computer Standards & Interfaces (p. 119-128) - 1/11/2017

10.1016/j.csi.2016.11.007 Ver en origen

  • ISSN 09205489

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

McErlang: a Tutorial

  • Clara Benac Earle
  • Lars-Ake Fredlund

Communications Of The Acm - 1/1/2010

  • ISSN 00010782
  • iMarina

Pitfalls of Jason Concurrency

  • Alvaro Fernández D?az
  • Clara Benac Earle
  • Lars-Ake Fredlund

1/1/2018

  • iMarina

Verifying Robocup Teams, Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

  • Clara Benac Earle
  • Lars-Åke Fredlund
  • José Antonio Iglesias
  • Agapito Ledezma

1/1/2009

  • iMarina

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

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
... Ver más Contraer

Lecture Notes In Computer Science (p. 250-271) - 1/1/2010

10.1007/978-3-642-17071-3_13 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

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

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

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

An anticipatory trust model for open distributed systems

  • Mario Gómez
  • Javier Carbó
  • Clara Benac-Earle

Lecture Notes In Computer Science (p. 307-324) - 1/1/2007

  • ISSN 03029743
  • 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

Verifying fault-tolerant Erlang programs

  • Earle C
  • Fredlund L
  • Derrick J

Erlang'05 - Proceedings Of The Acm Sigplan 2005 Erlang Workshop (p. 26-34) - 1/12/2005

10.1145/1088361.1088367 Ver en origen

Verification of language based fault-tolerance

  • Earle, CB
  • Fredlund, LA;

Lecture Notes In Computer Science (p. 140-149) - 1/12/2005

  • ISSN 03029743
  • iMarina

Translating Erlang to mu CRL

  • Thomas Arts
  • Clara Benac Earle
  • Juan José Sánchez Penas

Fourth International Conference On Application Of Concurrency To System Design, Proceedings (p. 135-144) - 28/12/2004

10.1109/csd.2004.1309124 Ver en origen

  • ISSN 00010782

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

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

Madrid Inclusión Digital (MID)

  • Muñoz Hernández, Susana (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Investigador/a)
  • Benac Earle, Clara (Investigador/a)
  • Clara Urbano Molina (Investigador/a)

Ejecución: 15-10-2021 - 30-11-2022

Tipo: Regional

Importe financiado: 49969,66 Euros.

  • iMarina

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

MadridDataSpace4Pandemics Inteligencia Artificial y tecnologías basadas en datos para la comprensión, detección, tratamiento y análisis de la COVID-19

  • Conde Díaz, Javier (Participante)
  • MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
  • Sundar Goswami, Subhra (Participante)
  • TORRES INCHAURZA, IMANOL (Participante)
  • ARIAS LONDOÑO, Julian David (Participante)
  • GARCIA DELGADO, MIGUEL ANGEL (Participante)
  • JIMENEZ MARTIN, ANTONIO (Participante)
  • GALVAÑ SALA, DAVID AMARO (Participante)
  • QUESADA LOPEZ, DAVID (Participante)
  • GALOCHA DOMINGUEZ, LUIS (Participante)
  • González Guardia, Esteban (Participante)
  • ALCAZAR VALDARACETE, RAUL (Participante)
  • Moreno Sánchez-Capuchino, Ana María (Participante)
  • MIGUEL VELA, GONZALO C. DE (Participante)
  • BIELZA LOZOYA, MARIA CONCEPCION (Participante)
  • LARRAÑAGA MUGICA, PEDRO MARIA (Participante)
  • DIAZ HONRUBIA, ANTONIO JESUS (Participante)
  • ROBLES FORCADA, VICTOR (Participante)
  • MENASALVAS RUIZ, ERNESTINA (Participante)
  • LATORRE DE LA FUENTE, ANTONIO (Participante)
  • MATEOS CABALLERO, ALFONSO (Participante)
  • RODRIGUEZ GONZALEZ, ALEJANDRO (Participante)
  • VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
  • BAJO PEREZ, JAVIER (Participante)
  • ALONSO GONZALEZ, ALVARO (Participante)
  • POZO HUERTAS, ALEJANDRO (Participante)
  • BERNARDOS BARBOLLA, ANA MARIA (Investigador principal (IP))
  • BERGESIO, LUCA (Participante)
  • CAMPAÑA RAMOS, IVAN (Participante)
  • Benac Earle, Clara (Participante)
  • ALONSO DE APELLANIZ, PATRICIA (Participante)
  • García Santos, Narciso (Participante)
  • GUTIERREZ SANCHEZ, JESUS (Investigador principal (IP))
  • LEDESMA CARBAYO, MARIA JESUS (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Participante)
  • Yelmo Garcia, Juan Carlos (Investigador principal (IP))
  • MARTIN GARCIA, YOD SAMUEL (Participante)
  • BARRA ARIAS, ENRIQUE (Participante)
  • PAVON GOMEZ, SANTIAGO (Participante)
  • ZAZO BELLO, SANTIAGO (Participante)
  • BELMONTE HERNÁNDEZ, ALBERTO (Participante)
  • CASAR CORREDERA, JOSE RAMON (Participante)
  • TORRE OLIVA, ALEJANDRO DE LA (Participante)
  • CORTES SANCHEZ, CARLOS (Participante)
  • Muñoz Hernández, Susana (Participante)
  • Díaz López, José Manuel (Participante)
  • RODRIGUEZ VAZQUEZ, JOSE LUIS (Participante)
  • PARRAS MORAL, JUAN (Investigador principal (IP))
  • BESADA PORTAS, JUAN ALBERTO (Participante)
  • CARRAMIÑANA JIMENEZ, DAVID (Participante)
  • CABRERA QUESADA, JULIAN (Participante)
  • ORDUNA CORTILLAS, MARTA (Participante)
  • GODINO LLORENTE, JUAN IGNACIO (Investigador principal (IP))
  • BURLAKA PETRASH, ARSEN (Participante)
  • ALVAREZ GARCIA, FEDERICO (Participante)
  • TORRE ASTANIN, ALEXANDER DE LA (Participante)
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Investigador principal (IP))
  • LOPEZ PERNAS, SONSOLES (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
  • QUEMADA VIVES, JUAN (Participante)
  • MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
  • Corcho García, Oscar (Investigador principal (IP))
... Ver más Contraer

Ejecución: 01-02-2020 - 31-12-2022

Tipo: Regional

Importe financiado: 99859,50 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

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

GRUPO OPERATIVO PARA LA PROMOCION DEL USO PRUDENTE DE ANTIMICROBIANOS EN BOVINO DE CARNE -PROMANBOV

  • Muñoz Hernández, Susana (Colaborador/a)
  • Benac Earle, Clara (Colaborador/a)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))

Ejecución: 11-05-2018 - 23-11-2022

Tipo: Interno

  • iMarina

BABEL. Next Generation Energy Efficient Secure Software

  • Gomez Martinez, Maria Elena (Participante)
  • Deedar, Ohammad Halim (Participante)
  • Muñoz Hernández, Susana (Participante)
  • Benac Earle, Clara (Participante)
  • HERRANZ NIEVA, ANGEL (Participante)
  • Nogueira Iglesias, Pablo (Participante)
  • Fredlund, Lars-Ake (Participante)
  • Moreno Navarro, Juan José (Participante)
  • MARIÑO CARBALLO, JULIO (Investigador principal (IP))
... Ver más Contraer

Ejecución: 01-10-2014 - 31-12-2018

Tipo: Regional

Importe financiado: 101949,80 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))
... 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

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