default search action
BibTeX records: Amiram Yehudai
@inproceedings{DBLP:conf/icsm/LevinY19, author = {Stanislav Levin and Amiram Yehudai}, title = {Processing Large Datasets of Fined Grained Source Code Changes}, booktitle = {2019 {IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2019, Cleveland, OH, USA, September 29 - October 4, 2019}, pages = {382--385}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICSME.2019.00064}, doi = {10.1109/ICSME.2019.00064}, timestamp = {Tue, 10 Dec 2019 20:50:05 +0100}, biburl = {https://dblp.org/rec/conf/icsm/LevinY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vissoft/LevinY19, author = {Stanislav Levin and Amiram Yehudai}, title = {Visually Exploring Software Maintenance Activities}, booktitle = {2019 Working Conference on Software Visualization, {VISSOFT} 2019, Cleveland, OH, USA, September 30 - October 1, 2019}, pages = {110--114}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/VISSOFT.2019.00021}, doi = {10.1109/VISSOFT.2019.00021}, timestamp = {Tue, 19 Nov 2019 16:05:40 +0100}, biburl = {https://dblp.org/rec/conf/vissoft/LevinY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-04909, author = {Stanislav Levin and Amiram Yehudai}, title = {Towards Software Analytics: Modeling Maintenance Activities}, journal = {CoRR}, volume = {abs/1903.04909}, year = {2019}, url = {http://arxiv.org/abs/1903.04909}, eprinttype = {arXiv}, eprint = {1903.04909}, timestamp = {Sun, 31 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-04909.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-08907, author = {Stanislav Levin and Amiram Yehudai}, title = {Visually Exploring Software Maintenance Activities}, journal = {CoRR}, volume = {abs/1910.08907}, year = {2019}, url = {http://arxiv.org/abs/1910.08907}, eprinttype = {arXiv}, eprint = {1910.08907}, timestamp = {Tue, 22 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-08907.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-08908, author = {Stanislav Levin and Amiram Yehudai}, title = {Processing Large Datasets of Fined Grained Source Code Changes}, journal = {CoRR}, volume = {abs/1910.08908}, year = {2019}, url = {http://arxiv.org/abs/1910.08908}, eprinttype = {arXiv}, eprint = {1910.08908}, timestamp = {Tue, 22 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-08908.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/BellTY18, author = {Tim Bell and Paul Tymann and Amiram Yehudai}, title = {The Big Ideas in Computer Science for {K-12} Curricula}, journal = {Bull. {EATCS}}, volume = {124}, year = {2018}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/521}, timestamp = {Tue, 29 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/BellTY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/LevinY17, author = {Stanislav Levin and Amiram Yehudai}, title = {The Co-evolution of Test Maintenance and Code Maintenance through the Lens of Fine-Grained Semantic Changes}, booktitle = {2017 {IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2017, Shanghai, China, September 17-22, 2017}, pages = {35--46}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICSME.2017.9}, doi = {10.1109/ICSME.2017.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsm/LevinY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/promise/LevinY17, author = {Stanislav Levin and Amiram Yehudai}, editor = {Burak Turhan and David Bowes and Emad Shihab}, title = {Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes}, booktitle = {Proceedings of the 13th International Conference on Predictive Models and Data Analytics in Software Engineering, {PROMISE} 2017, Toronto, Canada, November 8, 2017}, pages = {97--106}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3127005.3127016}, doi = {10.1145/3127005.3127016}, timestamp = {Wed, 25 Sep 2019 18:22:29 +0200}, biburl = {https://dblp.org/rec/conf/promise/LevinY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-09029, author = {Stanislav Levin and Amiram Yehudai}, title = {The Co-Evolution of Test Maintenance and Code Maintenance through the lens of Fine-Grained Semantic Changes}, journal = {CoRR}, volume = {abs/1709.09029}, year = {2017}, url = {http://arxiv.org/abs/1709.09029}, eprinttype = {arXiv}, eprint = {1709.09029}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-09029.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-05340, author = {Stanislav Levin and Amiram Yehudai}, title = {Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes}, journal = {CoRR}, volume = {abs/1711.05340}, year = {2017}, url = {http://arxiv.org/abs/1711.05340}, eprinttype = {arXiv}, eprint = {1711.05340}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-05340.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/LevinY16, author = {Stanislav Levin and Amiram Yehudai}, title = {Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles}, booktitle = {2016 {IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016}, pages = {463--467}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICSME.2016.21}, doi = {10.1109/ICSME.2016.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsm/LevinY16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LevinY16, author = {Stanislav Levin and Amiram Yehudai}, title = {Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles}, journal = {CoRR}, volume = {abs/1611.10053}, year = {2016}, url = {http://arxiv.org/abs/1611.10053}, eprinttype = {arXiv}, eprint = {1611.10053}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LevinY16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LevinY15, author = {Stanislav Levin and Amiram Yehudai}, title = {Collaborative Real Time Coding or How to Avoid the Dreaded Merge}, journal = {CoRR}, volume = {abs/1504.06741}, year = {2015}, url = {http://arxiv.org/abs/1504.06741}, eprinttype = {arXiv}, eprint = {1504.06741}, timestamp = {Tue, 17 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LevinY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LevinY15a, author = {Stanislav Levin and Amiram Yehudai}, title = {Improving software team collaboration with Synchronized Software Development}, journal = {CoRR}, volume = {abs/1504.06742}, year = {2015}, url = {http://arxiv.org/abs/1504.06742}, eprinttype = {arXiv}, eprint = {1504.06742}, timestamp = {Tue, 17 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LevinY15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CohenY15, author = {Dekel Cohen and Amiram Yehudai}, title = {Localization of real world regression Bugs using single execution}, journal = {CoRR}, volume = {abs/1505.01286}, year = {2015}, url = {http://arxiv.org/abs/1505.01286}, eprinttype = {arXiv}, eprint = {1505.01286}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CohenY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LevinY15b, author = {Stanislav Levin and Amiram Yehudai}, title = {Alleviating Merge Conflicts with Fine-grained Visual Awareness}, journal = {CoRR}, volume = {abs/1508.01872}, year = {2015}, url = {http://arxiv.org/abs/1508.01872}, eprinttype = {arXiv}, eprint = {1508.01872}, timestamp = {Tue, 17 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LevinY15b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/VainerY14, author = {Evgeny Vainer and Amiram Yehudai}, title = {Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software}, journal = {CoRR}, volume = {abs/1409.0982}, year = {2014}, url = {http://arxiv.org/abs/1409.0982}, eprinttype = {arXiv}, eprint = {1409.0982}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/VainerY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fedcsis/GelfgatTY12, author = {Igor Gelfgat and Shmuel S. Tyszberowicz and Amiram Yehudai}, editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki}, title = {Granulated Code Generation of Interfering Functionalities}, booktitle = {Federated Conference on Computer Science and Information Systems - FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings}, pages = {1333--1340}, year = {2012}, url = {https://fedcsis.org/proceedings/2012/pliks/209.pdf}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fedcsis/GelfgatTY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ZagalskyBY12, author = {Alexey Zagalsky and Ohad Barzilay and Amiram Yehudai}, editor = {Walid Maalej and Martin P. Robillard and Robert J. Walker and Thomas Zimmermann}, title = {Example overflow: using social media for code recommendation}, booktitle = {Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, {RSSE} 2012, Zurich, Switzerland, June 4, 2012}, pages = {38--42}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/RSSE.2012.6233407}, doi = {10.1109/RSSE.2012.6233407}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/ZagalskyBY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/saem/BeckertGTY11, author = {Bernhard Beckert and Christoph Gladisch and Shmuel S. Tyszberowicz and Amiram Yehudai}, title = {KeYGenU: combining verification-based and capture and replay techniques for regression unit testing}, journal = {Int. J. Syst. Assur. Eng. Manag.}, volume = {2}, number = {2}, pages = {97--113}, year = {2011}, url = {https://doi.org/10.1007/s13198-011-0068-3}, doi = {10.1007/S13198-011-0068-3}, timestamp = {Fri, 24 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/saem/BeckertGTY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/CibulskiY11, author = {Hagai Cibulski and Amiram Yehudai}, title = {Regression Test Selection Techniques for Test-Driven Development}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings}, pages = {115--124}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICSTW.2011.28}, doi = {10.1109/ICSTW.2011.28}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/CibulskiY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/BarzilayHY11, author = {Ohad Barzilay and Orit Hazzan and Amiram Yehudai}, editor = {Tibor Gyim{\'{o}}thy and Andreas Zeller}, title = {Using social media to study the diversity of example usage among professional developers}, booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011}, pages = {472--475}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2025113.2025195}, doi = {10.1145/2025113.2025195}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/BarzilayHY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issep/Yehudai10, author = {Amiram Yehudai}, editor = {Juraj Hromkovic and Richard Kr{\'{a}}lovic and Jan Vahrenhold}, title = {Perspective on Computer Science Education}, booktitle = {Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, {ISSEP} 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5941}, pages = {35}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11376-5\_4}, doi = {10.1007/978-3-642-11376-5\_4}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/issep/Yehudai10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/GladischTBY10, author = {Christoph Gladisch and Shmuel S. Tyszberowicz and Bernhard Beckert and Amiram Yehudai}, editor = {Gordon Fraser and Angelo Gargantini}, title = {Generating Regression Unit Tests Using a Combination of Verification and Capture {\&} Replay}, booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga, Spain, July 1-2, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6143}, pages = {61--76}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13977-2\_7}, doi = {10.1007/978-3-642-13977-2\_7}, timestamp = {Mon, 23 Nov 2020 12:33:05 +0100}, biburl = {https://dblp.org/rec/conf/tap/GladischTBY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/PasternakTY09, author = {Benny Pasternak and Shmuel S. Tyszberowicz and Amiram Yehudai}, title = {GenUTest: a unit test and mock aspect generation tool}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {11}, number = {4}, pages = {273--290}, year = {2009}, url = {https://doi.org/10.1007/s10009-009-0115-4}, doi = {10.1007/S10009-009-0115-4}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/PasternakTY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/te/BarzilayHY09, author = {Ohad Barzilay and Orit Hazzan and Amiram Yehudai}, title = {A Multidimensional Software Engineering Course}, journal = {{IEEE} Trans. Educ.}, volume = {52}, number = {3}, pages = {413--424}, year = {2009}, url = {https://doi.org/10.1109/TE.2008.930094}, doi = {10.1109/TE.2008.930094}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/te/BarzilayHY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iticse/BarzilayHY09, author = {Ohad Barzilay and Orit Hazzan and Amiram Yehudai}, editor = {Patrick Br{\'{e}}zillon and Ingrid Russell and Jean{-}Marc Labat}, title = {Evaluation of a software engineering course by reflection}, booktitle = {Proceedings of the 14th Annual {SIGCSE} Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009}, pages = {273--277}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1562877.1562961}, doi = {10.1145/1562877.1562961}, timestamp = {Tue, 09 Mar 2021 15:32:11 +0100}, biburl = {https://dblp.org/rec/conf/iticse/BarzilayHY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/PhinkY08, author = {Yuri Phink and Amiram Yehudai}, editor = {Richard F. Paige and Bertrand Meyer}, title = {Virtual Machine Support for Stateful Aspects}, booktitle = {Objects, Components, Models and Patterns, 46th International Conference, {TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {11}, pages = {80--99}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69824-1\_6}, doi = {10.1007/978-3-540-69824-1\_6}, timestamp = {Wed, 24 Jun 2020 15:26:33 +0200}, biburl = {https://dblp.org/rec/conf/tools/PhinkY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/NirTY07, author = {Dor Nir and Shmuel S. Tyszberowicz and Amiram Yehudai}, editor = {Karen Yorav}, title = {Locating Regression Bugs}, booktitle = {Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October 23-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4899}, pages = {218--234}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77966-7\_18}, doi = {10.1007/978-3-540-77966-7\_18}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hvc/NirTY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/PasternakTY07, author = {Benny Pasternak and Shmuel S. Tyszberowicz and Amiram Yehudai}, editor = {Karen Yorav}, title = {GenUTest: {A} Unit Test and Mock Aspect Generation Tool}, booktitle = {Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October 23-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4899}, pages = {252--266}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77966-7\_20}, doi = {10.1007/978-3-540-77966-7\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/PasternakTY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/swste/KleymanTY07, author = {M. Kleyman and Shmuel S. Tyszberowicz and Amiram Yehudai}, title = {Refactoring Aspects into Java Code}, booktitle = {{IEEE} International Conference on Software-Science, Technology {\&} Engineering, SwSTE'07, Herzlia, Israel, October 30-31, 2007}, pages = {35--47}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/SwSTE.2007.7}, doi = {10.1109/SWSTE.2007.7}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/swste/KleymanTY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcc/HarrusiAY06, author = {S. Harrusi and Amir Averbuch and Amiram Yehudai}, title = {{XML} Syntax Conscious Compression}, booktitle = {2006 Data Compression Conference {(DCC} 2006), 28-30 March 2006, Snowbird, UT, {USA}}, pages = {402--411}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/DCC.2006.85}, doi = {10.1109/DCC.2006.85}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dcc/HarrusiAY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/LevinY06, author = {Stella Levin and Amiram Yehudai}, editor = {Eyal Bin and Avi Ziv and Shmuel Ur}, title = {Evolutionary Testing: {A} Case Study}, booktitle = {Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4383}, pages = {155--165}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-70889-6\_12}, doi = {10.1007/978-3-540-70889-6\_12}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hvc/LevinY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/JencmenY06, author = {Avi Jencmen and Amiram Yehudai}, title = {Fortified Web Services Contracts for Trusted Components}, booktitle = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006), 18-22 September 2006, Chicago, Illinois, {USA}}, pages = {919--926}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ICWS.2006.66}, doi = {10.1109/ICWS.2006.66}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/JencmenY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LitvakTY03, author = {Boris Litvak and Shmuel S. Tyszberowicz and Amiram Yehudai}, title = {Behavioral Consistency Validation of {UML} Diagrams}, booktitle = {1st International Conference on Software Engineering and Formal Methods {(SEFM} 2003), 22-27 September 2003, Brisbane, Australia}, pages = {118--125}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/SEFM.2003.1236213}, doi = {10.1109/SEFM.2003.1236213}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/LitvakTY03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aosd/ShomratY02, author = {Mati Shomrat and Amiram Yehudai}, editor = {Harold Ossher and Gregor Kiczales}, title = {Obvious or not?: regulating architectural decisions using aspect-oriented programming}, booktitle = {Proceedings of the 1st International Conference on Aspect-Oriented Software Development, {AOSD} 2002, University of Twente, Enschede, The Netherlands, April 22-26, 2002}, pages = {3--9}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/508386.508388}, doi = {10.1145/508386.508388}, timestamp = {Tue, 06 Nov 2018 16:57:06 +0100}, biburl = {https://dblp.org/rec/conf/aosd/ShomratY02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/AridorCY98, author = {Yariv Aridor and Shimon Cohen and Amiram Yehudai}, title = {Design of an Actor Language for Implicit Parallel Programming}, journal = {{ACM} {SIGPLAN} Notices}, volume = {33}, number = {6}, pages = {39--47}, year = {1998}, url = {https://doi.org/10.1145/284563.284574}, doi = {10.1145/284563.284574}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/AridorCY98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GafniFY99, author = {Vered Gafni and Yishai A. Feldman and Amiram Yehudai}, editor = {Luqi and Manfred Broy}, title = {Real-Time Systems Development with {MASS}}, booktitle = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {25}, pages = {73--86}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00133-1}, doi = {10.1016/S1571-0661(04)00133-1}, timestamp = {Wed, 23 Nov 2022 16:14:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GafniFY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/joop/EdenGY97, author = {Amnon H. Eden and Joseph Gil and Amiram Yehudai}, title = {Automating the Application of Design Patterns}, journal = {J. Object Oriented Program.}, volume = {10}, number = {2}, pages = {44--46}, year = {1997}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/joop/EdenGY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/oos/AridorCY97, author = {Yariv Aridor and Shimon Cohen and Amiram Yehudai}, title = {{SYMPAL:} a software environment for implicit concurrent object-oriented programming}, journal = {Object Oriented Syst.}, volume = {4}, pages = {53--81}, year = {1997}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/oos/AridorCY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/EdenY97, author = {Amnon H. Eden and Amiram Yehudai}, editor = {Jan Bosch and Stuart Mitchell}, title = {Patterns of the Agenda}, booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997}, series = {Lecture Notes in Computer Science}, volume = {1357}, pages = {100--104}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-69687-3\_19}, doi = {10.1007/3-540-69687-3\_19}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/EdenY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/EdenYG97, author = {Amnon H. Eden and Amiram Yehudai and Joseph Gil}, title = {Precise Specification and Automatic Application of Design Patterns}, booktitle = {1997 International Conference on Automated Software Engineering, {ASE} 1997, Lake Tahoe, CA, USA, November 2-5, 1997}, pages = {143--152}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ASE.1997.632834}, doi = {10.1109/ASE.1997.632834}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/EdenYG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tapos/SimhiGY96, author = {Shaul Simhi and Vered Gafni and Amiram Yehudai}, title = {Combining Reflection and Finite State Diagrams for Design Enforcement}, journal = {Theory Pract. Object Syst.}, volume = {2}, number = {4}, pages = {269--281}, year = {1996}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tapos/SimhiGY96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/Gal-EzerBHY95, author = {Judith Gal{-}Ezer and Catriel Beeri and David Harel and Amiram Yehudai}, title = {A High School Program in Computer Science}, journal = {Computer}, volume = {28}, number = {10}, pages = {73--80}, year = {1995}, url = {https://doi.org/10.1109/2.467599}, doi = {10.1109/2.467599}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/Gal-EzerBHY95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/YehudaiL95, author = {Amiram Yehudai and Fernando Libedinsky}, title = {On Tuning Recursive Procedures}, journal = {Softw. Pract. Exp.}, volume = {25}, number = {9}, pages = {997--1002}, year = {1995}, url = {https://doi.org/10.1002/spe.4380250904}, doi = {10.1002/SPE.4380250904}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/YehudaiL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/GafniYF94, author = {Vered Gafni and Amiram Yehudai and Yishai A. Feldman}, editor = {Hans Langmaack and Willem P. de Roever and Jan Vytopil}, title = {Activation-Oriented Specification of Real-Time Systems}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {863}, pages = {268--287}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58468-4\_170}, doi = {10.1007/3-540-58468-4\_170}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/GafniYF94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/GabberAY93, author = {Eran Gabber and Amir Averbuch and Amiram Yehudai}, title = {Portable, Parallelizing Compiler}, journal = {{IEEE} Softw.}, volume = {10}, number = {2}, pages = {71--81}, year = {1993}, url = {https://doi.org/10.1109/52.199740}, doi = {10.1109/52.199740}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/GabberAY93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BerzinsLY93, author = {Valdis Berzins and Luqi and Amiram Yehudai}, title = {Using Transformations in Specification-Based Prototyping}, journal = {{IEEE} Trans. Software Eng.}, volume = {19}, number = {5}, pages = {436--452}, year = {1993}, url = {https://doi.org/10.1109/32.232011}, doi = {10.1109/32.232011}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/BerzinsLY93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/TyszerowiczY92, author = {Shmuel S. Tyszberowicz and Amiram Yehudai}, title = {{OBSERV} - {A} Prototyping Language and Environment}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {1}, number = {3}, pages = {269--309}, year = {1992}, url = {https://doi.org/10.1145/131736.131751}, doi = {10.1145/131736.131751}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/TyszerowiczY92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/CohenTY91, author = {Aviv Cohen and Shmuel S. Tyszberowicz and Amiram Yehudai}, title = {Specification of user-interfaces using {CRUISE/OBSERV}}, booktitle = {Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September, 1991}, pages = {104--109}, publisher = {{IEEE}}, year = {1991}, url = {https://doi.org/10.1109/CMPSAC.1991.170159}, doi = {10.1109/CMPSAC.1991.170159}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/compsac/CohenTY91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/GabberAY91, author = {Eran Gabber and Amir Averbuch and Amiram Yehudai}, title = {Experience with a Portable Parallelizing Pascal Compiler}, booktitle = {Proceedings of the International Conference on Parallel Processing, {ICPP} '91, Austin, Texas, USA, August 1991. Volume {II:} Software}, pages = {207--210}, publisher = {{CRC} Press}, year = {1991}, timestamp = {Mon, 28 Jul 2014 17:06:00 +0200}, biburl = {https://dblp.org/rec/conf/icpp/GabberAY91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MaonY86, author = {Yael Maon and Amiram Yehudai}, title = {Balance of Many-Valued Transductions and Equivalence Problems}, journal = {Theor. Comput. Sci.}, volume = {47}, number = {3}, pages = {247--262}, year = {1986}, url = {https://doi.org/10.1016/0304-3975(86)90151-9}, doi = {10.1016/0304-3975(86)90151-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MaonY86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/ItzhaikY84, author = {Yair Itzhaik and Amiram Yehudai}, title = {An Intermediate Machine Technique for Deciding Equivalence between a {DPDA} and a Linear {DPDA}}, journal = {Inf. Control.}, volume = {62}, number = {1}, pages = {26--35}, year = {1984}, url = {https://doi.org/10.1016/S0019-9958(84)80008-X}, doi = {10.1016/S0019-9958(84)80008-X}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/ItzhaikY84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MaonY84, author = {Yael Maon and Amiram Yehudai}, title = {On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters}, journal = {Theor. Comput. Sci.}, volume = {33}, pages = {239--260}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(84)90089-6}, doi = {10.1016/0304-3975(84)90089-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MaonY84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ItzhaikY84, author = {Yair Itzhaik and Amiram Yehudai}, title = {New Families of Non Real Time DPDA's and their Decidability Results}, journal = {Theor. Comput. Sci.}, volume = {34}, pages = {255--274}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(84)90054-9}, doi = {10.1016/0304-3975(84)90054-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ItzhaikY84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/KrevnerY83, author = {Yael Krevner and Amiram Yehudai}, title = {An Iteration Theorem for Simple Precedence Languages}, journal = {J. {ACM}}, volume = {30}, number = {4}, pages = {820--833}, year = {1983}, url = {https://doi.org/10.1145/2157.322408}, doi = {10.1145/2157.322408}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/KrevnerY83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/PittlY83, author = {Jan Pittl and Amiram Yehudai}, title = {Constructing a Realtime Deterministic Pushdown Automaton from a Grammar}, journal = {Theor. Comput. Sci.}, volume = {22}, pages = {57--69}, year = {1983}, url = {https://doi.org/10.1016/0304-3975(83)90138-X}, doi = {10.1016/0304-3975(83)90138-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/PittlY83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/ItzhaikY83, author = {Yair Itzhaik and Amiram Yehudai}, editor = {Marek Karpinski}, title = {On Containment Problems for Finite-Turn Languages (Extended Abstract)}, booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983}, series = {Lecture Notes in Computer Science}, volume = {158}, pages = {219--231}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/3-540-12689-9\_106}, doi = {10.1007/3-540-12689-9\_106}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/ItzhaikY83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Yehudai82, author = {Amiram Yehudai}, title = {A Hierarchy of Real-Time Deterministic Languages and Their Equivalence}, journal = {J. Comput. Syst. Sci.}, volume = {24}, number = {1}, pages = {91--100}, year = {1982}, url = {https://doi.org/10.1016/0022-0000(82)90057-5}, doi = {10.1016/0022-0000(82)90057-5}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Yehudai82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KrevnerY82, author = {Yael Krevner and Amiram Yehudai}, editor = {Mogens Nielsen and Erik Meineche Schmidt}, title = {An Iteration Theorem for Simple Precedence Languages (Extended Abstract)}, booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {140}, pages = {360--368}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/BFb0012783}, doi = {10.1007/BFB0012783}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KrevnerY82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/HarrisonY81, author = {Michael A. Harrison and Amiram Yehudai}, title = {Eliminating Null Rules in Linear Time}, journal = {Comput. J.}, volume = {24}, number = {2}, pages = {156--161}, year = {1981}, url = {https://doi.org/10.1093/comjnl/24.2.156}, doi = {10.1093/COMJNL/24.2.156}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/HarrisonY81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Ben-AriY81, author = {Mordechai Ben{-}Ari and Amiram Yehudai}, title = {A methodology for modular use of Ada}, journal = {{ACM} {SIGPLAN} Notices}, volume = {16}, number = {12}, pages = {22--26}, year = {1981}, url = {https://doi.org/10.1145/954262.954266}, doi = {10.1145/954262.954266}, timestamp = {Tue, 03 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Ben-AriY81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ItzhaikY81, author = {Yair Itzhaik and Amiram Yehudai}, editor = {Shimon Even and Oded Kariv}, title = {A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract)}, booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {115}, pages = {229--237}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10843-2\_19}, doi = {10.1007/3-540-10843-2\_19}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ItzhaikY81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Yehudai80, author = {Amiram Yehudai}, title = {The Decidability of Equivalence for a Family of Linear Grammars}, journal = {Inf. Control.}, volume = {47}, number = {2}, pages = {122--136}, year = {1980}, url = {https://doi.org/10.1016/S0019-9958(80)90741-X}, doi = {10.1016/S0019-9958(80)90741-X}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Yehudai80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Yehudai80, author = {Amiram Yehudai}, title = {Automatic indention versus program formatting}, journal = {{ACM} {SIGPLAN} Notices}, volume = {15}, number = {10}, pages = {85--87}, year = {1980}, url = {https://doi.org/10.1145/947727.947734}, doi = {10.1145/947727.947734}, timestamp = {Wed, 04 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Yehudai80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Yehudai79, author = {Amiram Yehudai}, title = {A Note on the Pumping Lemma for Regular Languages}, journal = {Inf. Process. Lett.}, volume = {9}, number = {3}, pages = {135--136}, year = {1979}, url = {https://doi.org/10.1016/0020-0190(79)90054-1}, doi = {10.1016/0020-0190(79)90054-1}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Yehudai79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/HarrisonY79, author = {Michael A. Harrison and Amiram Yehudai}, title = {A Hierarchy of Deterministic Languages}, journal = {J. Comput. Syst. Sci.}, volume = {19}, number = {1}, pages = {63--78}, year = {1979}, url = {https://doi.org/10.1016/0022-0000(79)90014-X}, doi = {10.1016/0022-0000(79)90014-X}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/HarrisonY79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HarrisonHY79, author = {Michael A. Harrison and Ivan M. Havel and Amiram Yehudai}, title = {On Equivalence of Grammars Through Transformation Trees}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {173--205}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90024-0}, doi = {10.1016/0304-3975(79)90024-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HarrisonHY79.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.