Mathematics of discrete structures for computer science

von Pace, Gordon J.
Veröffentlicht 2012

The 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '08), [... held in Malta, 27 - 28 November 2008]

Veröffentlicht 2011

A General Theory of Contract Conflicts with Environmental Constraints

von Pace, Gordon J.
Veröffentlicht in JURIX (33. : 2020 : Online) Legal knowledge and information systems (2020)

Selective Presumed Benevolence in Multi-party System Verification

von Ahrendt, Wolfgang
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Model-Based Static and Runtime Verification for Ethereum Smart Contracts

von Azzopardi, Shaun
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) Model-driven engineering and software development (2021)

A Technique for Automata-based Verification with Residual Reasoning

von Azzopardi, Shaun
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020 (2020)

CLARVA: Model-based Residual Verification of Java Programs

von Azzopardi, Shaun
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020 (2020)

On Observing Contracts: Deontic Contracts Meet Smart Contracts

von Azzopardi, Shaun
Veröffentlicht in JURIX (31. : 2018 : Groningen) Legal knowledge and information systems (2018)

Reliable Smart Contracts

von Pace, Gordon J.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

Runtime Monitoring Processes Across Blockchains

von Azzopardi, Shaun
Veröffentlicht in FSEN (9. : 2021 : Online) Fundamentals of Software Engineering (2021)

On the Specification and Monitoring of Timed Normative Systems

von Azzopardi, Shaun
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

AspecTSoL: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification

von Azzopardi, Shaun
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Tainting in Smart Contracts: Combining Static and Runtime Verification

von Azzopardi, Shaun
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Controlled natural language : 5th international workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016 : proceedings

Veröffentlicht 2016

Themulus: A Timed Contract-calculus

von García, Alberto Aranda
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020 (2020)

Runtime Verification of Contracts with Themulus

von Garcia, Alberto Aranda
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)