| 2017 | SEKE | Extending Software Systems While Keeping Conceptual Integrity. | Reuven Yagel |
| 2016 | SSS | 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 |
| 2015 | IC3K | Lido - Wiki based Living Documentation with Domain Knowledge. | Reuven Yagel |
| 2015 | IC3K | Test Driven Design - The Modeling Aspect. | Reuven Yagel |
| 2014 | IC3K | Ontologies + Mock Objects = Runnable Knowledge. | Iaakov Exman, Anton Litovka, Reuven Yagel |
| 2014 | IC3K | Working More Effectively with Legacy Code Using Domain Knowledge and Abstractions: A Case Study. | Igor Osetinsky, Reuven Yagel |
| 2014 | SERVICES | 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, Aurlien Wailly |
| 2014 | SSS | Stateless Stabilization Bootstrap (Extended Abstract). | Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel |
| 2013 | IC3K | KODEGEN: A Code Generation and Testing Tool Using Runnable Knowledge. | Iaakov Exman, Anton Litovka, Reuven Yagel |
| 2013 | IC3K | KoDEgen: A Knowledge Driven Engineering Code Generating Tool. | Reuven Yagel, Anton Litovka, Iaakov Exman |
| 2012 | IC3K | ROM: An Approach to Self-consistency Verification of a Runnable Ontology Model. | Iaakov Exman, Reuven Yagel |
| 2010 | PODC | Purifying data by machine learning with certainty levels. | Shlomi Dolev, Guy Leshem, Reuven Yagel |
| 2007 | SSS | Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract). | Shlomi Dolev, Reuven Yagel |
| 2006 | SSS | Self-stabilizing Device Drivers. | Shlomi Dolev, Reuven Yagel |
| 2005 | SOSP | Self-stabilizing operating systems. | Shlomi Dolev, Reuven Yagel |
| 2005 | SSS | Memory Management for Self-stabilizing Operating Systems. | Shlomi Dolev, Reuven Yagel |