| 2009 |
|---|
| 8 | EE | Rajeev Alur,
Aldric Degorre,
Oded Maler,
Gera Weiss:
On Omega-Languages Defined by Mean-Payoff Conditions.
FOSSACS 2009: 333-347 |
| 7 | EE | Gera Weiss,
Sebastian Fischmeister,
Madhukar Anand,
Rajeev Alur:
Specification and Analysis of Network Resource Requirements of Control Systems.
HSCC 2009: 381-395 |
| 2008 |
|---|
| 6 | EE | Rajeev Alur,
Aditya Kanade,
Gera Weiss:
Ranking Automata and Games for Prioritized Requirements.
CAV 2008: 240-253 |
| 5 | EE | Rajeev Alur,
Gera Weiss:
RTComposer: a framework for real-time components with scheduling interfaces.
EMSOFT 2008: 159-168 |
| 4 | EE | 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 |
|---|
| 3 | EE | Gera Weiss,
Rajeev Alur:
Automata Based Interfaces for Control and Scheduling.
HSCC 2007: 601-613 |
| 2 | EE | Gera Weiss:
State Nullification of Switched Systems by Linear Output Feedback.
HSCC 2007: 775-778 |
| 2003 |
|---|
| 1 | EE | 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 |
