Method of operating a data processing system having a dynamic software update facility A Marron US Patent 5,359,730, 1994 | 211 | 1994 |
Behavioral programming D Harel, A Marron, G Weiss Communications of the ACM 55 (7), 90-100, 2012 | 169 | 2012 |
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 | 122 | 1996 |
Method and system for predefined suspension and resumption control over I/O programs A Marron, AS Meritt US Patent 5,613,163, 1997 | 121 | 1997 |
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 | 88 | 1995 |
Programming coordinated behavior in java D Harel, A Marron, G Weiss ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010 | 72 | 2010 |
Channel measurement method and means RE Galbraith, SG Glassen, A Marron, KJ Oakes, DE Stucki, LW Wyman US Patent 5,265,240, 1993 | 71 | 1993 |
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 | 66 | 2012 |
Model-checking behavioral programs D Harel, R Lampert, A Marron, G Weiss Proceedings of the ninth ACM international conference on Embedded software …, 2011 | 61 | 2011 |
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 | 57 | 2020 |
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 | 53 | 2012 |
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 | 43 | 2017 |
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 | 38 | 2013 |
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 | 34 | 2012 |
Learning string patterns and tree patterns from examples KI Ko, A Marron, WG Tzeng Machine Learning Proceedings 1990, 384-391, 1990 | 34 | 1990 |
Learning pattern languages from a single initial example and from queries A Marron Proceedings of the first annual workshop on Computational learning theory …, 1988 | 33 | 1988 |
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 | 31 | 2016 |
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 | 31 | 2011 |
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 | 29 | 2014 |
Identification of pattern languages from examples and queries A Marron, KI Ko Information and Computation 74 (2), 91-112, 1987 | 29 | 1987 |