1. Modeling and Analysis of Multi-Hop Control Networks., 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009. With  Rajeev Alur, Alessandro D'Innocenzo, Karl Johansson, and George Pappas

  2. On Omega-Languages Defined by Mean-Payoff Conditions., 12th International Conference on Foundations of Software Science and Computational Structures, FoSSaCS 2009. With  Rajeev Alur, Aldric Degorre and Oded Maler

  3. Specification and Analysis of Network Resource Requirements of  Control Systems., 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009. With  Sebastian Fischmeister, Madhukar Anand and  Rajeev Alur.

  4. RTComposer: A Framework for Real-Time Components with Scheduling Interfaces., 8th International Conference on Embedded Software, EMSOFT 2008. With Rajeev Alur.

  5. Ranking automata and games for prioritized requirements., 20th International Conference on Computer Aided Verification, CAV 2008. With Rajeev Alur and Aditya Kanade.

  6. Regular specifications of resource requirements for embedded control software., In 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008. With Rajeev Alur.

  7. Automata based interfaces for control and scheduling. In Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007. With Rajeev Alur.

  8. A Combinatorial Game Approach to State Nullification by Hybrid Feedback In 46th IEEE Conference on Decision and Control, CDC 2007.

  9. State nullification of switched systems by linear output feedback. In Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007.

  10. State Nullification by Output Feedback. PhD thesis, 2006.

  11. Memoryless output feedback nullification and canonical forms, for time varying systems. Internat. J. Control, 78(15):1174-1181, 2005.

  12. Preservation of controllability of single-input time-varying linear systems under sampling. IEEE Trans. Automat. Control, 50(12):2094-2096, 2005.

  13. State nullification by memoryless output feedback Math. Control Signals Systems, 17(1):38-56, 2005. With Zvi Artstein

  14. Planning a production line with LSCs. IST-2001-33522 OMEGA Project, 2004. With Hillel Kugler.

  15. Some methodological observations resulting from experience using LSCs and the play-in/play-out approach. In Scenarios: Models, Transformations and Tools, 2003. With David Harel and Hillel Kugler.

  16. Optimal scheduler for a memory card. IST-2001-35304 AMETIST Project, 2002.

  17. Stabilization via dynamic output feedback. M.Sc thesis, 2002

Online preprints and publications