Adwoa (Addy) D. Donyina, Ph.D.
Electrical and Computer Engineering and Computer Science Department
Tagliatela College of Engineering
Education
Ph.D., University of Leicester, 2011
M.S.c, University of Leicester, 2008
Hons B.S.c, University of Toronto, 2007
Research Interests
Socio-technical Systems, Stochastic simulation, Graph Transformation Systems, Rule-based approaches, Role-based access control, Business process modelling, Metamodelling, Domain specific languages and Model driven development.
Recently Published Books and Articles
Adwoa Donyina and Reiko Heckel. Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations. 14th International Workshop on Graph Computation Models (GCM 2023). Software Technologies: Applications and Foundations (STAF). STAF’23 Workshop Proceedings, pages 14-29. . . .
Adwoa Donyina and Reiko Heckel. A Graph Transformation Model for Peer-to-Peer Content Policing. Surveillance and Security in the Age of Algorithmic Communication an IAMCR 2016. (International Association for Media and Communication Research) Pre-conference.
Adwoa Donyina. Stochastic Modelling & Analysis of Dynamic Human-Resource Allocation (StADy). University of Leicester, Computer Science Department. Thesis Oct 2011.
Adwoa Donyina and Reiko Heckel. Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. Post-Proceedings of the Fifth International Conference on Graph Transformation - Doctoral Symposium (ICGT-DS 2010) ECEASST Journal (1863-2122), Volume 38/2011.
Adwoa Donyina and Reiko Heckel. Flexible Behaviour of Human Actors in Distributed Workflows. Workshop WiVS "Flexible Workflows in Distributed Systems" Workshops der wissenschaftlichen Konferenz Kommunikation in Verteilten Systemen 2011 (WowKiVS 2011) 17th Conference on "Communication in Distributed Systems 2011" (KiVS'11) in Kiel, Germany (March, 8-11, 2011). In proceedings of the KiVS 2011 conference as a special issue of the ECEASST Journal (ISSN 1863-2122). Volume 37/2011, pages 134-145.
Adwoa Donyina. Stochastic Modelling and Simulation of Dynamic Resource Allocation. Fifth International Conference on Graph Transformation Doctoral Symposium (ICGT-DS 2010) University of Twente, Enschede, The Netherlands 27 September - 2 October, 2010. Graph Transformations Lecture Notes in Computer Science, 2010, Volume 6372/2010, pages 388-390.
Adwoa Donyina and Reiko Heckel. Formal Visual Modeling of Human Agents in Service Oriented Systems. In 2009 Fourth South-East European Workshop on Formal Methods (SEEFM'09), pages 25-32, Los Alamitos, CA, USA, 2009. IEEE Computer Society.
Adwoa Donyina. SAPIAN-VTHS (Virtual Teaching Hospital System) Electives networking project. University of Leicester, Computer Science Department. MSc Dissertation September 2008.
Presented my MSc Dissertation to Her Majesty the Queen of England (Dec, 2008)