Benac Earle, Clara clara.benac@upm.es
Actividades
- Artículos 16
- Libros 2
- Capítulos de libro 0
- Congresos 41
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 25
- Tesis dirigidas 0
- Patentes o licencias de software 0
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 Ver en origen
- 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 Ver en origen
- ISSN 15678326
- iMarina
- iMarina
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 Ver en origen
- 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 Ver en origen
- 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 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
- iMarina
- iMarina
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 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
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.
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 Ver en origen
- iMarina
- iMarina
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
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
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 Ver en origen
- ISSN 18684238
- iMarina
- iMarina
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 Ver en origen
- 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 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
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 Ver en origen
- ISSN 00010782
- iMarina
- iMarina
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 Ver en origen
- ISSN 18650929
- iMarina
- iMarina
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 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
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 Ver en origen
- iMarina
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Madrinet, Multidisciplinary Advanced Research in User-Centric wireless Network and Enabling Technologies
- Benac Earle, Clara (Investigador/a)
Ejecución: 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))
Ejecución: 28-12-2023 - 31-12-2025
Tipo: Interno
- 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)
Ejecución: 15-10-2021 - 30-11-2022
Tipo: Regional
Importe financiado: 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)
Ejecución: 01-06-2020 - 31-05-2024
Tipo: Nacional
Importe financiado: 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))
Ejecución: 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)
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)
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
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis (BLOQUES-CM)
- Benac Earle, Clara (Miembro de equipo)
Ejecución: 01-01-2019 - 30-04-2023
- iMarina
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Publons
-
Scopus Author ID
-
Dialnet id