Validation and Verification of Smart Contracts: A Research Agenda

Magazzeni, Daniele, McBurney, Peter, Nash, William·2017·Computer
DOI 10.1109/mc.2017.3571045

Cited by (183)

Items 101–183 of 183

  1. SoK: Blockchain Technology and Its Potential Use Cases
    Scott Ruoti, Kaiser, Ben, Arkady Yerukhimovich, Jeremy Clark, Robert K. Cunningham · 2019 · arXiv (Cornell University)
  2. Reasoning and interaction for social artificial intelligence
    Elizabeth Black, Martim Brandão, Oana Cocarascu, Bart de Keijzer, Yali Du, Derek P. Long, G. Flucke, Peter McBurney, Albert Meroño-Peñuela, Simon Miles et al. · 2022 · AI Communications
  3. Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts
    İqra Mustafa, Alan McGibney, Susan Rea · 2024 · Frontiers in Blockchain
  4. Blockchain Technology and Its Applications in FinTech
    Wei Lu · 2018 · Lecture notes in computer science
  5. On Elastic Incentives for Blockchain Oracles
    Renita M. Murimi, Grace Guiling Wang · 2021 · Journal of Database Management
  6. Electronic Alternative Dispute Resolution, smart contracts and equity in the energy sector
    Zeenat Beebeejaun, Alessio Faccia · 2022 · The Journal of World Energy Law & Business
  7. Token Model and Interpretation Function for Blockchain-Based FinTech Applications
    Kanta Matsuura · 2018 · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences
  8. Temporal Aspects of Smart Contracts for Financial Derivatives
    Christopher D. Clack, Gabriel Vanca · 2018 · Lecture notes in computer science
  9. On the Formal Verification of Smart Contracts and Blockchain: Challenges and Future Directions
    Asma Besbas, Amira Ailane, Laïd Kahloul, Sihem Slatnia, Samir Bourekkache · 2024 · International Conference on Embedded & Distributed Systems (EDiS)
  10. Research on Digital Identity Authentication Technology Based On Block Chain
    Zaixing Chen, Shaofei Wu · 2021 · Journal of Physics Conference Series
  11. A Comprehensive study of Blockchain and its various Applications
    Vivek Singh Sisodiya, Hitendra Garg · 2020 · International Conference on Power Electronics & IoT Applications in Renewable Energy and its Control (PARC)
  12. Emerging Technologies and Their Game-Changing Potential: Lessons from Corporate World
    Kumar Shalender, Babita Singla, Sandhir Sharma · 2023 · Emerald Group Publishing Limited eBooks
  13. Blockchain and Smart Contract Engineering
    Xabier Larrucea, Cesare Pautasso · 2020 · IEEE Software
  14. Smarter Contracts to Predict using Deep-Learning Algorithms
    Syed Badruddoja, Ram Dantu, Yanyan He, Mark Thompson, Abiola Salau, Kritagya Upadhyay · 2022 · International Conference on Blockchain Computing and Applications (BCCA)
  15. Enabling Automated Transparency for the Market Participation of ESCOs with Blockchain
    Jesus Nieto-Martin, Derek W. Bunn · 2018 · IEEE Power Engineering Society General Meeting
  16. Medical Data Framework Using Blockchain Technology
    Sang‐Young Lee · 2019 · International Journal of Advanced Trends in Computer Science and Engineering
  17. BlockConfess: Towards an Architecture for Blockchain Constraints and Forensics
    Sabrina Kirrane, Claudio Di Ciccio · 2020 · IEEE International Conference on Blockchain (Blockchain)
  18. Defining and Delimitating Distributed Ledger Technology: Results of a Structured Literature Analysis
    Maik Lange, Steven Chris Leiter, Rainer Alt · 2019 · Lecture notes in business information processing
  19. Lightweight blockchain fuzzy decision scheme through MQTT and Fibonacci for sustainable transport
    Zhongxue Yang, Yiqin Bao, Yuan Liu, Qiang Zhao, Hao Zheng, Wenbin Xu · 2022 · Mathematical Biosciences & Engineering
  20. A Local-First Approach for Green Smart Contracts
    Quinten Stokkink, Johan A. Pouwelse · 2023 · Distributed Ledger Technologies Research and Practice
  21. A paradigm shift toward the application of blockchain in enhancing quality information management
    Abdulrahman Sati, Hashem Al‐Tabtabai · 2023 · Construction Innovation
  22. Technology of Smart Contracts
    Valentina Gatteschi, Fabrizio Lamberti, Claudio Giovanni Demartini · 2019 · Cambridge University Press eBooks
  23. A Dynamic Resource Allocation Algorithm Based on Auction Model in Mobile Blockchain Network
    Zhipeng Gao, Bang Lin, Kaile Xiao, Qian Wang, Zijia Mo, Yang Yang · 2019 · International Conference on Electronic Information Technology and Computer Engineering (EITCE)
  24. Integrating Blockchain With AI
    Radha Madhu Seekar Vedula, Robin Singh Bhadoria, Manish Dixit · 2020 · Advances in data mining and database management book series
  25. The Design and Implementation of a Lightweight CoAP-based IoT Framework with Smart Contract Security Guarantee
    Shih-Ping Hsu, Yu‐Ming Chang, Shun‐Ren Yang, Ping-Han Hsieh · 2020 · International Symposium on Communication Systems, Networks and Digital Signal Processing (CSNDSP)
  26. SoK: Development of Secure Smart Contracts – Lessons from a Graduate Course
    Monika di Angelo, Christian Sack, Gernot Salzer · 2020 · Lecture notes in computer science
  27. BlockNet Report: Exploring the Blockchain Skills Concept and Best Practice Use Cases
    Duedder, Boris, Vladislav V. Fomin, Tan Gürpinar, Michael Henke, Philipp Asterios Ioannidis, Viktorija Janavičienė, Raimundas Matulevičius, Mubashar Iqbal, Natalia Straub · 2021 · arXiv (Cornell University)
  28. Automatisierung und Vertrauensbildung in der Customer Journey von Dienstleistungskunden durch den Einsatz der Blockchain-Technologie
    Florian Oliver Knauer, Andreas Mann · 2020 · Forum Dienstleistungsmanagement
  29. Smart Contract and Blockchain Based Contract Management System
    Svetislav D. Simić, Marko Marković, Stevan Gostojić · 2021
  30. A formal model for ledger management systems based on contracts and temporal logic
    Paolo Bottoni, Anna Labella, Remo Pareschi · 2022 · Blockchain Research and Applications
  31. Blockchain in Corporate Finance: A Review of Use-Case, Opportunities and Risks
    Gianfranco Marotta, Cam-Duc Au · 2021 · International Journal of Applied Research in Management and Economics
  32. Design Principles for Interoperability of Private Blockchains
    Suha Bayraktar, Sezer Gören · 2022 · Lecture notes in networks and systems
  33. A Deep Learning Application System Based on Blockchain Technology for Clicks-And-Mortar Businesses
    Hsin‐Te Wu, Chun-Yi Lu · 2019 · International Conference on Intelligent Computing and Its Emerging Applications (ICEA)
  34. Characterizing the Cost of Introducing Secure Programming Patterns and Practices in Ethereum
    Aboua Ange Kevin N’DA, Santiago Matalonga, Keshav Prasad Dahal · 2020 · Advances in intelligent systems and computing
  35. Convergence of Blockchain to Artificial Intelligence Applications
    Suja A. Alex, B. Gerald Briyolan · 2023 · Advances in computer and electrical engineering book series
  36. Blockchain for peer-to-peer energy trading
    Jiawei Yang · 2020
  37. Towards a Unified Open Education Ecosystem through Generative AI, Blockchain, DAO, MMLA and NFT
    Mehmet Fırat · 2023
  38. Blockchain in Food Supply Chain: Benefits, Challenges and Review
    Nirmiti Sali, Srushti Biwalkar, Amisha Swamy, Nimisha Khadilkar, Sunita Sahu · 2023 · International Journal for Research in Applied Science and Engineering Technology
  39. NFTs Enabling Ownership and Value in the Metaverse
    Himanshu Sisodia · 2023 · Advances in web technologies and engineering book series
  40. Blockchain and the Law – Legality & Legal Applications
    Aditya Prasad Mishra, Ankit Kumar Sharma, Devesh Anand Shrivastava, Deepa Jha, Prachi Goel, Apurva Jain · 2023 · International Journal for Research in Applied Science and Engineering Technology
  41. Application Value Evaluation of Blockchain Technology in Innovation and Entrepreneurship Information Platform for College Students
    Shixiao Li · 2022 · Security and Communication Networks · Retracted
  42. Risk factors affecting blockchain-based smart contract use in architecture, engineering, and construction industry
    Hande Aladağ · 2023 · MEGARON / Yıldız Technical University Faculty of Architecture E-Journal
  43. Transactions and contracts based on reaction systems
    Paolo Bottoni, Anna Labella · 2021 · Theoretical Computer Science
  44. A Persistent Data Structure for Managing Digital Identity Data Implemented on the Blockchain
    Lei Zeng, Weiwei Qiu, Xiaoyi Wang, Hongkai Wang, Yiyang Yao, Dong He · 2021 · IEEE International Conference on Power, Intelligent Computing and Systems (ICPICS)
  45. Blockchain Based Authentication for End-Nodes and Efficient Cluster Head Selection in Wireless Sensor Networks
    Sana Amjad, Usman Aziz, Muhammad Usman Gurmani, Saba Awan, Maimoona Bint E. Sajid, Nadeem Javaid · 2021 · Lecture notes in networks and systems
  46. Detection of Cross-Channel Invocation Risks in Hyperledger Fabric
    Luca Olivieri · 2025 · Proceedings/Proceedings - International Symposium on Software Reliability Engineering
  47. Smart Contract as a Novel Method of Contracting: Many Unanswered Legal Questions
    Omar Farouk Al Mashhour, Ahmad Shamsul Abd Aziz, Nor Azlina Mohd Noor · 2025 · Hasanuddin Law Review
  48. Smart Contract Receipt based on Virtual Iterative Function
    Yin Yifeng, Zhang Tingjun, Chaofei Hu, Gan Yong · 2019 · International Journal of Performability Engineering
  49. Modal Epistemic Logic on Contracts: A Doctrinal Approach
    Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella · 2019 · Lecture notes in computer science
  50. An RDF Data Set Quality Assessment Mechanism for Decentralized Systems
    Li Huang, Zhenzhen Liu, Fangfang Xu, Jinguang Gu · 2020 · Data Intelligence
  51. Blockchain in logistics : Is blockchain in logistics hyped, or has it true potential to be a game changer?
    S. ter Stege · 2018
  52. Towards Smart Open Education Ecosystems through Generative AI, Blockchain, DAO, MMLA and NFT
    Mehmet anon · 2023 · SSRN Electronic Journal
  53. Validation Framework for E-Contract and Smart Contract
    Sangharatna Godboley, P. Radha Krishna, Sunkara Sri Harika, Pooja Varnam · 2025 · International Conference on Evaluation and Assessment in Software Engineering (EASE)
  54. Ensuring Data Protection by Private Law Contract Monitoring: A Legal and Value-Based Approach
    Joris Hulstijn · 2018 · European Review of Private Law/Revue européenne de droit privé/Europäische Zeitschrift für Privatrecht
  55. Trust Execution Environment and Multi-party Computation for Blockchain e-Health Systems
    Feriel Yahmed, Mohamed Abid · 2020 · Lecture notes in computer science
  56. Verification and Validation for a Project Information Model Based on a Blockchain
    Will Serrano, Jeremy Barnett · 2022 · Lecture notes in networks and systems
  57. Preserving Collusion-Free and Traceability in Car-Sharing System Based on Blockchain
    Tzu-Hao Chen, Chit-Jie Chew, Ying-Chin Chen, Jung-San Lee · 2022 · Communications in computer and information science
  58. A Novel Fusion of Block Chain with IoT for Industrial IoT
    Mansi Mansi, Aleem Azal Ali · 2023 · IEEE Delhi Section Conference (DELCON)
  59. A Blockchain Solution for Supply Chain Traceability in the Indian Market
    Dhanashri Joshi, Atharva Naikwadi, Sitanderpal Singh, Rohit Mokashi, Mohit Pande · 2024 · International Conference on Innovations and Challenges in Emerging Technologies (ICICET)
  60. Observations on the Impact of Technology on Contract Law
    Bárbara Pasa, Larry A. DiMatteo · 2019 · Cambridge University Press eBooks
  61. Blockchain and Machine Learning as Deep Reinforcement
    Hiba S. Mahdi · 2023 · Wasit Journal of Computer and Mathematics Science
  62. A Clicks-and-Mortar Information Exchange Mechanism Based on Blockchain Technology
    Hsin‐Te Wu, Jun-We Zhan · 2019 · International Conference on Web Intelligence, Mining and Semantics
  63. Fully Decentralized Application Model by Peer to Peer Smart Contract of Blockchain
    Hong Su, Bing Guo, Junyu Lu, Xinhua Suo · 2021
  64. Ontology-Driven Audit Using the REA-Ontology
    Graham Gal, Monique Snoeck, Wim Laurier · 2021 · Lecture notes in business information processing
  65. USO DE BLOCKCHAIN EM SMART CONTRACTS LOGÍSTICOS: UMA REVISÃO SISTEMÁTICA
    Benedito Cristiano Aparecido Petroni, Elisangela Monaco, Rodrigo Franco Gonçalves · 2018 · South American Development Society Journal
  66. Design of Secure and Trusted Electronic Medical Record Intelligent Contract Based on Alliance Chain
    应生 廉 · 2022 · Hans Journal of Data Mining
  67. Smart Contracts no âmbito dos Non-Fungible Tokens (NFTs): desafios e perspectivas de normatização
    Anaïs Eulálio Brasileiro, Eugênia Cristina Nilsen Ribeiro Barza, Aurélio Agostinho da Bôaviagem · 2022 · Revista de Direito Governança e Novas Tecnologias
  68. CRIPTOMOEDA NANO E SUA ARQUITETURA BASEADA EM GRAFOS ACÍCLICOS DIRIGIDOS – DAG
    Julio Elias Nogueira, Eder Carlos Salazar Sotto · 2022 · Revista Interface Tecnológica
  69. Securing smart contracts with formal verification and automated program repair
    Palina Tolmach · 2023
  70. Blockchain and artificial intelligence: an overview
    Rishabha Malviya, Arun Kumar Singh, Sonali Sundram, Balamurugan Balusamy, Seifedine Kadry · 2023 · Institute of Physics eBooks
  71. Blockchain oriented Spectrum Sharing in Intelligent Wireless Networks
    Vuppula Roopa, Himansu Shekhar Pradhan · 2023 · International Conference on Computing, Communication and Networking Technologies (ICCCNT)
  72. Blockchain for AI: Smarter Contracts to Secure Artificial Intelligence Algorithms
    Syed Badruddoja · 2023
  73. An Overview of Blockchain in the Field of Smart Healthcare System
    Ramya Easwaran, Kumaresan Natesan · 2024 · BENTHAM SCIENCE PUBLISHERS eBooks
  74. The Future of Mobile Payments: Blockchain-Based Solutions
    Mahmoud Obaid, Allam Abumwais, Rami Hodrob, Suhail M. Odeh, Murad Obaid · 2023 · International Arab Conference on Information Technology (ACIT)
  75. La tecnología blockchain, modelos e integración en el sector salud. Análisis usando revisión sistemática de la literatura
    Liliana Avelar-Sosa, Arturo Iván Mendoza Arvizo · 2024 · Dilemas contemporáneos Educación Política y Valores
  76. Resource Harmony: Integrating AI and Blockchain for Decentralized Solutions
    Nongmeikapam Thoiba Singh, Shivani Mahendru, Priyanka Sharma, Ramandeep Kaur, Jyoti Rani · 2025 · International Conference on Intelligent Communication Technologies and Virtual Mobile Networks (ICICV)
  77. Securing Digital Payments with Iris Scanning Using Blockchain Technology
    Divyanshi Roy, Bomma Tanya, Bommidala Snigdha, Gutha Sreeram, Arun Ganji · 2025 · International Conference on Technology Enabled Economic Changes (InTech)
  78. Automated construction of predicate abstractions for smart contract validation
    Javier Godoy, E. López Torres, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel · 2025 · Software & Systems Modeling
  79. Trust Design Framework in Blockchain-Enabled Supply Chains
    Nadine Ostern, Joëlle Simonet, Nikolaus Obwegeser · 2025 · Springer eBooks
  80. Bridging the code and law: A proposed model for smart letter of credit
    Emad Mohammed Al-Amaren, Omar Farouk Al Mashhour, Saif Ziad Aljunidi, Tawfiq Aref Tawfiq Almajali · 2025 · EDPACS
  81. Acceptance of Smart Contracts in Patients Receiving Primary Care: Exploratory Study
    Mohamed Abdelhamid, Pamella Howell, Deepti Singh · 2026 · JMIR Formative Research
  82. Les clauses de gestion des risques en droits des contrats
    Khaylene Ben Abdessalem · 2024
  83. Blockchain Technology Selection for E-commerce Supply Chains: A Case Study Using Spherical Fuzzy AHP and SAW
    Emine Elif Nebati, Biset Toprak, Erkan Bayraktar, Selim Zaim · 2026 · Lecture notes in management and industrial engineering