Silky Arora

According to our database, Silky Arora authored at least 5 papers between 2011 and 2026.

Collaborative distances:

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

2026

Fauna Sprout: A lightweight, approachable, developer-ready humanoid robot.

Diego Aldarondo, Ana Pervan, Daniel Corbalan, Dave Petrillo, Bolun Dai, Aadhithya Iyer, Nina Mortensen, Erik Pearson, Sridhar Pandian Arunachalam, Emma Reznick, David Weis, Jacob Davison, Samuel Patterson, Tess Carella, Michael Suguitan, David Ye, Oswaldo Ferro, Nilesh Suriyarachchi, Spencer Ling, Erik Su, Daniel Giebisch, Peter Traver, Sam Fonseca, Mack Mor, Rohan Singh, Sertac Guven, Kangni Liu, Yaswanth Kumar Orru, Ashiq Rahman Anwar Batcha, Shruthi Ravindranath, Silky Arora, Hugo Ponte, Dez Hernandez, Utsav Chaudhary, Zack Walker, Michael Kelberman, Ivan Veloz, Christina Santa Lucia, Kat Casale, Helen Han, Michael Gromis, Michael Mignatti, Jason Reisman, Kelleher Guerin, Dario Narvaez, Christopher Anderson, Anthony Moschella, Robert Cochran, Josh Merel

CoRR, January, 2026

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