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

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

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

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

  • ISSN 09205489

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

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

  • 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
... View more Collapse

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

Pitfalls of Jason Concurrency

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

1/1/2018

  • iMarina

This researcher has no book chapters.

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

  • ISSN 03029743

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

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

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

  • ISSN 03029743

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

  • ISSN 00010782

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

  • ISSN 10896503

This researcher has no working papers.

This researcher has no technical reports.

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))
... View more Collapse

Period: 01-10-2014 - 31-12-2018

Type of funding: Regional

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

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

Type of funding: National

Amount of funding: 61468,00 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

This researcher has no patents or software licenses.

Last data update: 4/8/24 10:57 PM