Concepedia

Assaf Marron

AM

25

Publications

659

Citations

15

H-Index

1987

Active since

Affiliations

Weizmann Institute of Science(Current)

Ben-Gurion University of the Negev

Hewlett-Packard (United States)

Leibniz University Hannover

Stanford University

Assaf Marron is an author at Weizmann Institute of Science specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware EngineeringSoftware DesignSoftware AnalysisFormal MethodsAutomated ReasoningSystem SoftwareSoftware Testing

Publications per year

1987–2023

25

Publications

25

Behavioral programming

David Harel, Assaf Marron, Gera Weiss · Communications of the ACM · 2012 · 137 citations

Programming Language Theory, Novel Paradigm, Engineering +15

Spaghetti for the main course?

Michal Gordon, Assaf Marron, Orni Meerbaum–Salant · 2012 · 69 citations

Engineering, Education, Software Engineering +17

Autonomics: In Search of a Foundation for Next Generation Autonomous\n Systems

David Harel, Assaf Marron, Joseph Sifakis · arXiv (Cornell University) · 2019 · 51 citations · Full text

Model-checking behavioral programs

David Harel, Robby Lampert, Assaf Marron et al. · 2011 · 44 citations

Program Checking, Engineering, Verification +20

A decentralized approach for programming interactive applications with JavaScript and blockly

Assaf Marron, Gera Weiss, Guy Wiener · 2012 · 40 citations

Browser User Interface, Engineering, Interactive Applications +12

Rows per page

1–5 of 25