|
|
Positions: Academic Staff Lecturer Tel: +972-2-658-8000 Ext: 213 Fax: +972-2-658-8001 Mail: robi@post.jce.ac.il Web: www.jce.ac.il
Resume: http://www.cs.bgu.ac.il/~yagel/resume.pdf
Old homepage: http://www.cs.bgu.ac.il/~yagel/
Research Interests:
-
High-availability Systems
-
Software Engineering Lifecycles
-
Programming Language and Object Oriented Principles
Representative Publications:
-
1. S. Dolev and R. Yagel. `Towards Self-Stabilizing Operating Systems'. IEEE Transactions on Software Engineering, Vol. 34, No. 4, July/August 2008 (TSE).
-
S. Dolev and R. Yagel. `Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstratct)'. Proceedings of the Ninth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2007), France, November 2007.
-
O. Brukman, S. Dolev, Y. Haviv, and R. Yagel. `Self-Stabilization as a Foundation for Autonomic Computing" . Proceedings of ARES 2007 (The Second International Conference on Availability, Reliability and Security), Workshop on Foundations of Fault-tolerant Distributed Computing (FOFDC 2007), Vienna, Austria, April 2007 (IEEE DOI).
-
S. Dolev and R. Yagel. `Memory Management for Self-Stabilizing Operating Systems'. Journal of Aerospace Computing, Information, and Communication (1542-9423) 2006 vol. 3 June 2006 (JACIC).
-
S. Dolev and R. Yagel. `Self-Stabilizing Operating Systems (Abstract)'. Online Proceedings of the 20th ACM Symposium on Operating Systems Principles, Brighton UK, October 2005 (Poster Abstract).
|