Demissie B. Aredo

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Publications

Demissie B. Aredo, Mark Burgess, Simen Hagen
Program Promises CoRR (2008)
Demissie B. Aredo, Sule Yildirim
Security issues in adaptive distributed systems. ECIS (2006)
Demissie B. Aredo, Olaf Owe
Model-Based Verification in the Development of Dependable Systems. ITCC (2) (2005)
H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin
Integrating a Security Requirement Language with UML. UML (2004)
Issa Traoré, Demissie B. Aredo, Hong Ye
An integrated framework for formal development of open distributed systems. Inf. Softw. Technol. 46 (5) (2004)
Issa Traoré, Demissie B. Aredo
Enhancing Structured Review with Model-Based Verification. IEEE Trans. Software Eng. 30 (11) (2004)
Issa Traoré, Demissie B. Aredo, Hong Ye
An Integrated Framework for Formal Development of Open Distributed Systems. SAC (2003)
Demissie B. Aredo
A Framework for Semantics of UML Sequence Diagrams in PVS. J. Univers. Comput. Sci. 8 (7) (2002)
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
Combining Graphical and Formal Development of Open Distributed Systems. IFM (2002)
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC (2001)
Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo
Integrating UML and OUN for Specification of Open Distributed Systems. HCC (2001)