Researcher in ’s group
Office: Ziskind Building, room 263
Address: P.O.B. 26 Rehovot 76100, Israel
|My current research interests include software engineering, scenario-based /
behavioral programming, machine learning, software verification, information visualization,
human-machine interaction and artificial intelligence.
to joining the Weizmann institute I was a corporate architect at BMC software
in advanced system design at IBM laboratories in Poughkeepsie, NY. See more at LinkedIn;
33. 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
32. D. Harel, G.
Katz, R. Marelly and A. Marron,
“Wise Computing: Towards Endowing System Development with Proactive Wisdom”,
Computer, to appear. (Preliminary version at http://arxiv.org/abs/1501.05924 2015.)
31. 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.
30. 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.
29. 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.
28. 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 [PDF]
27. A. Elyasaf, A.
Marron and G. Weiss,
“Hierarchical Live Sequence Charts”,
|Haifa Verification Conference (HVC), 2016, a work-in-progress poster. [PDF]
26. 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
25. 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). [PDF (Paper)] [PDF (Poster)]
24. 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
23. 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.
22. 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.
21. D. Harel, G.
Katz, R. Lampert, A. Marron, and G. Weiss,
“On the Succinctness of Idioms for Concurrent Programming”,
20. D. Harel, G.
Katz, A. Marron, and G. Weiss,
“The Effect of Concurrent Programming Idioms on Verification”,
19. 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. [PDF – Elsevier] [PDF – Author Version].
17. 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.
16. D. Harel, A. Kantor, G. Katz, A. Marron, L. Mizrahi, and G. Weiss. “On composing and proving the correctness of reactive behavior”. EMSOFT, 2013.
14. 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.
13. D. Harel, A. Marron and G. Weiss, “Behavioral Programming”, Communications of the ACM, 2012
12. D. Harel, G. Katz, A. Marron and G. Weiss, "Non-Intrusive Repair of Reactive Programs", ICECCS 2012.
11. 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.
9. 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.
8. D. Harel, R. Lampert, A. Marron and G. Weiss, "Model-Checking Behavioral Programs", EMSOFT 2011.
7. 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).
6. G. Wiener, G. Weiss, and A. Marron, “Coordinating and Visualizing Independent Behaviors in Erlang”, Ninth ACM SIGPLAN Erlang Workshop, Sep. 2010.
5. D. Harel, A. Marron and G. Weiss, "Programming Coordinated Scenarios in Java", Proc. 24th European Conference on Object-Oriented Programming (ECOOP 2010), 2010.
4. 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
3. 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.
2. A. Marron, K. Ko, "Identification of Pattern Languages from Examples and Queries", Information and Computation, Vol 74, #2, 1987 [PDF]
1. S. Huang, A. Marron, "Finding the Median of a Distributed Set", Computer Science Conference, Johns Hopkins University, 1983.
· Y. Ding, A. Marron, F. Johannessen, patent application “Automated Capacity Provisioning Method Using Historical Performance Data”, BMC Software, Application filed 8/2007.
· 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
IBM, 1993 (US 5,265,240)
· Behavioral Programming web site: www.b-prog.org.