Assaf Marron

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models 2025 Dezhi Ran
Mengzhou Wu
Yuan Cao
Assaf Marron
David Harel
Tao Xie
+ PDF Chat DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model 2025 Hao Yu
Tianyu Chen
Jiaming Huang
Zongyang Li
Dezhi Ran
Xinyu Wang
Ying Li
Assaf Marron
David Harel
Xie Yuan
+ PDF Chat Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation 2025 Dezhi Ran
Ming C. Wu
Hao Yu
Yuetong Li
Jun Ren
Yuan Cao
Xia Zeng
Haochuan Lu
Zizhen Xu
M. Xu
+ PDF Chat Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems 2024 David Harel
Assaf Marron
+ On Augmenting Scenario-Based Modeling with Generative AI 2024 David Harel
Guy Katz
Assaf Marron
Smadar Szekely
+ On Augmenting Scenario-Based Modeling with Generative AI 2024 David Harel
Guy Katz
Assaf Marron
Smadar Szekely
+ Evolution is driven by natural autoencoding: reframing species, interaction codes, cooperation and sexual reproduction 2023 Irun R. Cohen
Assaf Marron
+ The Human-or-Machine Matter: Turing-Inspired Reflections on an Everyday Issue 2023 David Harel
Assaf Marron
+ Fidelity and Consistency in Iterative Probabilistic Set Replication: Comparing Bi-Parental and Mono-Parental Methods 2023 Assaf Marron
Smadar Szekely
Irun R. Cohen
David Harel
+ Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models 2023 David Harel
Uwe Aßmann
Fabiana Fournier
Lior Limonad
Assaf Marron
Smadar Szekely
+ Scenario-assisted Deep Reinforcement Learning 2022 Raz Yerushalmi
Guy Amir
Achiya Elyasaf
David Harel
Guy Katz
Assaf Marron
+ Scenario-Assisted Deep Reinforcement Learning 2022 Raz Yerushalmi
Guy Amir
Achiya Elyasaf
David Harel
Guy Katz
Assaf Marron
+ Evolution is Driven by Natural Autoencoding: Reframing Species, Interaction Codes, Cooperation, and Sexual Reproduction 2022 Irun R. Cohen
Assaf Marron
+ PDF Chat Autonomics: In search of a foundation for next-generation autonomous systems 2020 David Harel
Assaf Marron
Joseph Sifakis
+ PDF Chat Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems 2020 David Harel
Rami Marelly
Assaf Marron
Smadar Szekely
+ PDF Chat Expecting the unexpected 2020 Assaf Marron
Lior Limonad
Sarah Pollack
David Harel
+ Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions 2020 Assaf Marron
Lior Limonad
Sarah Pollack
David Harel
+ Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. 2019 David Harel
Rami Marelly
Assaf Marron
Smadar Szekely
+ Autonomics: In Search of a Foundation for Next Generation Autonomous Systems 2019 David Harel
Assaf Marron
Joseph Sifakis
+ PDF Chat On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers 2019 Guy Katz
Assaf Marron
Aviran Sadon
Gera Weiss
+ On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers 2019 Guy Katz
Assaf Marron
Aviran Sadon
Gera Weiss
+ Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems 2019 David Harel
Rami Marelly
Assaf Marron
Smadar Szekely
+ On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers 2019 Guy Katz
Assaf Marron
Aviran Sadon
Gera Weiss
+ Wise Computing: Towards Endowing System Development with True Wisdom 2015 David Harel
Guy Katz
Rami Marelly
Assaf Marron
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat Autonomous Systems – An Architectural Characterization 2019 Joseph Sifakis
2
+ CARLA: An Open Urban Driving Simulator 2017 Alexey Dosovitskiy
Germán Ros
Felipe Codevilla
Antonio M. López
Vladlen Koltun
2
+ Paracosm: A Language and Tool for Testing Autonomous Driving Systems 2019 Rupak Majumdar
Aman Mathur
Marcus Pirron
Laura Stegner
Damien Zufferey
2
+ PDF Chat Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks 2017 Guy Katz
Clark Barrett
David L. Dill
Kyle D. Julian
Mykel J. Kochenderfer
2
+ On a Formal Model of Safe and Scalable Self-driving Cars 2017 Shai Shalev‐Shwartz
Shaked Shammah
Amnon Shashua
2
+ Toward a theory of evolution as multilevel learning 2022 Vitaly Vanchurin
Yuri I. Wolf
M. I. Katsnelson
Eugene V. Koonin
1
+ Judgment under Uncertainty: Heuristics and Biases 1975 Amos Tversky
Daniel Kahneman
1
+ Thermodynamics of evolution and the origin of life 2022 Vitaly Vanchurin
Yuri I. Wolf
Eugene V. Koonin
M. I. Katsnelson
1
+ Reasoning about Quality and Fuzziness of Strategic Behaviours 2019 Patricia Bouyer
Orna Kupferman
Nicolas Markey
Bastien Maubert
Aniello Murano
Giuseppe Perelli
1
+ The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision 2019 Jiayuan Mao
Chuang Gan
Pushmeet Kohli
Joshua B. Tenenbaum
Jiajun Wu
1
+ Autonomics: In Search of a Foundation for Next Generation Autonomous Systems 2019 David Harel
Assaf Marron
Joseph Sifakis
1
+ PDF Chat Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review 2020 Zaid Tahir
Rob Alexander
1