引用次数
引用: 640
H-指数: 15
I10-指数 : 22
出版物: 71
Adding distribution and fault tolerance to Jason
Á. Fernández-Díaz , C. Benac-Earle , L. Fredlund
Science of Computer Programming 98 205 -232
1
2015
Translating Erlang to /spl mu/CRL
T. Arts , C.B. Earle , J.J. Sanchez Penas
international conference on application of concurrency to system design 135 -144
12
2004
An Anticpatory Framework for Trust Modelling in Open Multi-Agent Systems
Mario Gomez , Javier Carbo , Clara B Earle
2007
Translating erlang to mcrl
Thomas Arts , C Benac Earle , JJ Sánchez Penas
Fourth International Conference on Application of Concurrency to System Design 135 -144
10
2004
Model checking the interaction of Erlang components
C Benac-Earle
PhD thesis, The University of Kent, Canterbury, Department of Computer Science
6
2006
Languages for safety-certification related propertis
Clara Benac Earle , María Elena Gómez-Martínez , Silvia Mazzini , Stefano Puri
software engineering and advanced applications
2013
Model-Based Verification of Safety Requirements
Barbara Gallina , Clara Benac Earle , Elena Gómez-Martínez
2016
Evaluación de Requisitos de Seguridad con MBASafe conforme a la norma EN 50128
Barbara Gallina , Clara Benac Earle , Elena Gómez-Martínez
XVII Jornadas de Programación y Lenguajes, part of SISTEDES 2017 PROLE-2017, 19 Jul 2017, San Cristóbal de La Laguna, Tenerife, Spain
2017
A Property-based Testing Framework for Multi-Agent Systems
Lars-Åke Fredlund , Clara Benac Earle
adaptive agents and multi-agents systems 1823 -1825
2
2019
Teaching Software Safety to Master Students
Clara Benac Earle , Ana Maria Fernandez-Soriano , Lars-Ake Fredlund , Elena Gomez-Martinez
software engineering and advanced applications 306 -308
2015
Teaching Students Property-Based Testing
Clara Benac Earle , Lars-Ake Fredlund , Julio Marino , Thomas Arts
software engineering and advanced applications 437 -442
2014
Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang
Qiang Guo , John Derrick , Clara Benac Earle , Lars-Åke Fredlund
Testing – Practice and Research Techniques 23 -38
7
2010
A cognitive trust and reputation model for the ART testbed
Javier Carbo , Mario Gómez , Clara Benac Earle
Inteligencia Artificial,revista Iberoamericana De Inteligencia Artificial 12 ( 39) 29 -40
4
2008
Verifying Robocup Teams
Clara Benac Earle , Lars-Åke Fredlund , José Antonio Iglesias , Agapito Ledezma
Model Checking and Artificial Intelligence 34 -48
7
2009
Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128
Barbara Gallina , Elena Gómez-Martínez , Clara Benac Earle
international conference on software process improvement and capability determination 3 -16
9
2016
Development of a verified Erlang program for resource locking
Thomas Arts , Clara Benac Earle , John Derrick
International Journal on Software Tools for Technology Transfer 5 ( 2) 205 -220
28
2004
Verifying fault-tolerant Erlang programs
Clara Benac Earle , Lars-Åke Fredlund , John Derrick
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang - ERLANG '05 26 -34
12
2005
Debugging and Verification of Multi-Agent Systems
Clara Benac Earle , Lars-Åke Fredlund
computer aided systems theory 263 -270
1
2009
Property-Based Testing of JSON Based Web Services
Lars Ake Fredlund , Clara Benac Earle , Angel Herranz , Julio Marino
international conference on web services 704 -707
14
2014
TECHPEOPLECARE: INNOVATIVE DIGITAL LITERACY TRAINING METHODOLOGY
Susana Muñoz Hernández , Clara Benac Earle , Javier E. Carrillo Plaza
ICERI2019 Proceedings
2019