Dr Jin Woo Ro

Selected publications and creative works (Research Outputs)

  • Allen, N., Raje, Y., Ro, J. W., & Roop, P. (2019). A compositional approach for real-time machine learning. MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. 10.1145/3359986.3361204
  • Ro, J. W., Malik, A., & Roop, P. (2019). A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. 10.1145/3359986.3361198
    Other University of Auckland co-authors: Avinash Malik
  • Ro, J. W. (2018). Safety Analysis of Human Car-following Models The University of Auckland. ResearchSpace@Auckland.
    URL: http://hdl.handle.net/2292/46739
  • Ro, J. W., Roop, P. S., Malik, A., & Ranjitkar, P. (2018). A formal approach for modeling and simulation of human car-following behavior. IEEE Transactions on Intelligent Transportation Systems, 19 (2), 639-648. 10.1109/TITS.2017.2759273
    URL: http://hdl.handle.net/2292/42250
    Other University of Auckland co-authors: Avinash Malik, Partha Roop, Prakash Ranjitkar
  • Ro, J. W., Roop, P. S., & Malik, A. (2015). Schedule synthesis for time-triggered multi-hop wireless networks with retransmissions. Paper presented at IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, IEEE computer society, Auckland, NEW ZEALAND. 13 April - 17 April 2015. 2015 IEEE 18TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC). (pp. 8). 10.1109/ISORC.2015.24
    Other University of Auckland co-authors: Avinash Malik, Partha Roop
  • Ro, Z. W., Bhatti, Z. E., & Roop, P. S. (2014). A model-driven approach with synchronous semantics for developing hard real-time WSNs. Emerging Technology and Factory Automation (ETFA), 2014 IEEE Barcelona, Spain: IEEE. 10.1109/ETFA.2014.7005178
    Other University of Auckland co-authors: Partha Roop
  • Ro, J. W. (2012). TTNZ: A model driven approach for designing a time-triggered WSN The University of Auckland. ResearchSpace@Auckland.
    URL: http://hdl.handle.net/2292/19412
    Other University of Auckland co-authors: Partha Roop

Contact details

Alternative contact

jinwooro@gmail.com

Primary office location

BUILDING 903 - Bldg 903
Level 4, Room 423
262 KHYBER PASS
NEWMARKET
AUCKLAND 1023
New Zealand