Research output per year
Research output per year
Personal profile
Biography
Achiya Elyasaf is a faculty at the Software and Information Systems Engineering Department, Ben-Gurion University (BGU), Israel. He received his academic degrees from BGU, all in computer science, and was a postdoc fellow in David Harel’s group at the Weizmann Institute. In 2021, he co-founded Provengo Technologies, which provides software-testing solutions based on his expertise in software engineering (SE) and artificial intelligence (AI). In his current research, Dr. Elyasaf seeks new synergies between SE and AI to improve their interoperability and contribute to both.
Dr. Elyasaf developed Context-Oriented Behavioral Programming, a novel paradigm for developing context-aware systems centered on a natural and incremental specification of behaviors. He also developed an approach for utilizing AI and expert knowledge to generate solvers for combinatorial games. This work was recognized as one of the most important achievements of AI in games, alongside famous achievements, such as Deep-Blue’s win over Kasparov and Watson’s in Jeopardy! (N. Bostrom, 2014. “Superintelligence: Paths, Dangers, Strategies”).
Dr. Elyasaf won several prizes, including three HUMIE Awards, produced by the Genetic and Evolutionary Computation (Gold, 2013; Gold, 2011; Bronze, 2009).
Roles and Responsibilities
Chairman of Meitar Program
Research interests
Software Engineering, Behavioral Programming, Evolutionary Algorithms
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Keywords
- QA76 Computer software
- Software Engineering
- Behavior Programming
- Context-Oriented Programming
- QA75 Electronic computers. Computer science
- Artificial Intelligence
- Genetic Algorithms
- Genetic Programming
- Evolutionary Algorithms
Fingerprint
Dive into the research topics where Achiya Elyasaf is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition
Elyasaf, A., Yaacov, T. & Weiss, G., 25 Oct 2022, In: IEEE Transactions on Software Engineering. 49, 4, p. 2303-2317 15 p.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
Generalized Coverage Criteria for Combinatorial Sequence Testing
Elyasaf, A., Farchi, E., Margalit, O., Weiss, G. & Weiss, Y., 1 Aug 2023, In: IEEE Transactions on Software Engineering. 49, 8, p. 4023-4034 12 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
From Requirements to Source Code: Evolution of Behavioral Programs
Poliansky, R., Sipper, M. & Elyasaf, A., 1 Feb 2022, In: Applied Sciences (Switzerland). 12, 3, 1587.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
EC-KitY: Evolutionary computation tool kit in Python with seamless machine learning integration
Sipper, M., Halperin, T., Tzruia, I. & Elyasaf, A., 1 May 2023, In: SoftwareX. 22, 101381.Research output: Contribution to journal › Article › peer-review
Open Access8 Scopus citations -
A Melting Pot of Evolution and Learning,
Sipper, M., Elyasaf, A., Halperin, T., Haramaty, Z. D., Lapid, R., Segal, E., Tzruia, I. & Vitrack Tamam, S., Feb 2024, Genetic Programming Theory and Practice XX. Winkler, S. & Trujillo, L. (eds.). Springer SingaporeResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Boosting LLM-Based Software Generation by Aligning Code with Requirements
Yaacov, T., Elyasaf, A. & Weiss, G., 1 Jan 2024, Proceedings - 32nd IEEE International Requirements Engineering Conference Workshops, REW 2024. Liebel, G., Hadar, I. & Spoletini, P. (eds.). Institute of Electrical and Electronics Engineers, p. 301-305 5 p. (Proceedings - 32nd IEEE International Requirements Engineering Conference Workshops, REW 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Categorizing methods for integrating machine learning with executable specifications
Harel, D., Yerushalmi, R., Marron, A. & Elyasaf, A., 1 Jan 2024, In: Science China Information Sciences. 67, 1, 111101.Research output: Contribution to journal › Review article › peer-review
2 Scopus citations -
Deep Learning-Based Operators for Evolutionary Algorithms
Shem-Tov, E., Sipper, M. & Elyasaf, A., 15 Jul 2024.Research output: Working paper/Preprint › Preprint
-
Deep Neural Crossover: A Multi-Parent Operator That Leverages Gene Correlations
Shem-Tov, E. & Elyasaf, A., 14 Jul 2024, GECCO 2024 - Proceedings of the 2024 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1045-1053 9 p. (GECCO 2024 - Proceedings of the 2024 Genetic and Evolutionary Computation Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Deep Neural Crossover
Shem-Tov, E. & Elyasaf, A., 17 Mar 2024, 7 p.Research output: Working paper/Preprint › Preprint
23 Downloads (Pure)
Thesis
-
Evolving Hyper-Heuristics using Genetic Programming
Elyasaf, A. (Author), Sipper, M. (Supervisor), 2015Student thesis: Doctoral Thesis
Press/Media
-
Yazamut360 Entrepreneurship Center Of Ben-Gurion University Launches Oazis Accelerator To Promote New Technologies Originating From The University
Lerner, B., Sofer, C., Shriki, O., El Sana, J., Elyasaf, A. & Sarusi, G.
14/09/20
20 items of Media coverage
Press/Media