Demissie B. Aredo Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2008
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Demissie B. Aredo, Mark Burgess, Simen Hagen: Program Promises. CoRR abs/0802.1586 (2008)
2006
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Demissie B. Aredo, Sule Yildirim: Security issues in adaptive distributed systems. ECIS 2006: 2206-2215
2005
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Demissie B. Aredo, Olaf Owe: Model-Based Verification in the Development of Dependable Systems. ITCC (2) 2005: 327-334
2004
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Issa Traoré, Demissie B. Aredo: Enhancing Structured Review with Model-Based Verification. IEEE Trans. Software Eng. 30(11): 736-753 (2004)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin: Integrating a Security Requirement Language with UML. UML 2004: 350-364
2003
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Issa Traoré, Demissie B. Aredo, Hong Ye: An Integrated Framework for Formal Development of Open Distributed Systems. SAC 2003: 1078-1085
2002
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Demissie B. Aredo: A Framework for Semantics of UML Sequence Diagrams in PVS. J. UCS 8(7): 674-697 (2002)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338
2001
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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-
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo: Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-

Coauthor Index

1H. Abie
[c5]
2Mark Burgess
[i1]
3Simen Hagen
[i1]
4Einar Broch Johnsen
[c3] [c2] [c1]
5T. Kristoffersen
[c5]
6Shahrzade Mazaher
[c5]
7Olaf Owe
[c6] [c3] [c2] [c1]
8T. Raguin
[c5]
9Issa Traoré
[j3] [j2] [c4]
10Hong Ye
[j3] [c4]
11Sule Yildirim
[c7]
12Wenhui Zhang
[c3] [c2] [c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 02:02:59 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page