1. Karl Aberer , Manfred Hauswirth , and Aí Salehi . 2006. Middleware support for the "Internet of Things ". In 5th GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze". Universität Stuttgart , Germany , 15--20. https://elib.uni-stuttgart.de/bitstream/11682/2604/1/TR_ 2006 _07.pdf Karl Aberer, Manfred Hauswirth, and Aí Salehi. 2006. Middleware support for the "Internet of Things". In 5th GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze". Universität Stuttgart, Germany, 15--20. https://elib.uni-stuttgart.de/bitstream/11682/2604/1/TR_2006_07.pdf
2. Expressing and Verifying Business Contracts with Abductive Logic Programming
3. Alireza Parvizimosaid. 2022. Supplementary online material. https://bit.ly/MODELS22 See also https://github.com/Smart-Contract-Modelling-uOttawa/Symboleo-Compliance-Checker. Alireza Parvizimosaid. 2022. Supplementary online material. https://bit.ly/MODELS22 See also https://github.com/Smart-Contract-Modelling-uOttawa/Symboleo-Compliance-Checker.
4. Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems
5. Pedro Antonino and A. W. Roscoe. 2020. Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity. CoRR abs/2002.02710 (2020) 24 pages. arXiv:2002.02710 https://arxiv.org/abs/2002.02710 Pedro Antonino and A. W. Roscoe. 2020. Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity. CoRR abs/2002.02710 (2020) 24 pages. arXiv:2002.02710 https://arxiv.org/abs/2002.02710