Search the dblp DataBase
Gera Weiss :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David Harel , Hillel Kugler , Gera Weiss Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. [Citation Graph (0, 0)][DBLP ] Scenarios: Models, Transformations and Tools, 2003, pp:26-42 [Conf ] Gera Weiss , Rajeev Alur Automata Based Interfaces for Control and Scheduling. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:601-613 [Conf ] Gera Weiss State Nullification of Switched Systems by Linear Output Feedback. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:775-778 [Conf ] Ranking Automata and Games for Prioritized Requirements. [Citation Graph (, )][DBLP ] Programming Coordinated Behavior in Java. [Citation Graph (, )][DBLP ] RTComposer: a framework for real-time components with scheduling interfaces. [Citation Graph (, )][DBLP ] On Omega-Languages Defined by Mean-Payoff Conditions. [Citation Graph (, )][DBLP ] Specification and Analysis of Network Resource Requirements of Control Systems. [Citation Graph (, )][DBLP ] Regular Specifications of Resource Requirements for Embedded Control Software. [Citation Graph (, )][DBLP ] Modeling and Analysis of Multi-hop Control Networks. [Citation Graph (, )][DBLP ] Robust stability of multi-hop control networks. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs