BibTeX records: John Komp

• > Home > Persons > John Komp

@inproceedings{DBLP:conf/aaai/DoleGKK023,
  author       = {Kalyani Dole and
                  Ashutosh Gupta and
                  John Komp and
                  Shankaranarayanan Krishna and
                  Ashutosh Trivedi},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers
                  from Duration Calculus Requirements},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {14792--14800},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i12.26728},
  doi          = {10.1609/AAAI.V37I12.26728},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DoleGKK023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/DoleGKKT21,
  author       = {Kalyani Dole and
                  Ashutosh Gupta and
                  John Komp and
                  Shankaranarayanan Krishna and
                  Ashutosh Trivedi},
  title        = {Event-Triggered and Time-Triggered Duration Calculus for Model-Free
                  Reinforcement Learning},
  booktitle    = {42nd {IEEE} Real-Time Systems Symposium, {RTSS} 2021, Dortmund, Germany,
                  December 7-10, 2021},
  pages        = {240--252},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/RTSS52674.2021.00031},
  doi          = {10.1109/RTSS52674.2021.00031},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtss/DoleGKKT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BackesWGK16,
  author       = {John D. Backes and
                  Michael W. Whalen and
                  Andrew Gacek and
                  John Komp},
  editor       = {Sanjai Rayadurgam and
                  Oksana Tkachuk},
  title        = {On Implementing Real-Time Specification Patterns Using Observers},
  booktitle    = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
                  MN, USA, June 7-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9690},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40648-0\_2},
  doi          = {10.1007/978-3-319-40648-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BackesWGK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BackesWGK16,
  author       = {John D. Backes and
                  Michael W. Whalen and
                  Andrew Gacek and
                  John Komp},
  title        = {On Implementing Real-time Specification Patterns Using Observers},
  journal      = {CoRR},
  volume       = {abs/1604.08155},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.08155},
  eprinttype    = {arXiv},
  eprint       = {1604.08155},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BackesWGK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/YouRHKKS15,
  author       = {Dongjiang You and
                  Sanjai Rayadurgam and
                  Mats Per Erik Heimdahl and
                  John Komp and
                  BaekGyu Kim and
                  Oleg Sokolsky},
  editor       = {Myra B. Cohen and
                  Lars Grunske and
                  Michael Whalen},
  title        = {Executing Model-Based Tests on Platform-Specific Implementations {(T)}},
  booktitle    = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  pages        = {418--428},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASE.2015.64},
  doi          = {10.1109/ASE.2015.64},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/YouRHKKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fhies/MurugesanHWRKDK14,
  author       = {Anitha Murugesan and
                  Mats Per Erik Heimdahl and
                  Michael W. Whalen and
                  Sanjai Rayadurgam and
                  John Komp and
                  Lian Duan and
                  BaekGyu Kim and
                  Oleg Sokolsky and
                  Insup Lee},
  editor       = {Michaela Huhn and
                  Laurie A. Williams},
  title        = {From Requirements to Code: Model Based Development of a Medical Cyber
                  Physical System},
  booktitle    = {Software Engineering in Health Care - 4th International Symposium,
                  {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington,
                  DC, USA, July 17-18, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9062},
  pages        = {96--112},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-63194-3\_7},
  doi          = {10.1007/978-3-319-63194-3\_7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fhies/MurugesanHWRKDK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}