David Adjepon-Yamoah

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 3

Top Topics

Subsumption Architecture

Distributed Architecture

Data Transformation

Reactive Planning

Top Venues

Publications

Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah
Static Verification of Railway Schema and Interlocking Design Data. RSSRail (2016)
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky
Rodin Platform Why3 Plug-In. ABZ (2016)
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky
Automating Verification of Event-B Models. CoRR (2016)
David Adjepon-Yamoah, Alexander B. Romanovsky, Alexei Iliasov
A reactive architecture for cloud-based system engineering. ICSSP (2015)