RDF/XML JSON-LD N3/Turtle RDF/JSON
Author profile at the institutional portal

Benac Earle, Clara clara.benac@upm.es

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

Publications

Makina: A QuickCheck state machine library

  • De Barrio, LEB
  • Fredlund, LÅ
  • Herranz, A
  • Benac-Earle, C
  • Mariño, J

Journal Of Logical And Algebraic Methods In Programming - 1/1/2026

10.1016/j.jlamp.2025.101096 View at source

  • ISSN 15678326

Generation of algebraic data type values using evolutionary algorithms

  • I Ballesteros
  • C Benac-Earle
  • J Mariño
  • LÅ Fredlund
  • Á Herranz

Journal Of Logical And Algebraic Methods In Programming - 1/2/2025

10.1016/j.jlamp.2024.101022 View at source

  • ISSN 15678326

Executable contracts for Elixir

  • de Barrio, LEB
  • Fredlund, LA
  • Herranz, A
  • Mariño, J
  • Earle, CB

Journal Of Logical And Algebraic Methods In Programming (p. 101019-101019) - 1/1/2025

10.1016/j.jlamp.2024.101019 View at source

  • ISSN 15678326

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

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

  • Gómez-Martínez, E
  • Rodríguez, RJ
  • Benac-Earle, C
  • Etxeberria, L
  • Illarramendi, M

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

10.1177/1748006x16667328 View at source

  • 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 View at source

  • ISSN 09205489

Adding distribution and fault tolerance to Jason

  • AF D?az
  • CB Earle
  • LA Fredlund

Science Of Computer Programming (p. 205-232) - 1/2/2015

10.1016/j.scico.2014.01.007 View at source

  • ISSN 01676423

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

McErlang: a Tutorial

  • Clara Benac Earle
  • Lars-Ake Fredlund

Communications Of The Acm - 1/1/2010

  • ISSN 00010782
  • iMarina

A Methodology for Model-based Verification of Safety Contracts

  • E Gómez-Martínez
  • RJ Rodríguez
  • CB Earle
  • LE Elorza
  • MI Rezabal

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

This researcher has no book chapters.

Controlled Scheduling of Concurrent Elixir Programs

  • LE Bueso de Barrio
  • LÅ Fredlund
  • C Benac Earle
  • Á Herranz
  • J Mariño

Proceedings Of The (p. 67-75) - 1/1/2024

10.1145/3677995.3678195 View at source

Makina: A new QuickCheck state machine library

  • de Barrio, LEB
  • Fredlund, LÅ
  • Herranz, A
  • 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

10.1145/3471871.3472964 View at source

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 View at source

  • ISSN 03029743

Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion

  • Clara Benac Earle
  • et All

Ifip Advances In Information And Communication Technology (p. 5-16) - 1/1/2020

10.1007/978-3-030-39634-3_1 View at source

  • ISSN 18684238

Gaining trust by tracing security protocols

  • LÅ Fredlund
  • C Benac Earle
  • T Arts
  • H Svensson

Erlang 2019 - Proceedings Of The 18th Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2019 (p. 56-67) - 18/8/2019

10.1145/3331542.3342573 View at source

  • ISSN 15678326

Pitfalls of Jason Concurrency

  • Á Fernández Díaz
  • C Benac Earle
  • LÅ Fredlund

Lecture Notes In Computer Science (p. 19-33) - 1/1/2019

10.1007/978-3-030-25693-7_2 View at source

  • ISSN 03029743

Automatic grading of programming exercises using property-based testing

  • C Benac Earle
  • LÅ Fredlund
  • J Hughes

Annual Conference On Innovation And Technology In Computer Science Education, Iticse (p. 47-52) - 11/7/2016

10.1145/2899415.2899443 View at source

  • ISSN 00010782

Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128

  • Barbara Gallina
  • Elena Gómez-Martínez
  • Clara Benac Earle

Communications In Computer And Information Science (p. 3-16) - 1/1/2016

10.1007/978-3-319-38980-6_1 View at source

  • ISSN 18650929

Functional Testing of Java Programs

  • Clara Benac Earle
  • Lars-Åke Fredlund

Lecture Notes In Computer Science (p. 40-59) - 1/1/2016

10.1007/978-3-319-39110-6_3 View at source

  • ISSN 03029743

Automated Model-Based Testing Based on an Agnostic-Platform Modeling Language

  • Sanz, C
  • Salas, A
  • de Miguel, M
  • Alonso, A
  • de la Puente, J
  • Benac, C

3rd International Conference On Model-Driven Engineering And Software Development (Modelsward), 2015. Vol. 1. Springer (p. 1-8) - 9/2/2015

10.5220/0005237802390246 View at source

This researcher has no working papers.

This researcher has no technical reports.

Madrinet, Multidisciplinary Advanced Research in User-Centric wireless Network and Enabling Technologies

  • Benac Earle, Clara (Investigador/a)

Period: 01-01-2100 - 31-12-2009

  • iMarina

REEQUILIBRIO TERRITORIAL EN MADRID CON INCLUSIÓN DIGITAL (RETOMADRID)

  • MARIÑO CARBALLO, JULIO (Colaborador/a)
  • Fredlund, Lars-Ake (Colaborador/a)
  • Moreno Navarro, Juan José (Colaborador/a)
  • HERRANZ NIEVA, ANGEL (Colaborador/a)
  • Benac Earle, Clara (Colaborador/a)
  • Muñoz Hernández, Susana (Investigador principal (IP))

Period: 28-12-2023 - 31-12-2025

Type of funding: Internal

  • iMarina

Madrid Inclusión Digital (MID)

  • RODRIGUEZ RIVERO, ROCIO (Miembro del equipo de investigación)
  • Muñoz Hernández, Susana (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Investigador/a)
  • Benac Earle, Clara (Investigador/a)
  • Clara Urbano Molina (Investigador/a)

Period: 15-10-2021 - 30-11-2022

Type of funding: Regional

Amount of funding: 49969,66 Euros.

  • iMarina

Analysis and Validation of Software and Web Resources

  • BALLESTEROS GONZALEZ, IGNACIO (Miembro del equipo de trabajo)
  • 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)

Period: 01-06-2020 - 31-05-2024

Type of funding: National

Amount of funding: 61468,00 Euros.

  • iMarina

Análisis y Validación de Software y Recursos Web (SAFER)

  • Clara Benac Earle
  • Lars-Ake Fredlund (Investigador principal (IP))
  • Benac Earle, Clara (Investigador principal (IP))

Period: 01-06-2020 - 31-05-2024

  • iMarina

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

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

Period: 01-02-2020 - 31-12-2022

Type of funding: Regional

Amount of funding: 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)
... View more Collapse

Period: 01-01-2019 - 30-04-2023

Type of funding: Regional

Amount of funding: 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)

Period: 01-01-2019 - 31-12-2019

Type of funding: International

Amount of funding: 289375,00 Euros.

  • iMarina

Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis (BLOQUES-CM)

  • Benac Earle, Clara (Miembro de equipo)

Period: 01-01-2019 - 30-04-2023

  • iMarina

e-Health Inclusion through ICT

  • Susana Muñoz (Investigador principal (IP))
  • Benac Earle, Clara (Investigador/a)

Period: 01-01-2019 - 31-12-2019

  • iMarina

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 5/18/26 3:53 PM