BlockSimAlharby, Maher; van Moorsel, Aad · ACM SIGMETRICS Performance Evaluation Review · 2019

A Systematic Mapping Study on Current Research Topics in Smart ContractsAlharby, Maher; Moorsel, Aad van · International Journal of Computer Science and Information Technology · 2017

[IEEE 2019 IEEE International Conference on Blockchain (Blockchain) - Atlanta, GA, USA (2019.7.14-2019.7.17)] 2019 IEEE International Conference on Blockchain (Blockchain) - OpBench: A CPU Performance Benchmark for Ethereum Smart Contract Operation CodeAldweesh, Amjad; Alharby, Maher; Mehrnezhad, Maryam; Van Moorsel, Aad · 2019

[IEEE 2018 14th European Dependable Computing Conference (EDCC) - Iași, Romania (2018.9.10-2018.9.14)] 2018 14th European Dependable Computing Conference (EDCC) - Performance Benchmarking of Smart Contracts to Assess Miner Incentives in EthereumAldweesh, Amjad; Alharby, Maher; Solaiman, Ellis; van Moorsel, Aad · 2018

[IEEE 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications (AICCSA) - Aqaba, Jordan (2018.10.28-2018.11.1)] 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications (AICCSA) - Performance Benchmarking for Ethereum OpcodesAldweesh, Amjad; Alharby, Maher; van Moorsel, Aad · 2018

[IEEE 2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB) - Fuzhou, China (2018.11.15-2018.11.17)] 2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB) - Blockchain-based Smart Contracts: A Systematic Mapping Study of Academic Research (2018)Alharby, Maher; Aldweesh, Amjad; Moorsel, Aad van · 2018

Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013

PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004

Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012

Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012

Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012

Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012

Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012

PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013