Specification of Distributed Systems with a Combination of Graphica and Formal Languages. - Einar Broch Johnsen; Wenhui Zhang; Olaf Owe; Demissie B. Aredo (APSEC, 2001)

Integrating UML and OUN for Specification of Open Distributed Systems. - Wenhui Zhang; Olaf Owe; Einar Broch Johnsen; Demissie B. Aredo (HCC, 2001)

Combining Graphical and Formal Development of Open Distributed Systems. - Einar Broch Johnsen; Wenhui Zhang; Olaf Owe; Demissie B. Aredo (IFM, 2002)

A Framework for Semantics of UML Sequence Diagrams in PVS. - Demissie B. Aredo (J. Univers. Comput. Sci., 2002)

Integrating a Security Requirement Language with UML. - H. Abie; Demissie B. Aredo; T. Kristoffersen; Shahrzade Mazaher; T. Raguin (UML, 2004)

An integrated framework for formal development of open distributed systems. - Issa Traoré; Demissie B. Aredo; Hong Ye (Inf. Softw. Technol., 2004)

Enhancing Structured Review with Model-Based Verification. - Issa Traoré; Demissie B. Aredo (IEEE Trans. Software Eng., 2004)

Model-Based Verification in the Development of Dependable Systems. - Demissie B. Aredo; Olaf Owe (ITCC (2), 2005)

Security issues in adaptive distributed systems. - Demissie B. Aredo; Sule Yildirim (ECIS, 2006)

Program Promises - Demissie B. Aredo; Mark Burgess; Simen Hagen (CoRR, 2008)