Clara Benac Earle

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2016
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

2015
Adding distribution and fault tolerance to Jason.
Sci. Comput. Program., 2015

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

2014
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

2012
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

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

2010
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

2009
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

2008
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

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

2006
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

2005
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

2004
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

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

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


  Loading...