Skip to content

Assaf Marron

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

38

Venues

15

Active years

1988–2026

Best venue rank

A*

Where they publish

Papers

38 indexed papers, newest first.

YearVenueTitleAuthors
2026MODELSWARDA Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification.Assaf Marron, David Harel
2025MODELSWARDEarly Fault-Detection in the Development of Exceedingly Complex Reactive Systems.Assaf Marron, David Harel
2024MODELSWARDOn Augmenting Scenario-Based Modeling with Generative AI.David Harel, Guy Katz, Assaf Marron, Smadar Szekely
2023MODELSWARDToward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines.Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely
2023MODELSWARDChallenges 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
2023MODELSWARDChallenges 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
2022MODELSWARDScenario-assisted Deep Reinforcement Learning.Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2021ISoLAIntroducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing.David Harel, Assaf Marron
2020ICSEExpecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions.Assaf Marron, Lior Limonad, Sarah Pollack, David Harel
2019AAAILabor 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
2019MODELSWARDExecuting Scenario-Based Specification with Dynamic Generation of Rich Events.David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019MODELSWARDOn-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019MODELSWARDUsing Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways.Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel
2018MODELSA Context-Based Behavioral Language for IoT.Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss
2018MODELSModeling and programming a leader-follower challenge problem with scenario-based tools.Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron
2018MODELSEmbedding Scenario-based Modeling in Statecharts.Assaf Marron, Yotam Hacohen, David Harel, Andreas Mlder, Axel Terfloth
2018MODELSWARDTowards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models.Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
2018MODELSWARDTowards Automated Defect Analysis Using Execution Traces of Scenario-Based Models.Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
2017CaiSEStructured Behavioral Programming Idioms.Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm, Gera Weiss
2017ICSECrowd-Based Programming for Reactive Systems.David Harel, Idan Heimlich, Rami Marelly, Assaf Marron
2017MEMOCODEA reactive specification formalism for enhancing system development, analysis and adaptivity.Assaf Marron
2017MODELSWARDDistributing Scenario-based Models: A Replicate-and-Project Approach.Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
2017MODELSWARDEfficient Distributed Execution of Multi-component Scenario-Based Models.Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
2016MODELSDefining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries.Michael Bar-Sinai, Gera Weiss, Assaf Marron
2016MODELSScenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron
2016MODELSSix (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
2016MODELSWARDAn Initial Wise Development Environment for Behavioral Models.David Harel, Guy Katz, Rami Marelly, Assaf Marron
2015CONCUROn the Succinctness of Idioms for Concurrent Programming.David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss
2015MODELSWARDThe Effect of Concurrent Programming Idioms on Verification - A Position Paper.David Harel, Guy Katz, Assaf Marron, Gera Weiss
2013EMSOFTOn composing and proving the correctness of reactive behavior.David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss
2012ICECCSNon-intrusive Repair of Reactive Programs.David Harel, Guy Katz, Assaf Marron, Gera Weiss
2012ITiCSESpaghetti for the main course?: observations on the naturalness of scenario-based programming.Michal Gordon, Assaf Marron, Orni Meerbaum-Salant
2012OOPSLAAGERE!: programming based on actors, agents, and decentralized control.Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha
2011EMSOFTModel-checking behavioral programs.David Harel, Robby Lampert, Assaf Marron, Gera Weiss
2011OOPSLABehavioral programming, decentralized control, and multiple time scales.David Harel, Assaf Marron, Guy Wiener, Gera Weiss
2010ECOOPProgramming Coordinated Behavior in Java.David Harel, Assaf Marron, Gera Weiss
1990ICMLLearning String Patterns and Tree Patterns from Examples.Ker-I Ko, Assaf Marron, Wen-Guey Tzeng
1988COLTLearning Pattern Languages from a Single Initial Example and from Queries.Assaf Marron