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

Development of a verified Erlang program for resource locking

  • Thomas Arts
  • Clara Benac Earle
  • John Derrick

International Journal On Software Tools For Technology Transfer (p. 205-220) - 1/1/2004

  • ISSN 14332787
  • iMarina

Model checking the interaction of Erlang components

  • Clara Benac Earle

Communications Of The Acm - 1/1/2006

  • ISSN 00010782
  • iMarina

Trust dynamics, motivational attitudes and epistemic actions

  • Mario Gomez
  • Clara Benac Earle
  • Javier Carbo

Communications Of The Acm - 1/1/2007

  • 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

A cognitive trust and reputation model for the ART testbed

  • Mario Gómez Martínez
  • Javier Carbo
  • Clara Benac Earle

Inteligencia Artificial (p. 29-40) - 27/10/2008

  • ISSN 11373601
  • iMarina

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

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

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

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

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

Este/a investigador/a no tiene capítulos de libro.

Symbolic program execution using the Erlang verification tool

  • Clara Benac Earle

1/1/2000

  • 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

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

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

Verification of language based fault-tolerance

  • Earle, CB
  • Fredlund, LA;

Lecture Notes In Computer Science (p. 140-149) - 1/12/2005

  • ISSN 03029743
  • iMarina

Model checking erlang programs: The functional approach

  • Fredlund L
  • Earle C

Erlang'06 - Proceedings Of The Acm Sigplan 2006 Erlang Workshop (p. 11-19) - 20/11/2006

  • iMarina

An anticipatory trust model for open distributed systems

  • Mario Gómez
  • Javier Carbó
  • Clara Benac-Earle

Lecture Notes In Computer Science (p. 307-324) - 1/1/2007

  • ISSN 03029743
  • iMarina

Recent improvements to the McErlang model checker

  • Benac Earle, Clara
  • Fredlund, Lars-Ake;

Erlang'09 - Proceedings Of The 2009 Acm Sigplan Erlang Workshop, Co-Located With The International Conference On Functional Programming, Icfp'09 (p. 93-100) - 30/11/2009

10.1145/1596600.1596613 Ver en origen

  • ISSN 00010782

Debugging and verification of multi-agent systems

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Lecture Notes In Computer Science (p. 263-270) - 1/12/2009

10.1007/978-3-642-04772-5_35 Ver en origen

  • 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 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

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

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

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