| emsoft | participants

Sanjit A. Seshia

Program Committees:
2010 and 2023
.

EMSOFT 2023: 23rd International Conference on Embedded Software

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia

EMSOFT 2014: 14th International Conference on Embedded Software

CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory

Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, and Sanjit A. Seshia

Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing

Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia

EMSOFT 2011: 11th International Conference on Embedded Software

Synthesis of Optimal Switching Logic for Hybrid Systems

Susmit Jha, Sanjit A. Seshia, and Ashish Tiwari