The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gera Weiss" ( http://dblp.L3S.de/Authors/Gera_Weiss )

  Author page on DBLP  Author page in RDF  Community of Gera Weiss in ASPL-2

Publication years (Num. hits)
2003-2010 (16) 2011-2015 (21) 2016-2018 (15) 2019 (7)
Publication types (Num. hits)
article(20) inproceedings(38) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 60 publication records. Showing 59 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Liat Cohen, Solomon Eyal Shimony, Gera Weiss Estimating the probability of meeting a deadline in schedules and plans. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Moshe Schwartz 0001, Yotam Svoray, Gera Weiss On Embedding De Bruijn Sequences by Increasing the Alphabet Size. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz 0001, Gera Weiss An efficient shift rule for the prefer-max De Bruijn sequence. Search on Bibsonomy Discrete Mathematics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. Search on Bibsonomy MODELSWARD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David 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). Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Liat Cohen, Gera Weiss Efficient Optimal Approximation of Discrete Random Variables for Estimation of Probabilities of Missing Deadlines. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Bar-Sinai, Gera Weiss, Reut Shmuel BPjs - a framework for modeling reactive systems using a scripting language and BP. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yotam Svoray, Gera Weiss A Combinatorial Game and an Efficiently Computable Shift Rule for the Prefer Max De Bruijn Sequence. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Liat Cohen, Dror Fried, Gera Weiss An optimal approximation of discrete random variables with respect to the Kolmogorov distance. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Liat Cohen, Tal Grinshpoun, Gera Weiss Optimal Approximation of Random Variables for Estimating the Probability of Meeting a Plan Deadline. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss A Context-Based Behavioral Language for IoT. Search on Bibsonomy MODELS Workshops The full citation details ... 2018 DBLP  BibTeX  RDF
1Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron Modeling and programming a leader-follower challenge problem with scenario-based tools. Search on Bibsonomy MODELS Workshops The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Bar-Sinai, Gera Weiss, Reut Shmuel BPjs: an extensible, open infrastructure for behavioral programming research. Search on Bibsonomy MoDELS Companion The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hanoch Efraim, Shai A. Arogeti, Amir Shapiro, Gera Weiss Vision Based Output Feedback Control of Micro Aerial Vehicles in Indoor Environments. Search on Bibsonomy Journal of Intelligent and Robotic Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amir Rubin, Gera Weiss Mapping prefer-opposite to prefer-one de Bruijn sequences. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gal Amram, Yair Ashlagi, Amir Rubin, Yotam Svoray, Moshe Schwartz 0001, Gera Weiss An Efficient Shift Rule for the Prefer-Max De Bruijn Sequence. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Adiel Ashrov, Michal Gordon, Assaf Marron, Arnon Sturm, Gera Weiss Structured Behavioral Programming Idioms. Search on Bibsonomy BPMDS/EMMSAD@CAiSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss Towards Integration of Context-Based and Scenario-Based Development. Search on Bibsonomy STAF Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amir Menczel, Gera Weiss, Dror Fried On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. Search on Bibsonomy SwSTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Assaf 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. Search on Bibsonomy D&P@MoDELS The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Bar-Sinai, Gera Weiss, Assaf Marron Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries. Search on Bibsonomy EXE@MoDELS The full citation details ... 2016 DBLP  BibTeX  RDF
1Hanoch Efraim, Amir Shapiro, Gera Weiss Quadrotor with a Dihedral Angle: on the Effects of Tilting the Rotors Inwards. Search on Bibsonomy Journal of Intelligent and Robotic Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gal Amram, Lior Mizrahi, Gera Weiss Simple Executions of Snapshot Implementations. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Liat Cohen, Solomon Eyal Shimony, Gera Weiss Estimating the Probability of Meeting a Deadline in Hierarchical Plans. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Olga Brukman, Shlomi Dolev, Moshe Weinstock, Gera Weiss Self-* programming: run-time parallel control search for reflection box. Search on Bibsonomy Evolving Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener Towards behavioral programming in distributed architectures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adiel 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Assaf Marron, Gera Weiss The Effect of Concurrent Programming Idioms on Verification - A Position Paper. Search on Bibsonomy MODELSWARD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hanoch Efraim, Shai A. Arogeti, Amir Shapiro, Gera Weiss Output feedback control of Micro Aerial Vehicle in indoor environment. Search on Bibsonomy MED The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss On the Succinctness of Idioms for Concurrent Programming. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Liat Cohen, Solomon Eyal Shimony, Gera Weiss Estimating the Probability of Meeting a Deadline in Hierarchical Plans. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1David Harel, Guy Katz, Assaf Marron, Gera Weiss Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Search on Bibsonomy Trans. Computational Collective Intelligence The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nadeem Jamali, Alessandro Ricci, Gera Weiss, Akinori Yonezawa (eds.) Proceedings of the 2013 Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2013, Indianapolis, IN, USA, October 27-28, 2013 Search on Bibsonomy AGERE!@SPLASH The full citation details ... 2013 DBLP  BibTeX  RDF
1David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss On composing and proving the correctness of reactive behavior. Search on Bibsonomy EMSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron, Gera Weiss Behavioral programming. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron, Amir Nissim, Gera Weiss A software engineering framework for switched fuzzy systems. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Assaf Marron, Gera Weiss, Guy Wiener A decentralized approach for programming interactive applications with JavaScript and blockly. Search on Bibsonomy AGERE!@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Assaf Marron, Gera Weiss Non-intrusive Repair of Reactive Programs. Search on Bibsonomy ICECCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss Compositional Modeling and Analysis of Multi-Hop Control Networks. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron, Guy Wiener, Gera Weiss Behavioral programming, decentralized control, and multiple time scales. Search on Bibsonomy SPLASH Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss On Visualization and Comprehension of Scenario-Based Programs. Search on Bibsonomy ICPC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF behavioral programming, BPJ, visualization, scenario-based programming
1David Harel, Robby Lampert, Assaf Marron, Gera Weiss Model-checking behavioral programs. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron, Gera Weiss Programming Coordinated Behavior in Java. Search on Bibsonomy ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guy Wiener, Gera Weiss, Assaf Marron Coordinating and visualizing independent behaviors in erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur Specification and Analysis of Network Resource Requirements of Control Systems. Search on Bibsonomy HSCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss On Omega-Languages Defined by Mean-Payoff Conditions. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas Robust stability of multi-hop control networks. Search on Bibsonomy CDC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas Scalable scheduling algorithms for wireless networked control systems. Search on Bibsonomy CASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss Modeling and Analysis of Multi-hop Control Networks. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Aditya Kanade, Gera Weiss Ranking Automata and Games for Prioritized Requirements. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Gera Weiss RTComposer: a framework for real-time components with scheduling interfaces. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automata based scheduling, real time specification for java (RTSJ)
1Rajeev Alur, Gera Weiss Regular Specifications of Resource Requirements for Embedded Control Software. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Sheduling, omega-regular, LQG, resource allocation, control, embedded, specification language, automata, exponential stability
1Gera Weiss State Nullification of Switched Systems by Linear Output Feedback. Search on Bibsonomy HSCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gera Weiss, Rajeev Alur Automata Based Interfaces for Control and Scheduling. Search on Bibsonomy HSCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gera Weiss A combinatorial game approach to state nullification by hybrid feedback. Search on Bibsonomy CDC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Zvi Artstein, Gera Weiss State Nullification by Memoryless Output Feedback. Search on Bibsonomy MCSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gera Weiss Preservation of controllability of single-input time-varying linear systems under sampling. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David Harel, Hillel Kugler, Gera Weiss Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Search on Bibsonomy Scenarios: Models, Transformations and Tools The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license