default search action
Gera Weiss
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j16]Liat Cohen, Tal Grinshpoun
, Gera Weiss:
Efficient optimal Kolmogorov approximation of random variables. Artif. Intell. 329: 104086 (2024) - [c53]Irina Maliukov
Evolving Assembly Code in an Adversarial Environment. GECCO Companion 2024: 723-726 - [c52]Tom Yaacov, Achiya Elyasaf, Gera Weiss:
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. RE 2024: 91-102 - [c51]Tom Yaacov, Achiya Elyasaf, Gera Weiss:
Boosting LLM-Based Software Generation by Aligning Code with Requirements. RE Workshops 2024: 301-305 - [i17]Irina Maliukov, Gera Weiss, Oded Margalit, Achiya Elyasaf:
Evolving Assembly Code in an Adversarial Environment. CoRR abs/2403.19489 (2024) - [i16]Tom Yaacov, Achiya Elyasaf, Gera Weiss:
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. CoRR abs/2404.01858 (2024) - 2023
- [j15]Achiya Elyasaf
What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition. IEEE Trans. Software Eng. 49(4): 2303-2317 (2023) - [j14]Achiya Elyasaf
Generalized Coverage Criteria for Combinatorial Sequence Testing. IEEE Trans. Software Eng. 49(8): 4023-4034 (2023) - [c50]Dana Fisman, Joshua Grogin, Gera Weiss:
A Normalized Edit Distance on Infinite Words. CSL 2023: 20:1-20:20 - [c49]Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss:
Provengo: A Tool Suite for Scenario Driven Model-Based Testing. ASE 2023: 2062-2065 - [c48]Daniel Lehner, Gera Weiss:
Model Driven Engineering, Verification and Validation (MoDeVVa 2023). MoDELS (Companion) 2023: 778-780 - [i15]Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss:
Provengo: A Tool Suite for Scenario Driven Model-Based Testing. CoRR abs/2308.15938 (2023) - 2022
- [c47]Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss:
The Normalized Edit Distance with Uniform Operation Costs Is a Metric. CPM 2022: 17:1-17:17 - [c46]Gal Amram, Avi Hayoun
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. DISC 2022: 5:1-5:20 - [i14]Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss:
Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. CoRR abs/2201.00522 (2022) - [i13]Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss:
The Normalized Edit Distance with Uniform Operation Costs is a Metric. CoRR abs/2201.06115 (2022) - [i12]Achiya Elyasaf, Tom Yaacov, Gera Weiss:
What Petri Net Obliges Us to Say. CoRR abs/2205.00221 (2022) - [i11]Liat Cohen, Tal Grinshpoun, Gera Weiss:
Efficient One Sided Kolmogorov Approximation. CoRR abs/2207.07916 (2022) - 2021
- [c45]Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CAV (1) 2021: 870-893 - [c44]Michael Berlin
DepthStAr: Deep Strange Arguments Detection. CSCML 2021: 71-85 - [c43]Joshua Shay Kricheli
Composition of Dynamic Control Objectives Based on Differential Games. MED 2021: 298-304 - [i10]Gal Amram, Amir Rubin, Gera Weiss:
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence. CoRR abs/2104.02999 (2021) - [i9]Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CoRR abs/2105.13837 (2021) - 2020
- [c42]Aviran Sadon, Shai A. Arogeti, Gera Weiss:
Patience Control: A Modular and Dynamic Construction of Composite Controllers. CoDIT 2020: 975-981 - [c41]Eliyahu Mashhadi, Yossi Oren
Can the Operator of a Drone Be Located by Following the Drone's Path? CSCML 2020: 85-93 - [c40]Michael Bar-Sinai
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. ISoLA (4) 2020: 199-215 - [e2]Shlomi Dolev, Vladimir Kolesnikov, Sachin Lodha, Gera Weiss:
Cyber Security Cryptography and Machine Learning - Fourth International Symposium, CSCML 2020, Be'er Sheva, Israel, July 2-3, 2020, Proceedings. Lecture Notes in Computer Science 12161, Springer 2020, ISBN 978-3-030-49784-2 [contents]
2010 – 2019
- 2019
- [j13]Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Estimating the probability of meeting a deadline in schedules and plans. Artif. Intell. 275: 329-355 (2019) - [j12]Gal Amram
An efficient shift rule for the prefer-max De Bruijn sequence. Discret. Math. 342(1): 226-232 (2019) - [c39]Liat Cohen, Gera Weiss:
Efficient Optimal Approximation of Discrete Random Variables for Estimation of Probabilities of Missing Deadlines. AAAI 2019: 7809-7815 - [c38]David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss:
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI 2019: 9770-9774 - [c37]Achiya Elyasaf
Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game. MoDELS (Companion) 2019: 243-251 - [c36]Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss:
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. MODELSWARD 2019: 141-154 - [c35]David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss:
Executing Scenario-Based Specification with Dynamic Generation of Rich Events. MODELSWARD (Revised Selected Papers) 2019: 246-274 - [i8]Moshe Schwartz, Yotam Svoray, Gera Weiss:
On Embedding De Bruijn Sequences by Increasing the Alphabet Size. CoRR abs/1906.06157 (2019) - [i7]Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss:
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. CoRR abs/1909.00408 (2019) - 2018
- [c34]Liat Cohen, Tal Grinshpoun, Gera Weiss:
Optimal Approximation of Random Variables for Estimating the Probability of Meeting a Plan Deadline. AAAI 2018: 6327-6334 - [c33]Michael Bar-Sinai
BPjs: an extensible, open infrastructure for behavioral programming research. MoDELS (Companion) 2018: 59-60 - [c32]Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron:
Modeling and programming a leader-follower challenge problem with scenario-based tools. MoDELS (Workshops) 2018: 376-385 - [c31]Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss:
A Context-Based Behavioral Language for IoT. MoDELS (Workshops) 2018: 485-494 - [i6]Yotam Svoray, Gera Weiss:
A Combinatorial Game and an Efficiently Computable Shift Rule for the Prefer Max De Bruijn Sequence. CoRR abs/1805.02405 (2018) - [i5]Liat Cohen, Dror Fried, Gera Weiss:
An optimal approximation of discrete random variables with respect to the Kolmogorov distance. CoRR abs/1805.07535 (2018) - [i4]Michael Bar-Sinai, Gera Weiss, Reut Shmuel:
BPjs - a framework for modeling reactive systems using a scripting language and BP. CoRR abs/1806.00842 (2018) - 2017
- [j11]Amir Rubin
Mapping prefer-opposite to prefer-one de Bruijn sequences. Des. Codes Cryptogr. 85(3): 547-555 (2017) - [j10]Hanoch Efraim, Shai A. Arogeti
Vision Based Output Feedback Control of Micro Aerial Vehicles in Indoor Environments. J. Intell. Robotic Syst. 87(1): 169-186 (2017) - [c30]Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm
Structured Behavioral Programming Idioms. BPMDS/EMMSAD@CAiSE 2017: 319-333 - [c29]Achiya Elyasaf
Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops 2017: 225-231 - [i3]Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz, Gera Weiss:
An Efficient Shift Rule for the Prefer-Max De Bruijn Sequence. CoRR abs/1706.01106 (2017) - 2016
- [c28]Michael Bar-Sinai, Gera Weiss, Assaf Marron:
Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. EXE@MoDELS 2016: 5-11 - [c27]Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel:
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS 2016: 94-100 - [c26]Amir Menczel, Gera Weiss, Dror Fried:
On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. SwSTE 2016: 125-134 - 2015
- [j9]Olga Brukman, Shlomi Dolev
Self-* programming: run-time parallel control search for reflection box. Evol. Syst. 6(1): 23-40 (2015) - [j8]Hanoch Efraim, Amir Shapiro
Quadrotor with a Dihedral Angle: on the Effects of Tilting the Rotors Inwards. J. Intell. Robotic Syst. 80(2): 313-324 (2015) - [j7]David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener:
Towards behavioral programming in distributed architectures. Sci. Comput. Program. 98: 233-267 (2015) - [j6]Adiel Ashrov, Assaf Marron, Gera Weiss, Guy Wiener:
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios. Sci. Comput. Program. 98: 268-292 (2015) - [c25]David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss:
On the Succinctness of Idioms for Concurrent Programming. CONCUR 2015: 85-99 - [c24]Liat Cohen, Solomon Eyal Shimony, Gera Weiss:
Estimating the Probability of Meeting a Deadline in Hierarchical Plans. IJCAI 2015: 1551-1557 - [c23]Hanoch Efraim, Shai A. Arogeti
Output feedback control of Micro Aerial Vehicle in indoor environment. MED 2015: 688-694 - [c22]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD 2015: 363-369 - [i2]Gal Amram, Lior Mizrahi, Gera Weiss:
Simple Executions of Snapshot Implementations. CoRR abs/1502.02991 (2015) - [i1]Liat Cohen, Solomon Eyal Shimony, Gera Weiss:
Estimating the Probability of Meeting a Deadline in Hierarchical Plans. CoRR abs/1503.01327 (2015) - 2014
- [j5]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. 16: 1-33 (2014) - 2013
- [c21]David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss:
On composing and proving the correctness of reactive behavior. EMSOFT 2013: 13:1-13:10 - [e1]Nadeem Jamali, Alessandro Ricci, Gera Weiss, Akinori Yonezawa:
Proceedings of the 2013 Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA, October 27-28, 2013. ACM 2013, ISBN 978-1-4503-2602-5 [contents] - 2012
- [j4]David Harel, Assaf Marron, Gera Weiss
Behavioral programming. Commun. ACM 55(7): 90-100 (2012) - [c20]Assaf Marron, Gera Weiss
A decentralized approach for programming interactive applications with JavaScript and blockly. AGERE!@SPLASH 2012: 59-70 - [c19]David Harel, Assaf Marron, Amir Nissim, Gera Weiss
A software engineering framework for switched fuzzy systems. FUZZ-IEEE 2012: 1-9 - [c18]David Harel, Guy Katz, Assaf Marron, Gera Weiss
Non-intrusive Repair of Reactive Programs. ICECCS 2012: 3-12 - 2011
- [j3]Rajeev Alur, Alessandro D'Innocenzo
Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Autom. Control. 56(10): 2345-2357 (2011) - [c17]David Harel, Robby Lampert, Assaf Marron, Gera Weiss
Model-checking behavioral programs. EMSOFT 2011: 279-288 - [c16]Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss
On Visualization and Comprehension of Scenario-Based Programs. ICPC 2011: 189-192 - [c15]David Harel, Assaf Marron, Guy Wiener, Gera Weiss
Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops 2011: 171-182 - 2010
- [c14]David Harel, Assaf Marron, Gera Weiss
Programming Coordinated Behavior in Java. ECOOP 2010: 250-274 - [c13]Guy Wiener, Gera Weiss
Coordinating and visualizing independent behaviors in erlang. Erlang Workshop 2010: 13-22
2000 – 2009
- 2009
- [c12]Alessandro D'Innocenzo, Gera Weiss
Scalable scheduling algorithms for wireless networked control systems. CASE 2009: 409-414 - [c11]Gera Weiss
Robust stability of multi-hop control networks. CDC 2009: 2210-2215 - [c10]Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
On Omega-Languages Defined by Mean-Payoff Conditions. FoSSaCS 2009: 333-347 - [c9]Gera Weiss
Specification and Analysis of Network Resource Requirements of Control Systems. HSCC 2009: 381-395 - [c8]Rajeev Alur, Alessandro D'Innocenzo
Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 223-232 - 2008
- [c7]Rajeev Alur, Aditya Kanade, Gera Weiss
Ranking Automata and Games for Prioritized Requirements. CAV 2008: 240-253 - [c6]Rajeev Alur, Gera Weiss
RTComposer: a framework for real-time components with scheduling interfaces. EMSOFT 2008: 159-168 - [c5]Rajeev Alur, Gera Weiss
Regular Specifications of Resource Requirements for Embedded Control Software. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 159-168 - 2007
- [c4]Gera Weiss
A combinatorial game approach to state nullification by hybrid feedback. CDC 2007: 4643-4647 - [c3]Gera Weiss
Automata Based Interfaces for Control and Scheduling. HSCC 2007: 601-613 - [c2]Gera Weiss
State Nullification of Switched Systems by Linear Output Feedback. HSCC 2007: 775-778 - 2005
- [j2]Zvi Artstein, Gera Weiss
State Nullification by Memoryless Output Feedback. Math. Control. Signals Syst. 17(1): 38-56 (2005) - [j1]Gera Weiss
Preservation of controllability of single-input time-varying linear systems under sampling. IEEE Trans. Autom. Control. 50(12): 2094-2096 (2005) - 2003
- [c1]David Harel, Hillel Kugler, Gera Weiss:
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools 2003: 26-42
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: