BibTeX records: Stanley Bak

download as .bib file

@article{DBLP:journals/sttt/BrixMBJL23,
  author       = {Christopher Brix and
                  Mark Niklas M{\"{u}}ller and
                  Stanley Bak and
                  Taylor T. Johnson and
                  Changliu Liu},
  title        = {First three years of the international verification of neural networks
                  competition {(VNN-COMP)}},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {25},
  number       = {3},
  pages        = {329--339},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10009-023-00703-4},
  doi          = {10.1007/S10009-023-00703-4},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/BrixMBJL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/WetzlingerKBA23,
  author       = {Mark Wetzlinger and
                  Niklas Kochdumper and
                  Stanley Bak and
                  Matthias Althoff},
  title        = {Fully Automated Verification of Linear Systems Using Inner and Outer
                  Approximations of Reachable Sets},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {68},
  number       = {12},
  pages        = {7771--7786},
  year         = {2023},
  url          = {https://doi.org/10.1109/TAC.2023.3292008},
  doi          = {10.1109/TAC.2023.3292008},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/WetzlingerKBA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HuangLBS23,
  author       = {Yushen Huang and
                  Ertai Luo and
                  Stanley Bak and
                  Yifan Sun},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {On the Difficulty of Intersection Checking with Polynomial Zonotopes},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {51--71},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_3},
  doi          = {10.1007/978-3-031-45332-8\_3},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/HuangLBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LewHPKHBB23,
  author       = {Ethan Lew and
                  Abdelrahman Hekal and
                  Kostiantyn Potomkin and
                  Niklas Kochdumper and
                  Brandon Hencey and
                  Stanley Bak and
                  Sergiy Bogomolov},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {AutoKoopman: {A} Toolbox for Automated System Identification via Koopman
                  Operator Linearization},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {237--250},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_12},
  doi          = {10.1007/978-3-031-45332-8\_12},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/LewHPKHBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewaf/Borca-TasciucGB23,
  author       = {Giorgian Borca{-}Tasciuc and
                  Xingzhi Guo and
                  Stanley Bak and
                  Steven Skiena},
  editor       = {Jose M. Alvarez and
                  Alessandro Fabris and
                  Christoph Heitz and
                  Corinna Hertweck and
                  Michele Loi and
                  Meike Zehlike},
  title        = {Provable Fairness for Neural Network Models Using Formal Verification},
  booktitle    = {Proceedings of the 2nd European Workshop on Algorithmic Fairness,
                  Winterthur, Switzerland, June 7th to 9th, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3442},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3442/paper-04.pdf},
  timestamp    = {Wed, 19 Jul 2023 17:21:16 +0200},
  biburl       = {https://dblp.org/rec/conf/ewaf/Borca-TasciucGB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BakDSTVW23,
  author       = {Stanley Bak and
                  Taylor Dohmen and
                  K. Subramani and
                  Ashutosh Trivedi and
                  Alvaro Velasquez and
                  Piotr Wojciechowski},
  editor       = {Marsha Chechik and
                  Joost{-}Pieter Katoen and
                  Martin Leucker},
  title        = {The Octatope Abstract Domain for Verification of Neural Networks},
  booktitle    = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
                  Germany, March 6-10, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14000},
  pages        = {454--472},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-27481-7\_26},
  doi          = {10.1007/978-3-031-27481-7\_26},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/BakDSTVW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WetzlingerKBA23,
  author       = {Mark Wetzlinger and
                  Niklas Kochdumper and
                  Stanley Bak and
                  Matthias Althoff},
  title        = {Fully-Automated Verification of Linear Systems Using Reachability
                  Analysis with Support Functions},
  booktitle    = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
                  2023},
  pages        = {5:1--5:12},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3575870.3587121},
  doi          = {10.1145/3575870.3587121},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/WetzlingerKBA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LuoKB23,
  author       = {Ertai Luo and
                  Niklas Kochdumper and
                  Stanley Bak},
  title        = {Reachability Analysis for Linear Systems with Uncertain Parameters
                  using Polynomial Zonotopes},
  booktitle    = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
                  2023},
  pages        = {17:1--17:12},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3575870.3587130},
  doi          = {10.1145/3575870.3587130},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/LuoKB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Kochdumper0AB23,
  author       = {Niklas Kochdumper and
                  Christian Schilling and
                  Matthias Althoff and
                  Stanley Bak},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Open- and Closed-Loop Neural Network Verification Using Polynomial
                  Zonotopes},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {16--36},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_2},
  doi          = {10.1007/978-3-031-33170-1\_2},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/Kochdumper0AB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-05815,
  author       = {Christopher Brix and
                  Mark Niklas M{\"{u}}ller and
                  Stanley Bak and
                  Taylor T. Johnson and
                  Changliu Liu},
  title        = {First Three Years of the International Verification of Neural Networks
                  Competition {(VNN-COMP)}},
  journal      = {CoRR},
  volume       = {abs/2301.05815},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.05815},
  doi          = {10.48550/ARXIV.2301.05815},
  eprinttype    = {arXiv},
  eprint       = {2301.05815},
  timestamp    = {Thu, 19 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-05815.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-09901,
  author       = {Yushen Huang and
                  Ertai Luo and
                  Stanley Bak and
                  Yifan Sun},
  title        = {On the Difficulty of Intersection Checking with Polynomial Zonotopes},
  journal      = {CoRR},
  volume       = {abs/2305.09901},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.09901},
  doi          = {10.48550/ARXIV.2305.09901},
  eprinttype    = {arXiv},
  eprint       = {2305.09901},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-09901.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-04089,
  author       = {Niklas Kochdumper and
                  Stanley Bak},
  title        = {Fully Automated Verification of Linear Time-Invariant Systems against
                  Signal Temporal Logic Specifications via Reachability Analysis},
  journal      = {CoRR},
  volume       = {abs/2306.04089},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.04089},
  doi          = {10.48550/ARXIV.2306.04089},
  eprinttype    = {arXiv},
  eprint       = {2306.04089},
  timestamp    = {Tue, 13 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-04089.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-12289,
  author       = {Niklas Kochdumper and
                  Stanley Bak},
  title        = {Real-Time Capable Decision Making for Autonomous Driving Using Reachable
                  Sets},
  journal      = {CoRR},
  volume       = {abs/2309.12289},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.12289},
  doi          = {10.48550/ARXIV.2309.12289},
  eprinttype    = {arXiv},
  eprint       = {2309.12289},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-12289.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02313,
  author       = {Sanaz Sheikhi and
                  Stanley Bak},
  title        = {Coverage Explorer: Coverage-guided Test Generation for Cyber Physical
                  Systems},
  journal      = {CoRR},
  volume       = {abs/2312.02313},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.02313},
  doi          = {10.48550/ARXIV.2312.02313},
  eprinttype    = {arXiv},
  eprint       = {2312.02313},
  timestamp    = {Wed, 13 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-02313.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-16760,
  author       = {Christopher Brix and
                  Stanley Bak and
                  Changliu Liu and
                  Taylor T. Johnson},
  title        = {The Fourth International Verification of Neural Networks Competition
                  {(VNN-COMP} 2023): Summary and Results},
  journal      = {CoRR},
  volume       = {abs/2312.16760},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.16760},
  doi          = {10.48550/ARXIV.2312.16760},
  eprinttype    = {arXiv},
  eprint       = {2312.16760},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-16760.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acssc/AlkhouriBVA22,
  author       = {Ismail R. Alkhouri and
                  Stanley Bak and
                  Alvaro Velasquez and
                  George K. Atia},
  title        = {On the Coarse Robustness of Classifiers},
  booktitle    = {56th Asilomar Conference on Signals, Systems, and Computers, {ACSSC}
                  2022, Pacific Grove, CA, USA, October 31 - Nov. 2, 2022},
  pages        = {569--573},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/IEEECONF56349.2022.10051990},
  doi          = {10.1109/IEEECONF56349.2022.10051990},
  timestamp    = {Fri, 10 Mar 2023 11:53:17 +0100},
  biburl       = {https://dblp.org/rec/conf/acssc/AlkhouriBVA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BakBHKLP22,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Brandon Hencey and
                  Niklas Kochdumper and
                  Ethan Lew and
                  Kostiantyn Potomkin},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Reachability of Koopman Linearized Systems Using Random Fourier Feature
                  Observables and Polynomial Zonotope Refinement},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {490--510},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_24},
  doi          = {10.1007/978-3-031-13185-1\_24},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BakBHKLP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KochdumperB22,
  author       = {Niklas Kochdumper and
                  Stanley Bak},
  title        = {Conformant Synthesis for Koopman Operator Linearized Control Systems},
  booktitle    = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
                  Mexico, December 6-9, 2022},
  pages        = {7327--7332},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/CDC51059.2022.9992324},
  doi          = {10.1109/CDC51059.2022.9992324},
  timestamp    = {Wed, 18 Jan 2023 15:37:37 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/KochdumperB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/SheikhiKDB22,
  author       = {Sanaz Sheikhi and
                  Edward Kim and
                  Parasara Sridhar Duggirala and
                  Stanley Bak},
  title        = {Coverage-Guided Fuzz Testing for Cyber-Physical Systems},
  booktitle    = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems,
                  {ICCPS} 2022, Milano, Italy, May 4-6, 2022},
  pages        = {24--33},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICCPS54341.2022.00009},
  doi          = {10.1109/ICCPS54341.2022.00009},
  timestamp    = {Wed, 29 Jun 2022 17:24:41 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/SheikhiKDB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ChawlaB22,
  author       = {Abhinav Chawla and
                  Stanley Bak},
  title        = {{CPS} Testing using Stateless {RRT}},
  booktitle    = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems,
                  {ICCPS} 2022, Milano, Italy, May 4-6, 2022},
  pages        = {302--303},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICCPS54341.2022.00042},
  doi          = {10.1109/ICCPS54341.2022.00042},
  timestamp    = {Wed, 29 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/ChawlaB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/BakBCZM22,
  author       = {Stanley Bak and
                  Johannes Betz and
                  Abhinav Chawla and
                  Hongrui Zheng and
                  Rahul Mangharam},
  title        = {Stress Testing Autonomous Racing Overtake Maneuvers with {RRT}},
  booktitle    = {2022 {IEEE} Intelligent Vehicles Symposium, {IV} 2022, Aachen, Germany,
                  June 4-9, 2022},
  pages        = {806--812},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/IV51971.2022.9827237},
  doi          = {10.1109/IV51971.2022.9827237},
  timestamp    = {Tue, 26 Jul 2022 10:29:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ivs/BakBCZM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MehmoodSBSS22,
  author       = {Usama Mehmood and
                  Sanaz Sheikhi and
                  Stanley Bak and
                  Scott A. Smolka and
                  Scott D. Stoller},
  editor       = {Jyotirmoy V. Deshmukh and
                  Klaus Havelund and
                  Ivan Perez},
  title        = {The Black-Box Simplex Architecture for Runtime Assurance of Autonomous
                  {CPS}},
  booktitle    = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
                  Pasadena, CA, USA, May 24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13260},
  pages        = {231--250},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-06773-0\_12},
  doi          = {10.1007/978-3-031-06773-0\_12},
  timestamp    = {Mon, 23 May 2022 16:36:23 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MehmoodSBSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BakT22,
  author       = {Stanley Bak and
                  Hoang{-}Dung Tran},
  editor       = {Jyotirmoy V. Deshmukh and
                  Klaus Havelund and
                  Ivan Perez},
  title        = {Neural Network Compression of {ACAS} Xu Early Prototype Is Unsafe:
                  Closed-Loop Verification Through Quantized State Backreachability},
  booktitle    = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
                  Pasadena, CA, USA, May 24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13260},
  pages        = {280--298},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-06773-0\_15},
  doi          = {10.1007/978-3-031-06773-0\_15},
  timestamp    = {Mon, 23 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BakT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-06626,
  author       = {Stanley Bak and
                  Hoang{-}Dung Tran},
  title        = {Neural Network Compression of {ACAS} Xu is Unsafe: Closed-Loop Verification
                  through Quantized State Backreachability},
  journal      = {CoRR},
  volume       = {abs/2201.06626},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.06626},
  eprinttype    = {arXiv},
  eprint       = {2201.06626},
  timestamp    = {Tue, 01 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-06626.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02715,
  author       = {Niklas Kochdumper and
                  Christian Schilling and
                  Matthias Althoff and
                  Stanley Bak},
  title        = {Open- and Closed-Loop Neural Network Verification using Polynomial
                  Zonotopes},
  journal      = {CoRR},
  volume       = {abs/2207.02715},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.02715},
  doi          = {10.48550/ARXIV.2207.02715},
  eprinttype    = {arXiv},
  eprint       = {2207.02715},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-02715.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-09321,
  author       = {Mark Wetzlinger and
                  Niklas Kochdumper and
                  Stanley Bak and
                  Matthias Althoff},
  title        = {Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations
                  of Reachable Sets},
  journal      = {CoRR},
  volume       = {abs/2209.09321},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.09321},
  doi          = {10.48550/ARXIV.2209.09321},
  eprinttype    = {arXiv},
  eprint       = {2209.09321},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09321.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-10691,
  author       = {Niklas Kochdumper and
                  Hanna Krasowski and
                  Xiao Wang and
                  Stanley Bak and
                  Matthias Althoff},
  title        = {Provably Safe Reinforcement Learning via Action Projection using Reachability
                  Analysis and Polynomial Zonotopes},
  journal      = {CoRR},
  volume       = {abs/2210.10691},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.10691},
  doi          = {10.48550/ARXIV.2210.10691},
  eprinttype    = {arXiv},
  eprint       = {2210.10691},
  timestamp    = {Tue, 25 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-10691.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-08578,
  author       = {Giorgian Borca{-}Tasciuc and
                  Xingzhi Guo and
                  Stanley Bak and
                  Steven Skiena},
  title        = {Provable Fairness for Neural Network Models using Formal Verification},
  journal      = {CoRR},
  volume       = {abs/2212.08578},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.08578},
  doi          = {10.48550/ARXIV.2212.08578},
  eprinttype    = {arXiv},
  eprint       = {2212.08578},
  timestamp    = {Mon, 02 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-08578.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-10376,
  author       = {Mark Niklas M{\"{u}}ller and
                  Christopher Brix and
                  Stanley Bak and
                  Changliu Liu and
                  Taylor T. Johnson},
  title        = {The Third International Verification of Neural Networks Competition
                  {(VNN-COMP} 2022): Summary and Results},
  journal      = {CoRR},
  volume       = {abs/2212.10376},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.10376},
  doi          = {10.48550/ARXIV.2212.10376},
  eprinttype    = {arXiv},
  eprint       = {2212.10376},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-10376.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TranPLMYNXBJ21,
  author       = {Hoang{-}Dung Tran and
                  Neelanjana Pal and
                  Diego Manzanas Lopez and
                  Patrick Musau and
                  Xiaodong Yang and
                  Luan Viet Nguyen and
                  Weiming Xiang and
                  Stanley Bak and
                  Taylor T. Johnson},
  title        = {Verification of piecewise deep neural networks: a star set approach
                  with zonotope pre-filter},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {4-5},
  pages        = {519--545},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00553-4},
  doi          = {10.1007/S00165-021-00553-4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/TranPLMYNXBJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BakBDGP21,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Parasara Sridhar Duggirala and
                  Adam R. Gerlach and
                  Kostiantyn Potomkin},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Reachability of Black-Box Nonlinear Systems after Koopman Operator
                  Linearization},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {253--258},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.507},
  doi          = {10.1016/J.IFACOL.2021.08.507},
  timestamp    = {Tue, 14 Sep 2021 14:28:35 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/BakBDGP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TranPMLHYBJ21,
  author       = {Hoang{-}Dung Tran and
                  Neelanjana Pal and
                  Patrick Musau and
                  Diego Manzanas Lopez and
                  Nathaniel Hamilton and
                  Xiaodong Yang and
                  Stanley Bak and
                  Taylor T. Johnson},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Robustness Verification of Semantic Segmentation Neural Networks Using
                  Relaxed Reachability},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12759},
  pages        = {263--286},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81685-8\_12},
  doi          = {10.1007/978-3-030-81685-8\_12},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/TranPMLHYBJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/MehmoodBSS21,
  author       = {Usama Mehmood and
                  Stanley Bak and
                  Scott A. Smolka and
                  Scott D. Stoller},
  title        = {Safe {CPS} from unsafe controllers},
  booktitle    = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
                  Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
                  2021},
  pages        = {26--28},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3457335.3461712},
  doi          = {10.1145/3457335.3461712},
  timestamp    = {Wed, 04 Aug 2021 15:12:03 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/MehmoodBSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KimBD21,
  author       = {Edward Kim and
                  Stanley Bak and
                  Parasara Sridhar Duggirala},
  editor       = {Catalin Dima and
                  Mahsa Shirmohammadi},
  title        = {Automatic Dynamic Parallelotope Bundles for Reachability Analysis
                  of Nonlinear Systems},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 19th International
                  Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12860},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85037-1\_4},
  doi          = {10.1007/978-3-030-85037-1\_4},
  timestamp    = {Tue, 17 Aug 2021 21:08:55 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/KimBD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Bak21,
  author       = {Stanley Bak},
  editor       = {Aaron Dutle and
                  Mariano M. Moscato and
                  Laura Titolo and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Ivan Perez},
  title        = {nnenum: Verification of ReLU Neural Networks with Optimized Abstraction
                  Refinement},
  booktitle    = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021,
                  Virtual Event, May 24-28, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12673},
  pages        = {19--36},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-76384-8\_2},
  doi          = {10.1007/978-3-030-76384-8\_2},
  timestamp    = {Wed, 20 Sep 2023 15:15:29 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/Bak21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12981,
  author       = {Usama Mehmood and
                  Stanley Bak and
                  Scott A. Smolka and
                  Scott D. Stoller},
  title        = {Safe {CPS} from Unsafe Controllers},
  journal      = {CoRR},
  volume       = {abs/2102.12981},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.12981},
  eprinttype    = {arXiv},
  eprint       = {2102.12981},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-12981.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00886,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Parasara Sridhar Duggirala and
                  Adam R. Gerlach and
                  Kostiantyn Potomkin},
  title        = {Reachability of Black-Box Nonlinear Systems after Koopman Operator
                  Linearization},
  journal      = {CoRR},
  volume       = {abs/2105.00886},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.00886},
  eprinttype    = {arXiv},
  eprint       = {2105.00886},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-00886.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-11796,
  author       = {Edward Kim and
                  Stanley Bak and
                  Parasara Sridhar Duggirala},
  title        = {Automatic Dynamic Parallelotope Bundles for Reachability Analysis
                  of Nonlinear Systems},
  journal      = {CoRR},
  volume       = {abs/2105.11796},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.11796},
  eprinttype    = {arXiv},
  eprint       = {2105.11796},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-11796.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00498,
  author       = {Stanley Bak and
                  Changliu Liu and
                  Taylor T. Johnson},
  title        = {The Second International Verification of Neural Networks Competition
                  {(VNN-COMP} 2021): Summary and Results},
  journal      = {CoRR},
  volume       = {abs/2109.00498},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.00498},
  eprinttype    = {arXiv},
  eprint       = {2109.00498},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-00498.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-01095,
  author       = {Stanley Bak and
                  Johannes Betz and
                  Abhinav Chawla and
                  Hongrui Zheng and
                  Rahul Mangharam},
  title        = {Stress Testing Autonomous Racing Overtake Maneuvers with {RRT}},
  journal      = {CoRR},
  volume       = {abs/2110.01095},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.01095},
  eprinttype    = {arXiv},
  eprint       = {2110.01095},
  timestamp    = {Fri, 08 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-01095.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/AlthoffBBFFFKLM20,
  author       = {Matthias Althoff and
                  Stanley Bak and
                  Zongnan Bao and
                  Marcelo Forets and
                  Goran Frehse and
                  Daniel Freire and
                  Niklas Kochdumper and
                  Yangge Li and
                  Sayan Mitra and
                  Rajarshi Ray and
                  Christian Schilling and
                  Stefan Schupp and
                  Mark Wetzlinger},
  title        = {{ARCH-COMP20} Category Report: Continuous and Hybrid Systems with
                  Linear Continuous Dynamics},
  booktitle    = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
  series       = {EPiC Series in Computing},
  volume       = {74},
  pages        = {16--48},
  publisher    = {EasyChair},
  year         = {2020},
  url          = {https://doi.org/10.29007/7dt2},
  doi          = {10.29007/7DT2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arch/AlthoffBBFFFKLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TranYLMNXBJ20,
  author       = {Hoang{-}Dung Tran and
                  Xiaodong Yang and
                  Diego Manzanas Lopez and
                  Patrick Musau and
                  Luan Viet Nguyen and
                  Weiming Xiang and
                  Stanley Bak and
                  Taylor T. Johnson},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {{NNV:} The Neural Network Verification Tool for Deep Neural Networks
                  and Learning-Enabled Cyber-Physical Systems},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12224},
  pages        = {3--17},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53288-8\_1},
  doi          = {10.1007/978-3-030-53288-8\_1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/TranYLMNXBJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TranBXJ20,
  author       = {Hoang{-}Dung Tran and
                  Stanley Bak and
                  Weiming Xiang and
                  Taylor T. Johnson},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Verification of Deep Convolutional Neural Networks Using ImageStars},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12224},
  pages        = {18--42},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53288-8\_2},
  doi          = {10.1007/978-3-030-53288-8\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/TranBXJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BakTHJ20,
  author       = {Stanley Bak and
                  Hoang{-}Dung Tran and
                  Kerianne Hobbs and
                  Taylor T. Johnson},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Improved Geometric Path Enumeration for Verifying ReLU Neural Networks},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12224},
  pages        = {66--96},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53288-8\_4},
  doi          = {10.1007/978-3-030-53288-8\_4},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BakTHJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/LiBB20,
  author       = {Dongxu Li and
                  Stanley Bak and
                  Sergiy Bogomolov},
  editor       = {Nathalie Bertrand and
                  Nils Jansen},
  title        = {Reachability Analysis of Nonlinear Systems Using Hybridization and
                  Dynamics Scaling},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 18th International
                  Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12288},
  pages        = {265--282},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57628-8\_16},
  doi          = {10.1007/978-3-030-57628-8\_16},
  timestamp    = {Tue, 25 Aug 2020 15:25:25 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/LiBB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05511,
  author       = {Hoang{-}Dung Tran and
                  Stanley Bak and
                  Weiming Xiang and
                  Taylor T. Johnson},
  title        = {Verification of Deep Convolutional Neural Networks Using ImageStars},
  journal      = {CoRR},
  volume       = {abs/2004.05511},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.05511},
  eprinttype    = {arXiv},
  eprint       = {2004.05511},
  timestamp    = {Tue, 14 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-05511.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05519,
  author       = {Hoang{-}Dung Tran and
                  Xiaodong Yang and
                  Diego Manzanas Lopez and
                  Patrick Musau and
                  Luan Viet Nguyen and
                  Weiming Xiang and
                  Stanley Bak and
                  Taylor T. Johnson},
  title        = {{NNV:} The Neural Network Verification Tool for Deep Neural Networks
                  and Learning-Enabled Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/2004.05519},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.05519},
  eprinttype    = {arXiv},
  eprint       = {2004.05519},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-05519.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BakBBJNS19,
  author       = {Stanley Bak and
                  Omar Ali Beg and
                  Sergiy Bogomolov and
                  Taylor T. Johnson and
                  Luan Viet Nguyen and
                  Christian Schilling},
  title        = {Hybrid automata: from verification to implementation},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {21},
  number       = {1},
  pages        = {87--104},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10009-017-0458-1},
  doi          = {10.1007/S10009-017-0458-1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/BakBBJNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DuggiralaB19,
  author       = {Parasara Sridhar Duggirala and
                  Stanley Bak},
  title        = {Aggregation Strategies in Reachable Set Computation of Hybrid Systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {18},
  number       = {5s},
  pages        = {99:1--99:21},
  year         = {2019},
  url          = {https://doi.org/10.1145/3358214},
  doi          = {10.1145/3358214},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/DuggiralaB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AlthoffBFFK0SS19,
  author       = {Matthias Althoff and
                  Stanley Bak and
                  Marcelo Forets and
                  Goran Frehse and
                  Niklas Kochdumper and
                  Rajarshi Ray and
                  Christian Schilling and
                  Stefan Schupp},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {{ARCH-COMP19} Category Report: Continuous and Hybrid Systems with
                  Linear Continuous Dynamics},
  booktitle    = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
                  and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
                  April 15, 2019},
  series       = {EPiC Series in Computing},
  volume       = {61},
  pages        = {14--40},
  publisher    = {EasyChair},
  year         = {2019},
  url          = {https://doi.org/10.29007/bj1w},
  doi          = {10.29007/BJ1W},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/AlthoffBFFK0SS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BakH19,
  author       = {Stanley Bak and
                  Kerianne Hobbs},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Efficient n-to-n Collision Detection for Space Debris using 4D {AABB}
                  Trees},
  booktitle    = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
                  and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
                  April 15, 2019},
  series       = {EPiC Series in Computing},
  volume       = {61},
  pages        = {170--182},
  publisher    = {EasyChair},
  year         = {2019},
  url          = {https://doi.org/10.29007/5pl1},
  doi          = {10.29007/5PL1},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/BakH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakTJ19,
  author       = {Stanley Bak and
                  Hoang{-}Dung Tran and
                  Taylor T. Johnson},
  editor       = {Necmiye Ozay and
                  Pavithra Prabhakar},
  title        = {Numerical verification of affine systems with up to a billion dimensions},
  booktitle    = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
                  16-18, 2019},
  pages        = {23--32},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3302504.3311792},
  doi          = {10.1145/3302504.3311792},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/BakTJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10475,
  author       = {Stanley Bak and
                  Kerianne Hobbs},
  title        = {Efficient n-to-n Collision Detection for Space Debris using 4D {AABB}
                  Trees (Extended Report)},
  journal      = {CoRR},
  volume       = {abs/1901.10475},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.10475},
  eprinttype    = {arXiv},
  eprint       = {1901.10475},
  timestamp    = {Sun, 03 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-10475.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/NguyenHBDJ18,
  author       = {Luan Viet Nguyen and
                  Khaza Anuarul Hoque and
                  Stanley Bak and
                  Steven Drager and
                  Taylor T. Johnson},
  title        = {Cyber-Physical Specification Mismatches},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {2},
  number       = {4},
  pages        = {23:1--23:26},
  year         = {2018},
  url          = {https://doi.org/10.1145/3170500},
  doi          = {10.1145/3170500},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/NguyenHBDJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AlthoffB0FFFKLM18,
  author       = {Matthias Althoff and
                  Stanley Bak and
                  Xin Chen and
                  Chuchu Fan and
                  Marcelo Forets and
                  Goran Frehse and
                  Niklas Kochdumper and
                  Yangge Li and
                  Sayan Mitra and
                  Rajarshi Ray and
                  Christian Schilling and
                  Stefan Schupp},
  editor       = {Goran Frehse and
                  Matthias Althoff and
                  Sergiy Bogomolov and
                  Taylor T. Johnson},
  title        = {{ARCH-COMP18} Category Report: Continuous and Hybrid Systems with
                  Linear Continuous Dynamics},
  booktitle    = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  series       = {EPiC Series in Computing},
  volume       = {54},
  pages        = {23--52},
  publisher    = {EasyChair},
  year         = {2018},
  url          = {https://doi.org/10.29007/73mb},
  doi          = {10.29007/73MB},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/TranXBJ18,
  author       = {Hoang{-}Dung Tran and
                  Weiming Xiang and
                  Stanley Bak and
                  Taylor T. Johnson},
  editor       = {Alessandro Abate and
                  Antoine Girard and
                  Maurice Heemels},
  title        = {Reachability Analysis for One Dimensional Linear Parabolic Equations},
  booktitle    = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2018, Oxford, UK, July 11-13, 2018},
  series       = {IFAC-PapersOnLine},
  volume       = {51},
  number       = {16},
  pages        = {133--138},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ifacol.2018.08.023},
  doi          = {10.1016/J.IFACOL.2018.08.023},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/TranXBJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Bak18a,
  author       = {Stanley Bak},
  editor       = {Goran Frehse and
                  Matthias Althoff and
                  Sergiy Bogomolov and
                  Taylor T. Johnson},
  title        = {Numerical Verification of 10000-dimensional Linear Systems 10000x
                  Faster},
  booktitle    = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  series       = {EPiC Series in Computing},
  volume       = {54},
  pages        = {135--144},
  publisher    = {EasyChair},
  year         = {2018},
  url          = {https://doi.org/10.29007/gv5q},
  doi          = {10.29007/GV5Q},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/Bak18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Bak18,
  author       = {Stanley Bak},
  editor       = {Alessandro Abate and
                  Antoine Girard and
                  Maurice Heemels},
  title        = {\emph{t}-Barrier Certificates: {A} Continuous Analogy to \emph{k}-Induction},
  booktitle    = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2018, Oxford, UK, July 11-13, 2018},
  series       = {IFAC-PapersOnLine},
  volume       = {51},
  number       = {16},
  pages        = {145--150},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ifacol.2018.08.025},
  doi          = {10.1016/J.IFACOL.2018.08.025},
  timestamp    = {Mon, 08 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/Bak18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/HeidlaufCBB18,
  author       = {Peter Heidlauf and
                  Alexander Collins and
                  Michael Bolender and
                  Stanley Bak},
  editor       = {Goran Frehse and
                  Matthias Althoff and
                  Sergiy Bogomolov and
                  Taylor T. Johnson},
  title        = {Verification Challenges in {F-16} Ground Collision Avoidance and Other
                  Automated Maneuvers},
  booktitle    = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  series       = {EPiC Series in Computing},
  volume       = {54},
  pages        = {208--217},
  publisher    = {EasyChair},
  year         = {2018},
  url          = {https://doi.org/10.29007/91x9},
  doi          = {10.29007/91X9},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/HeidlaufCBB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/HobbsHCB18,
  author       = {Kerianne Hobbs and
                  Peter Heidlauf and
                  Alexander Collins and
                  Stanley Bak},
  editor       = {Goran Frehse and
                  Matthias Althoff and
                  Sergiy Bogomolov and
                  Taylor T. Johnson},
  title        = {Space Debris Collision Detection using Reachability},
  booktitle    = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  series       = {EPiC Series in Computing},
  volume       = {54},
  pages        = {218--228},
  publisher    = {EasyChair},
  year         = {2018},
  url          = {https://doi.org/10.29007/5313},
  doi          = {10.29007/5313},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/HobbsHCB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01583,
  author       = {Stanley Bak and
                  Hoang{-}Dung Tran and
                  Taylor T. Johnson},
  title        = {Numerical Verification of Affine Systems with up to a Billion Dimensions},
  journal      = {CoRR},
  volume       = {abs/1804.01583},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.01583},
  eprinttype    = {arXiv},
  eprint       = {1804.01583},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-01583.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-09224,
  author       = {Luan Viet Nguyen and
                  Khaza Anuarul Hoque and
                  Stanley Bak and
                  Steven Drager and
                  Taylor T. Johnson},
  title        = {Cyber-Physical Specification Mismatches},
  journal      = {CoRR},
  volume       = {abs/1806.09224},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.09224},
  eprinttype    = {arXiv},
  eprint       = {1806.09224},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09224.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cps/YuBLPSZ17,
  author       = {Huafeng Yu and
                  Stanley Bak and
                  Xin Li and
                  Corina S. Pasareanu and
                  Ramesh S and
                  Qi Zhu},
  title        = {Guest Editorial},
  journal      = {{IET} Cyper-Phys. Syst.: Theory {\&} Appl.},
  volume       = {2},
  number       = {2},
  pages        = {55--56},
  year         = {2017},
  url          = {https://doi.org/10.1049/iet-cps.2017.0092},
  doi          = {10.1049/IET-CPS.2017.0092},
  timestamp    = {Sat, 01 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iet-cps/YuBLPSZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BakBHK17,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Thomas A. Henzinger and
                  Aviral Kumar},
  editor       = {Alessandro Abate and
                  Sylvie Boldo},
  title        = {Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random
                  Trees},
  booktitle    = {Numerical Software Verification - 10th International Workshop, {NSV}
                  2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated
                  with {CAV} 2017]},
  series       = {Lecture Notes in Computer Science},
  volume       = {10381},
  pages        = {83--89},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63501-9\_6},
  doi          = {10.1007/978-3-319-63501-9\_6},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BakBHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BakD17,
  author       = {Stanley Bak and
                  Parasara Sridhar Duggirala},
  editor       = {Rupak Majumdar and
                  Viktor Kuncak},
  title        = {Simulation-Equivalent Reachability of Large Linear Systems with Inputs},
  booktitle    = {Computer Aided Verification - 29th International Conference, {CAV}
                  2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10426},
  pages        = {401--420},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63387-9\_20},
  doi          = {10.1007/978-3-319-63387-9\_20},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BakD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BakD17,
  author       = {Stanley Bak and
                  Parasara Sridhar Duggirala},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Direct Verification of Linear Systems with over 10000 Dimensions},
  booktitle    = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
                  on April 17, 2017 in Pittsburgh, PA, {USA}},
  series       = {EPiC Series in Computing},
  volume       = {48},
  pages        = {114--123},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/dwj1},
  doi          = {10.29007/DWJ1},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/BakD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AlthoffBCCFRS17,
  author       = {Matthias Althoff and
                  Stanley Bak and
                  Dario Cattaruzza and
                  Xin Chen and
                  Goran Frehse and
                  Rajarshi Ray and
                  Stefan Schupp},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {{ARCH-COMP17} Category Report: Continuous and Hybrid Systems with
                  Linear Continuous Dynamics},
  booktitle    = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
                  on April 17, 2017 in Pittsburgh, PA, {USA}},
  series       = {EPiC Series in Computing},
  volume       = {48},
  pages        = {143--159},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/4dcn},
  doi          = {10.29007/4DCN},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/AlthoffBCCFRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BakBA17,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Matthias Althoff},
  editor       = {Alessandro Abate and
                  Gilles Geeraerts},
  title        = {Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid
                  Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 15th International
                  Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10419},
  pages        = {133--150},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-65765-3\_8},
  doi          = {10.1007/978-3-319-65765-3\_8},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/BakBA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakD17,
  author       = {Stanley Bak and
                  Parasara Sridhar Duggirala},
  editor       = {Goran Frehse and
                  Sayan Mitra},
  title        = {HyLAA: {A} Tool for Computing Simulation-Equivalent Reachability for
                  Linear Systems},
  booktitle    = {Proceedings of the 20th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
                  2017},
  pages        = {173--178},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3049797.3049808},
  doi          = {10.1145/3049797.3049808},
  timestamp    = {Tue, 06 Nov 2018 11:07:36 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/BakD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BakD17,
  author       = {Stanley Bak and
                  Parasara Sridhar Duggirala},
  editor       = {Axel Legay and
                  Tiziana Margaria},
  title        = {Rigorous Simulation-Based Analysis of Linear Hybrid Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 23rd International Conference, {TACAS} 2017, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10205},
  pages        = {555--572},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54577-5\_32},
  doi          = {10.1007/978-3-662-54577-5\_32},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BakD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qip/HoranAB16,
  author       = {Victoria Horan and
                  Steve Adachi and
                  Stanley Bak},
  title        = {A comparison of approaches for finding minimum identifying codes on
                  graphs},
  journal      = {Quantum Inf. Process.},
  volume       = {15},
  number       = {5},
  pages        = {1827--1848},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11128-016-1240-0},
  doi          = {10.1007/S11128-016-1240-0},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/qip/HoranAB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/YaoPBYC16,
  author       = {Gang Yao and
                  Rodolfo Pellizzoni and
                  Stanley Bak and
                  Heechul Yun and
                  Marco Caccamo},
  title        = {Global Real-Time Memory-Centric Scheduling for Multicore Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {65},
  number       = {9},
  pages        = {2739--2751},
  year         = {2016},
  url          = {https://doi.org/10.1109/TC.2015.2500572},
  doi          = {10.1109/TC.2015.2500572},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/YaoPBYC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/JohnsonBCS16,
  author       = {Taylor T. Johnson and
                  Stanley Bak and
                  Marco Caccamo and
                  Lui Sha},
  title        = {Real-Time Reachability for Verified Simplex Design},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {26:1--26:27},
  year         = {2016},
  url          = {https://doi.org/10.1145/2723871},
  doi          = {10.1145/2723871},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/JohnsonBCS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/DuggiralaFPQM0B16,
  author       = {Parasara Sridhar Duggirala and
                  Chuchu Fan and
                  Matthew Potok and
                  Bolun Qi and
                  Sayan Mitra and
                  Mahesh Viswanathan and
                  Stanley Bak and
                  Sergiy Bogomolov and
                  Taylor T. Johnson and
                  Luan Viet Nguyen and
                  Christian Schilling and
                  Andrew Sogokon and
                  Hoang{-}Dung Tran and
                  Weiming Xiang},
  title        = {Tutorial: Software tools for hybrid systems verification, transformation,
                  and synthesis: C2E2, HyST, and TuLiP},
  booktitle    = {2016 {IEEE} Conference on Control Applications, {CCA} 2016, Buenos
                  Aires, Argentina, September 19-22, 2016},
  pages        = {1024--1029},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CCA.2016.7587948},
  doi          = {10.1109/CCA.2016.7587948},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEcca/DuggiralaFPQM0B16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BakBS16,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Christian Schilling},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {High-level Hybrid Systems Analysis with Hypy},
  booktitle    = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
                  for Continuous and Hybrid Systems, Vienna, Austria},
  series       = {EPiC Series in Computing},
  volume       = {43},
  pages        = {80--90},
  publisher    = {EasyChair},
  year         = {2016},
  url          = {https://doi.org/10.29007/4f3d},
  doi          = {10.29007/4F3D},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/BakBS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BakC16,
  author       = {Stanley Bak and
                  Sagar Chaki},
  editor       = {Petru Eles and
                  Rahul Mangharam},
  title        = {Verifying cyber-physical systems by combining software model checking
                  with hybrid systems reachability},
  booktitle    = {2016 International Conference on Embedded Software, {EMSOFT} 2016,
                  Pittsburgh, Pennsylvania, USA, October 1-7, 2016},
  pages        = {10:1--10:10},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2968478.2968490},
  doi          = {10.1145/2968478.2968490},
  timestamp    = {Thu, 08 Aug 2019 11:04:11 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BakC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AbadMBDC16,
  author       = {Fardin Abdi Taghi Abad and
                  Renato Mancuso and
                  Stanley Bak and
                  Or D. Dantsker and
                  Marco Caccamo},
  title        = {Reset-based recovery for real-time cyber-physical systems with temporal
                  safety constraints},
  booktitle    = {21st {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ETFA.2016.7733561},
  doi          = {10.1109/ETFA.2016.7733561},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/AbadMBDC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakBHJP16,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Thomas A. Henzinger and
                  Taylor T. Johnson and
                  Pradyot Prakash},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Scalable Static Hybridization Methods for Analysis of Nonlinear Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {155--164},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883837},
  doi          = {10.1145/2883817.2883837},
  timestamp    = {Fri, 13 Aug 2021 11:37:40 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BakBHJP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BakHAC15,
  author       = {Stanley Bak and
                  Zhenqi Huang and
                  Fardin Abdi Taghi Abad and
                  Marco Caccamo},
  title        = {Safety and Progress for Distributed Cyber-Physical Systems with Unreliable
                  Communication},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {14},
  number       = {4},
  pages        = {76:1--76:22},
  year         = {2015},
  url          = {https://doi.org/10.1145/2739046},
  doi          = {10.1145/2739046},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/BakHAC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BakBGJ15,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Marius Greitschus and
                  Taylor T. Johnson},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {Benchmark Generator for Stratified Controllers of Tank Networks},
  booktitle    = {1st and 2nd International Workshop on Applied veRification for Continuous
                  and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
                  2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
  series       = {EPiC Series in Computing},
  volume       = {34},
  pages        = {73--79},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/2ljt},
  doi          = {10.29007/2LJT},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/BakBGJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakBJ15,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Taylor T. Johnson},
  editor       = {Antoine Girard and
                  Sriram Sankaranarayanan},
  title        = {{HYST:} a source transformation and translation tool for hybrid automaton
                  models},
  booktitle    = {Proceedings of the 18th International Conference on Hybrid Systems:
                  Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
  pages        = {128--133},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2728606.2728630},
  doi          = {10.1145/2728606.2728630},
  timestamp    = {Fri, 06 Sep 2019 10:57:13 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BakBJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/JohnsonBD15,
  author       = {Taylor T. Johnson and
                  Stanley Bak and
                  Steven Drager},
  editor       = {Alexandre M. Bayen and
                  Michael S. Branicky},
  title        = {Cyber-physical specification mismatch identification with dynamic
                  analysis},
  booktitle    = {Proceedings of the {ACM/IEEE} Sixth International Conference on Cyber-Physical
                  Systems, {ICCPS} 2015, Seattle, WA, USA, April 14-16, 2015},
  pages        = {208--217},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2735960.2735979},
  doi          = {10.1145/2735960.2735979},
  timestamp    = {Sun, 19 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/JohnsonBD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/PellizzoniPYBMB15,
  author       = {Rodolfo Pellizzoni and
                  Neda Paryab and
                  Man{-}Ki Yoon and
                  Stanley Bak and
                  Sibin Mohan and
                  Rakesh Bobba},
  title        = {A generalized model for preventing information leakage in hard real-time
                  systems},
  booktitle    = {21st {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  Seattle, WA, USA, April 13-16, 2015},
  pages        = {271--282},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTAS.2015.7108450},
  doi          = {10.1109/RTAS.2015.7108450},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/PellizzoniPYBMB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakJ15,
  author       = {Stanley Bak and
                  Taylor T. Johnson},
  title        = {Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability
                  and Continuization},
  booktitle    = {2015 {IEEE} Real-Time Systems Symposium, {RTSS} 2015, San Antonio,
                  Texas, USA, December 1-4, 2015},
  pages        = {195--205},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTSS.2015.26},
  doi          = {10.1109/RTSS.2015.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BakJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HoranAB15,
  author       = {Victoria Horan and
                  Steve Adachi and
                  Stanley Bak},
  title        = {A Comparison of Approaches for Solving Hard Graph-Theoretic Problems},
  journal      = {CoRR},
  volume       = {abs/1504.08011},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.08011},
  eprinttype    = {arXiv},
  eprint       = {1504.08011},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HoranAB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/Bak14,
  author       = {Stanley Bak},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Reducing the wrapping effect in flowpipe construction using pseudo-invariants},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {40--43},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593471},
  doi          = {10.1145/2593458.2593471},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/Bak14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakJCS14,
  author       = {Stanley Bak and
                  Taylor T. Johnson and
                  Marco Caccamo and
                  Lui Sha},
  title        = {Real-Time Reachability for Verified Simplex Design},
  booktitle    = {Proceedings of the {IEEE} 35th {IEEE} Real-Time Systems Symposium,
                  {RTSS} 2014, Rome, Italy, December 2-5, 2014},
  pages        = {138--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/RTSS.2014.21},
  doi          = {10.1109/RTSS.2014.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BakJCS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Bak13,
  author       = {Stanley Bak},
  title        = {Verifiable COTS-based cyber-physical systems},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2013},
  url          = {https://hdl.handle.net/2142/44374},
  timestamp    = {Fri, 29 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Bak13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BettiBPCS13,
  author       = {Emiliano Betti and
                  Stanley Bak and
                  Rodolfo Pellizzoni and
                  Marco Caccamo and
                  Lui Sha},
  title        = {Real-Time {I/O} Management System with {COTS} Peripherals},
  journal      = {{IEEE} Trans. Computers},
  volume       = {62},
  number       = {1},
  pages        = {45--58},
  year         = {2013},
  url          = {https://doi.org/10.1109/TC.2011.202},
  doi          = {10.1109/TC.2011.202},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/BettiBPCS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/AbadWLBCS0M13,
  author       = {Fardin Abdi Taghi Abad and
                  Joel van der Woude and
                  Yi Lu and
                  Stanley Bak and
                  Marco Caccamo and
                  Lui Sha and
                  Renato Mancuso and
                  Sibin Mohan},
  title        = {On-chip control flow integrity check for real time embedded systems},
  booktitle    = {1st {IEEE} International Conference on Cyber-Physical Systems, Networks,
                  and Applications, {CPSNA} 2013, Taipei, Taiwan, August 19-20, 2013},
  pages        = {26--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CPSNA.2013.6614242},
  doi          = {10.1109/CPSNA.2013.6614242},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsna/AbadWLBCS0M13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/MohanBBYSC13,
  author       = {Sibin Mohan and
                  Stanley Bak and
                  Emiliano Betti and
                  Heechul Yun and
                  Lui Sha and
                  Marco Caccamo},
  editor       = {Linda Bushnell and
                  Larry Rohrbough and
                  Saurabh Amin and
                  Xenofon D. Koutsoukos},
  title        = {{S3A:} secure system simplex architecture for enhanced security and
                  robustness of cyber-physical systems},
  booktitle    = {2nd {ACM} International Conference on High Confidence Networked Systems
                  (part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
                  2013},
  pages        = {65--74},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2461446.2461456},
  doi          = {10.1145/2461446.2461456},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicons/MohanBBYSC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BakAHC13,
  author       = {Stanley Bak and
                  Fardin Abdi Taghi Abad and
                  Zhenqi Huang and
                  Marco Caccamo},
  title        = {Using run-time checking to provide safety and progress for distributed
                  cyber-physical systems},
  booktitle    = {2013 {IEEE} 19th International Conference on Embedded and Real-Time
                  Computing Systems and Applications, {RTCSA} 2013, Taipei, Taiwan,
                  August 19-21, 2013},
  pages        = {287--296},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/RTCSA.2013.6732229},
  doi          = {10.1109/RTCSA.2013.6732229},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/BakAHC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/YaoPBBC12,
  author       = {Gang Yao and
                  Rodolfo Pellizzoni and
                  Stanley Bak and
                  Emiliano Betti and
                  Marco Caccamo},
  title        = {Memory-centric scheduling for multicore hard real-time systems},
  journal      = {Real Time Syst.},
  volume       = {48},
  number       = {6},
  pages        = {681--715},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11241-012-9158-9},
  doi          = {10.1007/S11241-012-9158-9},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/YaoPBBC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BakYPC12,
  author       = {Stanley Bak and
                  Gang Yao and
                  Rodolfo Pellizzoni and
                  Marco Caccamo},
  title        = {Memory-Aware Scheduling of Multicore Task Sets for Real-Time Systems},
  booktitle    = {2012 {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2012, Seoul, Korea (South), August
                  19-22, 2012},
  pages        = {300--309},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/RTCSA.2012.48},
  doi          = {10.1109/RTCSA.2012.48},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/BakYPC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-5722,
  author       = {Sibin Mohan and
                  Stanley Bak and
                  Emiliano Betti and
                  Heechul Yun and
                  Lui Sha and
                  Marco Caccamo},
  title        = {{S3A:} Secure System Simplex Architecture for Enhanced Security of
                  Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/1202.5722},
  year         = {2012},
  url          = {http://arxiv.org/abs/1202.5722},
  eprinttype    = {arXiv},
  eprint       = {1202.5722},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-5722.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/AhmedBMR11,
  author       = {Shahnawaz Ahmed and
                  Stanley Bak and
                  Joyce R. McLaughlin and
                  Daniel Renzi},
  title        = {A Third Order Accurate Fast Marching Method for the Eikonal Equation
                  in Two Dimensions},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {33},
  number       = {5},
  pages        = {2402--2420},
  year         = {2011},
  url          = {https://doi.org/10.1137/10080258X},
  doi          = {10.1137/10080258X},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/AhmedBMR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ManamcheriMBC11,
  author       = {Karthik Manamcheri and
                  Sayan Mitra and
                  Stanley Bak and
                  Marco Caccamo},
  editor       = {Marco Caccamo and
                  Emilio Frazzoli and
                  Radu Grosu},
  title        = {A step towards verification and synthesis from simulink/stateflow
                  models},
  booktitle    = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
                  2011},
  pages        = {317--318},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1967701.1967749},
  doi          = {10.1145/1967701.1967749},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ManamcheriMBC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BakMMC11,
  author       = {Stanley Bak and
                  Karthik Manamcheri and
                  Sayan Mitra and
                  Marco Caccamo},
  title        = {Sandboxing Controllers for Cyber-Physical Systems},
  booktitle    = {2011 {IEEE/ACM} International Conference on Cyber-Physical Systems,
                  {ICCPS} 2011, Chicago, Illinois, USA, 12-14 April, 2011},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICCPS.2011.25},
  doi          = {10.1109/ICCPS.2011.25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/BakMMC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/PellizzoniBBYCCK11,
  author       = {Rodolfo Pellizzoni and
                  Emiliano Betti and
                  Stanley Bak and
                  Gang Yao and
                  John Criswell and
                  Marco Caccamo and
                  Russell Kegley},
  title        = {A Predictable Execution Model for COTS-Based Embedded Systems},
  booktitle    = {17th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2011, Chicago, Illinois, USA, 11-14 April 2011},
  pages        = {269--279},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/RTAS.2011.33},
  doi          = {10.1109/RTAS.2011.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/PellizzoniBBYCCK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/BakMR10,
  author       = {Stanley Bak and
                  Joyce R. McLaughlin and
                  Daniel Renzi},
  title        = {Some Improvements for the Fast Sweeping Method},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {32},
  number       = {5},
  pages        = {2853--2874},
  year         = {2010},
  url          = {https://doi.org/10.1137/090749645},
  doi          = {10.1137/090749645},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/BakMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BakGM10,
  author       = {Stanley Bak and
                  Ashley Greer and
                  Sayan Mitra},
  editor       = {Marco Caccamo},
  title        = {Hybrid Cyberphysical System Verification with Simplex Using Discrete
                  Abstractions},
  booktitle    = {16th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2010, Stockholm, Sweden, April 12-15, 2010},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/RTAS.2010.27},
  doi          = {10.1109/RTAS.2010.27},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtas/BakGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BakCASCS09,
  author       = {Stanley Bak and
                  Deepti K. Chivukula and
                  Olugbemiga Adekunle and
                  Mu Sun and
                  Marco Caccamo and
                  Lui Sha},
  title        = {The System-Level Simplex Architecture for Improved Real-Time Embedded
                  System Safety},
  booktitle    = {15th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2009, San Francisco, CA, USA, 13-16 April 2009},
  pages        = {99--107},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/RTAS.2009.20},
  doi          = {10.1109/RTAS.2009.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/BakCASCS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakBPCS09,
  author       = {Stanley Bak and
                  Emiliano Betti and
                  Rodolfo Pellizzoni and
                  Marco Caccamo and
                  Lui Sha},
  editor       = {Theodore P. Baker},
  title        = {Real-Time Control of {I/O} {COTS} Peripherals for Embedded Systems},
  booktitle    = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
                  2009, Washington, DC, USA, 1-4 December 2009},
  pages        = {193--203},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/RTSS.2009.41},
  doi          = {10.1109/RTSS.2009.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BakBPCS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics