AMDA: Matching the Model-Driven-Architecture's Goals Using Extended Automata as a Common Model for Design and Execution. - David Dayan; Rivka Kaplinsky; Aryeh Wiesen; Simon Bloch (SwSTE, 2007)

EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution. - David Dayan; Moshe Goldstein; Shimon Mizrahi; Max Rabin; Devora Berlowitz; Or Berlowitz; Elad Bussani Levy; Moshe Naaman; Mor Nagar; Ditsa Soudry; Raphael B. Yehezkael; Miroslav Popovic (ECBS-EERC, 2015)

Flexible Algorithms: Enabling Well-Defined Order-Independent Execution with an Imperative Programming Style. - Raphael B. Yehezkael; Moshe Goldstein; David Dayan; Shimon Mizrahi (ECBS-EERC, 2015)

Design principles of an embedded language (EFL) enabling well defined order-independent execution. - Moshe Goldstein; David Dayan; Max Rabin; Devora Berlowitz; Or Berlowitz; Raphael B. Yehezkael (ECBS, 2017)

A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory. - Branislav Kordic; Marko Popovic; Miroslav Popovic; Moshe Goldstein; Moshe Amitay; David Dayan (ECBS, 2019)

MDA Models and PIM/PSM Transformations Using Extended Automata. - David Dayan; Rivka Kaplinsky; Aryeh Wiesen; Simon Bloch (CoRR, 2020)

Implementing the Hammock-EFL Methodology for Project Management and Parallel Programming: (research in progress). - Moshe Goldstein; Oren Eliezer 001; David Dayan (ECBS, 2021)