Publications

Ph. D. Dissertation:

M. Sc. Thesis:

Refereed Journal Articles:

• Issa Traore and Demissie B. Aredo: Enhancing Structured Review with Model-based Verification, IEEE Transactions on Software Engineering, vol. 30, no. 11, pp. 736-753, November 2004.
• Issa Traore, Demissie B. Aredo and Hong Ye: An Integrated Framework for Formal Development of Open Distributed Systems, Journal of Information and Software Technology (IST), Special Issue on Software Engineering, Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003, Elsevier Science, vol. 46, no. 5, pp. 281-286, April 15, 2004.
• Demissie B. Aredo: A Framework for Semantics of UML Sequence Diagrams in PVS, Journal of Universal Computer Science (JUCS), 8(7), pp. 674-697, July 2002.

Refereed Conference/Workshop Articles:

• Demissie Aredo and Sule Yildirim: Security Issues in Adaptive Distributed Systems, in the Proc. of the 14th European Conference on Information Systems (ECIS 2006), June 12-14, 2006, Gøteborg, Sweden.
• Demissie B. Aredo and Olaf Owe: Model-based Verification in the Development of Dependable Systems, in the Proc. of International Conference on Information Technology: Coding and Computing (ITCC 2005) - Software Engineering Track, IEEE Computer Society Press, pp. 327-334, April 4-6, 2005, Las Vegas, NV, USA.
• H. Abie, D. B. Aredo, T. Kristoffersen, S. Mazaher and T. Raguin: Integrating a Security Requirement Language with UML, in the Proc. of the Seventh International Conference on UML Modeling Languages and Applications (UML2004) , LNCS 3273, pp. 350-364, October 11-15, 2004, Lisbon, Portugal.
• Demissie B. Aredo: Formal Semantics of UML Statecharts in PVS, in the Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics, (SCI2003), July 27-30, 2003, Orlando, Florida, USA.
• D. B. Aredo, H. J. Rivertz and J. I. Vestgården: LBS System Architecture with Privacy, in the Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics, (SCI2003), July 27-30, 2003, Orlando, Florida, USA.
• Issa Traore, Demissie B. Aredo and Hong Ye: An Integrated Framework for Formal Development of Open Distributed Systems, in the Proc. of ACM Symposium on Applied Computing, (ACM SAC2003), Melbourne, Florida, USA, March 9-12, 2003.
• E. B. Johnsen, W. Zhang, Olaf Owe and Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems, M. Butler, L. Petre, and K. Sere (Eds): IFM 2002, LNCS 2335, pp. 319-338, Springer-Verlag, Berlin Heidelberg 2002.
  
• E. B. Johnsen, W. Zhang, O. Owe and Demissie B. Aredo: Specification of Distributed Systems with a Combination of Graphical and Formal Languages, in the Proc. of Asian-Pacific Software Engineering Conference (APSEC 2001), pp. 105-110. December 4-7, 2001, University of Macau, Macau SAR, China
• W. Zhang, E. B. Johnsen, O. Owe and Demissie B. Aredo: Integrating UML and OUN for Specification of Open Distributed Systems, in the Proc. of IEEE 2001 Symposia on Human-Centric Computing Languages and Environments (HCC'01), the symposium on Visual Languages and Formal Methods: pp. 122-123, IEEE Computer Society Press, Sept. 5-7, 2001.
• I. Traore and Demissie B. Aredo: Integrating Formal V&V and Structured Design Reviews, CAV'01 Workshop on Inspection in Software Engineering (WISE'01), July 2001, Paris, France.
• Demissie B. Aredo: Semantics of UML Statecharts in PVS, Abstract in the Proc. of the 12th Nordic Workshop on Programming Theory, October 11-13, 2000, Bergen, Norway. Full text: Research report No. 299 at the Department of Informatics, University of Oslo (.ps).
• Demissie B. Aredo: Semantics of UML Sequence Diagrams in PVS, online Proc. of UML2000 Workshop on Dynamic Behavior in UML Models: Semantic Questions, October 2000, York, UK.
• Demissie B. Aredo: (Formalizing UML Class Diagrams in PVS, Extended abstract in Proc. of Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, at OOPSLA'99, November 1-5, 1999, Denver, Colorado, USA.
• Demissie B. Aredo, I. Traore and K. Stølen:  An Outline of UML class Diagrams Semantics Using PVS-SL, an abstract appeared in the proc. of the 11th Nordic Workshop on Programming Theory (NWPT'99), October 6-8, 1999, Uppsala, Sweden (Full text is availble as a Research report No. 272 at the Department of Informatics, University of Oslo).
• I. Traore, Demissie B. Aredo and K. Stølen:  Formal Development of Open Distributed Systems: towards an Integrated Framework, in the Proc. of Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours (OOSDS'99), September 1999, Paris, France.

Research Reports:

• Demissie B. Aredo and Olaf Owe: Formal System Development Using Method Integration: a Case Study, Research Report no. 1002, ISBN-82-539-0510-6, Norwegian Computing Center, Oslo, Norway, August 2004. Available as Research Report no. 308, Department of Informatics, University of Oslo.
• D. B. Aredo, I. Traore, L. M. Yanguo and H. Ye: Integration of Structured Review and Model-based Verification: a Case Study, Research Report no. 1001, ISBN-82-539-0509-2, Norwegian Computing Center, Oslo, Norway, August 2004. Available as Research Report no.ECE04-03, Department of Electrical and Computer Engineering, University of Victoria, Canada.
• Demissie B. Aredo: Semantics of UML Statecharts in PVS, Research Report No. 299, Department of Informatics, University of Oslo, November 2001.
• E. B. Johnsen, W. Zhang, Olaf Owe and Demissie B. Aredo: Combining Graphical and Formal Specification: the Software Bus Case Study, Research Report 297, Department of Informatics, University of Oslo, Norway, October 2001.
• Demissie B. Aredo, I. Traore, and K. Stølen:  Towards a formalization of UML Class Structure in PVS, Research Report no. 272, Department of Informatics, University of Oslo, August 1999.
• I. Traore, Demissie B. Aredo, and K. Stølen:  Tracking Inconsistencies in an Integrated Platform, Research report No. 274, Department of Informatics, University of Oslo, Norway, August 1999.

Presentations

• Demissie B. Aredo, Requirements for the Success of Formal Methods in Practical Software Engineering, Trial Lecture, Department of Informatics, University of Oslo, March 3, 2005.