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

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

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

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

  • Gomez-Martinez, Elena
  • Rodriguez, Ricardo J.
  • Benac-Earle, Clara
  • Etxeberria, Leire
  • Illarramendi, Miren;

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

Adding distribution and fault tolerance to Jason

  • Fredlund, Lars-Ake
  • Benac Earle, Clara

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

10.1016/j.scico.2014.01.007 Ver en origen

  • ISSN 01676423

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

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
... Ver más Contraer

Acm Sigsoft Software Engineering Notes (p. 18-28) - 1/3/2019

  • ISSN 01635948
  • 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

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

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.

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

A Property-based Testing Framework for Multi-Agent Systems

  • Earle C
  • Fredlund L

Aamas '19: Proceedings Of The 18th International Conference On Autonomous Agents And Multiagent Systems (p. 1823-1825) - 1/1/2019

  • ISSN 15488403
  • iMarina

A unified semantics for future Erlang

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

Proceedings Of The Acm Sigplan International Conference On Functional Programming, Icfp (p. 23-31) - 13/12/2010

10.1145/1863509.1863514 Ver en origen

  • ISSN 00010782

A verification of a process supervisor with McErlang

  • Víctor M. Gulias
  • Samuel Rivas
  • David Castro
  • Fredlund, Lars-Ake
  • Benac Earle, Clara

A Verification Of A Process Supervisor With Mcerlang (p. 0-0) - 8/9/2010

  • 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

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

Automatic Generation of Attacker Contracts in Solidity

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

Openaccess Series In Informatics - 1/1/2022

10.4230/oasics.fmbc.2022.3 Ver en origen

  • ISSN 21906807

Automatic grading of programming exercises using property-based testing

  • Earle C
  • Fredlund L
  • Hughes J

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

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

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

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

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

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

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

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