Assaf Marron

Orcid: 0000-0001-5904-5105

Affiliations:
  • Weizmann Institute of Science, Israel


According to our database1, Assaf Marron authored at least 61 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Augmenting Scenario-Based Modeling with Generative AI.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling.
SN Comput. Sci., March, 2023

Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models.
CoRR, 2023

Human or Machine: Reflections on Turing-Inspired Testing for the Everyday.
CoRR, 2023

Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

2022
Creating a Foundation for Next-Generation Autonomous Systems.
IEEE Des. Test, 2022

The biosphere computes evolution by autoencoding interacting organisms into species and decoding species into ecosystems.
CoRR, 2022

Scenario-assisted Deep Reinforcement Learning.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems.
IEEE Des. Test, 2021

Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns.
Computer, 2021

Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020
Autonomics: In search of a foundation for next-generation autonomous systems.
Proc. Natl. Acad. Sci. USA, 2020

Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

2019
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems.
CoRR, 2019

Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Executing Scenario-Based Specification with Dynamic Generation of Rich Events.
Proceedings of the Model-Driven Engineering and Software Development, 2019

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea).
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Wise Computing: Toward Endowing System Development with Proactive Wisdom.
Computer, 2018

Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models.
Proceedings of the Model-Driven Engineering and Software Development, 2018

Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Embedding Scenario-based Modeling in Statecharts.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Modeling and programming a leader-follower challenge problem with scenario-based tools.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

A Context-Based Behavioral Language for IoT.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Toward Scenario-Based Algorithmics.
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

2017
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.
Sci. Comput. Program., 2017

Towards Integration of Context-Based and Scenario-Based Development.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Efficient Distributed Execution of Multi-component Scenario-Based Models.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Distributing Scenario-based Models: A Replicate-and-Project Approach.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

A reactive specification formalism for enhancing system development, analysis and adaptivity.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Crowd-Based Programming for Reactive Systems.
Proceedings of the 4th IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2017

Structured Behavioral Programming Idioms.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017

2016
First Steps Towards a Wise Development Environment for Behavioral Models.
Int. J. Inf. Syst. Model. Des., 2016

An Initial Wise Development Environment for Behavioral Models.
Proceedings of the MODELSWARD 2016, 2016

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries.
Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015
Special issue on programming based on actors, agents and decentralized control.
Sci. Comput. Program., 2015

Towards behavioral programming in distributed architectures.
Sci. Comput. Program., 2015

A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios.
Sci. Comput. Program., 2015

Wise Computing: Towards Endowing System Development with True Wisdom.
CoRR, 2015

The Effect of Concurrent Programming Idioms on Verification - A Position Paper.
Proceedings of the MODELSWARD 2015, 2015

On the Succinctness of Idioms for Concurrent Programming.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs.
Trans. Comput. Collect. Intell., 2014

2013
On composing and proving the correctness of reactive behavior.
Proceedings of the International Conference on Embedded Software, 2013

2012
The quest for runware: on compositional, executable and intuitive models.
Softw. Syst. Model., 2012

Behavioral programming.
Commun. ACM, 2012

AGERE!: programming based on actors, agents, and decentralized control.
Proceedings of the SPLASH'12, 2012

Spaghetti for the main course?: observations on the naturalness of scenario-based programming.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Non-intrusive Repair of Reactive Programs.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

A software engineering framework for switched fuzzy systems.
Proceedings of the FUZZ-IEEE 2012, 2012

A decentralized approach for programming interactive applications with JavaScript and blockly.
Proceedings of the 2nd edition on Programming systems, 2012

2011
Behavioral programming, decentralized control, and multiple time scales.
Proceedings of the SPLASH'11 Workshops, 2011

On Visualization and Comprehension of Scenario-Based Programs.
Proceedings of the 19th IEEE International Conference on Program Comprehension, 2011

Model-checking behavioral programs.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Coordinating and visualizing independent behaviors in erlang.
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

Programming Coordinated Behavior in Java.
Proceedings of the ECOOP 2010, 2010

1990
Learning String Patterns and Tree Patterns from Examples.
Proceedings of the Machine Learning, 1990

1988
Learning Pattern Languages from a Single Initial Example and from Queries.
Proceedings of the First Annual Workshop on Computational Learning Theory, 1988

1987
Identification of Pattern Languages from Examples and Queries
Inf. Comput., August, 1987


  Loading...