Testing feature‐rich blockchains
Arts, Thomas, Svensson, Hans, Benac Earle, Clara, Fredlund, Lars‐Åke
Published in Software, practice & experience (01.05.2023)
Published in Software, practice & experience (01.05.2023)
Get full text
Journal Article
Gaining trust by tracing security protocols
Fredlund, Lars-Åke, Benac Earle, Clara, Arts, Thomas, Svensson, Hans
Published in Journal of logical and algebraic methods in programming (01.01.2023)
Published in Journal of logical and algebraic methods in programming (01.01.2023)
Get full text
Journal Article
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer
Gallina, Barbara, Gómez-Martínez, Elena, Benac-Earle, Clara
Published in Computer standards and interfaces (01.11.2017)
Published in Computer standards and interfaces (01.11.2017)
Get full text
Journal Article
Executable contracts for Elixir
Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio, Benac Earle, Clara
Published in Journal of logical and algebraic methods in programming (01.01.2025)
Published in Journal of logical and algebraic methods in programming (01.01.2025)
Get full text
Journal Article
Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128
Gallina, Barbara, Gómez-Martínez, Elena, Earle, Clara Benac
Published in SOFTWARE PROCESS IMPROVEMENT AND CAPABILITY DETERMINATION (SPICE 2016) (2016)
Published in SOFTWARE PROCESS IMPROVEMENT AND CAPABILITY DETERMINATION (SPICE 2016) (2016)
Get full text
Book Chapter
Conference Proceeding
Teaching Students Property-Based Testing
Benac Earle, Clara, Fredlund, Lars-Ake, Marino, Julio, Arts, Thomas
Published in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (01.08.2014)
Published in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (01.08.2014)
Get full text
Conference Proceeding
Teaching Software Safety to Master Students
Benac Earle, Clara, Fernandez-Soriano, Ana Maria, Fredlund, Lars-Ake, Gomez-Martinez, Elena
Published in 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (01.08.2015)
Published in 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (01.08.2015)
Get full text
Conference Proceeding
Development of a verified Erlang program for resource locking
Arts, Thomas, Benac Earle, Clara, Derrick, John
Published in International journal on software tools for technology transfer (01.03.2004)
Published in International journal on software tools for technology transfer (01.03.2004)
Get full text
Journal Article
Property-Based Testing of JSON Based Web Services
Fredlund, Lars Ake, Benac Earle, Clara, Herranz, Angel, Marino, Julio
Published in 2014 IEEE International Conference on Web Services (01.06.2014)
Published in 2014 IEEE International Conference on Web Services (01.06.2014)
Get full text
Conference Proceeding
A Case Study on Verifying a Supervisor Component Using McErlang
Castro, David, Gulias, Victor M., Benac Earle, Clara, Fredlund, Lars-Åke, Rivas, Samuel
Published in Electronic notes in theoretical computer science (04.03.2011)
Published in Electronic notes in theoretical computer science (04.03.2011)
Get full text
Journal Article
Honesty and trust revisited: the advantages of being neutral about other’s cognitive models
Gómez, Mario, Carbó, Javier, Earle, Clara Benac
Published in Autonomous agents and multi-agent systems (01.12.2007)
Published in Autonomous agents and multi-agent systems (01.12.2007)
Get full text
Journal Article