Assaf Marron

发表

Wise Computing: Toward Endowing System Development with Proactive Wisdom

David Harel, Guy Katz, Rami Marelly, 2018, Computer.

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing

David Harel, Guy Katz, Rami Marelly, 2016, D&P@MoDELS.

On the Succinctness of Idioms for Concurrent Programming

David Harel, Guy Katz, Assaf Marron, 2015, CONCUR.

AGERE!: programming based on actors, agents, and decentralized control

Rafael H. Bordini, Alessandro Ricci, Assaf Marron, 2012, SPLASH '12.

Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems pdf

David Harel, Rami Marelly, Assaf Marron, 2019, ArXiv.

LSC Language Reference Preliminary Version

Assaf Marron, 2010 .

Toward Scenario-Based Algorithmics

David Harel, Assaf Marron, 2018, Adventures Between Lower Bounds and Higher Altitudes.

Spaghetti for the main course?: observations on the naturalness of scenario-based programming

Assaf Marron, Orni Meerbaum-Salant, Michal Gordon, 2012, ITiCSE '12.

Towards behavioral programming in distributed architectures

Guy Wiener, David Harel, Guy Katz, 2015, Sci. Comput. Program..

On Visualization and Comprehension of Scenario-Based Programs

David Harel, Assaf Marron, Gera Weiss, 2011, 2011 IEEE 19th International Conference on Program Comprehension.

Crowd-Based Programming for Reactive Systems

David Harel, Rami Marelly, Assaf Marron, 2017, 2017 IEEE/ACM 4th International Workshop on CrowdSourcing in Software Engineering (CSI-SE).

Structured Behavioral Programming Idioms

Assaf Marron, Gera Weiss, Arnon Sturm, 2017, BPMDS/EMMSAD@CAiSE.

Programming Coordinated Behavior in Java

David Harel, Assaf Marron, Gera Weiss, 2010, ECOOP.

Learning pattern languages from a single initial example and from queries

Assaf Marron, Assaf Marron, 1988, Annual Conference Computational Learning Theory.

Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries

Assaf Marron, Gera Weiss, Michael Bar-Sinai, 2016, EXE@MoDELS.

A software engineering framework for switched fuzzy systems

David Harel, Assaf Marron, Gera Weiss, 2012, 2012 IEEE International Conference on Fuzzy Systems.

Learning pattern languages from examples and from queries

Assaf Marron, S. Stephen Huang, 1989 .

Identification of Pattern Languages from Examples and Queries

Assaf Marron, Ker-I Ko, K. Ko, 1987, Inf. Comput..

Model-checking behavioral programs

David Harel, Assaf Marron, Gera Weiss, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

A Review of Research in Behavioral Programming

David Harel, Assaf Marron, Gera Weiss, 2011 .

A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios

Guy Wiener, Assaf Marron, Gera Weiss, 2015, Sci. Comput. Program..

Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA

Gul Agha, Rafael H. Bordini, Alessandro Ricci, 2012, AGERE!@SPLASH.

Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways

David Harel, Assaf Marron, Hadas Lapid, 2019, MODELSWARD.

AN APPROACH TO ENHANCING ADVANCED COMPUTATIONAL PROBLEM SOLVING AND CRITICAL THINKING SKILLS

Assaf Marron, B. Haberman, S. Pollack, 2018 .

Wise Computing: Towards Endowing System Development with True Wisdom pdf

David Harel, Guy Katz, Rami Marelly, 2015, ArXiv.

Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models

David Harel, Assaf Marron, Joel Greenyer, 2018, MODELSWARD.

A decentralized approach for programming interactive applications with JavaScript and blockly

Guy Wiener, Assaf Marron, Gera Weiss, 2012, AGERE! 2012.

The effect of concurrent programming idioms on verification: A position paper

David Harel, Guy Katz, Assaf Marron, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)

David Harel, Assaf Marron, Moshe Y. Vardi, 2019, AAAI.

On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers

Guy Katz, Assaf Marron, Gera Weiss, 2019, MODELSWARD.

The quest for runware: on compositional, executable and intuitive models

David Harel, Assaf Marron, D. Harel, 2012, Software & Systems Modeling.

Non-intrusive Repair of Reactive Programs

David Harel, Guy Katz, Assaf Marron, 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.

On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers pdf

Guy Katz, Assaf Marron, Gera Weiss, 2019, MODELSWARD 2019.

Special issue on programming based on actors, agents and decentralized control

Rafael H. Bordini, Alessandro Ricci, Assaf Marron, 2015, Sci. Comput. Program..

Behavioral programming

David Harel, Assaf Marron, Gera Weiss, 2012, CACM.

Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways.

David Harel, Assaf Marron, Hadas Lapid, 2019, MODELSWARD 2019.

Towards Integration of Context-Based and Scenario-Based Development

David Harel, Assaf Marron, Gera Weiss, 2017, STAF Workshops.

On composing and proving the correctness of reactive behavior

David Harel, Guy Katz, Assaf Marron, 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

Learning String Patterns and Tree Patterns from Examples

Wen-Guey Tzeng, Assaf Marron, Ker-I Ko, 1990, ML.

A Context-Based Behavioral Language for IoT

Assaf Marron, Gera Weiss, Arnon Sturm, 2018, MoDELS.

Distributed Execution of Scenario-based Specifications of Structurally Dynamic Cyber-Physical Systems

Guy Katz, Assaf Marron, Joel Greenyer, 2016 .

An initial wise development environment for behavioral models

David Harel, Guy Katz, Rami Marelly, 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

The evolution of universal adaptations of life is driven by universal properties of matter: energy, entropy, and interaction

Assaf Marron, Irun R. Cohen, I. Cohen, 2020, F1000Research.

Coordinating and visualizing independent behaviors in erlang

Guy Wiener, Assaf Marron, Gera Weiss, 2010, Erlang '10.

Behavioral programming, decentralized control, and multiple time scales

Guy Wiener, David Harel, Assaf Marron, 2011, SPLASH Workshops.

Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions

David Harel, Assaf Marron, Lior Limonad, 2020, 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Efficient Distributed Execution of Multi-component Scenario-Based Models

David Harel, Guy Katz, Assaf Marron, 2017, MODELSWARD.

Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models

David Harel, Assaf Marron, Joel Greenyer, 2018, MODELSWARD.

ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems

Guy Katz, Assaf Marron, Joel Greenyer, 2017, Sci. Comput. Program..

Autonomics: In search of a foundation for next-generation autonomous systems

Joseph Sifakis, David Harel, Assaf Marron, 2019, Proceedings of the National Academy of Sciences.

A reactive specification formalism for enhancing system development, analysis and adaptivity

Assaf Marron, 2017, MEMOCODE.

First Steps Towards a Wise Development Environment for Behavioral Models

David Harel, Guy Katz, Rami Marelly, 2016, Int. J. Inf. Syst. Model. Des..

Executing Scenario-Based Specification with Dynamic Generation of Rich Events

David Harel, Guy Katz, Assaf Marron, 2019, MODELSWARD.

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs

David Harel, Guy Katz, Assaf Marron, 2014, Trans. Comput. Collect. Intell..

Modeling and programming a leader-follower challenge problem with scenario-based tools

Assaf Marron, Gera Weiss, Joel Greenyer, 2018, MODELS Workshops.

Embedding Scenario-based Modeling in Statecharts

David Harel, Assaf Marron, Axel Terfloth, 2018, MODELS Workshops.

Distributing Scenario-based Models: A Replicate-and-Project Approach

David Harel, Guy Katz, Assaf Marron, 2017, MODELSWARD.

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools

Guy Katz, Assaf Marron, Joel Greenyer, 2016, D&P@MoDELS.

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, D. Harel, 2021, ISoLA.

Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems

David Harel, Rami Marelly, Assaf Marron, 2021, IEEE Design & Test.

Creating a Foundation for Next-Generation Autonomous Systems

Joseph Sifakis, David Harel, Assaf Marron, 2021 .

Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns

David Harel, Assaf Marron, Raz Yerushalmi, 2021, Computer.