BibTeX records: Assaf Marron

download as .bib file

@article{DBLP:journals/corr/abs-2401-02245,
  author       = {David Harel and
                  Guy Katz and
                  Assaf Marron and
                  Smadar Szekely},
  title        = {On Augmenting Scenario-Based Modeling with Generative {AI}},
  journal      = {CoRR},
  volume       = {abs/2401.02245},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.02245},
  doi          = {10.48550/ARXIV.2401.02245},
  eprinttype    = {arXiv},
  eprint       = {2401.02245},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-02245.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/YerushalmiAEHKM23,
  author       = {Raz Yerushalmi and
                  Guy Amir and
                  Achiya Elyasaf and
                  David Harel and
                  Guy Katz and
                  Assaf Marron},
  title        = {Enhancing Deep Reinforcement Learning with Scenario-Based Modeling},
  journal      = {{SN} Comput. Sci.},
  volume       = {4},
  number       = {2},
  pages        = {156},
  year         = {2023},
  url          = {https://doi.org/10.1007/s42979-022-01575-2},
  doi          = {10.1007/S42979-022-01575-2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sncs/YerushalmiAEHKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MarronCFHS23,
  author       = {Assaf Marron and
                  Irun R. Cohen and
                  Guy Frankel and
                  David Harel and
                  Smadar Szekely},
  editor       = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
                  Lu{\'{\i}}s Ferreira Pires and
                  Edwin Seidewitz},
  title        = {Challenges in Modeling and Unmodeling Emergence, Rule Composition,
                  and Networked Interactions in Complex Reactive Systems},
  booktitle    = {Proceedings of the 11th International Conference on Model-Based Software
                  and Systems Engineering, {MODELSWARD} 2023, Lisbon, Portugal, February
                  19-21, 2023},
  pages        = {202--209},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0011728900003402},
  doi          = {10.5220/0011728900003402},
  timestamp    = {Thu, 23 Mar 2023 14:15:52 +0100},
  biburl       = {https://dblp.org/rec/conf/modelsward/MarronCFHS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BayerHMS23,
  author       = {Yuval Bayer and
                  David Harel and
                  Assaf Marron and
                  Smadar Szekely},
  editor       = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
                  Lu{\'{\i}}s Ferreira Pires and
                  Edwin Seidewitz},
  title        = {Toward Automated Modeling of Abstract Concepts and Natural Phenomena:
                  Autoencoding Straight Lines},
  booktitle    = {Proceedings of the 11th International Conference on Model-Based Software
                  and Systems Engineering, {MODELSWARD} 2023, Lisbon, Portugal, February
                  19-21, 2023},
  pages        = {275--282},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0011886100003402},
  doi          = {10.5220/0011886100003402},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/modelsward/BayerHMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04312,
  author       = {David Harel and
                  Assaf Marron},
  title        = {Human or Machine: Reflections on Turing-Inspired Testing for the Everyday},
  journal      = {CoRR},
  volume       = {abs/2305.04312},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.04312},
  doi          = {10.48550/ARXIV.2305.04312},
  eprinttype    = {arXiv},
  eprint       = {2305.04312},
  timestamp    = {Fri, 12 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-04312.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-16507,
  author       = {David Harel and
                  Uwe A{\ss}mann and
                  Fabiana Fournier and
                  Lior Limonad and
                  Assaf Marron and
                  Smadar Szekely},
  title        = {Toward Methodical Discovery and Handling of Hidden Assumptions in
                  Complex Systems and Models},
  journal      = {CoRR},
  volume       = {abs/2312.16507},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.16507},
  doi          = {10.48550/ARXIV.2312.16507},
  eprinttype    = {arXiv},
  eprint       = {2312.16507},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-16507.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/HarelMS22,
  author       = {David Harel and
                  Assaf Marron and
                  Joseph Sifakis},
  title        = {Creating a Foundation for Next-Generation Autonomous Systems},
  journal      = {{IEEE} Des. Test},
  volume       = {39},
  number       = {1},
  pages        = {49--56},
  year         = {2022},
  url          = {https://doi.org/10.1109/MDAT.2021.3069959},
  doi          = {10.1109/MDAT.2021.3069959},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dt/HarelMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/YerushalmiAEHKM22,
  author       = {Raz Yerushalmi and
                  Guy Amir and
                  Achiya Elyasaf and
                  David Harel and
                  Guy Katz and
                  Assaf Marron},
  editor       = {Lu{\'{\i}}s Ferreira Pires and
                  Slimane Hammoudi and
                  Edwin Seidewitz},
  title        = {Scenario-assisted Deep Reinforcement Learning},
  booktitle    = {Proceedings of the 10th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2022, Online Streaming, February
                  6-8, 2022},
  pages        = {310--319},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  url          = {https://doi.org/10.5220/0010904700003119},
  doi          = {10.5220/0010904700003119},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/YerushalmiAEHKM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-04337,
  author       = {Raz Yerushalmi and
                  Guy Amir and
                  Achiya Elyasaf and
                  David Harel and
                  Guy Katz and
                  Assaf Marron},
  title        = {Scenario-Assisted Deep Reinforcement Learning},
  journal      = {CoRR},
  volume       = {abs/2202.04337},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.04337},
  eprinttype    = {arXiv},
  eprint       = {2202.04337},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-04337.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-11891,
  author       = {Irun R. Cohen and
                  Assaf Marron},
  title        = {The biosphere computes evolution by autoencoding interacting organisms
                  into species and decoding species into ecosystems},
  journal      = {CoRR},
  volume       = {abs/2203.11891},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.11891},
  doi          = {10.48550/ARXIV.2203.11891},
  eprinttype    = {arXiv},
  eprint       = {2203.11891},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-11891.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HarelMY21,
  author       = {David Harel and
                  Assaf Marron and
                  Raz Yerushalmi},
  title        = {Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition
                  of Separate Concerns},
  journal      = {Computer},
  volume       = {54},
  number       = {10},
  pages        = {95--101},
  year         = {2021},
  url          = {https://doi.org/10.1109/MC.2021.3099044},
  doi          = {10.1109/MC.2021.3099044},
  timestamp    = {Fri, 01 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/HarelMY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/HarelMMS21,
  author       = {David Harel and
                  Rami Marelly and
                  Assaf Marron and
                  Smadar Szekely},
  title        = {Integrating Interobject Scenarios with Intraobject Statecharts for
                  Developing Reactive Systems},
  journal      = {{IEEE} Des. Test},
  volume       = {38},
  number       = {5},
  pages        = {35--47},
  year         = {2021},
  url          = {https://doi.org/10.1109/MDAT.2020.3006805},
  doi          = {10.1109/MDAT.2020.3006805},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dt/HarelMMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HarelM21,
  author       = {David Harel and
                  Assaf Marron},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Introducing Dynamical Systems andChaos Early in Computer Science andSoftware
                  Engineering Education Can Help Advance Theory and Practice ofSoftware
                  Development and Computing},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation
                  - 10th International Symposium on Leveraging Applications of Formal
                  Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13036},
  pages        = {322--334},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89159-6\_20},
  doi          = {10.1007/978-3-030-89159-6\_20},
  timestamp    = {Thu, 14 Oct 2021 09:48:48 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HarelM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/HarelMS20,
  author       = {David Harel and
                  Assaf Marron and
                  Joseph Sifakis},
  title        = {Autonomics: In search of a foundation for next-generation autonomous
                  systems},
  journal      = {Proc. Natl. Acad. Sci. {USA}},
  volume       = {117},
  number       = {30},
  pages        = {17491--17498},
  year         = {2020},
  url          = {https://doi.org/10.1073/pnas.2003162117},
  doi          = {10.1073/PNAS.2003162117},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pnas/HarelMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarronLPH20,
  author       = {Assaf Marron and
                  Lior Limonad and
                  Sarah Pollack and
                  David Harel},
  editor       = {Shinichi Honiden and
                  Elisabetta Di Nitto and
                  Radu Calinescu},
  title        = {Expecting the unexpected: developing autonomous-system design principles
                  for reacting to unpredicted events and conditions},
  booktitle    = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering
                  for Adaptive and Self-Managing Systems, Seoul, Republic of Korea,
                  29 June - 3 July, 2020},
  pages        = {167--173},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3387939.3391607},
  doi          = {10.1145/3387939.3391607},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/MarronLPH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-06047,
  author       = {Assaf Marron and
                  Lior Limonad and
                  Sarah Pollack and
                  David Harel},
  title        = {Expecting the Unexpected: Developing Autonomous-System Design Principles
                  for Reacting to Unpredicted Events and Conditions},
  journal      = {CoRR},
  volume       = {abs/2001.06047},
  year         = {2020},
  url          = {https://arxiv.org/abs/2001.06047},
  eprinttype    = {arXiv},
  eprint       = {2001.06047},
  timestamp    = {Fri, 24 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-06047.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HarelMRVW19,
  author       = {David Harel and
                  Assaf Marron and
                  Ariel Rosenfeld and
                  Moshe Y. Vardi and
                  Gera Weiss},
  title        = {Labor Division with Movable Walls: Composing Executable Specifications
                  with Machine Learning and Search (Blue Sky Idea)},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {9770--9774},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33019770},
  doi          = {10.1609/AAAI.V33I01.33019770},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HarelMRVW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/KatzMSW19,
  author       = {Guy Katz and
                  Assaf Marron and
                  Aviran Sadon and
                  Gera Weiss},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic},
  title        = {On-the-Fly Construction of Composite Events in Scenario-Based Modeling
                  using Constraint Solvers},
  booktitle    = {Proceedings of the 7th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
                  February 20-22, 2019},
  pages        = {141--154},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007573801430156},
  doi          = {10.5220/0007573801430156},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/KatzMSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/HarelKMSW19,
  author       = {David Harel and
                  Guy Katz and
                  Assaf Marron and
                  Aviran Sadon and
                  Gera Weiss},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic},
  title        = {Executing Scenario-Based Specification with Dynamic Generation of
                  Rich Events},
  booktitle    = {Model-Driven Engineering and Software Development - 7th International
                  Conference, {MODELSWARD} 2019, Prague, Czech Republic, February 20-22,
                  2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1161},
  pages        = {246--274},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-37873-8\_11},
  doi          = {10.1007/978-3-030-37873-8\_11},
  timestamp    = {Thu, 23 Jan 2020 13:15:16 +0100},
  biburl       = {https://dblp.org/rec/conf/modelsward/HarelKMSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/LapidMSH19,
  author       = {Hadas Lapid and
                  Assaf Marron and
                  Smadar Szekely and
                  David Harel},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic},
  title        = {Using Reactive-System Modeling Techniques to Create Executable Models
                  of Biochemical Pathways},
  booktitle    = {Proceedings of the 7th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
                  February 20-22, 2019},
  pages        = {454--464},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007572504560466},
  doi          = {10.5220/0007572504560466},
  timestamp    = {Mon, 20 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/modelsward/LapidMSH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-00408,
  author       = {Guy Katz and
                  Assaf Marron and
                  Aviran Sadon and
                  Gera Weiss},
  title        = {On-the-Fly Construction of Composite Events in Scenario-Based Modeling
                  using Constraint Solvers},
  journal      = {CoRR},
  volume       = {abs/1909.00408},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.00408},
  eprinttype    = {arXiv},
  eprint       = {1909.00408},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-00408.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07133,
  author       = {David Harel and
                  Assaf Marron and
                  Joseph Sifakis},
  title        = {Autonomics: In Search of a Foundation for Next Generation Autonomous
                  Systems},
  journal      = {CoRR},
  volume       = {abs/1911.07133},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.07133},
  eprinttype    = {arXiv},
  eprint       = {1911.07133},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-07133.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-10691,
  author       = {David Harel and
                  Rami Marelly and
                  Assaf Marron and
                  Smadar Szekely},
  title        = {Integrating Inter-Object Scenarios with Intra-object Statecharts for
                  Developing Reactive Systems},
  journal      = {CoRR},
  volume       = {abs/1911.10691},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.10691},
  eprinttype    = {arXiv},
  eprint       = {1911.10691},
  timestamp    = {Tue, 03 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-10691.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HarelKMM18,
  author       = {David Harel and
                  Guy Katz and
                  Rami Marelly and
                  Assaf Marron},
  title        = {Wise Computing: Toward Endowing System Development with Proactive
                  Wisdom},
  journal      = {Computer},
  volume       = {51},
  number       = {2},
  pages        = {14--26},
  year         = {2018},
  url          = {https://doi.org/10.1109/MC.2018.1451652},
  doi          = {10.1109/MC.2018.1451652},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/HarelKMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarelM18,
  author       = {David Harel and
                  Assaf Marron},
  editor       = {Hans{-}Joachim B{\"{o}}ckenhauer and
                  Dennis Komm and
                  Walter Unger},
  title        = {Toward Scenario-Based Algorithmics},
  booktitle    = {Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated
                  to Juraj Hromkovi{\v{c}} on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11011},
  pages        = {549--567},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98355-4\_32},
  doi          = {10.1007/978-3-319-98355-4\_32},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HarelM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GreenyerBWSM18,
  author       = {Joel Greenyer and
                  Michael Bar{-}Sinai and
                  Gera Weiss and
                  Aviran Sadon and
                  Assaf Marron},
  editor       = {Regina Hebig and
                  Thorsten Berger},
  title        = {Modeling and programming a leader-follower challenge problem with
                  scenario-based tools},
  booktitle    = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
                  EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
                  ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
                  International Conference on Model Driven Engineering Languages and
                  Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2245},
  pages        = {376--385},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2245/mdetools\_paper\_8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/GreenyerBWSM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MarronHHMT18,
  author       = {Assaf Marron and
                  Yotam Hacohen and
                  David Harel and
                  Andreas M{\"{u}}lder and
                  Axel Terfloth},
  editor       = {Regina Hebig and
                  Thorsten Berger},
  title        = {Embedding Scenario-based Modeling in Statecharts},
  booktitle    = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
                  EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
                  ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
                  International Conference on Model Driven Engineering Languages and
                  Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2245},
  pages        = {443--452},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2245/morse\_paper\_2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MarronHHMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ElyasafMSW18,
  author       = {Achiya Elyasaf and
                  Assaf Marron and
                  Arnon Sturm and
                  Gera Weiss},
  editor       = {Regina Hebig and
                  Thorsten Berger},
  title        = {A Context-Based Behavioral Language for IoT},
  booktitle    = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
                  EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
                  ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
                  International Conference on Model Driven Engineering Languages and
                  Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2245},
  pages        = {485--494},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2245/morse\_paper\_6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ElyasafMSW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/GreenyerGHM18a,
  author       = {Joel Greenyer and
                  Daniel Gritzner and
                  David Harel and
                  Assaf Marron},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic},
  title        = {Towards Automated Defect Analysis Using Execution Traces of Scenario-Based
                  Models},
  booktitle    = {Model-Driven Engineering and Software Development - 6th International
                  Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January
                  22-24, 2018, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {991},
  pages        = {335--354},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-11030-7\_15},
  doi          = {10.1007/978-3-030-11030-7\_15},
  timestamp    = {Wed, 06 Feb 2019 08:41:41 +0100},
  biburl       = {https://dblp.org/rec/conf/modelsward/GreenyerGHM18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/GreenyerGHM18,
  author       = {Joel Greenyer and
                  Daniel Gritzner and
                  David Harel and
                  Assaf Marron},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic},
  title        = {Towards Systematic and Automatic Handling of Execution Traces Associated
                  with Scenario-based Models},
  booktitle    = {Proceedings of the 6th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
                  January 22-24, 2018},
  pages        = {560--566},
  publisher    = {SciTePress},
  year         = {2018},
  url          = {https://doi.org/10.5220/0006671105600566},
  doi          = {10.5220/0006671105600566},
  timestamp    = {Wed, 11 Apr 2018 15:38:59 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/GreenyerGHM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GreenyerGGKGMK17,
  author       = {Joel Greenyer and
                  Daniel Gritzner and
                  Timo Gutjahr and
                  Florian K{\"{o}}nig and
                  Nils Glade and
                  Assaf Marron and
                  Guy Katz},
  title        = {ScenarioTools - {A} tool suite for the scenario-based modeling and
                  analysis of reactive systems},
  journal      = {Sci. Comput. Program.},
  volume       = {149},
  pages        = {15--27},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.07.004},
  doi          = {10.1016/J.SCICO.2017.07.004},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GreenyerGGKGMK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AshrovGMSW17,
  author       = {Adiel Ashrov and
                  Michal Gordon and
                  Assaf Marron and
                  Arnon Sturm and
                  Gera Weiss},
  editor       = {Iris Reinhartz{-}Berger and
                  Jens Gulden and
                  Selmin Nurcan and
                  Wided Gu{\'{e}}dria and
                  Palash Bera},
  title        = {Structured Behavioral Programming Idioms},
  booktitle    = {Enterprise, Business-Process and Information Systems Modeling - 18th
                  International Conference, {BPMDS} 2017, 22nd International Conference,
                  {EMMSAD} 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017,
                  Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {287},
  pages        = {319--333},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59466-8\_20},
  doi          = {10.1007/978-3-319-59466-8\_20},
  timestamp    = {Wed, 28 Jun 2017 14:30:58 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/AshrovGMSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HarelHMM17,
  author       = {David Harel and
                  Idan Heimlich and
                  Rami Marelly and
                  Assaf Marron},
  title        = {Crowd-Based Programming for Reactive Systems},
  booktitle    = {4th {IEEE/ACM} International Workshop on CrowdSourcing in Software
                  Engineering, CSI-SE@ICSE 2017, Buenos Aires, Argentina, May 22, 2017},
  pages        = {9--13},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/CSI-SE.2017.3},
  doi          = {10.1109/CSI-SE.2017.3},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HarelHMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Marron17,
  author       = {Assaf Marron},
  editor       = {Jean{-}Pierre Talpin and
                  Patricia Derler and
                  Klaus Schneider},
  title        = {A reactive specification formalism for enhancing system development,
                  analysis and adaptivity},
  booktitle    = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
                  September 29 - October 02, 2017},
  pages        = {161--164},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3127041.3127064},
  doi          = {10.1145/3127041.3127064},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/Marron17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/SteinbergGGHKM17,
  author       = {Shlomi Steinberg and
                  Joel Greenyer and
                  Daniel Gritzner and
                  David Harel and
                  Guy Katz and
                  Assaf Marron},
  editor       = {Lu{\'{\i}}s Ferreira Pires and
                  Slimane Hammoudi and
                  Bran Selic},
  title        = {Distributing Scenario-based Models: {A} Replicate-and-Project Approach},
  booktitle    = {Proceedings of the 5th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
                  19-21, 2017},
  pages        = {182--195},
  publisher    = {SciTePress},
  year         = {2017},
  url          = {https://doi.org/10.5220/0006271301820195},
  doi          = {10.5220/0006271301820195},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/SteinbergGGHKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/SteinbergGGHKM17a,
  author       = {Shlomi Steinberg and
                  Joel Greenyer and
                  Daniel Gritzner and
                  David Harel and
                  Guy Katz and
                  Assaf Marron},
  editor       = {Lu{\'{\i}}s Ferreira Pires and
                  Slimane Hammoudi and
                  Bran Selic},
  title        = {Efficient Distributed Execution of Multi-component Scenario-Based
                  Models},
  booktitle    = {Model-Driven Engineering and Software Development - 5th International
                  Conference, {MODELSWARD} 2017, Porto, Portugal, February 19-21, 2017,
                  Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {880},
  pages        = {449--483},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-94764-8\_19},
  doi          = {10.1007/978-3-319-94764-8\_19},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/SteinbergGGHKM17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ElyasafHMW17,
  author       = {Achiya Elyasaf and
                  David Harel and
                  Assaf Marron and
                  Gera Weiss},
  editor       = {Martina Seidl and
                  Steffen Zschaler},
  title        = {Towards Integration of Context-Based and Scenario-Based Development},
  booktitle    = {Software Technologies: Applications and Foundations - {STAF} 2017
                  Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10748},
  pages        = {225--231},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-74730-9\_21},
  doi          = {10.1007/978-3-319-74730-9\_21},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/staf/ElyasafHMW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/HarelKMM16,
  author       = {David Harel and
                  Guy Katz and
                  Rami Marelly and
                  Assaf Marron},
  title        = {First Steps Towards a Wise Development Environment for Behavioral
                  Models},
  journal      = {Int. J. Inf. Syst. Model. Des.},
  volume       = {7},
  number       = {3},
  pages        = {1--22},
  year         = {2016},
  url          = {https://doi.org/10.4018/IJISMD.2016070101},
  doi          = {10.4018/IJISMD.2016070101},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijismd/HarelKMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Bar-SinaiWM16,
  author       = {Michael Bar{-}Sinai and
                  Gera Weiss and
                  Assaf Marron},
  editor       = {Tanja Mayerhofer and
                  Philip Langer and
                  Ed Seidewitz and
                  Jeff Gray},
  title        = {Defining Semantic Variations of Diagrammatic Languages Using Behavioral
                  Programming and Queries},
  booktitle    = {Proceedings of the 2nd International Workshop on Executable Modeling
                  co-located with {ACM/IEEE} 19th International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2016), Saint-Malo,
                  France, October 3, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1760},
  pages        = {5--11},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1760/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Bar-SinaiWM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GreenyerGKM16,
  author       = {Joel Greenyer and
                  Daniel Gritzner and
                  Guy Katz and
                  Assaf Marron},
  editor       = {Juan de Lara and
                  Peter J. Clarke and
                  Mehrdad Sabetzadeh},
  title        = {Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic
                  System Structure in ScenarioTools},
  booktitle    = {Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located
                  with {ACM/IEEE} 19th International Conference on Model Driven Engineering
                  Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-7,
                  2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1725},
  pages        = {16--23},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1725/demo3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/GreenyerGKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MarronAEGKLMSSW16,
  author       = {Assaf Marron and
                  Brit Arnon and
                  Achiya Elyasaf and
                  Michal Gordon and
                  Guy Katz and
                  Hadas Lapid and
                  Rami Marelly and
                  Dana Sherman and
                  Smadar Szekely and
                  Gera Weiss and
                  David Harel},
  editor       = {Juan de Lara and
                  Peter J. Clarke and
                  Mehrdad Sabetzadeh},
  title        = {Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles
                  for Wise Computing},
  booktitle    = {Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located
                  with {ACM/IEEE} 19th International Conference on Model Driven Engineering
                  Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-7,
                  2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1725},
  pages        = {94--100},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1725/poster3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MarronAEGKLMSSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/HarelKMM16,
  author       = {David Harel and
                  Guy Katz and
                  Rami Marelly and
                  Assaf Marron},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic and
                  Philippe Desfray},
  title        = {An Initial Wise Development Environment for Behavioral Models},
  booktitle    = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
                  on Model-Driven Engineering and Software Development, Rome, Italy,
                  19-21 February, 2016},
  pages        = {600--612},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005811806000612},
  doi          = {10.5220/0005811806000612},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/HarelKMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RicciABM15,
  author       = {Alessandro Ricci and
                  Gul A. Agha and
                  Rafael H. Bordini and
                  Assaf Marron},
  title        = {Special issue on programming based on actors, agents and decentralized
                  control},
  journal      = {Sci. Comput. Program.},
  volume       = {98},
  pages        = {117--119},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.10.003},
  doi          = {10.1016/J.SCICO.2014.10.003},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/RicciABM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HarelKKMWW15,
  author       = {David Harel and
                  Amir Kantor and
                  Guy Katz and
                  Assaf Marron and
                  Gera Weiss and
                  Guy Wiener},
  title        = {Towards behavioral programming in distributed architectures},
  journal      = {Sci. Comput. Program.},
  volume       = {98},
  pages        = {233--267},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.03.003},
  doi          = {10.1016/J.SCICO.2014.03.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HarelKKMWW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AshrovMWW15,
  author       = {Adiel Ashrov and
                  Assaf Marron and
                  Gera Weiss and
                  Guy Wiener},
  title        = {A use-case for behavioral programming: An architecture in JavaScript
                  and Blockly for interactive applications with cross-cutting scenarios},
  journal      = {Sci. Comput. Program.},
  volume       = {98},
  pages        = {268--292},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.01.017},
  doi          = {10.1016/J.SCICO.2014.01.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AshrovMWW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HarelKLMW15,
  author       = {David Harel and
                  Guy Katz and
                  Robby Lampert and
                  Assaf Marron and
                  Gera Weiss},
  editor       = {Luca Aceto and
                  David de Frutos{-}Escrig},
  title        = {On the Succinctness of Idioms for Concurrent Programming},
  booktitle    = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
                  Madrid, Spain, September 1.4, 2015},
  series       = {LIPIcs},
  volume       = {42},
  pages        = {85--99},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.85},
  doi          = {10.4230/LIPICS.CONCUR.2015.85},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/HarelKLMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/HarelKMW15,
  author       = {David Harel and
                  Guy Katz and
                  Assaf Marron and
                  Gera Weiss},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Philippe Desfray and
                  Joaquim Filipe},
  title        = {The Effect of Concurrent Programming Idioms on Verification - {A}
                  Position Paper},
  booktitle    = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
                  on Model-Driven Engineering and Software Development, ESEO, Angers,
                  Loire Valley, France, 9-11 February, 2015},
  pages        = {363--369},
  publisher    = {SciTePress},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005324203630369},
  doi          = {10.5220/0005324203630369},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/HarelKMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarelKMM15,
  author       = {David Harel and
                  Guy Katz and
                  Rami Marelly and
                  Assaf Marron},
  title        = {Wise Computing: Towards Endowing System Development with True Wisdom},
  journal      = {CoRR},
  volume       = {abs/1501.05924},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.05924},
  eprinttype    = {arXiv},
  eprint       = {1501.05924},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HarelKMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcci/HarelKMW14,
  author       = {David Harel and
                  Guy Katz and
                  Assaf Marron and
                  Gera Weiss},
  title        = {Non-intrusive Repair of Safety and Liveness Violations in Reactive
                  Programs},
  journal      = {Trans. Comput. Collect. Intell.},
  volume       = {16},
  pages        = {1--33},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44871-7\_1},
  doi          = {10.1007/978-3-662-44871-7\_1},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcci/HarelKMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HarelKKMMW13,
  author       = {David Harel and
                  Amir Kantor and
                  Guy Katz and
                  Assaf Marron and
                  Lior Mizrahi and
                  Gera Weiss},
  editor       = {Rolf Ernst and
                  Oleg Sokolsky},
  title        = {On composing and proving the correctness of reactive behavior},
  booktitle    = {Proceedings of the International Conference on Embedded Software,
                  {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
  pages        = {13:1--13:10},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/EMSOFT.2013.6658591},
  doi          = {10.1109/EMSOFT.2013.6658591},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/HarelKKMMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HarelMW12,
  author       = {David Harel and
                  Assaf Marron and
                  Gera Weiss},
  title        = {Behavioral programming},
  journal      = {Commun. {ACM}},
  volume       = {55},
  number       = {7},
  pages        = {90--100},
  year         = {2012},
  url          = {https://doi.org/10.1145/2209249.2209270},
  doi          = {10.1145/2209249.2209270},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/HarelMW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HarelM12,
  author       = {David Harel and
                  Assaf Marron},
  title        = {The quest for runware: on compositional, executable and intuitive
                  models},
  journal      = {Softw. Syst. Model.},
  volume       = {11},
  number       = {4},
  pages        = {599--608},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10270-012-0258-8},
  doi          = {10.1007/S10270-012-0258-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HarelM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/MarronWW12,
  author       = {Assaf Marron and
                  Gera Weiss and
                  Guy Wiener},
  editor       = {Gul A. Agha and
                  Rafael H. Bordini and
                  Assaf Marron and
                  Alessandro Ricci},
  title        = {A decentralized approach for programming interactive applications
                  with JavaScript and blockly},
  booktitle    = {Proceedings of the 2nd edition on Programming systems, languages and
                  applications based on actors, agents, and decentralized control abstractions,
                  AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  pages        = {59--70},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2414639.2414648},
  doi          = {10.1145/2414639.2414648},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/MarronWW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/HarelMNW12,
  author       = {David Harel and
                  Assaf Marron and
                  Amir Nissim and
                  Gera Weiss},
  title        = {A software engineering framework for switched fuzzy systems},
  booktitle    = {{FUZZ-IEEE} 2012, {IEEE} International Conference on Fuzzy Systems,
                  Brisbane, Australia, June 10-15, 2012, Proceedings},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FUZZ-IEEE.2012.6251301},
  doi          = {10.1109/FUZZ-IEEE.2012.6251301},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/HarelMNW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HarelKMW12,
  author       = {David Harel and
                  Guy Katz and
                  Assaf Marron and
                  Gera Weiss},
  editor       = {Isabelle Perseil and
                  Karin K. Breitman and
                  Marc Pouzet},
  title        = {Non-intrusive Repair of Reactive Programs},
  booktitle    = {17th {IEEE} International Conference on Engineering of Complex Computer
                  Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.25},
  doi          = {10.1109/ICECCS.2012.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/HarelKMW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/GordonMM12,
  author       = {Michal Gordon and
                  Assaf Marron and
                  Orni Meerbaum{-}Salant},
  editor       = {Tami Lapidot and
                  Judith Gal{-}Ezer and
                  Michael E. Caspersen and
                  Orit Hazzan},
  title        = {Spaghetti for the main course?: observations on the naturalness of
                  scenario-based programming},
  booktitle    = {Annual Conference on Innovation and Technology in Computer Science
                  Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  pages        = {198--203},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2325296.2325346},
  doi          = {10.1145/2325296.2325346},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/GordonMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RicciMBA12,
  author       = {Alessandro Ricci and
                  Assaf Marron and
                  Rafael H. Bordini and
                  Gul Agha},
  editor       = {Gary T. Leavens},
  title        = {AGERE!: programming based on actors, agents, and decentralized control},
  booktitle    = {SPLASH'12 - Proceedings of the 2012 {ACM} Conference on Systems, Programming,
                  and Applications: Software for Humanity, Tucson, AZ, USA, October
                  21-25, 2012},
  pages        = {215--216},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384716.2384776},
  doi          = {10.1145/2384716.2384776},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/RicciMBA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2012,
  editor       = {Gul A. Agha and
                  Rafael H. Bordini and
                  Assaf Marron and
                  Alessandro Ricci},
  title        = {Proceedings of the 2nd edition on Programming systems, languages and
                  applications based on actors, agents, and decentralized control abstractions,
                  AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2414639},
  doi          = {10.1145/2414639},
  isbn         = {978-1-4503-1630-9},
  timestamp    = {Thu, 11 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HarelLMW11,
  author       = {David Harel and
                  Robby Lampert and
                  Assaf Marron and
                  Gera Weiss},
  editor       = {Samarjit Chakraborty and
                  Ahmed Jerraya and
                  Sanjoy K. Baruah and
                  Sebastian Fischmeister},
  title        = {Model-checking behavioral programs},
  booktitle    = {Proceedings of the 11th International Conference on Embedded Software,
                  {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
                  Taipei, Taiwan, October 9-14, 2011},
  pages        = {279--288},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038642.2038686},
  doi          = {10.1145/2038642.2038686},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/HarelLMW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/EitanGHMW11,
  author       = {Nir Eitan and
                  Michal Gordon and
                  David Harel and
                  Assaf Marron and
                  Gera Weiss},
  title        = {On Visualization and Comprehension of Scenario-Based Programs},
  booktitle    = {The 19th {IEEE} International Conference on Program Comprehension,
                  {ICPC} 2011, Kingston, ON, Canada, June 22-24, 2011},
  pages        = {189--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICPC.2011.10},
  doi          = {10.1109/ICPC.2011.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpc/EitanGHMW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HarelMWW11,
  author       = {David Harel and
                  Assaf Marron and
                  Guy Wiener and
                  Gera Weiss},
  editor       = {Cristina Videira Lopes},
  title        = {Behavioral programming, decentralized control, and multiple time scales},
  booktitle    = {SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops:
                  DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, and VMIL'11, Portland,
                  OR, USA, October 22-27, 2011},
  pages        = {171--182},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095050.2095079},
  doi          = {10.1145/2095050.2095079},
  timestamp    = {Fri, 11 Feb 2022 13:59:03 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/HarelMWW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HarelMW10,
  author       = {David Harel and
                  Assaf Marron and
                  Gera Weiss},
  editor       = {Theo D'Hondt},
  title        = {Programming Coordinated Behavior in Java},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {250--274},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_12},
  doi          = {10.1007/978-3-642-14107-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/HarelMW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/WienerWM10,
  author       = {Guy Wiener and
                  Gera Weiss and
                  Assaf Marron},
  editor       = {Scott Lystig Fritchie and
                  Konstantinos Sagonas},
  title        = {Coordinating and visualizing independent behaviors in erlang},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Erlang, Baltimore,
                  Maryland, USA, September 30, 2010},
  pages        = {13--22},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863509.1863512},
  doi          = {10.1145/1863509.1863512},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/erlang/WienerWM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/KoMT90,
  author       = {Ker{-}I Ko and
                  Assaf Marron and
                  Wen{-}Guey Tzeng},
  editor       = {Bruce W. Porter and
                  Raymond J. Mooney},
  title        = {Learning String Patterns and Tree Patterns from Examples},
  booktitle    = {Machine Learning, Proceedings of the Seventh International Conference
                  on Machine Learning, Austin, Texas, USA, June 21-23, 1990},
  pages        = {384--391},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-1-55860-141-3.50049-3},
  doi          = {10.1016/B978-1-55860-141-3.50049-3},
  timestamp    = {Thu, 25 Jul 2019 17:43:05 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/KoMT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/Marron88,
  author       = {Assaf Marron},
  editor       = {David Haussler and
                  Leonard Pitt},
  title        = {Learning Pattern Languages from a Single Initial Example and from
                  Queries},
  booktitle    = {Proceedings of the First Annual Workshop on Computational Learning
                  Theory, {COLT} '88, Cambridge, MA, USA, August 3-5, 1988},
  pages        = {345--358},
  publisher    = {{ACM/MIT}},
  year         = {1988},
  url          = {http://dl.acm.org/citation.cfm?id=93112},
  timestamp    = {Fri, 23 Dec 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/colt/Marron88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MarronK87,
  author       = {Assaf Marron and
                  Ker{-}I Ko},
  title        = {Identification of Pattern Languages from Examples and Queries},
  journal      = {Inf. Comput.},
  volume       = {74},
  number       = {2},
  pages        = {91--112},
  year         = {1987},
  url          = {https://doi.org/10.1016/0890-5401(87)90026-5},
  doi          = {10.1016/0890-5401(87)90026-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MarronK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics