Arun Raman

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (16)

• Refute Questions for Concrete, Cluttered Specifications
  2024 DOI: 10.1145/3632621.3671427
  +Save
• Does Bilingual Specification impact students' comprehension of problems in Introductory Programming?
  2023 DOI: 10.1145/3627217.3627237
  +Save
• A Bug's New Life: Creating Refute Questions from Filtered CS1 Student Code Snapshots
  2023 DOI: 10.1145/3576882.3617916
  +Save
• Programming Pedagogy and Assessment in the Era of AI/ML: A Position Paper
  2022 DOI: 10.1145/3561833.3561843
  +Save
• Helping Students Develop a Critical Eye with Refute Questions
  2022 DOI: 10.1145/3545947.3569636
  +Save
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets
  Automatica 2021 DOI: 10.1016/j.automatica.2020.109430
  +Save
• On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets
  IEEE Transactions on Automatic Control 2020 DOI: 10.1109/TAC.2020.2970060
  +Save
• Fault-Tolerant Control of Discrete-Event Systems with Controllability Failures
  IEEE Control Systems Letters 2020 DOI: 10.1109/LCSYS.2020.2991192
  +Save
• An affordable and portable technology for real-time scheduling of appliances in smart homes
  Proceedings of the International Conference on Industrial Engineering and Operations Management 2019
  +Save
• At the Intersection of Computing- and Control-Theory: A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets
  2019 5th Indian Control Conference, ICC 2019 - Proceedings 2019 DOI: 10.1109/INDIANCC.2019.8715597
  +Save