| UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms
|
2020 |
Brünjes, Lars |
| Native Custom Tokens in the Extended UTXO Model
|
2020 |
Chakravarty, Manuel M. T. |
| Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level
|
2020 |
Ellul, Joshua |
| Accurate Smart Contract Verification Through Direct Modelling Alt, Patrick Eugster
|
2020 |
Marescotti, Matteo |
| Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink
|
2020 |
Liebrenz, Timm |
| Ensuring Safety with System Level Formal Modelling
|
2020 |
Lecomte, Thierry |
| Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL
|
2020 |
Laursen, Per Lange |
| Reliable Smart Contracts
|
2020 |
Pace, Gordon J. |
| Efficient Static Analysis of Marlowe Contracts
|
2020 |
Seijas, Pablo Lamela |
| The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Spund Sttic Analysis of Ethereum Smart Contracts
|
2020 |
Schneidewind, Clara |
| Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems
|
2020 |
Schlingloff, Bernd-Holger |
| A Modular Design Framework to Assess Intelligent Trains
|
2020 |
Collart-Dutilleul, Simon |
| Functional Verification of Smart Contracts via Strong Data Integrity
|
2020 |
Ahrendt, Wolfgang |
| Bitcoin Covenants Unchained
|
2020 |
Bartoletti, Massimo |
| Specifying Framing Conditions for Smart Contracts
|
2020 |
Beckert, Bernhard |
| Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix
|
2020 |
Goes, Christopher |
| UTXOma: UTXO with Multi-asset Support.
|
2020 |
Chakravarty, Manuel M. T. |
| Smart Derivatives: On-Chain Forwards for Digital Assets
|
2020 |
Rius, Alfonso D. D. M. |
| Guess What I'm Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems
|
2020 |
Fränzle, Martin |
| A Concept of Scenario Space Exploration with Criticality Coverage Guarantees Extended Abstract
|
2020 |
Hungar, Hardi |
Tag hinzufügen