Rodin platform why3 plug-in A Iliasov, P Stankaitis, D Adjepon-Yamoah, A Romanovsky Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016 | 13 | 2016 |
A reactive architecture for cloud-based system engineering D Adjepon-Yamoah, A Romanovsky, A Iliasov Proceedings of the 2015 International Conference on Software and System …, 2015 | 8 | 2015 |
A Reactive Architecture for Cloud-Based System Engineering DE Adjepon-Yamoah, A Romanovsky, A Iliasov Technical Report Series, School of Computing Science, Newcastle University …, 2015 | 8 | 2015 |
Static verification of railway schema and interlocking design data A Iliasov, P Stankaitis, D Adjepon-Yamoah Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016 | 6 | 2016 |
Reactive middleware for effective requirement change management of cloud-based global software development DE Adjepon-Yamoah Software Engineering for Resilient Systems: 11th International Workshop …, 2019 | 5 | 2019 |
Towards dependable change management and traceability for global software development DE Adjepon-Yamoah arXiv preprint arXiv:1608.05981, 2016 | 4 | 2016 |
cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures DE Adjepon-Yamoah Software Engineering for Resilient Systems: 8th International Workshop …, 2016 | 4 | 2016 |
Assuring Dependable Cloud-Based System Engineering: A Cloud Accountability Method DE Adjepon-Yamoah, Z Wen | 4 | 2016 |
A Tool to Support Teaching of Concurrent Programming DE Adjepon-Yamoah Newcastle University, 2012 | 4 | 2012 |
Cloud accountability method: Towards accountable cloud service-level agreements DE Adjepon-Yamoah Proceedings of Sixth International Congress on Information and Communication …, 2022 | 2 | 2022 |
Event-B and Cloud Provers A Iliasov, P Stankaitis, DE Adjepon-Yamoah Automated Reasoning Workshop 2015 Bridging the Gap between Theory and …, 2015 | 2 | 2015 |
Putting provers on the cloud A Iliasov, D Adjepon-Yamoah, P Stankaitis, A Romanovsky 23rd Euromicro International Conference on Parallel, Distributed and Network …, 2015 | 1 | 2015 |
Refinement-based Approach to Co-engineering Requirements and Formal Models A Iliasov, L Laibinis, E Troubitsyna, D Adjepon-Yamoah, A Romanovsky School of Computing Science Technical Report Series, 2015 | 1 | 2015 |
A reactive architecture for cloud-based system engineering DE Adjepon-Yamoah Newcastle University, 2018 | | 2018 |
Automating Verification of Event-B Models P Stankaitis, A Iliasov, D Adjepon-Yamoah, A Romanovsky arXiv preprint arXiv:1611.02923, 2016 | | 2016 |
A Rodin plug-in for constructing reusable schematic lemmas A Iliasov, P Stankaitis, D Adjepon-Yamoah, A Romanovsky Developer Workshop, 2016, 5, 2016 | | 2016 |