Assaf Marron - RankMe

84 papers A* 2A 2B 4C 14Misc 2Journal 37Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification. MODELSWARD Assaf Marron, David Harel
2026	—	`conf`	Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. Engineering Safe and Trustworthy Cyber Physical Systems David Harel, Uwe Aßmann, Fabiana Fournier, Lior Limonad, Assaf Marron, Smadar Szekely
2025	J	`jnl`	A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification. CoRR Assaf Marron, David Harel
2025	J	`jnl`	A Synthetic Pseudo-Autoencoder Invites Examination of Tacit Assumptions in Neural Network Design. CoRR Assaf Marron
2025	J	`jnl`	An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models. CoRR Dezhi Ran, Mengzhou Wu, Yuan Cao, Assaf Marron, David Harel, Tao Xie
2025	J	`jnl`	An infrastructure software perspective toward computation offloading between executable specifications and foundation models. Sci. China Inf. Sci. Dezhi Ran, Mengzhou Wu, Yuan Cao, Assaf Marron, David Harel, Tao Xie
2025	J	`jnl`	Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation. CoRR Dezhi Ran, Mengzhou Wu, Hao Yu, Yuetong Li, Jun Ren, Yuan Cao, Xia Zeng, Haochuan Lu, Zexin Xu, Mengqian Xu, Ting Su, Liangchao Yao, Ting Xiong, Wei Yang, Yuetang Deng, Assaf Marron, David Harel, Tao Xie
2025	J	`jnl`	Data and System Perspectives of Sustainable Artificial Intelligence. CoRR Tao Xie, David Harel, Dezhi Ran, Zhenwen Li, Maoliang Li, Zhi Yang, Leye Wang, Xiang Chen, Ying Zhang, Wentao Zhang, Meng Li, Chen Zhang, Linyi Li, Assaf Marron
2025	J	`jnl`	DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model. CoRR Hao Yu, Tianyu Chen, Jiaming Huang, Zongyang Li, Dezhi Ran, Xinyu Wang, Ying Li, Assaf Marron, David Harel, Yuan Xie, Tao Xie
2025	C	`conf`	Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. MODELSWARD Assaf Marron, David Harel
2025	J	`jnl`	From Executable Specifications to Hard-to-Specify Requirements: Challenges in Describing Reactive System Behavior. IEEE Trans. Software Eng. David Harel, Assaf Marron
2025	—	`conf`	Meta-autoencoders: An Approach to Discovery and Representation of Relationships Between Dynamically Evolving Classes - A Work-in-Progress Report. CSCML Assaf Marron, Smadar Szekely, Irun R. Cohen, David Harel
2025	J	`jnl`	Meta-autoencoders: An approach to discovery and representation of relationships between dynamically evolving classes. CoRR Assaf Marron, Smadar Szekely, Irun R. Cohen, David Harel
2024	J	`jnl`	Categorizing methods for integrating machine learning with executable specifications. Sci. China Inf. Sci. David Harel, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf
2024	C	`conf`	On Augmenting Scenario-Based Modeling with Generative AI. MODELSWARD David Harel, Guy Katz, Assaf Marron, Smadar Szekely
2024	J	`jnl`	On Augmenting Scenario-Based Modeling with Generative AI. CoRR David Harel, Guy Katz, Assaf Marron, Smadar Szekely
2024	J	`jnl`	Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. CoRR David Harel, Assaf Marron
2024	J	`jnl`	The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter. Commun. ACM David Harel, Assaf Marron
2023	—	`conf`	Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales. MODELSWARD (Revised Selected Papers) Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely
2023	C	`conf`	Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. MODELSWARD Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely
2023	J	`jnl`	Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. SN Comput. Sci. Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2023	J	`jnl`	Human or Machine: Reflections on Turing-Inspired Testing for the Everyday. CoRR David Harel, Assaf Marron
2023	C	`conf`	Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. MODELSWARD Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely
2023	J	`jnl`	Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. CoRR David Harel, Uwe Aßmann, Fabiana Fournier, Lior Limonad, Assaf Marron, Smadar Szekely
2022	J	`jnl`	Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test David Harel, Assaf Marron, Joseph Sifakis
2022	J	`jnl`	Scenario-Assisted Deep Reinforcement Learning. CoRR Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2022	C	`conf`	Scenario-assisted Deep Reinforcement Learning. MODELSWARD Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2022	J	`jnl`	The biosphere computes evolution by autoencoding interacting organisms into species and decoding species into ecosystems. CoRR Irun R. Cohen, Assaf Marron
2021	J	`jnl`	Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. IEEE Des. Test David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
2021	C	`conf`	Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. ISoLA David Harel, Assaf Marron
2021	J	`jnl`	Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. Computer David Harel, Assaf Marron, Raz Yerushalmi
2020	J	`jnl`	Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA David Harel, Assaf Marron, Joseph Sifakis
2020	J	`jnl`	Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions. CoRR Assaf Marron, Lior Limonad, Sarah Pollack, David Harel
2020	—	`conf`	Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. SEAMS@ICSE Assaf Marron, Lior Limonad, Sarah Pollack, David Harel
2019	J	`jnl`	Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. CoRR David Harel, Assaf Marron, Joseph Sifakis
2019	—	`conf`	Executing Scenario-Based Specification with Dynamic Generation of Rich Events. MODELSWARD (Revised Selected Papers) David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019	J	`jnl`	Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. CoRR David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
2019	A*	`conf`	Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss
2019	C	`conf`	On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. MODELSWARD Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019	J	`jnl`	On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. CoRR Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019	C	`conf`	Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. MODELSWARD Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel
2018	—	`conf`	A Context-Based Behavioral Language for IoT. MoDELS (Workshops) Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss
2018	—	`conf`	Embedding Scenario-based Modeling in Statecharts. MoDELS (Workshops) Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth
2018	—	`conf`	Modeling and programming a leader-follower challenge problem with scenario-based tools. MoDELS (Workshops) Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron
2018	—	`conf`	Toward Scenario-Based Algorithmics. Adventures Between Lower Bounds and Higher Altitudes David Harel, Assaf Marron
2018	—	`conf`	Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
2018	C	`conf`	Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
2018	J	`jnl`	Wise Computing: Toward Endowing System Development with Proactive Wisdom. Computer David Harel, Guy Katz, Rami Marelly, Assaf Marron
2017	C	`conf`	A reactive specification formalism for enhancing system development, analysis and adaptivity. MEMOCODE Assaf Marron
2017	—	`conf`	Crowd-Based Programming for Reactive Systems. CSI-SE@ICSE David Harel, Idan Heimlich, Rami Marelly, Assaf Marron
2017	C	`conf`	Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
2017	—	`conf`	Efficient Distributed Execution of Multi-component Scenario-Based Models. MODELSWARD (Revised Selected Papers) Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
2017	J	`jnl`	ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. Sci. Comput. Program. Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz
2017	—	`conf`	Structured Behavioral Programming Idioms. BPMDS/EMMSAD@CAiSE Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm, Gera Weiss
2017	—	`conf`	Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss
2016	C	`conf`	An Initial Wise Development Environment for Behavioral Models. MODELSWARD David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016	—	`conf`	Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. EXE@MoDELS Michael Bar-Sinai, Gera Weiss, Assaf Marron
2016	J	`jnl`	First Steps Towards a Wise Development Environment for Behavioral Models. Int. J. Inf. Syst. Model. Des. David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016	—	`conf`	Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. D&P@MoDELS Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron
2016	—	`conf`	Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel
2015	J	`jnl`	A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios. Sci. Comput. Program. Adiel Ashrov, Assaf Marron, Gera Weiss, Guy Wiener
2015	B	`conf`	On the Succinctness of Idioms for Concurrent Programming. CONCUR David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss
2015	J	`jnl`	Special issue on programming based on actors, agents and decentralized control. Sci. Comput. Program. Alessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron
2015	C	`conf`	The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD David Harel, Guy Katz, Assaf Marron, Gera Weiss
2015	J	`jnl`	Towards behavioral programming in distributed architectures. Sci. Comput. Program. David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener
2015	J	`jnl`	Wise Computing: Towards Endowing System Development with True Wisdom. CoRR David Harel, Guy Katz, Rami Marelly, Assaf Marron
2014	J	`jnl`	Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. David Harel, Guy Katz, Assaf Marron, Gera Weiss
2013	Misc	`conf`	On composing and proving the correctness of reactive behavior. EMSOFT David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss
2012	—	`conf`	A decentralized approach for programming interactive applications with JavaScript and blockly. AGERE!@SPLASH Assaf Marron, Gera Weiss, Guy Wiener
2012	B	`conf`	A software engineering framework for switched fuzzy systems. FUZZ-IEEE David Harel, Assaf Marron, Amir Nissim, Gera Weiss
2012	—	`conf`	AGERE!: programming based on actors, agents, and decentralized control. SPLASH Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha
2012	J	`jnl`	Behavioral programming. Commun. ACM David Harel, Assaf Marron, Gera Weiss
2012	B	`conf`	Non-intrusive Repair of Reactive Programs. ICECCS David Harel, Guy Katz, Assaf Marron, Gera Weiss
2012	—	`ed.`	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 AGERE!@SPLASH Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci
2012	B	`conf`	Spaghetti for the main course?: observations on the naturalness of scenario-based programming. ITiCSE Michal Gordon, Assaf Marron, Orni Meerbaum-Salant
2012	J	`jnl`	The quest for runware: on compositional, executable and intuitive models. Softw. Syst. Model. David Harel, Assaf Marron
2011	—	`conf`	Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops David Harel, Assaf Marron, Guy Wiener, Gera Weiss
2011	Misc	`conf`	Model-checking behavioral programs. EMSOFT David Harel, Robby Lampert, Assaf Marron, Gera Weiss
2011	A	`conf`	On Visualization and Comprehension of Scenario-Based Programs. ICPC Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss
2010	—	`conf`	Coordinating and visualizing independent behaviors in erlang. Erlang Workshop Guy Wiener, Gera Weiss, Assaf Marron
2010	A	`conf`	Programming Coordinated Behavior in Java. ECOOP David Harel, Assaf Marron, Gera Weiss
1990	—	`conf`	Learning String Patterns and Tree Patterns from Examples. ML Ker-I Ko, Assaf Marron, Wen-Guey Tzeng
1988	A*	`conf`	Learning Pattern Languages from a Single Initial Example and from Queries. COLT Assaf Marron
1987	J	`jnl`	Identification of Pattern Languages from Examples and Queries Inf. Comput. Assaf Marron, Ker-I Ko