Silky Arora

According to our database, Silky Arora authored at least 4 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Systematic Development of Control Designs via Formal Refinement.

Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

2012

Resolving uncertainty in automotive feature interactions.

Silky Arora, Prahladavaradan Sampath, S. Ramesh

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

2011

Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.

Silky Arora, Ambar A. Gadkari, S. Ramesh

IEEE Embed. Syst. Lett., 2011

Evolving specifications formally.

Prahladavaradan Sampath, Silky Arora, S. Ramesh

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011