| 2008 |
|---|
| 10 | EE | Demissie B. Aredo,
Mark Burgess,
Simen Hagen:
Program Promises
CoRR abs/0802.1586: (2008) |
| 2005 |
|---|
| 9 | EE | Demissie B. Aredo,
Olaf Owe:
Model-Based Verification in the Development of Dependable Systems.
ITCC (2) 2005: 327-334 |
| 2004 |
|---|
| 8 | EE | H. Abie,
Demissie B. Aredo,
T. Kristoffersen,
Shahrzade Mazaher,
T. Raguin:
Integrating a Security Requirement Language with UML.
UML 2004: 350-364 |
| 7 | EE | Issa Traoré,
Demissie B. Aredo:
Enhancing Structured Review with Model-Based Verification.
IEEE Trans. Software Eng. 30(11): 736-753 (2004) |
| 6 | EE | Issa Traoré,
Demissie B. Aredo,
Hong Ye:
An integrated framework for formal development of open distributed systems.
Information & Software Technology 46(5): 281-286 (2004) |
| 2003 |
|---|
| 5 | | Issa Traoré,
Demissie B. Aredo,
Hong Ye:
An Integrated Framework for Formal Development of Open Distributed Systems.
SAC 2003: 1078-1085 |
| 2002 |
|---|
| 4 | EE | Einar Broch Johnsen,
Wenhui Zhang,
Olaf Owe,
Demissie B. Aredo:
Combining Graphical and Formal Development of Open Distributed Systems.
IFM 2002: 319-338 |
| 3 | EE | Demissie B. Aredo:
A Framework for Semantics of UML Sequence Diagrams in PVS.
J. UCS 8(7): 674-697 (2002) |
| 2001 |
|---|
| 2 | EE | Einar Broch Johnsen,
Wenhui Zhang,
Olaf Owe,
Demissie B. Aredo:
Specification of Distributed Systems with a Combination of Graphica and Formal Languages.
APSEC 2001: 105- |
| 1 | EE | Wenhui Zhang,
Olaf Owe,
Einar Broch Johnsen,
Demissie B. Aredo:
Integrating UML and OUN for Specification of Open Distributed Systems.
HCC 2001: 122- |
