Visible to the public Biblio

Filters: Author is Alur, Rajeev  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
R
Alur, Rajeev, Trivedi, Ashutosh.  2011.  Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems. Proceedings of the Ninth ACM International Conference on Embedded Software. :165–174.
O
Alur, Rajeev, Trivedi, Ashutosh, Wojtczak, Dominik.  2012.  Optimal Scheduling for Constant-rate Multi-mode Systems. Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '12). :75–84.
M
Jiang, Zhihao, Pajic, Miroslav, Moarref, Salar, Alur, Rajeev, Mangharam, Rahul.  2012.  Modeling and Verification of a Dual Chamber Implantable Pacemaker. Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. :188–203.
F
Alur, Rajeev.  2011.  Formal Verification of Hybrid Systems. Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT '11). :273–278.
C
Jiang, Zhihao, Pajic, Miroslav, Alur, Rajeev, Mangharam, Rahul.  2014.  Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.