Research output per year
Research output per year
Personal profile
Fingerprint
Dive into the research topics where Gera Weiss 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
-
Adding liveness to behavioral programming: theory, implementation, and user study
Yaacov, T., Elyasaf, A. & Weiss, G., 1 Jun 2025, In: Requirements Engineering. 30, 2, p. 149-171 23 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Black-Box Bug Amplification for Multithreaded Software
Weiss, Y., Amram, G., Elyasaf, A., Farchi, E., Margalit, O. & Weiss, G., 1 Sep 2025, In: Mathematics. 13, 18, 2921.Research output: Contribution to journal › Article › peer-review
Open Access -
De Bruijn Sequences: from Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem
Amram, G., Rubin, A., Svoray, Y. & Weiss, G., 1 Jan 2025, In: Electronic Journal of Combinatorics. 32, 3, P3.11.Research output: Contribution to journal › Article › 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
5 Scopus citations -
Efficient optimal Kolmogorov approximation of random variables
Cohen, L., Grinshpoun, T. & Weiss, G., 1 Apr 2024, In: Artificial Intelligence. 329, 104086.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
Evolving Assembly Code in an Adversarial Environment
Maliukov, I., Weiss, G., Margalit, O. & Elyasaf, A., 14 Jul 2024, GECCO 2024 Companion - Proceedings of the 2024 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 723-726 4 p. (GECCO 2024 Companion - Proceedings of the 2024 Genetic and Evolutionary Computation Conference Companion).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
Yaacov, T., Elyasaf, A. & Weiss, G., 1 Jan 2024, Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024. Liebel, G., Hadar, I. & Spoletini, P. (eds.). Institute of Electrical and Electronics Engineers, p. 91-102 12 p. (Proceedings of the IEEE International Conference on Requirements Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
A Normalized Edit Distance on Infinite Words
Fisman, D., Grogin, J. & Weiss, G., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 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 Access4 Scopus citations -
Model Driven Engineering, Verification and Validation (MoDeVVa 2023)
Lehner, D. & Weiss, G., 1 Jan 2023, In: Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023. p. 778-780 3 p.Research output: Contribution to journal › Editorial
Open Access
Projects
- 4 Finished
-
-
-
Evolutionary-Based Playout for Scenario-Based Specifications
Weiss, G. (PI) & Sipper, M. (CoPI)
1/01/16 → 31/12/19
Project: Research
-
Can Behavioral Programming Solve Key Complexities in Software Development?
Harel, D. (PI) & Weiss, G. (CoPI)
1/01/12 → 31/12/15
Project: Research