Gera Weiss
Scholar

Gera Weiss

Google Scholar ID: T2KfbBYAAAAJ
Ben Gurion University of The Negev
Control TheoryFormal MethodsSoftware Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
598
 
H-index
15
 
i10-index
21
 
Publications
20
 
Co-authors
25
list available
Contact
TwitterOpen ↗
Publications
5 items
Black-Box Bug-Amplification for Multithreaded Software
2025
Cited
0
Automata Models for Effective Bug Description
2025
Cited
0
A Behavior-Based Knowledge Representation Improves Prediction of Players' Moves in Chess by 25%
2025
Cited
0
Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
2025
Cited
0
To Infinity and Beyond: Continuing De Bruijn Sequences by Extending the Alphabet
2019
Cited
3
Resume (English only)
Background
  • Research interests include Software Engineering, Formal Methods, Hybrid Systems, Control Theory, Combinatory.
Co-authors
25 total
David Harel
David Harel
Professor of Computer Science, The Weizmann Institute
Achiya Elyasaf
Achiya Elyasaf
Assistant Professor. Software and Information System Engineering Department, Ben-Gurion University
Guy Katz
Guy Katz
The Hebrew University of Jerusalem
Co-author 4
Co-author 4
George Pappas
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Karl H. Johansson
Karl H. Johansson
EECS and Digital Futures, KTH Royal Institute of Technology, Sweden
Co-author 7
Co-author 7
Co-author 8
Co-author 8