Benac Earle, Clara clara.benac@upm.es
Actividades
- Artículos 17
- Libros 2
- Capítulos de libro 0
- Congresos 42
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 12
- Tesis dirigidas 1
- Patentes o licencias de software 0
Trust dynamics, motivational attitudes and epistemic actions
- Mario Gomez
- Clara Benac Earle
- Javier Carbo
Communications Of The Acm - 1/1/2007
- ISSN 00010782
- iMarina
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
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
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
Model checking the interaction of Erlang components
- Clara Benac Earle
Communications Of The Acm - 1/1/2006
- ISSN 00010782
- iMarina
McErlang: a Tutorial
- Clara Benac Earle
- Lars-Ake Fredlund
Communications Of The Acm - 1/1/2010
- ISSN 00010782
- iMarina
Honesty and trust revisited: The advantages of being neutral about other's cognitive models
- Gómez M
- Carbó J
- Earle C
Autonomous Agents And Multi-Agent Systems (p. 313-335) - 1/12/2007
10.1007/s10458-007-9015-8 Ver en origen
- ISSN 13872532
Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, Co-located with the International Conference on Functional Programming, ICFP09: Foreword
- Earle C
- Thompson S
30/11/2009
- iMarina
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
Acm Sigsoft Software Engineering Notes (p. 18-28) - 1/3/2019
- ISSN 01635948
- 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.
eJason: An implementation of Jason in Erlang
- Fredlund, Lars-Ake
- Benac Earle, Clara
Lecture Notes In Computer Science (p. 1-16) - 5/9/2013
10.1007/978-3-642-38700-5_1 Ver en origen
- ISSN 03029743
- iMarina
- 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
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
- iMarina
- iMarina
Verifying erlang code: A resource locker case-study
- Thomas Arts
- Clara Benac Earle
- John Derrick
Lecture Notes In Computer Science (p. 184-203) - 1/1/2002
- ISSN 03029743
- 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
- iMarina
- iMarina
Verification of language based fault-tolerance
- Earle, CB
- Fredlund, LA;
Lecture Notes In Computer Science (p. 140-149) - 1/12/2005
- ISSN 03029743
- iMarina
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
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
- iMarina
- iMarina
Testing Java with QuickCheck
- Fredlund, Lars-Ake
- Benac Earle, Clara
Xii Jornadas Sobre Programación Y Lenguajes (Prole) Y V Taller De Programación Funcional (p. 91-105) - 18/9/2013
- iMarina
Teaching students Property-based Testing
- Fredlund, Lars-Ake
- MARIÑO CARBALLO, JULIO
- Benac Earle, Clara
Conference Proceedings Of The Euromicro (p. 437-442) - 17/10/2014
10.1109/seaa.2014.74 Ver en origen
- ISSN 10896503
- iMarina
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
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
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))
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
Property-based Testing
- Fredlund, Lars-Ake (Investigador principal (IP))
- HERRANZ NIEVA, ANGEL (Participante)
- MARIÑO CARBALLO, JULIO (Participante)
- Benac Earle, Clara (Participante)
Ejecución: 01-05-2008 - 30-12-2011
Tipo: Internacional
Importe financiado: 318788,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))
Ejecución: 01-02-2020 - 31-12-2022
Tipo: Regional
Importe financiado: 99859,50 Euros.
- iMarina
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
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
Desarrollo de software de alta calidad, fiable, distribuido y seguro
- KRIZANC ., DAVID DANIEL (Participante)
- SVENSSON ., HANS (Participante)
- Hughes ., John (Participante)
- Benac Earle, Clara (Participante)
- Nogueira Iglesias, Pablo (Participante)
- Fredlund, Lars-Ake (Participante)
- Muñoz Hernández, Susana (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
- MARIÑO CARBALLO, JULIO (Investigador principal (IP))
Ejecución: 01-01-2010 - 30-06-2013
Tipo: Nacional
Importe financiado: 158994,01 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
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