Clara Benac Earle

51 papers A 2B 1C 1Journal 11Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Makina: A QuickCheck state machine library. J. Log. Algebraic Methods Program. Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño
2025	J	`jnl`	Executable contracts for Elixir. J. Log. Algebraic Methods Program. Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño, Clara Benac Earle
2025	J	`jnl`	Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebraic Methods Program. Ignacio Ballesteros, Clara Benac Earle, Julio Mariño, Lars-Åke Fredlund, Ángel Herranz
2024	—	`conf`	Controlled Scheduling of Concurrent Elixir Programs. Erlang Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
2023	J	`jnl`	A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle, Julio Mariño
2023	J	`jnl`	Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
2023	—	`conf`	Generation and Refinement of Testing Models. Erlang Workshop Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
2023	J	`jnl`	Testing feature-rich blockchains. Softw. Pract. Exp. Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund
2022	—	`conf`	Automatic Generation of Attacker Contracts in Solidity. FMBC@CAV Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
2022	—	`conf`	Executable contracts for Elixir. Erlang Workshop Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
2021	—	`conf`	Makina: a new QuickCheck state machine library. Erlang Workshop Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño
2019	A	`conf`	A Property-based Testing Framework for Multi-Agent Systems. AAMAS Clara Benac Earle, Lars-Åke Fredlund
2019	—	`conf`	Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. I3E Workshops Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán
2019	—	`conf`	Gaining trust by tracing security protocols. Erlang Workshop Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
2018	—	`conf`	Pitfalls of Jason Concurrency. EMAS@AAMAS Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2017	J	`jnl`	Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer. Comput. Stand. Interfaces Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle
2016	B	`conf`	Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE Clara Benac Earle, Lars-Åke Fredlund, John Hughes
2016	C	`conf`	Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. SPICE Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle
2015	J	`jnl`	Adding distribution and fault tolerance to Jason. Sci. Comput. Program. Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2015	—	`conf`	Functional Testing of Java Programs. TFP Clara Benac Earle, Lars-Åke Fredlund
2015	—	`conf`	Teaching Software Safety to Master Students. EUROMICRO-SEAA Clara Benac Earle, Ana María Fernández-Soriano, Lars-Åke Fredlund, Elena Gómez-Martínez
2014	—	`conf`	Jsongen: a quickcheck based library for testing JSON web services. Erlang Workshop Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2014	—	`conf`	Model-Based Verification of Safety Contracts. SEFM Workshops Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle
2014	A	`conf`	Property-Based Testing of JSON Based Web Services. ICWS Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo
2014	—	`conf`	Teaching Students Property-Based Testing. EUROMICRO-SEAA Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts
2012	—	`conf`	Adding distribution and fault tolerance to jason. AGERE!@SPLASH Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2012	—	`conf`	Erlang as an implementation platform for BDI languages. Erlang Workshop Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2012	—	`conf`	Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
2012	—	`conf`	Verification of Timed Erlang Programs Using McErlang. FMOODS/FORTE Clara Benac Earle, Lars-Åke Fredlund
2012	—	`conf`	eJason: An Implementation of Jason in Erlang. ProMAS Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2010	—	`conf`	A Case Study on Verifying a Supervisor Component Using McErlang. PROLE David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas
2010	—	`conf`	A unified semantics for future Erlang. Erlang Workshop Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle
2010	—	`conf`	Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2010	—	`conf`	Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
2009	—	`conf`	Debugging and Verification of Multi-Agent Systems. EUROCAST Clara Benac Earle, Lars-Åke Fredlund
2009	—	`ed.`	Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 Erlang Workshop Clara Benac Earle, Simon J. Thompson
2009	—	`conf`	Property-Based Testing - The ProTest Project. FMCO John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
2009	—	`conf`	Recent improvements to the McErlang model checker. Erlang Workshop Clara Benac Earle, Lars-Åke Fredlund
2009	—	`conf`	Rigorous Software Development Using McErlang. JISBD Clara Benac Earle, Lars-Åke Fredlund
2008	J	`jnl`	A cognitive trust and reputation model for the ART testbed. Inteligencia Artif. Mario Gómez, Javier Carbó, Clara Benac Earle
2008	—	`conf`	Verifying Robocup Teams. MoChArt Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma
2007	J	`jnl`	Honesty and trust revisited: the advantages of being neutral about other's cognitive models. Auton. Agents Multi Agent Syst. Mario Gómez, Javier Carbó, Clara Benac Earle
2006	—	`conf`	An Anticipatory Trust Model for Open Distributed Systems. SAB ABiALS Mario Gómez, Javier Carbó, Clara Benac Earle
2006	—	`conf`	Model checking erlang programs: the functional approach. Erlang Workshop Lars-Åke Fredlund, Clara Benac Earle
2005	—	`—`	Model checking the interaction of Erlang components. Clara Benac Earle
2005	—	`conf`	Verification of Language Based Fault-Tolerance. EUROCAST Clara Benac Earle, Lars-Åke Fredlund
2005	—	`conf`	Verifying fault-tolerant Erlang programs. Erlang Workshop Clara Benac Earle, Lars-Åke Fredlund, John Derrick
2004	J	`jnl`	Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. Thomas Arts, Clara Benac Earle, John Derrick
2004	—	`conf`	Translating Erlang to µCRL. ACSD Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas
2002	—	`conf`	Verifying Erlang Code: A Resource Locker Case-Study. FME Thomas Arts, Clara Benac Earle, John Derrick
2000	—	`conf`	Symbolic program execution using the Erlang verification tool. WFLP Clara Benac Earle