| 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 |
| Making Tezos Smart Contracts More Reliable with Coq
|
2020 |
Bernardo, Bruno |
| Automated Verification of Embedded Control Software: Track Introduction
|
2020 |
Gurov, Dilian |
| A Model-Based Approach to the Design, Verification and Deployment of Railway Inerlocking System
|
2020 |
Amendola, Arturo |
| Formally Proving Compositionality in Industrial Systems with Informal Specifications
|
2020 |
Nyberg, Mattias |
| New Distribution Paradigms for Railway Interlocking
|
2020 |
Peleska, Jan |
| Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
|
2020 |
Basile, Davide |
| Functional Verification of Smart Contracts via Strong Data Integrity
|
2020 |
Ahrendt, Wolfgang |
| Bitcoin Covenants Unchained
|
2020 |
Bartoletti, Massimo |
Tag hinzufügen