Dr. Achiya Elyasaf

Publications

Copyright notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Can’t find a paper online? Contact me, or see Google Scholar for citation counts.

2025

  1. Deep learning-based operators for evolutionary algorithms Eliad Shem-Tov, Moshe Sipper, Achiya Elyasaf Genetic Programming Theory and Practice XXI, 2025 view online
    [bib]
    @incollection{ShemTov2024DLOperators,
  author = {Shem-Tov, Eliad and Sipper, Moshe and Elyasaf, Achiya},
  booktitle = {Genetic Programming Theory and Practice XXI},
  title = {Deep learning-based operators for evolutionary algorithms},
  year = {2025},
  address = {University of Michigan, USA},
  editor = {Banzhaf, Wolfgang and Hu, Ting and Lalejini, Alexander and Winkler, Stephan},
  month = jun,
  series = {Genetic and Evolutionary Computation},
  doi = {10.1007/978-981-96-0077-9_3},
  groups = {Evolutionary Computation, Artificial Intelligence, Deep Learning}
}
  2. Supplementary Materials: A Study on the Comprehensibility of Behavioral Programming Variants Adiel Ashrov, Achiya Elyasaf, Arnon Sturm, Guy Katz Zenodo, 2025 view online
    [bib]
    @misc{ashrov_2025_14848933,
  author = {Ashrov, Adiel and Elyasaf, Achiya and Sturm, Arnon and Katz, Guy},
  month = feb,
  title = {Supplementary Materials: A Study on the Comprehensibility of Behavioral Programming Variants},
  year = {2025},
  doi = {10.5281/zenodo.14848933},
  publisher = {Zenodo}
}
  3. Toward Self-Modifying Autonomous Business Process Systems Process Management in the AI Era 2025, 2025 view online
    [bib]
    @inproceedings{elyasaf2025TowardSelfModifyingABP,
  author = {},
  booktitle = {Process Management in the AI Era 2025},
  title = {Toward Self-Modifying Autonomous Business Process Systems},
  year = {2025},
  publisher = {CEUR Vol-4087},
  url = {https://ceur-ws.org/Vol-4087/}
}
  4. BERT Mutation: Deep Transformer Model for Masked Uniform Mutation in Genetic Programming Eliad Shem-Tov, Moshe Sipper, Achiya Elyasaf Mathematics (2227-7390), vol. 13, no. 5, 2025 view online
    [bib]
    @article{shem2025bert,
  author = {Shem-Tov, Eliad and Sipper, Moshe and Elyasaf, Achiya},
  journal = {Mathematics (2227-7390)},
  title = {BERT Mutation: Deep Transformer Model for Masked Uniform Mutation in Genetic Programming},
  year = {2025},
  number = {5},
  volume = {13},
  doi = {10.3390/math13050779}
}
  5. Adding liveness to behavioral programming: theory, implementation, and user study Tom Yaacov, Achiya Elyasaf, Gera Weiss Requirements Engineering, pp. 1–23, 2025 view online
    [bib]
    @article{yaacov2025adding,
  author = {Yaacov, Tom and Elyasaf, Achiya and Weiss, Gera},
  journal = {Requirements Engineering},
  title = {Adding liveness to behavioral programming: theory, implementation, and user study},
  year = {2025},
  pages = {1--23},
  doi = {10.1007/s00766-025-00439-4},
  publisher = {Springer}
}

2024

  1. Categorizing Methods for Integrating Machine Learning with Executable Specifications David Harel, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf Science China Information Sciences, vol. 67, no. 1, 2024 view online
    [bib]
    @article{Harel2024CategorizingMethodsIntegrating,
  author = {Harel, David and Yerushalmi, Raz and Marron, Assaf and Elyasaf, Achiya},
  journal = {Science China Information Sciences},
  title = {{Categorizing Methods for Integrating Machine Learning with Executable Specifications}},
  year = {2024},
  issn = {1869-1919},
  month = oct,
  number = {1},
  volume = {67},
  doi = {10.1007/s11432-022-3826-6},
  groups = {Behavioral Programming, Machine Learning, Survey},
  publisher = {Springer}
}
  2. Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements T. Yaacov, A. Elyasaf, G. Weiss 2024 IEEE 32nd International Requirements Engineering Conference (RE), pp. 91-102, 2024 view online
    [bib]
    @inproceedings{Yaacov2024Liveness,
  author = {Yaacov, T. and Elyasaf, A. and Weiss, G.},
  booktitle = {2024 IEEE 32nd International Requirements Engineering Conference (RE)},
  title = {Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements},
  year = {2024},
  address = {Los Alamitos, CA, USA},
  month = jun,
  pages = {91-102},
  publisher = {IEEE Computer Society},
  doi = {10.1109/RE59067.2024.00019},
  groups = {Behavioral Programming,Deep Learning},
  keywords = {protocols;software algorithms;semantics;tagging;programming;software systems;safety},
  url = {https://doi.ieeecomputersociety.org/10.1109/RE59067.2024.00019}
}
  3. Boosting LLM-Based Software Generation by Aligning Code with Requirements Tom Yaacov, Achiya Elyasaf, Gera Weiss 2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW), pp. 301-305, 2024 view online
    [bib]
    @inproceedings{Yaacov2024BoostingLLMBP,
  author = {Yaacov, Tom and Elyasaf, Achiya and Weiss, Gera},
  booktitle = {2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)},
  title = {Boosting LLM-Based Software Generation by Aligning Code with Requirements},
  year = {2024},
  month = jun,
  pages = {301-305},
  doi = {10.1109/REW61692.2024.00045},
  groups = {Behavioral Programming,Large-Language Model},
  issn = {2770-6834},
  keywords = {Analytical models;Codes;Software design;Runtime;Programming;Software;Requirements engineering;behavioral programming;large language models;requirement engineering}
}
  4. A Melting Pot of Evolution and Learning Moshe Sipper, Achiya Elyasaf, Tomer Halperin, Zvika Haramaty, Raz Lapid, Eyal Segal, Itai Tzruia, Snir Vitrack Tamam Genetic Programming Theory and Practice XX, pp. 143–158, 2024 view online
    [bib]
    @incollection{Sipper2024MeltingPotEvolution,
  author = {Sipper, Moshe and Elyasaf, Achiya and Halperin, Tomer and Haramaty, Zvika and Lapid, Raz and Segal, Eyal and Tzruia, Itai and Tamam, Snir Vitrack},
  booktitle = {Genetic Programming Theory and Practice XX},
  publisher = {Springer Nature Singapore},
  title = {A Melting Pot of Evolution and Learning},
  year = {2024},
  address = {Singapore},
  editor = {Winkler, Stephan and Trujillo, Leonardo and Ofria, Charles and Hu, Ting},
  isbn = {978-981-99-8413-8},
  pages = {143--158},
  doi = {10.1007/978-981-99-8413-8_8}
}
  5. Fitness Approximation Through Machine Learning with Dynamic Adaptation to the Evolutionary State Itai Tzruia, Tomer Halperin, Moshe Sipper, Achiya Elyasaf Information, vol. 15, no. 12, pp. 744, 2024 view online
    [bib]
    @article{Tzruia2023FitnessApproximationMachine,
  author = {Tzruia, Itai and Halperin, Tomer and Sipper, Moshe and Elyasaf, Achiya},
  journal = {Information},
  title = {{Fitness Approximation Through Machine Learning with Dynamic Adaptation to the Evolutionary State}},
  year = {2024},
  issn = {2078-2489},
  number = {12},
  pages = {744},
  volume = {15},
  doi = {10.3390/info15120744},
  groups = {Evolutionary Computation, Artificial Intelligence, Machine Learning},
  publisher = {MDPI},
  url = {https://www.mdpi.com/2078-2489/15/12/744}
}
  6. Evolving Assembly Code in an Adversarial Environment Irina Maliukov, Gera Weiss, Oded Margalit, Achiya Elyasaf Proceedings of the Genetic and Evolutionary Computation Conference Companion, pp. 723–726, 2024 view online
    [bib]
    @inproceedings{Maliukov2024EvolvingAssemblyCode,
  author = {Maliukov, Irina and Weiss, Gera and Margalit, Oded and Elyasaf, Achiya},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference Companion},
  title = {Evolving Assembly Code in an Adversarial Environment},
  year = {2024},
  address = {New York, NY, USA},
  pages = {723–726},
  publisher = {Association for Computing Machinery},
  series = {GECCO '24 Companion},
  doi = {10.1145/3638530.3654209},
  groups = {Evolutionary Computation, Artificial Intelligence, Deep Learning},
  isbn = {9798400704956},
  keywords = {genetic programming, assembly, code generation, codeguru xtreme},
  location = {Melbourne, VIC, Australia},
  numpages = {4},
  url = {https://doi.org/10.1145/3638530.3654209}
}
  7. Deep Neural Crossover: A Multi-Parent Operator That Leverages Gene Correlations Eliad Shem-Tov, Achiya Elyasaf Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1045–1053, 2024 view online
    [bib]
    @inprocceedings{ShemTov2024DNC,
  address = {New York, NY, USA},
  author = {Shem-Tov, Eliad and Elyasaf, Achiya},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference},
  doi = {10.1145/3638529.3654020},
  groups = {Evolutionary Computation, Artificial Intelligence, Deep Learning},
  isbn = {9798400704949},
  keywords = {genetic algorithm, recombination operator, reinforcement learning, combinatorial optimization, surrogate model},
  location = {Melbourne, VIC, Australia},
  numpages = {9},
  pages = {1045--1053},
  publisher = {Association for Computing Machinery},
  series = {GECCO '24},
  title = {Deep Neural Crossover: A Multi-Parent Operator That Leverages Gene Correlations},
  url = {https://doi.org/10.1145/3638529.3654020},
  year = {2024}
}

2023

  1. A Framework for Analyzing Modeling Languages for Context-Aware Systems Achiya Elyasaf, Arnon Sturm SN Computer Science, vol. 4, no. 2, pp. 149, 2023 view online
    [bib]
    @article{Elyasaf2023ModelingCASLanguages,
  author = {Elyasaf, Achiya and Sturm, Arnon},
  journal = {{SN} Computer Science},
  title = {{A Framework for Analyzing Modeling Languages for Context-Aware Systems}},
  year = {2023},
  month = jan,
  number = {2},
  pages = {149},
  volume = {4},
  doi = {10.1007/s42979-022-01576-1},
  groups = {Context-Oriented Programming, Context-Aware Systems, Modeling, Survey},
  publisher = {Springer Science and Business Media {LLC}}
}
  2. Enhancing Deep Reinforcement Learning with Scenario-Based Modeling Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron SN Computer Science, vol. 4, no. 2, pp. 156, 2023 view online
    [bib]
    @article{Yerushalmi2023EnhancingDRL,
  author = {Yerushalmi, Raz and Amir, Guy and Elyasaf, Achiya and Harel, David and Katz, Guy and Marron, Assaf},
  journal = {{SN} Computer Science},
  title = {{Enhancing Deep Reinforcement Learning with Scenario-Based Modeling}},
  year = {2023},
  month = jan,
  number = {2},
  pages = {156},
  volume = {4},
  doi = {10.1007/s42979-022-01575-2},
  groups = {Behavioral Programming, Guiding and Guarding Deep Learning, Deep Learning},
  publisher = {Springer Science and Business Media {LLC}}
}
  3. Generalized Coverage Criteria for Combinatorial Sequence Testing Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss IEEE Transactions on Software Engineering, pp. 1-12, 2023 view online
    [bib]
    @article{Elyasaf2023GeneralizedCoverageCriteria,
  author = {Elyasaf, Achiya and Farchi, Eitan and Margalit, Oded and Weiss, Gera and Weiss, Yeshayahu},
  journal = {IEEE Transactions on Software Engineering},
  title = {{Generalized Coverage Criteria for Combinatorial Sequence Testing}},
  year = {2023},
  pages = {1-12},
  doi = {10.1109/TSE.2023.3279570},
  groups = {Behavioral Programming, Testing, Model-based Testing},
  url = {https://doi.org/10.1109/TSE.2023.3279570}
}
  4. A framework for analyzing context-oriented programming languages Achiya Elyasaf, Nicolás Cardozo, Arnon Sturm Journal of Systems and Software, vol. 198, pp. 111614, 2023 view online
    [bib]
    @article{Elyasaf2023AnalyzingCOPL,
  author = {Elyasaf, Achiya and Cardozo, Nicol\'as and Sturm, Arnon},
  journal = {Journal of Systems and Software},
  title = {A framework for analyzing context-oriented programming languages},
  year = {2023},
  issn = {0164-1212},
  pages = {111614},
  volume = {198},
  doi = {https://doi.org/10.1016/j.jss.2023.111614},
  groups = {Behavioral Programming, Context-Oriented Behavioral Programming, Context-Oriented Programming, Survey},
  keywords = {Context-oriented programming, Evaluation, Comparison},
  url = {https://doi.org/10.1016/j.jss.2023.111614}
}
  5. EC-KitY: Evolutionary computation tool kit in Python with seamless machine learning integration Moshe Sipper, Tomer Halperin, Itai Tzruia, Achiya Elyasaf SoftwareX, vol. 22, pp. 101381, 2023 view online
    [bib]
    @article{Sipper2023ECKity,
  author = {Sipper, Moshe and Halperin, Tomer and Tzruia, Itai and Elyasaf, Achiya},
  journal = {SoftwareX},
  title = {{EC-KitY: Evolutionary computation tool kit in Python with seamless machine learning integration}},
  year = {2023},
  issn = {2352-7110},
  pages = {101381},
  volume = {22},
  doi = {https://doi.org/10.1016/j.softx.2023.101381},
  groups = {Evolutionary Computation, Artificial Intelligence, Machine Learning},
  keywords = {Evolutionary algorithms, Evolutionary computation, Genetic programming, Machine learning, Scikit-learn},
  url = {https://doi.org/10.1016/j.softx.2023.101381}
}
  6. What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition Achiya Elyasaf, Tom Yaacov, Gera Weiss IEEE Transactions on Software Engineering, vol. 49, no. 4, pp. 2303–2317, 2023 view online
    [bib]
    @article{Elyasaf2023BPPN,
  author = {Elyasaf, Achiya and Yaacov, Tom and Weiss, Gera},
  journal = {IEEE Transactions on Software Engineering},
  title = {What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition},
  year = {2023},
  number = {4},
  pages = {2303--2317},
  volume = {49},
  doi = {10.1109/TSE.2022.3216683},
  groups = {Behavioral Programming, Petri Net},
  url = {https://doi.org/10.1109/TSE.2022.3216683}
}
  7. Provengo: A Tool Suite for Scenario Driven Model-Based Testing Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 2062-2065, 2023 view online
    [bib]
    @inproceedings{BarSinai2023ProvengoToolSuite,
  author = {Bar-Sinai, Michael and Elyasaf, Achiya and Weiss, Gera and Weiss, Yeshayahu},
  booktitle = {2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  title = {Provengo: A Tool Suite for Scenario Driven Model-Based Testing},
  year = {2023},
  pages = {2062-2065},
  doi = {10.1109/ASE56229.2023.00146},
  groups = {Behavioral Programming, Testing, Model-based Testing},
  keywords = {Testing;Software engineering;Business},
  url = {https://doi.org/10.1109/ASE56229.2023.00146}
}

2022

  1. Evolving context-aware recommender systems with users in mind Amit Livne, Eliad Shem Tov, Adir Solomon, Achiya Elyasaf, Bracha Shapira, Lior Rokach Expert Systems with Applications, vol. 189, pp. 116042, 2022 view online
    [bib]
    @article{livne2022evolving,
  author = {Livne, Amit and Tov, Eliad Shem and Solomon, Adir and Elyasaf, Achiya and Shapira, Bracha and Rokach, Lior},
  journal = {Expert Systems with Applications},
  title = {Evolving context-aware recommender systems with users in mind},
  year = {2022},
  pages = {116042},
  volume = {189},
  doi = {10.1016/j.eswa.2021.116042},
  groups = {Recommender Systems, Deep Learning, Evolutionary Computation},
  publisher = {Elsevier}
}
  2. From Requirements to Source Code: Evolution of Behavioral Programs Roy Poliansky, Moshe Sipper, Achiya Elyasaf Applied Sciences, vol. 12, no. 3, 2022 view online
    [bib]
    @article{Poliansky2022BPGP,
  author = {Poliansky, Roy and Sipper, Moshe and Elyasaf, Achiya},
  journal = {Applied Sciences},
  title = {{From Requirements to Source Code: Evolution of Behavioral Programs}},
  year = {2022},
  issn = {2076-3417},
  number = {3},
  volume = {12},
  article-number = {1587},
  doi = {10.3390/app12031587},
  groups = {Behavioral Programming, Context-Oriented Behavioral Programming, Artificial Intelligence, Evolutionary Computation, Code Generation},
  url = {https://doi.org/10.3390/app12031587}
}
  3. Scenario-assisted Deep Reinforcement Learning Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD, pp. 310–319, 2022 view online
    [bib]
    @conference{Yerushalmi2022ScenarioassistedDeep,
  author = {Yerushalmi, Raz and Amir, Guy and Elyasaf, Achiya and Harel, David and Katz, Guy and Marron, Assaf},
  booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
  title = {Scenario-assisted Deep Reinforcement Learning},
  year = {2022},
  organization = {INSTICC},
  pages = {310--319},
  publisher = {SciTePress},
  doi = {10.5220/0010904700003119},
  groups = {Behavioral Programming, Guiding and Guarding Deep Learning, Deep Learning},
  isbn = {978-989-758-550-0},
  issn = {2184-4348},
  url = {https://doi.org/10.5220/0010904700003119}
}
  4. Modeling Context-aware Systems: A Conceptualized Framework. Achiya Elyasaf, Arnon Sturm Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2022), pp. 26–35, 2022 view online
    [bib]
    @inproceedings{e679706772f544859e9223c8e48fe2ab,
  author = {Elyasaf, Achiya and Sturm, Arnon},
  booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2022)},
  title = {Modeling Context-aware Systems: A Conceptualized Framework.},
  year = {2022},
  pages = {26--35},
  doi = {10.5220/0010818200003119},
  groups = {Context-Oriented Programming, Context-Aware Systems, Modeling},
  language = {English},
  url = {https://doi.org/10.5220/0010818200003119}
}

2021

  1. Scenario based method for testing software Gera Weiss, Aviran Sadon, Achiya Elyasaf, Bar-Sinai Michael Google Patents, 2021
    [bib]
    @misc{weiss2021scenario,
  author = {Weiss, Gera and Sadon, Aviran and Elyasaf, Achiya and Michael, Bar-Sinai},
  month = oct,
  note = {US Patent 11,138,100},
  title = {Scenario based method for testing software},
  year = {2021},
  groups = {Behavioral Programming, Testing, Satellite, Model-based Testing},
  publisher = {Google Patents}
}
  2. Context-Oriented Behavioral Programming Achiya Elyasaf Information and Software Technology, vol. 133, pp. 106504, 2021 view online
    [bib]
    @article{Elyasaf2020COBP,
  author = {Elyasaf, Achiya},
  journal = {Information and Software Technology},
  title = {{Context-Oriented Behavioral Programming}},
  year = {2021},
  issn = {0950-5849},
  month = may,
  pages = {106504},
  volume = {133},
  doi = {10.1016/j.infsof.2020.106504},
  groups = {Behavioral Programming, Context-Oriented Behavioral Programming, Context-Oriented Programming},
  keywords = {Behavioral programming, Scenario-based programming, Programming paradigm, Context awareness, Context-oriented programming, Context-Oriented Behavioral Programming},
  publisher = {Elsevier {BV}},
  url = {https://doi.org/10.1016/j.infsof.2020.106504}
}
  3. Interweaving AI and Behavioral Programming Towards Better Programming Environments Achiya Elyasaf, Moshe Weinstock, Gera Weiss Artificial Intelligence Methods For Software Engineering, pp. 3–27, 2021
    [bib]
    @incollection{Elyasaf2021InterweavingAIBehavioral,
  author = {Elyasaf, Achiya and Weinstock, Moshe and Weiss, Gera},
  booktitle = {Artificial Intelligence Methods For Software Engineering},
  publisher = {World Scientific},
  title = {{Interweaving AI and Behavioral Programming Towards Better Programming Environments}},
  year = {2021},
  pages = {3--27},
  groups = {Behavioral Programming, Artificial Intelligence}
}
  4. Towards Combining Deep Learning, Verification, and Scenario-Based Programming Guy Katz, Achiya Elyasaf Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems, 2021 view online
    [bib]
    @inproceedings{Katz2021TowardsCombiningDeep,
  author = {Katz, Guy and Elyasaf, Achiya},
  booktitle = {Proceedings of the 1st International Workshop on Verification of Autonomous \& Robotic Systems},
  title = {{Towards Combining Deep Learning, Verification, and Scenario-Based Programming}},
  year = {2021},
  address = {New York, NY, USA},
  publisher = {Association for Computing Machinery},
  series = {VARS '21},
  articleno = {5},
  doi = {10.1145/3459086.3459631},
  groups = {Behavioral Programming, Context-Oriented Behavioral Programming, Context-Oriented Programming, Guiding and Guarding Deep Learning, Deep Learning},
  isbn = {9781450384445},
  location = {Nashville, Tennessee},
  numpages = {3},
  url = {https://doi.org/10.1145/3459086.3459631}
}

2019

  1. Using Behavioral Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game Achiya Elyasaf, Aviran Sadon, Gera Weiss, Tom Yaacov 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 243–251, 2019 view online
    [bib]
    @inproceedings{Elyasaf2019RoboCup,
  author = {Elyasaf, Achiya and Sadon, Aviran and Weiss, Gera and Yaacov, Tom},
  booktitle = {2019 {ACM}/{IEEE} 22nd International Conference on Model Driven Engineering Languages and Systems Companion ({MODELS}-C)},
  title = {{Using Behavioral Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game}},
  year = {2019},
  month = sep,
  pages = {243--251},
  publisher = {{IEEE}},
  doi = {10.1109/models-c.2019.00039},
  groups = {Behavioral Programming, Context-Oriented Behavioral Programming, Context-Oriented Programming, Deep Learning, Guiding and Guarding Deep Learning},
  timestamp = {2019-10-22T19:55:05Z},
  url = {https://doi.org/10.1109/models-c.2019.00039}
}
  2. A Scenario Based On-Board Software and Testing Environment for Satellites Michael Bar-Sinai, Achiya Elyasaf, Aviran Sadon, Gera Weiss 59th Israel Annual Conference on Aerospace Sciences, IACAS 2019, vol. 2, pp. 1407–1419, 2019
    [bib]
    @inproceedings{BarSinai2019Satellite,
  author = {{Bar-Sinai}, Michael and Elyasaf, Achiya and Sadon, Aviran and Weiss, Gera},
  booktitle = {59th Israel Annual Conference on {{Aerospace Sciences}}, {{IACAS}} 2019},
  title = {{A Scenario Based On-Board Software and Testing Environment for Satellites}},
  year = {2019},
  pages = {1407--1419},
  volume = {2},
  copyright = {All rights reserved},
  groups = {Behavioral Programming, Testing, Satellite, Model-based Testing},
  isbn = {978-1-5108-8278-2},
  timestamp = {2019-10-22T21:07:14Z}
}

2018

  1. Evolving Artificial General Intelligence for Video Game Controllers Itay Azaria, Achiya Elyasaf, Moshe Sipper Genetic Programming Theory and Practice XIV, pp. 53–63, 2018 view online
    [bib]
    @incollection{Azaria2018EvolvingArtificial,
  author = {Azaria, Itay and Elyasaf, Achiya and Sipper, Moshe},
  booktitle = {Genetic {{Programming Theory}} and {{Practice XIV}}},
  publisher = {{Springer, Cham}},
  title = {Evolving {{Artificial General Intelligence}} for {{Video Game Controllers}}},
  year = {2018},
  pages = {53--63},
  copyright = {All rights reserved},
  doi = {10.1007/978-3-319-97088-2_4},
  groups = {Evolutionary Computation, Artificial Intelligence},
  url = {https://doi.org/10.1007/978-3-319-97088-2_4}
}
  2. Towards Integration of Context-Based and Scenario-Based Development Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss Springer, Cham, vol. 10748 LNCS, 2018 view online
    [bib]
    @book{Elyasaf2018IntegrationContextBased,
  author = {Elyasaf, Achiya and Harel, David and Marron, Assaf and Weiss, Gera},
  publisher = {{Springer, Cham}},
  title = {Towards {{Integration}} of {{Context}}-{{Based}} and {{Scenario}}-{{Based Development}}},
  year = {2018},
  isbn = {978-3-319-74729-3},
  volume = {10748 LNCS},
  copyright = {All rights reserved},
  doi = {10.1007/978-3-319-74730-9_21},
  groups = {Behavioral Programming, Context-Oriented Behavioral Programming},
  url = {https://doi.org/10.1007/978-3-319-74730-9_21}
}
  3. A Context-Based Behavioral Language for IoT Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss CEUR Workshop Proceedings, vol. 2245, pp. 485–494, 2018 view online
    [bib]
    @inproceedings{Elyasaf2018LSC4IoT,
  author = {Elyasaf, Achiya and Marron, Assaf and Sturm, Arnon and Weiss, Gera},
  booktitle = {{{CEUR Workshop Proceedings}}},
  title = {{A Context-Based Behavioral Language for IoT}},
  year = {2018},
  address = {{Copenhagen, Denmark}},
  editor = {{Regina Hebig and Thorsten Berger}},
  pages = {485--494},
  publisher = {{CEUR-WS.org}},
  volume = {2245},
  copyright = {All rights reserved},
  groups = {Behavioral Programming, Context-Oriented Behavioral Programming, Context-Oriented Programming},
  timestamp = {2019-10-22T20:25:23Z},
  url = {http://ceur-ws.org/Vol-2245}
}

2016

  1. Learning Heuristics for Mining RNA Sequence-Structure Motifs Achiya Elyasaf, Pavel Vaks, Nimrod Milo, Moshe Sipper, Michal Ziv-Ukelson Genetic Programming Theory and Practice XIII, pp. 21–38, 2016 view online
    [bib]
    @inproceedings{Elyasaf2016LearningHeuristics,
  author = {Elyasaf, Achiya and Vaks, Pavel and Milo, Nimrod and Sipper, Moshe and {Ziv-Ukelson}, Michal},
  booktitle = {Genetic {{Programming Theory}} and {{Practice XIII}}},
  title = {Learning {{Heuristics}} for {{Mining RNA Sequence}}-{{Structure Motifs}}},
  year = {2016},
  editor = {Riolo, R. and Worzel, W. and Kotanchek, M. and Kordon, A.},
  pages = {21--38},
  publisher = {{Springer, Cham}},
  copyright = {All rights reserved},
  doi = {10.1007/978-3-319-34223-8_2},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  isbn = {978-3-319-34221-4},
  url = {https://doi.org/10.1007/978-3-319-34223-8_2}
}
  2. Six (Im)Possible Things before Breakfast Building-Blocks and Design-Principles for Wise Computing (Work-in-Progress Report) Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel CEUR Workshop Proceedings, vol. 1725, pp. 94–100, 2016
    [bib]
    @inproceedings{Marron2016SixIm,
  author = {Marron, Assaf and Arnon, Brit and Elyasaf, Achiya and Gordon, Michal and Katz, Guy and Lapid, Hadas and Marelly, Rami and Sherman, Dana and Szekely, Smadar and Weiss, Gera and Harel, David},
  booktitle = {{{CEUR Workshop Proceedings}}},
  title = {{Six (Im)Possible Things before Breakfast Building-Blocks and Design-Principles for Wise Computing (Work-in-Progress Report)}},
  year = {2016},
  pages = {94--100},
  volume = {1725},
  copyright = {All rights reserved},
  groups = {Behavioral Programming}
}

2014

  1. Evolving Hyper-Heuristics Using Genetic Programming Achiya Elyasaf Ben-Gurion University of the Negev, Israel, 2014 view online
    [bib]
    @phdthesis{Elyasaf2014EvolvingHyperHeuristics,
  author = {Elyasaf, Achiya},
  school = {Ben-Gurion University of the Negev, Israel},
  title = {{Evolving Hyper-Heuristics Using Genetic Programming}},
  year = {2014},
  type = {{{PhD Thesis}}},
  copyright = {All rights reserved},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  url = {http://achiya.elyasaf.net/wp-content/uploads/2015/07/Achiya-Elyasaf-Ph.D.-Thesis.pdf}
}
  2. Software Review: The HeuristicLab Framework Achiya Elyasaf, Moshe Sipper Genetic Programming and Evolvable Machines, vol. 15, no. 2, pp. 215–218, 2014 view online
    [bib]
    @article{Elyasaf2014SoftwareReview,
  author = {Elyasaf, Achiya and Sipper, Moshe},
  journal = {Genetic Programming and Evolvable Machines},
  title = {{Software Review: The HeuristicLab Framework}},
  year = {2014},
  issn = {1573-7632},
  number = {2},
  pages = {215--218},
  volume = {15},
  copyright = {All rights reserved},
  doi = {10.1007/s10710-014-9214-4},
  groups = {Evolutionary Computation, Review},
  url = {https://doi.org/10.1007/s10710-014-9214-4}
}
  3. Lunch Isn’t Free — but Cells Are Moshe Sipper, Achiya Elyasaf ACM SIGEVOlution, vol. 6, no. 3-4, pp. 2–10, 2014 view online
    [bib]
    @article{Sipper2014LunchIsn,
  author = {Sipper, Moshe and Elyasaf, Achiya},
  journal = {ACM SIGEVOlution},
  title = {{Lunch Isn't Free --- but Cells Are}},
  year = {2014},
  issn = {1931-8499},
  number = {3-4},
  pages = {2--10},
  volume = {6},
  copyright = {All rights reserved},
  doi = {10.1145/2661740.2661741},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  keywords = {genetic algorithms,genetic programming},
  url = {http://www.sigevolution.org/issues/pdf/SIGEVOlution060304.pdf}
}

2013

  1. More or Less? Two Approaches to Evolving Game-Playing Strategies Amit Benbassat, Achiya Elyasaf, Moshe Sipper Genetic Programming Theory and Practice X, pp. 171–185, 2013 view online
    [bib]
    @incollection{Benbassat2013MoreLess,
  author = {Benbassat, Amit and Elyasaf, Achiya and Sipper, Moshe},
  booktitle = {Genetic {{Programming Theory}} and {{Practice X}}},
  publisher = {{Springer, New York, NY}},
  title = {More or {{Less}}? {{Two Approaches}} to {{Evolving Game}}-{{Playing Strategies}}},
  year = {2013},
  editor = {Riolo, R. and Vladislavleva, E. and Ritchie, M. and Moore, J.},
  isbn = {978-1-4614-6845-5},
  pages = {171--185},
  copyright = {All rights reserved},
  date = {2013-05-24},
  doi = {10.1007/978-1-4614-6846-2_12},
  ean = {9781461468455},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  keywords = {checkers,dodgem,freecell,genetic,genetic algorithms,hyper heuristic,programming,reversi},
  pagetotal = {268},
  url = {https://www.ebook.de/de/product/20195637/genetic_programming_theory_and_practice_x.html}
}
  2. A Heuristiclab Evolutionary Algorithm for FINCH Achiya Elyasaf, Michael Orlov, Moshe Sipper GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, pp. 1727–1728, 2013 view online
    [bib]
    @inproceedings{Elyasaf2013HeuristiclabEvolutionary,
  author = {Elyasaf, Achiya and Orlov, Michael and Sipper, Moshe},
  booktitle = {GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion},
  title = {{A Heuristiclab Evolutionary Algorithm for FINCH}},
  year = {2013},
  pages = {1727--1728},
  copyright = {All rights reserved},
  doi = {10.1145/2464576.2480786},
  groups = {Evolutionary Computation, Artificial Intelligence, Code Generation},
  isbn = {978-1-4503-1964-5},
  keywords = {Heuristiclab,Java bytecode,Software evolution},
  url = {https://doi.org/10.1145/2464576.2480786}
}
  3. HH-Evolver: A System for Domain-Specific, Hyper-Heuristic Evolution Achiya Elyasaf, Moshe Sipper GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, pp. 1285–1291, 2013 view online
    [bib]
    @inproceedings{Elyasaf2013HHevolverSystem,
  author = {Elyasaf, Achiya and Sipper, Moshe},
  booktitle = {GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion},
  title = {{HH-Evolver: A System for Domain-Specific, Hyper-Heuristic Evolution}},
  year = {2013},
  address = {{New York, New York, USA}},
  pages = {1285--1291},
  publisher = {{ACM Press}},
  copyright = {All rights reserved},
  doi = {10.1145/2464576.2482707},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  isbn = {978-1-4503-1964-5},
  keywords = {Genetic algorithms,Genetic programming,Heuristiclab,Heuristics,HH-evolver,Hyper-heuristic,Single-agent search},
  url = {https://doi.org/10.1145/2464576.2482707}
}

2012

  1. Evolutionary Design of Freecell Solvers Achiya Elyasaf, Ami Hauptman, Moshe Sipper IEEE Transactions on Computational Intelligence and AI in Games, vol. 4, no. 4, pp. 270–281, 2012 view online
    [bib]
    @article{Elyasaf2012EvolutionaryDesign,
  author = {Elyasaf, Achiya and Hauptman, Ami and Sipper, Moshe},
  journal = {IEEE Transactions on Computational Intelligence and AI in Games},
  title = {{Evolutionary Design of Freecell Solvers}},
  year = {2012},
  issn = {1943-0698},
  number = {4},
  pages = {270--281},
  volume = {4},
  copyright = {All rights reserved},
  doi = {10.1109/TCIAIG.2012.2210423},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  keywords = {Evolutionary algorithms,FreeCell,genetic algorithms (GAs),genetic programing (GP),heuristic,hyperheuristic},
  url = {https://doi.org/10.1109/TCIAIG.2012.2210423}
}

2011

  1. Evolving Solvers for Freecell and the Sliding-Tile Puzzle Achiya Elyasaf, Yael Zaritsky, Ami Hauptman, Moshe Sipper Proceedings of the International Symposium on Combinatorial Search, vol. 2, no. 1, pp. 189–190, 2011 view online
    [bib]
    @inproceedings{Elyasaf2011EvolvingSolvers,
  author = {Elyasaf, Achiya and Zaritsky, Yael and Hauptman, Ami and Sipper, Moshe},
  booktitle = {Proceedings of the 4th {{Annual Symposium}} on {{Combinatorial Search}}, {{SoCS}} 2011},
  title = {{Evolving Solvers for Freecell and the Sliding-Tile Puzzle}},
  year = {2011},
  month = aug,
  number = {1},
  pages = {189--190},
  publisher = {Association for the Advancement of Artificial Intelligence ({AAAI})},
  volume = {2},
  copyright = {All rights reserved},
  doi = {10.1609/socs.v2i1.18212},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  isbn = {978-1-57735-537-3},
  journal = {Proceedings of the International Symposium on Combinatorial Search},
  keywords = {Genetic programming, Heuristics, Single-agent search, Hyper-Heuristics, Meta-Heuristics, Rush-hour puzzle}
}
  2. GA-FreeCell: Evolving Solvers for the Game of FreeCell Achiya Elyasaf, Ami Hauptman, Moshe Sipper Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation - GECCO ’11, pp. 1931–1938, 2011 view online
    [bib]
    @inproceedings{Elyasaf2011GAFreeCellEvolving,
  author = {Elyasaf, Achiya and Hauptman, Ami and Sipper, Moshe},
  booktitle = {Proceedings of the 13th Annual Conference on {{Genetic}} and Evolutionary Computation - {{GECCO}} '11},
  title = {{GA-FreeCell: Evolving Solvers for the Game of FreeCell}},
  year = {2011},
  pages = {1931--1938},
  copyright = {All rights reserved},
  doi = {10.1145/2001576.2001836},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  isbn = {978-1-4503-0557-0},
  keywords = {Genetic algorithm, Evolutionary computation, Heuristics, Hyper-Heuristics, Meta-Heuristics, FreeCell},
  url = {https://doi.org/10.1145/2001576.2001836}
}

2010

  1. Evolving Hyper Heuristic-Based Solvers for Rush Hour and FreeCell Ami Hauptman, Achiya Elyasaf, Moshe Sipper Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010, pp. 149–150, 2010 view online
    [bib]
    @inproceedings{Hauptman2010EvolvingHyper,
  author = {Hauptman, Ami and Elyasaf, Achiya and Sipper, Moshe},
  booktitle = {Proceedings of the 3rd {{Annual Symposium}} on {{Combinatorial Search}}, {{SoCS}} 2010},
  title = {Evolving Hyper Heuristic-Based Solvers for Rush Hour and FreeCell},
  year = {2010},
  pages = {149--150},
  copyright = {All rights reserved},
  doi = {https://doi.org/10.1609/socs.v1i1.18150},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  isbn = {978-1-57735-481-9},
  keywords = {genetic algorithms,genetic programming:Poster ?},
  timestamp = {2019-10-22T19:55:08Z},
  url = {http://www.aaai.org/ocs/index.php/SOCS/SOCS10/paper/viewFile/2079/2522.pdf}
}

2009

  1. GP-Rush: Using Genetic Programming to Evolve Solvers for the Rush Hour Puzzle Ami Hauptman, Achiya Elyasaf, Moshe Sipper, Assaf Karmon Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009, pp. 955–962, 2009 view online
    [bib]
    @inproceedings{Hauptman2009GPrushUsing,
  author = {Hauptman, Ami and Elyasaf, Achiya and Sipper, Moshe and Karmon, Assaf},
  booktitle = {Proceedings of the 11th {{Annual Genetic}} and {{Evolutionary Computation Conference}}, {{GECCO}}-2009},
  title = {{GP-Rush: Using Genetic Programming to Evolve Solvers for the Rush Hour Puzzle}},
  year = {2009},
  pages = {955--962},
  copyright = {All rights reserved},
  doi = {10.1145/1569901.1570032},
  groups = {Evolutionary Computation, Artificial Intelligence, Hyper-Heuristics},
  isbn = {978-1-60558-325-9},
  keywords = {Genetic programming, Heuristics, Single-agent search, Hyper-Heuristics, Meta-Heuristics, Rush-hour puzzle},
  url = {http://portal.acm.org/citation.cfm?doid=1569901.1570032}
}