Demissie B. Aredo

According to our database, Demissie B. Aredo authored at least 10 papers between 2001 and 2008.

Collaborative distances:

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

2008

Program Promises

Demissie B. Aredo, Mark Burgess, Simen Hagen

CoRR, 2008

2006

Security issues in adaptive distributed systems.

Demissie B. Aredo, Sule Yildirim

Proceedings of the Fourteenth European Conference on Information Systems, 2006

2005

Model-Based Verification in the Development of Dependable Systems.

Demissie B. Aredo, Olaf Owe

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004

Enhancing Structured Review with Model-Based Verification.

Issa Traoré, Demissie B. Aredo

IEEE Trans. Software Eng., 2004

An integrated framework for formal development of open distributed systems.

Issa Traoré, Demissie B. Aredo, Hong Ye

Inf. Softw. Technol., 2004

Integrating a Security Requirement Language with UML.

H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin

Proceedings of the «UML» 2004, 2004

2002

A Framework for Semantics of UML Sequence Diagrams in PVS.

Demissie B. Aredo

J. Univers. Comput. Sci., 2002

Combining Graphical and Formal Development of Open Distributed Systems.

Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2001

Integrating UML and OUN for Specification of Open Distributed Systems.

Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Specification of Distributed Systems with a Combination of Graphica and Formal Languages.

Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001