Jin Woo Ro

According to our database, Jin Woo Ro authored at least 9 papers between 2014 and 2022.

Collaborative distances:

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

2022

High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata.

Jin Woo Ro, Avinash Malik, Partha S. Roop

IEEE Trans. Computers, 2022

Reinforcement Learning With Imperfect Safety Constraints.

Jin Woo Ro, Gerald Lüttgen, Diedrich Wolter

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

A New Safety Distance Calculation for Rear-End Collision Avoidance.

Jin Woo Ro, Partha S. Roop, Avinash Malik

IEEE Trans. Intell. Transp. Syst., 2021

2020

A compositional approach using Keras for neural networks in real-time systems.

Xin Yang, Partha S. Roop, Hammond A. Pearce, Jin Woo Ro

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata.

Jin Woo Ro, Avinash Malik, Partha S. Roop

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

A compositional approach for real-time machine learning.

Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2018

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

2015

Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions.

Jin Woo Ro, Partha S. Roop, Avinash Malik

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

2014

A model-driven approach with synchronous semantics for developing hard real-time WSNs.

Jin Woo Ro, Zeeshan Ejaz Bhatti, Partha S. Roop

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014