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.

Languages for Safety-Certification Related Propertis

  • Stefano Tonetta
  • Stefano Puri
  • Silvia Mazzini
  • Ramón Serna Oliver
  • Olivier Hachet
  • Katiusca Zedda
  • Jean-Louis Gilbert
  • Cecilia Ekelin
  • Benac Earle, Clara
... Ver más Contraer

Proc. Work In Progress Session At 39th Euromicro Conf. On Software Engineering And Advanced Applications (Seaa'13) (p. 1-2) - 4/9/2013

  • iMarina

Verification of timed Erlang programs using McErlang

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Lecture Notes In Computer Science (p. 251-267) - 29/6/2012

10.1007/978-3-642-30793-5_16 Ver en origen

  • ISSN 03029743

Static partial order reduction for probabilistic concurrent systems

  • Christel Baier
  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Proceedings - 2012 9th International Conference On Quantitative Evaluation Of Systems, Qest 2012 (p. 104-113) - 13/12/2012

10.1109/qest.2012.22 Ver en origen

  • ISSN 00010782

Erlang as an implementation platform for BDI languages

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Erlang'12 - Proceedings Of The Acm Sigplan Erlang Workshop (p. 1-9) - 22/10/2012

10.1145/2364489.2364491 Ver en origen

  • ISSN 00010782

Erlang implementation and formal verification of a distributed MAS protocol.

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Actas De Las Xi Jornadas Sobre Programación Y Lenguajes (Prole2011) (p. 111-125) - 5/9/2011

  • 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

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

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

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

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

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