Reuven Yagel

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 2

Top Topics

Code Generation

Domain Knowledge

Image Stabilization

Top Venues

Publications

Reuven Yagel
Extending Software Systems While Keeping Conceptual Integrity. SEKE (2017)
Alexander Binun, Thierry Coupaye, Shlomi Dolev, Mohammed Kassi-Lahlou, Marc Lacoste, Alex Palesandro, Reuven Yagel, Leonid Yankulin
Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine. SSS (2016)
Reuven Yagel
Test Driven Design - The Modeling Aspect. SKY (2015)
Reuven Yagel
Lido - Wiki based Living Documentation with Domain Knowledge. SKY (2015)
Alexander Binun, Mark Bloch, Shlomi Dolev, Ramzi Martin Kahil, Boaz Menuhin, Reuven Yagel, Thierry Coupaye, Marc Lacoste, Aurélien Wailly
Self-Stabilizing Virtual Machine Hypervisor Architecture for Resilient Cloud. SERVICES (2014)
Iaakov Exman, Anton Litovka, Reuven Yagel
Ontologies + Mock Objects = Runnable Knowledge. SKY (2014)
Igor Osetinsky, Reuven Yagel
Working More Effectively with Legacy Code Using Domain Knowledge and Abstractions: A Case Study. SKY (2014)
Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel
Stateless Stabilization Bootstrap (Extended Abstract). SSS (2014)
Iaakov Exman, Anton Litovka, Reuven Yagel
KODEGEN: A Code Generation and Testing Tool Using Runnable Knowledge. IC3K (2013)
Reuven Yagel, Anton Litovka, Iaakov Exman
KoDEgen: A Knowledge Driven Engineering Code Generating Tool. SKY (2013)
Iaakov Exman, Reuven Yagel
ROM: An Approach to Self-consistency Verification of a Runnable Ontology Model. IC3K (2012)
Shlomi Dolev, Reuven Yagel
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests. ACM SIGOPS Oper. Syst. Rev. 44 (3) (2010)
Shlomi Dolev, Guy Leshem, Reuven Yagel
Purifying data by machine learning with certainty levels. WRAS (2010)
Shlomi Dolev, Reuven Yagel
Self-stabilizing device drivers. ACM Trans. Auton. Adapt. Syst. 3 (4) (2008)
Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel
Self-Stabilization from Theory to Practice. Bull. EATCS 94 (2008)
Shlomi Dolev, Reuven Yagel
Towards Self-Stabilizing Operating Systems. IEEE Trans. Software Eng. 34 (4) (2008)
Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuven Yagel
Self-Stabilization as a Foundation for Autonomic Computing. ARES (2007)
Shlomi Dolev, Reuven Yagel
Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract). SSS (2007)
Shlomi Dolev, Reuven Yagel
Self-stabilizing Device Drivers. SSS (2006)
Shlomi Dolev, Reuven Yagel
Memory Management for Self-Stabilizing Operating Systems. J. Aerosp. Comput. Inf. Commun. 3 (6) (2006)
Shlomi Dolev, Reuven Yagel
Memory Management for Self-stabilizing Operating Systems. Self-Stabilizing Systems (2005)
Shlomi Dolev, Reuven Yagel
Toward Self-Stabilizing Operating Systems. DEXA Workshops (2004)