default search action
BibTeX records: Assaf Marron
@article{DBLP:journals/cacm/HarelM24, author = {David Harel and Assaf Marron}, title = {The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter}, journal = {Commun. {ACM}}, volume = {67}, number = {6}, pages = {62--69}, year = {2024}, url = {https://doi.org/10.1145/3637210}, doi = {10.1145/3637210}, timestamp = {Sun, 30 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/HarelM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/chinaf/HarelYME24, author = {David Harel and Raz Yerushalmi and Assaf Marron and Achiya Elyasaf}, title = {Categorizing methods for integrating machine learning with executable specifications}, journal = {Sci. China Inf. Sci.}, volume = {67}, number = {1}, year = {2024}, url = {https://doi.org/10.1007/s11432-022-3826-6}, doi = {10.1007/S11432-022-3826-6}, timestamp = {Tue, 18 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/chinaf/HarelYME24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/modelsward/HarelKMS24, author = {David Harel and Guy Katz and Assaf Marron and Smadar Szekely}, editor = {Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and Lu{\'{\i}}s Ferreira Pires and Edwin Seidewitz}, title = {On Augmenting Scenario-Based Modeling with Generative {AI}}, booktitle = {Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, {MODELSWARD} 2024, Rome, Italy, February 21-23, 2024}, pages = {235--246}, publisher = {{SCITEPRESS}}, year = {2024}, timestamp = {Tue, 02 Apr 2024 14:41:36 +0200}, biburl = {https://dblp.org/rec/conf/modelsward/HarelKMS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Sun, 04 Aug 2024 01:00:00 +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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.