A model-driven approach with synchronous semantics for developing hard real-time WSNs. - Jin Woo Ro; Zeeshan Ejaz Bhatti; Partha S. Roop (ETFA, 2014)

Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions. - Jin Woo Ro; Partha S. Roop; Avinash Malik (ISORC, 2015)

A Formal Approach for Modeling and Simulation of Human Car-Following Behavior. - Jin Woo Ro; Partha S. Roop; Avinash Malik; Prakash Ranjitkar (IEEE Trans. Intell. Transp. Syst., 2018)

A compositional approach for real-time machine learning. - Nathan Allen; Yash Raje; Jin Woo Ro; Partha S. Roop (MEMOCODE, 2019)

A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. - Jin Woo Ro; Avinash Malik; Partha S. Roop (MEMOCODE, 2019)

A compositional approach using Keras for neural networks in real-time systems. - Xin Yang; Partha S. Roop; Hammond A. Pearce; Jin Woo Ro (DATE, 2020)

A New Safety Distance Calculation for Rear-End Collision Avoidance. - Jin Woo Ro; Partha S. Roop; Avinash Malik (IEEE Trans. Intell. Transp. Syst., 2021)

Reinforcement Learning With Imperfect Safety Constraints. - Jin Woo Ro; Gerald Lüttgen; Diedrich Wolter (SafeAI@AAAI, 2022)

High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata. - Jin Woo Ro; Avinash Malik; Partha S. Roop (IEEE Trans. Computers, 2022)