default search action
BibTeX records: Stanley Bak
@inproceedings{DBLP:conf/hybrid/BakBHKLMR24, author = {Stanley Bak and Sergiy Bogomolov and Abdelrahman Hekal and Niklas Kochdumper and Ethan Lew and Andrew Mata and Amir Rahmati}, editor = {Erika {\'{A}}brah{\'{a}}m and Manuel Mazo Jr.}, title = {Falsification using Reachability of Surrogate Koopman Models}, booktitle = {Proceedings of the 27th {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2024, Hong Kong SAR, China, May 14-16, 2024}, pages = {27:1--27:13}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3641513.3650141}, doi = {10.1145/3641513.3650141}, timestamp = {Fri, 17 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BakBHKLMR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/BakBHKMR24, author = {Stanley Bak and Sergiy Bogomolov and Abdelrahman Hekal and Veena Krish and Andrew Mata and Amir Rahmati}, title = {Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations}, booktitle = {15th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2024, Hong Kong, May 13-16, 2024}, pages = {12--22}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/ICCPS61052.2024.00008}, doi = {10.1109/ICCPS61052.2024.00008}, timestamp = {Thu, 18 Jul 2024 22:36:51 +0200}, biburl = {https://dblp.org/rec/conf/iccps/BakBHKMR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/KochdumperB24, author = {Niklas Kochdumper and Stanley Bak}, title = {Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets}, booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA} 2024, Yokohama, Japan, May 13-17, 2024}, pages = {14169--14176}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/ICRA57147.2024.10610689}, doi = {10.1109/ICRA57147.2024.10610689}, timestamp = {Mon, 19 Aug 2024 15:58:53 +0200}, biburl = {https://dblp.org/rec/conf/icra/KochdumperB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saiv/ArjomandBigdeliMB14, author = {Ali ArjomandBigdeli and Andrew Mata and Stanley Bak}, editor = {Guy Avni and Mirco Giacobbe and Taylor T. Johnson and Guy Katz and Anna Lukina and Nina Narodytska and Christian Schilling}, title = {Verification of Neural Network Control Systems in Continuous Time}, booktitle = {{AI} Verification - First International Symposium, {SAIV} 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14846}, pages = {100--115}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-65112-0\_5}, doi = {10.1007/978-3-031-65112-0\_5}, timestamp = {Mon, 16 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/saiv/ArjomandBigdeliMB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-18554, author = {Feiyang Cai and Chuchu Fan and Stanley Bak}, title = {Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling}, journal = {CoRR}, volume = {abs/2405.18554}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.18554}, doi = {10.48550/ARXIV.2405.18554}, eprinttype = {arXiv}, eprint = {2405.18554}, timestamp = {Fri, 21 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-18554.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-00157, author = {Ali ArjomandBigdeli and Andrew Mata and Stanley Bak}, title = {Verification of Neural Network Control Systems in Continuous Time}, journal = {CoRR}, volume = {abs/2406.00157}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.00157}, doi = {10.48550/ARXIV.2406.00157}, eprinttype = {arXiv}, eprint = {2406.00157}, timestamp = {Thu, 04 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-00157.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-11056, author = {Yushen Huang and Ertai Luo and Stanley Bak and Yifan Sun}, title = {Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes}, journal = {CoRR}, volume = {abs/2406.11056}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.11056}, doi = {10.48550/ARXIV.2406.11056}, eprinttype = {arXiv}, eprint = {2406.11056}, timestamp = {Thu, 18 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-11056.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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/arch/SheikhiB23, author = {Sanaz Sheikhi and Stanley Bak}, editor = {Goran Frehse and Matthias Althoff}, title = {Closed-Loop {ACAS} Xu Neural Network Verification}, booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023}, series = {EPiC Series in Computing}, volume = {96}, pages = {1--8}, publisher = {EasyChair}, year = {2023}, url = {https://doi.org/10.29007/vf8z}, doi = {10.29007/VF8Z}, timestamp = {Wed, 26 Jun 2024 16:21:50 +0200}, biburl = {https://dblp.org/rec/conf/arch/SheikhiB23.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 = {Jos{\'{e}} M. {\'{A}}lvarez 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 = {Fri, 03 May 2024 17:18:29 +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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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 = {Sat, 08 Jun 2024 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 = {Mon, 08 Apr 2024 01:00:00 +0200}, 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 = {Mon, 08 Apr 2024 01:00:00 +0200}, 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 = {Mon, 08 Apr 2024 01:00:00 +0200}, 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 = {Mon, 08 Apr 2024 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 = {Mon, 08 Apr 2024 01:00:00 +0200}, 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 = {Mon, 08 Apr 2024 01:00:00 +0200}, 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 = {Mon, 27 May 2024 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 = {Mon, 08 Apr 2024 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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.