Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

Heuristics for designing and evaluating socio-technical agent-oriented behaviour models with Coloured Petri NetsMahunnah, Msury; Norta, Alexander; Ma, Lixin; Taveter, KuldarIEEE 38th Annual International Computers, Software and Applications Conference Workshops : 27-29 July 2014, Västerås, Sweden : proceedings2014 / p. 438-443 : ill

A legally relevant socio-technical language development for smart contractsDwivedi, Vimal Kumar; Norta, Alexander2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems : (FAS*W), 3–7 September, 2018 Trento, Italy : proceedings2018 / p. 11-13 http://doi.org/10.1109/FAS-W.2018.00016