BibTeX records: Jin Woo Ro

• > Home > Persons > Jin Woo Ro

@article{DBLP:journals/tc/RoMR22,
  author       = {Jin Woo Ro and
                  Avinash Malik and
                  Partha S. Roop},
  title        = {High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid
                  Automata},
  journal      = {{IEEE} Trans. Computers},
  volume       = {71},
  number       = {7},
  pages        = {1668--1680},
  year         = {2022},
  url          = {https://doi.org/10.1109/TC.2021.3100746},
  doi          = {10.1109/TC.2021.3100746},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/RoMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/RoLW22,
  author       = {Jin Woo Ro and
                  Gerald L{\"{u}}ttgen and
                  Diedrich Wolter},
  editor       = {Gabriel Pedroza and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Xin Cynthia Chen and
                  Xiaowei Huang and
                  Hu{\'{a}}scar Espinoza and
                  Mauricio Castillo{-}Effen and
                  John A. McDermid and
                  Richard Mallah and
                  Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh},
  title        = {Reinforcement Learning With Imperfect Safety Constraints},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
                  (SafeAI 2022) co-located with the Thirty-Sixth {AAAI} Conference on
                  Artificial Intelligence (AAAI2022), Virtual, February, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3087},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3087/paper\_38.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/RoLW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tits/RoRM21,
  author       = {Jin Woo Ro and
                  Partha S. Roop and
                  Avinash Malik},
  title        = {A New Safety Distance Calculation for Rear-End Collision Avoidance},
  journal      = {{IEEE} Trans. Intell. Transp. Syst.},
  volume       = {22},
  number       = {3},
  pages        = {1742--1747},
  year         = {2021},
  url          = {https://doi.org/10.1109/TITS.2020.2975015},
  doi          = {10.1109/TITS.2020.2975015},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tits/RoRM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/YangRPR20,
  author       = {Xin Yang and
                  Partha S. Roop and
                  Hammond A. Pearce and
                  Jin Woo Ro},
  title        = {A compositional approach using Keras for neural networks in real-time
                  systems},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {1109--1114},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116371},
  doi          = {10.23919/DATE48585.2020.9116371},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/YangRPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/RoMR19,
  author       = {Jin Woo Ro and
                  Avinash Malik and
                  Partha S. Roop},
  editor       = {Partha S. Roop and
                  Naijun Zhan and
                  Sicun Gao and
                  Pierluigi Nuzzo},
  title        = {A compositional semantics of Simulink/Stateflow based on quantized
                  state hybrid automata},
  booktitle    = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
                  USA, October 9-11, 2019},
  pages        = {1:1--1:11},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3359986.3361198},
  doi          = {10.1145/3359986.3361198},
  timestamp    = {Sat, 20 May 2023 11:52:14 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/RoMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/AllenRRR19,
  author       = {Nathan Allen and
                  Yash Raje and
                  Jin Woo Ro and
                  Partha S. Roop},
  editor       = {Partha S. Roop and
                  Naijun Zhan and
                  Sicun Gao and
                  Pierluigi Nuzzo},
  title        = {A compositional approach for real-time machine learning},
  booktitle    = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
                  USA, October 9-11, 2019},
  pages        = {7:1--7:5},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3359986.3361204},
  doi          = {10.1145/3359986.3361204},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/AllenRRR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tits/RoRMR18,
  author       = {Jin Woo Ro and
                  Partha S. Roop and
                  Avinash Malik and
                  Prakash Ranjitkar},
  title        = {A Formal Approach for Modeling and Simulation of Human Car-Following
                  Behavior},
  journal      = {{IEEE} Trans. Intell. Transp. Syst.},
  volume       = {19},
  number       = {2},
  pages        = {639--648},
  year         = {2018},
  url          = {https://doi.org/10.1109/TITS.2017.2759273},
  doi          = {10.1109/TITS.2017.2759273},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tits/RoRMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isorc/RoRM15,
  author       = {Jin Woo Ro and
                  Partha S. Roop and
                  Avinash Malik},
  title        = {Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks
                  with Retransmissions},
  booktitle    = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
  pages        = {94--101},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISORC.2015.24},
  doi          = {10.1109/ISORC.2015.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/RoRM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/etfa/RoBR14,
  author       = {Jin Woo Ro and
                  Zeeshan Ejaz Bhatti and
                  Partha S. Roop},
  editor       = {Antoni Grau and
                  Herminio Mart{\'{\i}}nez},
  title        = {A model-driven approach with synchronous semantics for developing
                  hard real-time WSNs},
  booktitle    = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
                  {ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ETFA.2014.7005178},
  doi          = {10.1109/ETFA.2014.7005178},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/RoBR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}