default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAssaf Marron
Person information
- affiliation: Weizmann Institute of Science, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j17]David Harel, Assaf Marron:
The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter. Commun. ACM 67(6): 62-69 (2024)- [j16]David Harel
, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf:
Categorizing methods for integrating machine learning with executable specifications. Sci. China Inf. Sci. 67(1) (2024) - [c41]David Harel, Guy Katz, Assaf Marron, Smadar Szekely:
On Augmenting Scenario-Based Modeling with Generative AI. MODELSWARD 2024: 235-246 - [i11]David Harel, Guy Katz, Assaf Marron, Smadar Szekely:
On Augmenting Scenario-Based Modeling with Generative AI. CoRR abs/2401.02245 (2024) - [i10]David Harel, Assaf Marron:
Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. CoRR abs/2410.02627 (2024) - 2023
- [j15]Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron:
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. SN Comput. Sci. 4(2): 156 (2023) - [c40]Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely:
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. MODELSWARD 2023: 202-209 - [c39]Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely:
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. MODELSWARD 2023: 275-282 - [i9]David Harel, Assaf Marron:
Human or Machine: Reflections on Turing-Inspired Testing for the Everyday. CoRR abs/2305.04312 (2023) - [i8]David Harel, Uwe Aßmann, Fabiana Fournier, Lior Limonad, Assaf Marron, Smadar Szekely:
Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. CoRR abs/2312.16507 (2023) - 2022
- [j14]David Harel, Assaf Marron, Joseph Sifakis:
Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39(1): 49-56 (2022) - [c38]Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron:
Scenario-assisted Deep Reinforcement Learning. MODELSWARD 2022: 310-319 - [i7]Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron:
Scenario-Assisted Deep Reinforcement Learning. CoRR abs/2202.04337 (2022) - [i6]Irun R. Cohen, Assaf Marron:
The biosphere computes evolution by autoencoding interacting organisms into species and decoding species into ecosystems. CoRR abs/2203.11891 (2022) - 2021
- [j13]David Harel, Assaf Marron, Raz Yerushalmi:
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. Computer 54(10): 95-101 (2021) - [j12]David Harel, Rami Marelly, Assaf Marron, Smadar Szekely:
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. IEEE Des. Test 38(5): 35-47 (2021) - [c37]David Harel, Assaf Marron:
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. ISoLA 2021: 322-334 - 2020
- [j11]David Harel, Assaf Marron, Joseph Sifakis:
Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA 117(30): 17491-17498 (2020) - [c36]Assaf Marron, Lior Limonad, Sarah Pollack, David Harel:
Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. SEAMS@ICSE 2020: 167-173 - [i5]Assaf Marron, Lior Limonad, Sarah Pollack, David Harel:
Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions. CoRR abs/2001.06047 (2020)
2010 – 2019
- 2019
- [c35]David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss:
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI 2019: 9770-9774 - [c34]Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss:
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. MODELSWARD 2019: 141-154 - [c33]David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss:
Executing Scenario-Based Specification with Dynamic Generation of Rich Events. MODELSWARD (Revised Selected Papers) 2019: 246-274 - [c32]Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel:
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. MODELSWARD 2019: 454-464 - [i4]Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss:
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. CoRR abs/1909.00408 (2019) - [i3]David Harel, Assaf Marron, Joseph Sifakis:
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. CoRR abs/1911.07133 (2019) - [i2]David Harel, Rami Marelly, Assaf Marron, Smadar Szekely:
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. CoRR abs/1911.10691 (2019) - 2018
- [j10]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
Wise Computing: Toward Endowing System Development with Proactive Wisdom. Computer 51(2): 14-26 (2018) - [c31]David Harel, Assaf Marron:
Toward Scenario-Based Algorithmics. Adventures Between Lower Bounds and Higher Altitudes 2018: 549-567 - [c30]Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron:
Modeling and programming a leader-follower challenge problem with scenario-based tools. MoDELS (Workshops) 2018: 376-385 - [c29]Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth:
Embedding Scenario-based Modeling in Statecharts. MoDELS (Workshops) 2018: 443-452 - [c28]Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss:
A Context-Based Behavioral Language for IoT. MoDELS (Workshops) 2018: 485-494 - [c27]Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) 2018: 335-354 - [c26]Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD 2018: 560-566 - 2017
- [j9]Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz:
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. Sci. Comput. Program. 149: 15-27 (2017) - [c25]Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm, Gera Weiss:
Structured Behavioral Programming Idioms. BPMDS/EMMSAD@CAiSE 2017: 319-333 - [c24]David Harel, Idan Heimlich, Rami Marelly, Assaf Marron:
Crowd-Based Programming for Reactive Systems. CSI-SE@ICSE 2017: 9-13 - [c23]Assaf Marron:
A reactive specification formalism for enhancing system development, analysis and adaptivity. MEMOCODE 2017: 161-164 - [c22]Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron:
Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD 2017: 182-195 - [c21]Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron:
Efficient Distributed Execution of Multi-component Scenario-Based Models. MODELSWARD (Revised Selected Papers) 2017: 449-483 - [c20]Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss:
Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops 2017: 225-231 - 2016
- [j8]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
First Steps Towards a Wise Development Environment for Behavioral Models. Int. J. Inf. Syst. Model. Des. 7(3): 1-22 (2016) - [c19]Michael Bar-Sinai, Gera Weiss, Assaf Marron:
Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. EXE@MoDELS 2016: 5-11 - [c18]Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron:
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. D&P@MoDELS 2016: 16-23 - [c17]Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel:
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS 2016: 94-100 - [c16]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
An Initial Wise Development Environment for Behavioral Models. MODELSWARD 2016: 600-612 - 2015
- [j7]Alessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron:
Special issue on programming based on actors, agents and decentralized control. Sci. Comput. Program. 98: 117-119 (2015) - [j6]David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener:
Towards behavioral programming in distributed architectures. Sci. Comput. Program. 98: 233-267 (2015) - [j5]Adiel Ashrov, Assaf Marron, Gera Weiss, Guy Wiener:
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios. Sci. Comput. Program. 98: 268-292 (2015) - [c15]David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss:
On the Succinctness of Idioms for Concurrent Programming. CONCUR 2015: 85-99 - [c14]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD 2015: 363-369 - [i1]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
Wise Computing: Towards Endowing System Development with True Wisdom. CoRR abs/1501.05924 (2015) - 2014
- [j4]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. 16: 1-33 (2014) - 2013
- [c13]David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss:
On composing and proving the correctness of reactive behavior. EMSOFT 2013: 13:1-13:10 - 2012
- [j3]David Harel, Assaf Marron, Gera Weiss:
Behavioral programming. Commun. ACM 55(7): 90-100 (2012) - [j2]David Harel, Assaf Marron:
The quest for runware: on compositional, executable and intuitive models. Softw. Syst. Model. 11(4): 599-608 (2012) - [c12]Assaf Marron, Gera Weiss, Guy Wiener:
A decentralized approach for programming interactive applications with JavaScript and blockly. AGERE!@SPLASH 2012: 59-70 - [c11]David Harel, Assaf Marron, Amir Nissim, Gera Weiss:
A software engineering framework for switched fuzzy systems. FUZZ-IEEE 2012: 1-9 - [c10]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Reactive Programs. ICECCS 2012: 3-12 - [c9]Michal Gordon, Assaf Marron, Orni Meerbaum-Salant:
Spaghetti for the main course?: observations on the naturalness of scenario-based programming. ITiCSE 2012: 198-203 - [c8]Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha:
AGERE!: programming based on actors, agents, and decentralized control. SPLASH 2012: 215-216 - [e1]Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci:
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. ACM 2012, ISBN 978-1-4503-1630-9 [contents] - 2011
- [c7]David Harel, Robby Lampert, Assaf Marron, Gera Weiss:
Model-checking behavioral programs. EMSOFT 2011: 279-288 - [c6]Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss:
On Visualization and Comprehension of Scenario-Based Programs. ICPC 2011: 189-192 - [c5]David Harel, Assaf Marron, Guy Wiener, Gera Weiss:
Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops 2011: 171-182 - 2010
- [c4]David Harel, Assaf Marron, Gera Weiss:
Programming Coordinated Behavior in Java. ECOOP 2010: 250-274 - [c3]Guy Wiener, Gera Weiss, Assaf Marron:
Coordinating and visualizing independent behaviors in erlang. Erlang Workshop 2010: 13-22
1990 – 1999
- 1990
- [c2]Ker-I Ko, Assaf Marron, Wen-Guey Tzeng:
Learning String Patterns and Tree Patterns from Examples. ML 1990: 384-391
1980 – 1989
- 1988
- [c1]Assaf Marron:
Learning Pattern Languages from a Single Initial Example and from Queries. COLT 1988: 345-358 - 1987
- [j1]Assaf Marron, Ker-I Ko:
Identification of Pattern Languages from Examples and Queries. Inf. Comput. 74(2): 91-112 (1987)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
