(in reverse chronological order)

1. (Conference, Core A) Sannidhi V Hebbar, Sasmita Harini, A. Raman, Viraj Kumar, Refute Questions for Concrete, Cluttered Specifications, ACM Conference on International Computing Education Research, August 2024.
2. (Conference) S. Grover, A. Raman, H. Banati, Does Bilingual Specification impact students’ comprehension of problems in Introductory Programming?, ACM COMPUTE Conference, October 2023.
3. (Conference) N Agarwal, V. Kumar, A. Raman, A. Karkare, A Bug’s New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots, ACM Global Computing Education Conference (CompEd), June 2023. *Best Paper Award.
4. (Conference, Core A) Viraj Kumar, Arun Raman, Helping Students Develop a Critical Eye with Refute Questions, ACM SIGCSE Technical Symposium Workshops, March 2023.
5. (Conference) Arun Raman, Viraj Kumar, Programming Pedagogy and Assessment in the Era of AI/ML: a Position Paper, ACM Compute Conference, November 2022.
6. (arXiv) A. Raman, K. Shagrithaya, S. Bhatnagar, Reinforcement Learning for Task Specifications with Action-Constraints, arXiv:2201.00286.
7. (Journal) A. Raman, R. S. Sreenivas, Liveness Enforcing Supervisory Policies Tolerant to Controllability Failures for Discrete-Event Systems modeled by Petri Nets, Automatica, March 2021.
8. (Journal) C. Chen∗, A. Raman∗, H. Hu, R. S. Sreenivas, On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets, IEEE Transactions on Automatic Control, December 2020. (∗ first authors)
9. (Journal) A. Raman, R. S. Sreenivas, Fault-Tolerant Control of Discrete-Event Systems with Controllability Failures, IEEE Control System Letters, April 2020.
10. (Conference, Core A) A. Raman, R. S. Sreenivas, Liveness Enforcing Supervisory Policies Tolerant to Controllability Failures for Discrete-Event Systems modeled by Petri Nets, 59th IEEE Conference on Decision and Control (CDC), December 2020 (jointly submitted in L-CSS and CDC).
11. (Conference) A. Raman, R. S. Sreenivas, Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets, IEEE International Conference on Systems, Man, and Cybernetics (SMC), October 2019.
12. (Conference) A. Raman, R. Sowers and R. S. Sreenivas, An Affordable and Portable Technology for Real-Time Scheduling of Appliances in Smart Homes, 4th North American Conference on Industrial Engineering and Operations Management (IEOM), October 2019. *Best Track Paper Award.
13. (Conference) R. Khaleghi, A. Raman and R. S. Sreenivas, Designing Supervisory Policies that Avoid Livelocks in Manufacturing- and Service-Systems Modeled using General Petri Nets: A Tutorial using an Illustrative Example, 9th International Conference on Industrial Engineering and Operations Management (IEOM), March 2019.
14. (Conference) A. Raman and R. S. Sreenivas, At the Intersection of Computing- and Control-Theory: A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets, 5th Indian Control Conference (ICC), January 2019.
15. (Conference) A. Raman and D. Roy, An Analytical Modeling Framework for Determining the Optimal Table Mix in Restaurants, 15th IFAC Symposium on Information Control Problems in Manufacturing, May 2015.
16. (Journal) S. Kamal, A. Raman, B. Bandyopadhyay, Finite Time Stabilization of Fractional Order Uncertain Chain of Integrator: An Integral Sliding Mode Approach, IEEE Transactions on Automatic Control, June 2013.
17. (Conference) S. Kamal, Arun Raman and B. Bandyopadhyay, Discrete sliding mode control of fractional linear systems, IEEE International Symposium on Industrial Electronics, May 2012.
18. (Conference) S. Kamal, Arun Raman and B. Bandyopadhyay, Finite Time Stabilization of Fractional Uncertain Chain of Integrator: A Sliding Mode Approach, IEEE International Conference on Industrial Technology (ICIT), March 2012