Assistant Professor
Baloochestani Asl, Arian; Jehl, Leander
(2023)
Eiffel : Extending formal verification of distributed algorithms to utility analysis. I: 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).IEEE (Institute of Electrical and Electronics Engineers).
ISBN 979-8-3503-1782-4.
s.111-117.
Baloochestani Asl, Arian; Jehl, Leander; Meling, Hein
(2022)
Rebop : Reputation-based incentives in committee-based blockchains. I: Distributed Applications and Interoperable Systems 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings.ISBN 978-3-031-16092-9.
s.37-54.
