Clara Benac Earle

According to our database1, Clara Benac Earle authored at least 34 papers between 2000 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer.
Computer Standards & Interfaces, 2017

Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128.
Proceedings of the Software Process Improvement and Capability Determination, 2016

Automatic Grading of Programming Exercises using Property-Based Testing.
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

Functional Testing of Java Programs.
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

Teaching Software Safety to Master Students.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Model-Based Verification of Safety Contracts.
Proceedings of the Software Engineering and Formal Methods, 2014

Property-Based Testing of JSON Based Web Services.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Teaching Students Property-Based Testing.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Jsongen: a quickcheck based library for testing JSON web services.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

Static Partial Order Reduction for Probabilistic Concurrent Systems.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

eJason: An Implementation of Jason in Erlang.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Verification of Timed Erlang Programs Using McErlang.
Proceedings of the Formal Techniques for Distributed Systems, 2012

Erlang as an implementation platform for BDI languages.
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

Adding distribution and fault tolerance to jason.
Proceedings of the 2nd edition on Programming systems, 2012

A Case Study on Verifying a Supervisor Component Using McErlang.
Electr. Notes Theor. Comput. Sci., 2011

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang.
Proceedings of the Testing, 2010

A unified semantics for future Erlang.
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

Implementing a multiagent negotiation protocol in Erlang.
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

Rigorous Software Development Using McErlang.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Property-Based Testing - The ProTest Project.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Debugging and Verification of Multi-Agent Systems.
Proceedings of the Computer Aided Systems Theory, 2009

Recent improvements to the McErlang model checker.
Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009

A cognitive trust and reputation model for the ART testbed.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 2008

Verifying Robocup Teams.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Honesty and trust revisited: the advantages of being neutral about other's cognitive models.
Autonomous Agents and Multi-Agent Systems, 2007

An Anticipatory Trust Model for Open Distributed Systems.
Proceedings of the Anticipatory Behavior in Adaptive Learning Systems, 2006

Model checking erlang programs: the functional approach.
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

Model checking the interaction of Erlang components.
PhD thesis, 2005

Verification of Language Based Fault-Tolerance.
Proceedings of the Computer Aided Systems Theory, 2005

Verifying fault-tolerant Erlang programs.
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

Development of a verified Erlang program for resource locking.
STTT, 2004

Translating Erlang to µCRL.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

Verifying Erlang Code: A Resource Locker Case-Study.
Proceedings of the FME 2002: Formal Methods, 2002

Symbolic program execution using the Erlang verification tool.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000