A reactive architecture for cloud-based system engineering. - David Adjepon-Yamoah; Alexander B. Romanovsky; Alexei Iliasov (ICSSP, 2015)

Rodin Platform Why3 Plug-In. - Alexei Iliasov; Paulius Stankaitis; David Adjepon-Yamoah; Alexander B. Romanovsky (ABZ, 2016)

Assuring Dependable Cloud-Based System Engineering: A Cloud Accountability Method. - David Ebo Adjepon-Yamoah; Zhenyu Wen (EDCC, 2016)

Static Verification of Railway Schema and Interlocking Design Data. - Alexei Iliasov; Paulius Stankaitis; David Adjepon-Yamoah (RSSRail, 2016)

cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures. - David Ebo Adjepon-Yamoah (SERENE, 2016)

Towards Dependable Change Management and Traceability for Global Software Development. - David Ebo Adjepon-Yamoah (CoRR, 2016)

Automating Verification of Event-B Models. - Paulius Stankaitis; Alexei Iliasov; David Adjepon-Yamoah; Alexander B. Romanovsky (CoRR, 2016)

A reactive architecture for cloud-based system engineering. - David Ebo Adjepon-Yamoah (2018)

Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development. - David Ebo Adjepon-Yamoah (SERENE, 2019)

Cloud Accountability Method: Towards Accountable Cloud Service-Level Agreements. - David Ebo Adjepon-Yamoah (ICICT (3), 2021)