@inproceedings{10.1007/978-3-032-26752-8_17,

title = {Formal Verification of Decentralized Autonomous Organizations},

author = {Simone Valentini and Sowelu Avanzo and Elvinia Riccobene},

editor = {Fuyuki Ishikawa and Alcino Cunha},

isbn = {978-3-032-26752-8},

year  = {2026},

date = {2026-01-01},

booktitle = {Rigorous State-Based Methods},

pages = {265\textendash273},

publisher = {Springer Nature Switzerland},

address = {Cham},

abstract = {Decentralized Autonomous Organizations (DAOs) manage governance and financial processes through blockchain-based smart contracts, posing significant challenges in specification, implementation, and verification. While visual and model-driven approaches support DAO design, they lack integrated formal verification and reliable code generation mechanisms.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{11126541,

title = {Diagrams as Visual Knowledge Communication Tools in Interdisciplinary Postgraduate Education},

author = {Salim Saay and Sean O’Brien and Amandeep Singh and Amalia De G\"{o}tzen and Viktoria Voronova and Tiziana Margaria},

doi = {10.1109/COMPSAC65507.2025.00229},

issn = {2836-3795},

year  = {2025},

date = {2025-07-01},

booktitle = {2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC)},

pages = {1694-1699},

abstract = {This research investigates the use of diverse visual knowledge communication tools in the multidisciplinary training produced in the BC4ECO project. During this project, teaching and learning content was developed to enable postgraduate learners to utilise blockchain and Distributed Ledger Technology (DLT) to solve complex, real-world problems related to environmental sustainability. We examine how visual modelling techniques enhance comprehension across disciplines and facilitate interdisciplinary and transdisciplinary collaboration, particularly for learners who may not have prior programming or computer science knowledge. Findings suggest that using these tools leads to enhanced collaboration between computer scientists and non-computer scientists and aids in the facilitation of joint problem solving between seemingly disparate disciplines. Additionally, the study highlights how the use of tools for established software engineering modelling, like Visual Paradigm for UML, bridges the gap between theoretical knowledge and practical implementation, strengthening problem solving skills and improving software development education.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{11126555,

title = { Specialized Training in LCNC and AI: from the Pedagogical Concept to the Experience },

author = {Sean O'Brien and Colm Brandon and Daniel Busch and Marco Krumrey and Daniel Sami Mitwalli and Amandeep Singh and Sebastian Teumert and Tiziana Margaria},

url = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC65507.2025.00336},

doi = {10.1109/COMPSAC65507.2025.00336},

year  = {2025},

date = {2025-07-01},

booktitle = {2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC)},

pages = {2394-2403},

publisher = {IEEE Computer Society},

address = {Los Alamitos, CA, USA},

abstract = {Train the trainer is a pedagogical model widely used across a range of disciplines and fields. Originating in non- governmental organisations, the model was developed in a bid to reduce costs associated with training while also increasing the capacity of staff to effectively disseminate knowledge within organisations. While its use is now widespread, there is little consensus in the literature regarding its efficacy. This paper describes a train-the-trainer programme that was designed to enhance early-career researchers’ ability to deliver training based on their research. The programme was delivered to a pilot group who then delivered training to external stakeholders on two occasions. The train-the-trainer programme was then evaluated from the perspectives of the trained early-career researchers along with the participants who subsequently took part in workshops delivered by this cohort. Results indicate that the programme was largely successful in improving the early-career researchers’ confidence with respect to training delivery, while also creating a positive learning experience for the participants. The paper concludes with a discussion around the future plans for the development of the train-the-trainer programme based on the results from this pilot implementation.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{11015012,

title = {Streamlining the Engineering and Distribution of Graphical DSLs based on Recurring Patterns},

author = {Daniel Sami Mitwalli and Marco Krumrey and Sebastian Teumert},

doi = {10.1109/ICSA-C65153.2025.00056},

year  = {2025},

date = {2025-01-01},

booktitle = {2025 IEEE 22nd International Conference on Software Architecture Companion (ICSA-C)},

pages = {350-357},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{11014891,

title = {Bringing Cinco De Bio to the Cloud},

author = {Colm Brandon and Daniel Sami Mitwalli and Marco Krumrey and Sebastian Teumert},

doi = {10.1109/ICSA-C65153.2025.00055},

year  = {2025},

date = {2025-01-01},

booktitle = {2025 IEEE 22nd International Conference on Software Architecture Companion (ICSA-C)},

pages = {340-349},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{peruccon2023bc4eco,

title = {BC4ECO-Using Visual Tools for a Shared Understanding and Pedagogical Approach across an Interdisciplinary Consortium},

author = {Andy Peruccon and Roisin Lyons and Amalia De Gotzen and Tiziana Margaria and Luca Simeone},

doi = {10.1109/COMPSAC57700.2023.10223442},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

booktitle = {2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC)},

pages = {1890\textendash1895},

organization = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}