Silky Arora

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Development Process

Feature Interactions

Top Venues

Publications

Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler
Systematic Development of Control Designs via Formal Refinement. MODELSWARD (2013)
Silky Arora, Prahladavaradan Sampath, S. Ramesh
Resolving uncertainty in automotive feature interactions. RE (2012)
Silky Arora, Ambar A. Gadkari, S. Ramesh
Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors. IEEE Embed. Syst. Lett. 3 (2) (2011)
Prahladavaradan Sampath, Silky Arora, S. Ramesh
Evolving specifications formally. RE (2011)