C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Jin Woo Ro
ORCID
Publication Activity (10 Years)
Years Active: 2014-2022
Publications (10 Years): 8
Top Topics
High Fidelity
Subsequence Matching
Distance Calculation
Reinforcement Learning
Top Venues
MEMOCODE
IEEE Trans. Intell. Transp. Syst.
SafeAI@AAAI
IEEE Trans. Computers
</>
Publications
</>
Jin Woo Ro
,
Avinash Malik
,
Partha S. Roop
High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata.
IEEE Trans. Computers
71 (7) (2022)
Jin Woo Ro
,
Gerald Lüttgen
,
Diedrich Wolter
Reinforcement Learning With Imperfect Safety Constraints.
SafeAI@AAAI
(2022)
Jin Woo Ro
,
Partha S. Roop
,
Avinash Malik
A New Safety Distance Calculation for Rear-End Collision Avoidance.
IEEE Trans. Intell. Transp. Syst.
22 (3) (2021)
Xin Yang
,
Partha S. Roop
,
Hammond A. Pearce
,
Jin Woo Ro
A compositional approach using Keras for neural networks in real-time systems.
DATE
(2020)
Nathan Allen
,
Yash Raje
,
Jin Woo Ro
,
Partha S. Roop
A compositional approach for real-time machine learning.
MEMOCODE
(2019)
Jin Woo Ro
,
Avinash Malik
,
Partha S. Roop
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata.
MEMOCODE
(2019)
Jin Woo Ro
,
Partha S. Roop
,
Avinash Malik
,
Prakash Ranjitkar
A Formal Approach for Modeling and Simulation of Human Car-Following Behavior.
IEEE Trans. Intell. Transp. Syst.
19 (2) (2018)
Jin Woo Ro
,
Partha S. Roop
,
Avinash Malik
Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions.
ISORC
(2015)
Jin Woo Ro
,
Zeeshan Ejaz Bhatti
,
Partha S. Roop
A model-driven approach with synchronous semantics for developing hard real-time WSNs.
ETFA
(2014)