Search the dblp DataBase

Publications of Author

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