Clara Benac Earle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2002–2022
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CAV | Automatic Generation of Attacker Contracts in Solidity. | Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-ke Fredlund, ngel Herranz, Julio Mario |
| 2018 | EMAS | Pitfalls of Jason Concurrency. | lvaro Fernndez Daz, Clara Benac Earle, Lars-ke Fredlund |
| 2016 | ITiCSE | Automatic Grading of Programming Exercises using Property-Based Testing. | Clara Benac Earle, Lars-ke Fredlund, John Hughes |
| 2016 | SPICE | Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. | Barbara Gallina, Elena Gmez-Martnez, Clara Benac Earle |
| 2014 | ICWS | Property-Based Testing of JSON Based Web Services. | Lars-ke Fredlund, Clara Benac Earle, ngel Herranz-Nieva, Julio Mario-Carballo |
| 2014 | SEFM | Model-Based Verification of Safety Contracts. | Elena Gmez-Martnez, Ricardo J. Rodrguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle |
| 2012 | FORTE | Verification of Timed Erlang Programs Using McErlang. | Clara Benac Earle, Lars-ke Fredlund |
| 2002 | FM | Verifying Erlang Code: A Resource Locker Case-Study. | Thomas Arts, Clara Benac Earle, John Derrick |