Reuven Yagel

According to our database, Reuven Yagel authored at least 20 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Extending Software Systems While Keeping Conceptual Integrity.

Reuven Yagel

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

2016

Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine.

Alexander Binun, Thierry Coupaye, Shlomi Dolev, Mohammed Kassi-Lahlou, Marc Lacoste, Alex Palesandro, Reuven Yagel, Leonid Yankulin

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

2015

Test Driven Design - The Modeling Aspect.

Reuven Yagel

Proceedings of the SKY 2015, 2015

Lido - Wiki based Living Documentation with Domain Knowledge.

Reuven Yagel

Proceedings of the SKY 2015, 2015

2014

Stateless Stabilization Bootstrap (Extended Abstract).

Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Self-Stabilizing Virtual Machine Hypervisor Architecture for Resilient Cloud.

Alexander Binun, Mark Bloch, Shlomi Dolev, Ramzi Martin Kahil, Boaz Menuhin, Reuven Yagel, Thierry Coupaye, Marc Lacoste, Aurélien Wailly

Proceedings of the 2014 IEEE World Congress on Services, 2014

Working More Effectively with Legacy Code Using Domain Knowledge and Abstractions: A Case Study.

Igor Osetinsky, Reuven Yagel

Proceedings of the SKY 2014, 2014

Ontologies + Mock Objects = Runnable Knowledge.

Iaakov Exman, Anton Litovka, Reuven Yagel

Proceedings of the SKY 2014, 2014

2013

KoDEgen: A Knowledge Driven Engineering Code Generating Tool.

Reuven Yagel, Anton Litovka, Iaakov Exman

Proceedings of the SKY 2013, 2013

KODEGEN: A Code Generation and Testing Tool Using Runnable Knowledge.

Iaakov Exman, Anton Litovka, Reuven Yagel

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2013

2012

ROM: An Approach to Self-consistency Verification of a Runnable Ontology Model.

Iaakov Exman, Reuven Yagel

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2012

2010

Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests.

Shlomi Dolev, Reuven Yagel

ACM SIGOPS Oper. Syst. Rev., 2010

Purifying data by machine learning with certainty levels.

Shlomi Dolev, Guy Leshem, Reuven Yagel

Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

2008

Towards Self-Stabilizing Operating Systems.

Shlomi Dolev, Reuven Yagel

IEEE Trans. Software Eng., 2008

Self-stabilizing device drivers.

Shlomi Dolev, Reuven Yagel

ACM Trans. Auton. Adapt. Syst., 2008

Self-Stabilization from Theory to Practice.

Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel

Bull. EATCS, 2008

2007

Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract).

Shlomi Dolev, Reuven Yagel

Proceedings of the Stabilization, 2007

Self-Stabilization as a Foundation for Autonomic Computing.

Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuven Yagel

Proceedings of the The Second International Conference on Availability, 2007

2006

Memory Management for Self-Stabilizing Operating Systems.

Shlomi Dolev, Reuven Yagel

J. Aerosp. Comput. Inf. Commun., 2006

2004

Toward Self-Stabilizing Operating Systems.

Shlomi Dolev, Reuven Yagel

Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004