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

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

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

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

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

  • ISSN 01676423

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

  • ISSN 1748006X

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

  • ISSN 15678326

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

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

  • ISSN 15710661

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

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.

Executable contracts for Elixir

  • Fredlund, Lars-Ake
  • BUESO DE BARRIO, LUIS EDUARDO, Sergio Pérez, Ignacio Ballesteros, Ángel Herranz, Julio Mariño,

(p. 46) - 6/9/2022

https://doi.org/10.1145/3546186.3549930 View at source

Symbolic program execution using the Erlang verification tool

  • Clara Benac Earle

1/1/2000

  • 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

Property-based Testing of JSON based Web Services

  • Fredlund, Lars-Ake
  • Herranz, Angel
  • Benac Earle, Clara
  • Marino, Julio;

Web Services (Icws), 2014 Ieee International Conference On (p. 704-707) - 27/6/2014

10.1109/icws.2014.110 View at source

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

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang

  • Guo Q
  • Derrick J
  • Benac Earle C
  • Fredlund L

Testing - Practice And Research Techniques (Taic Part 2010) (p. 23-38) - 3/9/2010

10.1007/978-3-642-15585-7_5 View at source

  • ISSN 03029743

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

  • ISSN 00010782

Implementing a multiagent negotiation protocol in Erlang

  • Fernandez Diaz, Alvaro
  • Benac Earle, Clara
  • Fredlund, Lars-Ake

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

10.1145/1863509.1863520 View at source

Teaching Software Safety to Master Students

  • Benac Earle, Clara
  • Fernandez-Soriano, Ana Maria
  • Fredlund, Lars-Ake
  • Gomez-Martinez, Elena;

Proceedings 41st Euromicro Conference On Software Engineering And Advanced Applications Seaa 2015 (p. 306-308) - 20/10/2015

10.1109/seaa.2015.67 View at source

Static partial order reduction for probabilistic concurrent systems

  • Christel Baier
  • Fredlund, Lars-Ake
  • Benac Earle, Clara

Proceedings - 2012 9th International Conference On Quantitative Evaluation Of Systems, Qest 2012 (p. 104-113) - 13/12/2012

10.1109/qest.2012.22 View at source

  • ISSN 00010782

This researcher has no working papers.

This researcher has no technical reports.

Property-based Testing

  • Fredlund, Lars-Ake (Investigador principal (IP))
  • HERRANZ NIEVA, ANGEL (Participante)
  • MARIÑO CARBALLO, JULIO (Participante)
  • Benac Earle, Clara (Participante)

Period: 01-05-2008 - 30-12-2011

Type of funding: International

Amount of funding: 318788,00 Euros.

  • iMarina

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

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