David Adjepon-Yamoah

According to our database, David Adjepon-Yamoah authored at least 10 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Cloud Accountability Method: Towards Accountable Cloud Service-Level Agreements.

David Ebo Adjepon-Yamoah

Proceedings of Sixth International Congress on Information and Communication Technology, 2021

2019

Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development.

David Ebo Adjepon-Yamoah

Proceedings of the Software Engineering for Resilient Systems, 2019

2018

A reactive architecture for cloud-based system engineering.

David Ebo Adjepon-Yamoah

PhD thesis, 2018

2016

Automating Verification of Event-B Models.

Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky

CoRR, 2016

Towards Dependable Change Management and Traceability for Global Software Development.

David Ebo Adjepon-Yamoah

CoRR, 2016

cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures.

David Ebo Adjepon-Yamoah

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

Static Verification of Railway Schema and Interlocking Design Data.

Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Assuring Dependable Cloud-Based System Engineering: A Cloud Accountability Method.

David Ebo Adjepon-Yamoah, Zhenyu Wen

Proceedings of the 12th European Dependable Computing Conference, 2016

Rodin Platform Why3 Plug-In.

Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

A reactive architecture for cloud-based system engineering.

David Adjepon-Yamoah, Alexander B. Romanovsky, Alexei Iliasov

Proceedings of the 2015 International Conference on Software and System Process, 2015