Reuven Yagel

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