Identification of Pattern Languages from Examples and Queries - Assaf Marron; Ker-I Ko (Inf. Comput., 1987)

Learning Pattern Languages from a Single Initial Example and from Queries. - Assaf Marron (COLT, 1988)

Learning String Patterns and Tree Patterns from Examples. - Ker-I Ko; Assaf Marron; Wen-Guey Tzeng (ML, 1990)

Programming Coordinated Behavior in Java. - David Harel; Assaf Marron; Gera Weiss (ECOOP, 2010)

Coordinating and visualizing independent behaviors in erlang. - Guy Wiener; Gera Weiss; Assaf Marron (Erlang Workshop, 2010)

Model-checking behavioral programs. - David Harel; Robby Lampert; Assaf Marron; Gera Weiss (EMSOFT, 2011)

On Visualization and Comprehension of Scenario-Based Programs. - Nir Eitan; Michal Gordon; David Harel; Assaf Marron; Gera Weiss (ICPC, 2011)

Behavioral programming, decentralized control, and multiple time scales. - David Harel; Assaf Marron; Guy Wiener; Gera Weiss (SPLASH Workshops, 2011)

A decentralized approach for programming interactive applications with JavaScript and blockly. - Assaf Marron; Gera Weiss; Guy Wiener (AGERE!@SPLASH, 2012)

A software engineering framework for switched fuzzy systems. - David Harel; Assaf Marron; Amir Nissim; Gera Weiss (FUZZ-IEEE, 2012)

Non-intrusive Repair of Reactive Programs. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (ICECCS, 2012)

Spaghetti for the main course?: observations on the naturalness of scenario-based programming. - Michal Gordon; Assaf Marron; Orni Meerbaum-Salant (ITiCSE, 2012)

AGERE!: programming based on actors, agents, and decentralized control. - Alessandro Ricci; Assaf Marron; Rafael H. Bordini; Gul Agha (SPLASH, 2012)

Behavioral programming. - David Harel; Assaf Marron; Gera Weiss (Commun. ACM, 2012)

The quest for runware: on compositional, executable and intuitive models. - David Harel; Assaf Marron (Softw. Syst. Model., 2012)

On composing and proving the correctness of reactive behavior. - David Harel; Amir Kantor; Guy Katz; Assaf Marron; Lior Mizrahi; Gera Weiss (EMSOFT, 2013)

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (Trans. Comput. Collect. Intell., 2014)

On the Succinctness of Idioms for Concurrent Programming. - David Harel; Guy Katz; Robby Lampert; Assaf Marron; Gera Weiss (CONCUR, 2015)

The Effect of Concurrent Programming Idioms on Verification - A Position Paper. - David Harel; Guy Katz; Assaf Marron; Gera Weiss (MODELSWARD, 2015)

Wise Computing: Towards Endowing System Development with True Wisdom. - David Harel; Guy Katz; Rami Marelly; Assaf Marron (CoRR, 2015)

A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios. - Adiel Ashrov; Assaf Marron; Gera Weiss; Guy Wiener (Sci. Comput. Program., 2015)

Towards behavioral programming in distributed architectures. - David Harel; Amir Kantor; Guy Katz; Assaf Marron; Gera Weiss; Guy Wiener (Sci. Comput. Program., 2015)

Special issue on programming based on actors, agents and decentralized control. - Alessandro Ricci; Gul A. Agha; Rafael H. Bordini; Assaf Marron (Sci. Comput. Program., 2015)

Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. - Michael Bar-Sinai; Gera Weiss; Assaf Marron (EXE@MoDELS, 2016)

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. - Joel Greenyer; Daniel Gritzner; Guy Katz; Assaf Marron (D&P@MoDELS, 2016)

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. - Assaf Marron; Brit Arnon; Achiya Elyasaf; Michal Gordon; Guy Katz; Hadas Lapid; Rami Marelly; Dana Sherman; Smadar Szekely; Gera Weiss; David Harel (D&P@MoDELS, 2016)

An Initial Wise Development Environment for Behavioral Models. - David Harel; Guy Katz; Rami Marelly; Assaf Marron (MODELSWARD, 2016)

First Steps Towards a Wise Development Environment for Behavioral Models. - David Harel; Guy Katz; Rami Marelly; Assaf Marron (Int. J. Inf. Syst. Model. Des., 2016)

Structured Behavioral Programming Idioms. - Adiel Ashrov; Michal Gordon; Assaf Marron; Arnon Sturm; Gera Weiss (BPMDS/EMMSAD@CAiSE, 2017)

Crowd-Based Programming for Reactive Systems. - David Harel; Idan Heimlich; Rami Marelly; Assaf Marron (CSI-SE@ICSE, 2017)

A reactive specification formalism for enhancing system development, analysis and adaptivity. - Assaf Marron (MEMOCODE, 2017)

Distributing Scenario-based Models: A Replicate-and-Project Approach. - Shlomi Steinberg; Joel Greenyer; Daniel Gritzner; David Harel; Guy Katz; Assaf Marron (MODELSWARD, 2017)

Efficient Distributed Execution of Multi-component Scenario-Based Models. - Shlomi Steinberg; Joel Greenyer; Daniel Gritzner; David Harel; Guy Katz; Assaf Marron (MODELSWARD (Revised Selected Papers), 2017)

Towards Integration of Context-Based and Scenario-Based Development. - Achiya Elyasaf; David Harel; Assaf Marron; Gera Weiss (STAF Workshops, 2017)

ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. - Joel Greenyer; Daniel Gritzner; Timo Gutjahr; Florian König; Nils Glade; Assaf Marron; Guy Katz (Sci. Comput. Program., 2017)

Toward Scenario-Based Algorithmics. - David Harel; Assaf Marron (Adventures Between Lower Bounds and Higher Altitudes, 2018)

A Context-Based Behavioral Language for IoT. - Achiya Elyasaf; Assaf Marron; Arnon Sturm; Gera Weiss (MoDELS (Workshops), 2018)

Modeling and programming a leader-follower challenge problem with scenario-based tools. - Joel Greenyer; Michael Bar-Sinai; Gera Weiss; Aviran Sadon; Assaf Marron (MoDELS (Workshops), 2018)

Embedding Scenario-based Modeling in Statecharts. - Assaf Marron; Yotam Hacohen; David Harel; Andreas Mülder; Axel Terfloth (MoDELS (Workshops), 2018)

Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. - Joel Greenyer; Daniel Gritzner; David Harel; Assaf Marron (MODELSWARD, 2018)

Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. - Joel Greenyer; Daniel Gritzner; David Harel; Assaf Marron (MODELSWARD (Revised Selected Papers), 2018)

Wise Computing: Toward Endowing System Development with Proactive Wisdom. - David Harel; Guy Katz; Rami Marelly; Assaf Marron (Computer, 2018)

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). - David Harel; Assaf Marron; Ariel Rosenfeld; Moshe Y. Vardi; Gera Weiss (AAAI, 2019)

Executing Scenario-Based Specification with Dynamic Generation of Rich Events. - David Harel; Guy Katz; Assaf Marron; Aviran Sadon; Gera Weiss (MODELSWARD (Revised Selected Papers), 2019)

On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. - Guy Katz; Assaf Marron; Aviran Sadon; Gera Weiss (MODELSWARD, 2019)

Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. - Hadas Lapid; Assaf Marron; Smadar Szekely; David Harel (MODELSWARD, 2019)

Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. - David Harel; Rami Marelly; Assaf Marron; Smadar Szekely (CoRR, 2019)

Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. - Assaf Marron; Lior Limonad; Sarah Pollack; David Harel (SEAMS@ICSE, 2020)

Autonomics: In search of a foundation for next-generation autonomous systems. - David Harel; Assaf Marron; Joseph Sifakis (Proc. Natl. Acad. Sci. USA, 2020)

Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. - David Harel; Assaf Marron (ISoLA, 2021)

Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. - David Harel; Assaf Marron; Raz Yerushalmi (Computer, 2021)

Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. - David Harel; Rami Marelly; Assaf Marron; Smadar Szekely (IEEE Des. Test, 2021)

Scenario-assisted Deep Reinforcement Learning. - Raz Yerushalmi; Guy Amir; Achiya Elyasaf; David Harel; Guy Katz; Assaf Marron (MODELSWARD, 2022)

The biosphere computes evolution by autoencoding interacting organisms into species and decoding species into ecosystems. - Irun R. Cohen; Assaf Marron (CoRR, 2022)

Creating a Foundation for Next-Generation Autonomous Systems. - David Harel; Assaf Marron; Joseph Sifakis (IEEE Des. Test, 2022)

Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. - Yuval Bayer; David Harel; Assaf Marron; Smadar Szekely (MODELSWARD, 2023)

Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. - Assaf Marron; Irun R. Cohen; Guy Frankel; David Harel; Smadar Szekely (MODELSWARD, 2023)

Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales. - Assaf Marron; Irun R. Cohen; Guy Frankel; David Harel; Smadar Szekely (MODELSWARD (Revised Selected Papers), 2023)

Human or Machine: Reflections on Turing-Inspired Testing for the Everyday. - David Harel; Assaf Marron (CoRR, 2023)

Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. - David Harel; Uwe Aßmann; Fabiana Fournier; Lior Limonad; Assaf Marron; Smadar Szekely (CoRR, 2023)

Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. - Raz Yerushalmi; Guy Amir; Achiya Elyasaf; David Harel; Guy Katz; Assaf Marron (SN Comput. Sci., 2023)

On Augmenting Scenario-Based Modeling with Generative AI. - David Harel; Guy Katz; Assaf Marron; Smadar Szekely (MODELSWARD, 2024)

Categorizing methods for integrating machine learning with executable specifications. - David Harel; Raz Yerushalmi; Assaf Marron; Achiya Elyasaf (Sci. China Inf. Sci., 2024)

Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. - David Harel; Assaf Marron (CoRR, 2024)

The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter. - David Harel; Assaf Marron (Commun. ACM, 2024)

Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. - Assaf Marron; David Harel (MODELSWARD, 2025)

An infrastructure software perspective toward computation offloading between executable specifications and foundation models. - Dezhi Ran; Mengzhou Wu; Yuan Cao; Assaf Marron; David Harel; Tao Xie 001 (Sci. China Inf. Sci., 2025)

Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation. - Dezhi Ran; Mengzhou Wu; Hao Yu; Yuetong Li; Jun Ren; Yuan Cao; Xia Zeng; Haochuan Lu; Zexin Xu; Mengqian Xu; Ting Su 001; Liangchao Yao; et al. (CoRR, 2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model. - Hao Yu; Tianyu Chen; Jiaming Huang; Zongyang Li; Dezhi Ran; Xinyu Wang 006; Ying Li 012; Assaf Marron; David Harel; Yuan Xie; Tao Xie 001 (CoRR, 2025)

Data and System Perspectives of Sustainable Artificial Intelligence. - Tao Xie 001; David Harel; Dezhi Ran; Zhenwen Li; Maoliang Li; Zhi Yang 001; Leye Wang; Xiang Chen; Ying Zhang 012; Wentao Zhang 001; Meng Li; Chen Zhang 001; et al. (CoRR, 2025)

A Synthetic Pseudo-Autoencoder Invites Examination of Tacit Assumptions in Neural Network Design. - Assaf Marron (CoRR, 2025)

Meta-autoencoders: An approach to discovery and representation of relationships between dynamically evolving classes. - Assaf Marron; Smadar Szekely; Irun R. Cohen; David Harel (CoRR, 2025)