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)