Follow
Assaf Marron
Title
Cited by
Cited by
Year
Method of operating a data processing system having a dynamic software update facility
A Marron
US Patent 5,359,730, 1994
2111994
Behavioral programming
D Harel, A Marron, G Weiss
Communications of the ACM 55 (7), 90-100, 2012
1702012
System for coordinating execution of multiple concurrent channel programs without host processor involvement using suspend and resume commands to control data transfer between …
FE Johnson, AS Meritt, A Marron
US Patent 5,584,039, 1996
1221996
Method and system for predefined suspension and resumption control over I/O programs
A Marron, AS Meritt
US Patent 5,613,163, 1997
1211997
Asynchronous command support for shared channels for a computer complex having multiple operating systems
MP Brown, R Cwiakala, KJ Fredericks, MJ Halma, DW Hollar, RE Hough, ...
US Patent 5,452,455, 1995
881995
Programming coordinated behavior in java
D Harel, A Marron, G Weiss
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
722010
Channel measurement method and means
RE Galbraith, SG Glassen, A Marron, KJ Oakes, DE Stucki, LW Wyman
US Patent 5,265,240, 1993
711993
A decentralized approach for programming interactive applications with javascript and blockly
A Marron, G Weiss, G Wiener
Proceedings of the 2nd edition on Programming systems, languages and …, 2012
662012
Model-checking behavioral programs
D Harel, R Lampert, A Marron, G Weiss
Proceedings of the ninth ACM international conference on Embedded software …, 2011
612011
Autonomics: In search of a foundation for next-generation autonomous systems
D Harel, A Marron, J Sifakis
Proceedings of the National Academy of Sciences 117 (30), 17491-17498, 2020
562020
Spaghetti for the main course? Observations on the naturalness of scenario-based programming
M Gordon, A Marron, O Meerbaum-Salant
Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012
532012
ScenarioTools–A tool suite for the scenario-based modeling and analysis of reactive systems
J Greenyer, D Gritzner, T Gutjahr, F König, N Glade, A Marron, G Katz
Science of Computer Programming 149, 15-27, 2017
432017
On composing and proving the correctness of reactive behavior
D Harel, A Kantor, G Katz, A Marron, L Mizrahi, G Weiss
2013 Proceedings of the International Conference on Embedded Software …, 2013
382013
Non-intrusive repair of reactive programs
D Harel, G Katz, A Marron, G Weiss
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
342012
Learning string patterns and tree patterns from examples
KI Ko, A Marron, WG Tzeng
Machine Learning Proceedings 1990, 384-391, 1990
341990
Learning pattern languages from a single initial example and from queries
A Marron
Proceedings of the first annual workshop on Computational learning theory …, 1988
331988
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
J Greenyer, D Gritzner, G Katz, A Marron
D&P@ MoDELS, 16-23, 2016
312016
Behavioral programming, decentralized control, and multiple time scales
D Harel, A Marron, G Wiener, G Weiss
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011
312011
Non-intrusive repair of safety and liveness violations in reactive programs
D Harel, G Katz, A Marron, G Weiss
Transactions on Computational Collective Intelligence XVI, 1-33, 2014
292014
Identification of pattern languages from examples and queries
A Marron, KI Ko
Information and Computation 74 (2), 91-112, 1987
291987
The system can't perform the operation now. Try again later.
Articles 1–20