2 × India
2 × USA
D.D'Souza S.K.Rajamani S.Ramesh P.Sampath
conflict (2) control (2) system (2) toler (2) supervisori (1) protocol (1) hierarch (1) complet (1) analysi (1) static (1)
Person: Madhu Gopinathan
Wrote 4 papers:
- CASE-2009-DSouzaGRS #realtime
- Supervisory control for real-time systems based on conflict-tolerant controllers (DD, MG, SR, PS), pp. 555–560.
- Conflict-Tolerant Features (DD, MG), pp. 227–239.
- OOPSLA-2008-GopinathanR #analysis #protocol #runtime
- Enforcing object protocols by combining static and runtime analysis (MG, SKR), pp. 245–260.
- SEFM-2006-DSouzaG #graph
- Computing Complete Test Graphs for Hierarchical Systems (DD, MG), pp. 70–79.