| emsoft | participants

Rajeev Alur

Program Committees:
2002, 2003 (chair), 2006, 2007, 2009, 2010, and 2013
.

EMSOFT 2021: 21st International Conference on Embedded Software

Compositional Learning and Verification of Neural Network Controllers

Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, and Osbert Bastani

EMSOFT 2014: 14th International Conference on Embedded Software

Precise Piecewise Affine Models From Input-Output Data

Rajeev Alur and Nimit Singhania

EMSOFT 2011: 11th International Conference on Embedded Software

Formal Verification of Hybrid Systems

Rajeev Alur

Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems

Rajeev Alur and Ashutosh Trivedi

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

RTComposer: a Framework for Real-Time Components with Scheduling Interfaces

Rajeev Alur and Gera Weiss

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models

Rajeev Alur, Aditya Kanade, S. Ramesh, and K. C. Shashidhar

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Time-Triggered Implementations of Dynamic Controllers

Truong X. Nghiem, George J. Pappas, Rajeev Alur, and Antoine Girard

EMSOFT 2004: 4th ACM International Conference on Embedded Software

A Model-Based Approach to Integrating Security Policies for Embedded Devices

Michael McDougall, Rajeev Alur, and Carl A. Gunter

EMSOFT 2001: 1st International Workshop on Embedded Software

Hierarchical Hybrid Modeling of Embedded Systems

Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, and Oleg Sokolsky