Publications
Articles in journals and conferences (see also my DBLP page)
-
I.R. Cohen and A. Marron, “The evolution of universal adaptations of life is driven by universal properties of matter: energy, entropy, and interaction” F1000Research 2020, 9:626 (https://doi.org/10.12688/f1000research.24447.1) https://f1000research.com/articles/9-626 .
-
A. Marron, L. Limonad, S. Pollack, and D. Harel, “Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions”. 15th Int. Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2020 (arXiv preprint https://arxiv.org/abs/2001.06047).
-
D. Harel, G. Katz, A. Marron, A. Sadon, and G. Weiss “Executing Scenario-Based Specification with Dynamic Generation of Rich Events”, in “Model-Driven Engineering and Software Development”, Springer, 2020.
-
D. Harel, R, Marelly, A. Marron, S. Szekely, “Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems”. IEEE Design and Test, 2020. (arXiv preprint arXiv:1911.10691. 2019)
-
D. Harel, A. Marron, and J. Sifakis, “Autonomics: In Search of a Foundation for Next Generation Autonomous Systems.” Proceedings of National Academy of Sciences (PNAS) 2020 (arXiv preprint arXiv:1911.07133, 2019).
-
G. Katz, A. Marron, A. Sadon, and G. Weiss, “On-the-Fly Construction of Composite Events in Scenario-Based Modeling Using Constraint Solvers”, Proc. 7th Int. Conf. on Model-Driven Engineering and Software Development MODELSWARD, 2019.
-
H. Lapid, A. Marron, S. Szekely, and D. Harel, “Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways”, Proc. 7th Int. Conf. on Model-Driven Engineering and Software Development MODELSWARD, 2019.
-
D. Harel, A. Marron, A. Rosenfeld, M. Vardi, and G. Weiss, “Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 33, pp. 9770-9774), 2019.
-
S. Pollack, O. Meerbaum Salant, A. Marron, B. Haberman, “An Approach To Enhancing Advanced Computational Problem Solving And Critical Thinking Skills. 11th International Conference of Education, Research and Innovation (ICERI) 2018.
-
J. Greenyer, M. Bar-Sinai, G. Weiss, A. Sadon and A. Marron, “Modeling And Programming A Leader-Lollower Challenge Problem With Scenario-Based Tools”, MDETOOLS workshop at MoDELS, 2018.
-
A. Elyasaf, A. Marron, A. Sturm and G. Weiss, “A Context-Based Behavioral Language for IoT”, MORSE workshop ate MoDELS, 2018.
-
A. Marron, Y. Hacohen, D. Harel, A. Mülder and A. Terfloth, “Embedding Scenario-based Modeling in Statecharts”, MORSE workshop at MoDELS, 2018.
-
J. Greenyer, D. Gritzner, D. Harel and A. Marron, "Towards Automated Defect Analysis using Execution Traces of Scenario-based Models", in “Model-Driven Engineering and Software Development” (pp. 335-354). Springer, Cham.
-
D. Harel and A. Marron, "Toward Scenario-Based Algorithmics", in “Adventures between Lower Bounds and Higher Altitudes”, Springer, 2018.
-
J. Greenyer, D. Gritzner, D. Harel and A. Marron, "Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models", Proc. 6th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `18), pp. 560-566. 2018.
-
D. Harel, G. Katz, R. Marelly and A. Marron, “Wise Computing: Towards Endowing System Development with Proactive Wisdom”, IEEE Computer, 51(2): pp. 14-26, 2018 (Preliminary version at http://arxiv.org/abs/1501.05924 2015).
-
A. Marron, “A Reactive Specification Formalism for Enhancing System Development, Analysis and Adaptivity”, 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2017.
-
A. Elyasaf, D. Harel, A. Marron and G. Weiss, “Towards Synergistic Integration of Context-Based and Scenario-Based Development”, 4th Workshop on Model-Driven Robot Software Engineering (MORSE; at STAF conference), 2017.
-
D. Harel, I. Heimlich, R. Marelly and A. Marron, "Crowd-Based Programming for Reactive Systems", Proc. IEEE/ACM 4th Int. Workshop on Crowd-Sourcing in Software Engineering (CSI-SE), 2017.
-
A. Ashrov, M. Gordon, A. Marron, A. Sturm, G. Weiss, “Structured Behavioral Programming Idioms” Evaluation and Modeling Methods for Systems Analysis and Development (EMMSAD), 2017.
-
S. Steinberg, J. Greenyer, D. Gritzner, D. Harel, G. Katz and A. Marron, "Distributing Scenario-Based Models: A Replicate-and-Project Approach", Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), 2017.
-
A. Elyasaf, A. Marron and G. Weiss, “Hierarchical Live Sequence Charts”, Haifa Verification Conference (HVC), 2016, a work-in-progress poster.
-
M. Bar-Sinai, G. Weiss and A. Marron, “Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries”, in 2nd International Workshop on Executable Modeling (EXE), co-located with MoDELS, 2016.
-
A. Marron, B. Arnon, A. Elyasaf, M. Gordon, G. Katz, H. Lapid, R. Marelly, D. Sherman, S. Szekely, G. Weiss, and D. Harel. “Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing”, In MoDELS, 2016. (A work-in-progress poster).
-
J. Greenyer, D. Gritzner, G. Katz, A. Marron, N. Glade, T. Gutjahr, and F. König, “Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems,” Procedia Technology (Proceedings of the 3nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2016), vol. 26, pp. 552-559, 2016. doi:10.1016/j.protcy.2016.08.069
-
J. Greenyer, D. Gritzner, G. Katz, and A. Marron, “Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools,” in MoDELS 2016 Demo and Poster Sessions, CEUR, 2016, vol. 1725, pp. 16-32.
-
D. Harel, G. Katz, R. Marelly and A. Marron, "An Initial Wise Development Environment for Behavioral Models", Proc. 4th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), Rome, Italy, February 2016.
-
D. Harel, G. Katz, R. Lampert, A. Marron, and G. Weiss, “On the Succinctness of Idioms for Concurrent Programming”, CONCUR 2015.
-
D. Harel, G. Katz, A. Marron, and G. Weiss, “The Effect of Concurrent Programming Idioms on Verification”, Proc. 3rd Int. Conf. on Model-Driven Engineering and Software Development Modelsward 2015.
-
D. Harel , A. Kantor, G. Katz, A. Marron, G. Weiss, G. Wiener. “Towards Behavioral Programming in Distributed Architectures”, Journal of Science of Computer Programming, 2014.
-
A. Ashrov, A. Marron, G.Weiss and G. Wiener, “A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios”, Journal of Science of Computer Programming, 2014.
-
D. Harel, G. Katz, A. Marron and G. Weiss, “Non-Intrusive Repair of Safety Violations in Reactive Programs”, Transactions on Computational Collective Intelligence (TCCI). 2014.
-
D. Harel, A. Kantor, G. Katz, A. Marron, L. Mizrahi, and G. Weiss. “On composing and proving the correctness of reactive behavior”. EMSOFT, 2013.
-
A. Marron, G. Weiss, G. Wiener, “A Decentralized Approach for Programming Interactive Applications with JavaScript and Blockly”. AGERE! held at ACM SIGPLAN SPLASH 2012.
-
D. Harel and A. Marron, “The Quest for Runware - On Compositional, Executable and Intuitive Models”, Journal of Software and System Modeling. Published online August 2012. DOI DOI 10.1007/s10270-012-0258-8.
-
D. Harel, A. Marron and G. Weiss, “Behavioral Programming”, Communications of the ACM, 2012.
-
D. Harel, G. Katz, A. Marron and G. Weiss, "Non-Intrusive Repair of Reactive Programs", ICECCS 2012.
-
M. Gordon, A. Marron, O. Meerbaum-Salant, “Spaghetti for the Main Course? Observations on Naturalness of Scenario-Based Programming”, ITICSE 2012.
-
10. D. Harel, A. Marron, A. Nissim, G. Weiss, “A Software Engineering Framework for Switched Fuzzy Systems”. FUZZ-IEEE 2012.
-
D. Harel, A. Marron, G. Weiss, and G. Wiener. “Behavioral programming, decentralized control, and multiple time scales”. AGERE! (Actors and aGEnts Reloaded workshop at ACM SPLASH), 2011.
-
D. Harel, R. Lampert, A. Marron and G. Weiss, "Model-Checking Behavioral Programs", EMSOFT 2011.
-
N. Eitan, M. Gordon, D. Harel, A. Marron, and G. Weiss. “On Visualization and Comprehension of Scenario-Based Programs”, 19th IEEE International Conference on Program Comprehension (ICPC 2011).
-
G. Wiener, G. Weiss, and A. Marron, “Coordinating and Visualizing Independent Behaviors in Erlang”, Ninth ACM SIGPLAN Erlang Workshop, Sep. 2010.
-
D. Harel, A. Marron and G. Weiss, "Programming Coordinated Scenarios in Java", Proc. 24th European Conference on Object-Oriented Programming (ECOOP 2010), 2010.
-
K. Ko, A. Marron, W.G. Tzeng, "Learning String Patterns and Tree Patterns from Examples", Proc. of 7th Int’l Conf. on Machine Learning, Porter and Mooney, Editors, Austin, Texas, 1990
-
A. Marron, "Learning Pattern Languages from a Single Initial Example and from Queries", Proc. 1st Int’l Workshop on Computational Learning Theory, MIT, Cambridge, Mass. 1988.
-
A. Marron, K. Ko, "Identification of Pattern Languages from Examples and Queries", Information and Computation, Vol 74, #2, 1987.
-
S. Huang, A. Marron, "Finding the Median of a Distributed Set", Computer Science Conference, Johns Hopkins University, 1983.
Patents
-
Y. Ding, A. Marron, F. Johannessen, patent application “Automated Capacity Provisioning Method Using Historical Performance Data”, BMC Software, 2013 (US 8,555,287 B2).
-
A. Marron, "Method of Operating a Data Processing System Having a Dynamic Software Update Facility", IBM, Issued 1994 (US 5,359,730).
-
A. Marron, A. Meritt, “Method and system for predefined suspension and resumption control over I/O programs” ,
-
IBM, 1997 (US 5,613,163).
-
F. Johnson, A. Marron, A. Meritt, “System for coordinating execution of multiple concurrent channel programs without host processor involvement using suspend and resume commands to control data transfer between I/O devices”, IBM, 1996 (US 5,584,039).
-
L. Wyman, R. Hough, R. Cwiakala, A. Marron, S. John, K. Fredericks, C. Shapley, R. Hollar, J. Mazourowski, M. Halma, K. Oakes, M. Brown, "Asynchronous Command Support for Shared Channels for a Computer Complex Having Multiple Operating Systems"
-
IBM, 1995 (US 5,452,455)
-
R. Galbraith, S. Glassen, A. Marron, K. Oakes, D. Stucki, L. Wyman, "Channel Measurement Methods and Means",
-
IBM, 1993 (US 5,265,240)