Demissie B. Aredo

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