Остановите войну!
for scientists:
default search action
Assaf Marron
- > Home > Persons > Assaf Marron
Publications
- 2024
- [c41]David Harel, Guy Katz, Assaf Marron, Smadar Szekely:
On Augmenting Scenario-Based Modeling with Generative AI. MODELSWARD 2024: 235-246 - [i10]David Harel, Guy Katz, Assaf Marron, Smadar Szekely:
On Augmenting Scenario-Based Modeling with Generative AI. CoRR abs/2401.02245 (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) - 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) - 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 - [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 - [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 - [c29]Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth:
Embedding Scenario-based Modeling in Statecharts. MoDELS (Workshops) 2018: 443-452 - [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
- [c24]David Harel, Idan Heimlich, Rami Marelly, Assaf Marron:
Crowd-Based Programming for Reactive Systems. CSI-SE@ICSE 2017: 9-13 - [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) - [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
- [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) - [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) - [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 - 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
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-04-03 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint