( en | de | ru )

 

Disambiguation of "Earle, Clara Benac"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Language Based Fault-Tolerance.

, and . EUROCAST, volume 3643 of Lecture Notes in Computer Science, page 140-149. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mario Clara

Rachid Benacer

Tommaso Benacchio

Henning Benack

Eugenia Earle

 

Other publications of authors with the same name

A Property-based Testing Framework for Multi-Agent Systems., and . AAMAS, page 1823-1825. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Executable contracts for Elixir., , , , , , and . Erlang Workshop, page 40-46. ACM, (2022)eJason: An Implementation of Jason in Erlang., , and . ProMAS, volume 7837 of Lecture Notes in Computer Science, page 1-16. Springer, (2012)Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128., , and . SPICE, volume 609 of Communications in Computer and Information Science, page 3-16. Springer, (2016)Jsongen: a quickcheck based library for testing JSON web services., , , and . Erlang Workshop, page 33-41. ACM, (2014)Teaching Students Property-Based Testing., , , and . EUROMICRO-SEAA, page 437-442. IEEE Computer Society, (2014)Automatic Grading of Programming Exercises using Property-Based Testing., , and . ITiCSE, page 47-52. ACM, (2016)Verifying fault-tolerant Erlang programs., , and . Erlang Workshop, page 26-34. ACM, (2005)Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion., , , , , , and . I3E Workshops, volume 573 of IFIP Advances in Information and Communication Technology, page 5-16. Springer, (2019)Pitfalls of Jason Concurrency., , and . EMAS@AAMAS, volume 11375 of Lecture Notes in Computer Science, page 19-33. Springer, (2018)