default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Xin Chen 0002
@article{DBLP:journals/tcad/WangZFWLCHLZ24,
author = {Yixuan Wang and
Weichao Zhou and
Jiameng Fan and
Zhilu Wang and
Jiajun Li and
Xin Chen and
Chao Huang and
Wenchao Li and
Qi Zhu},
title = {POLAR-Express: Efficient and Precise Formal Reachability Analysis
of Neural-Network Controlled Systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {43},
number = {3},
pages = {994--1007},
year = {2024},
url = {https://doi.org/10.1109/TCAD.2023.3331215},
doi = {10.1109/TCAD.2023.3331215},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/WangZFWLCHLZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FuWZWFH0C024,
author = {Feisi Fu and
Zhilu Wang and
Weichao Zhou and
Yixuan Wang and
Jiameng Fan and
Chao Huang and
Qi Zhu and
Xin Chen and
Wenchao Li},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {{REGLO:} Provable Neural Network Repair for Global Robustness Properties},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {12061--12071},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i11.29094},
doi = {10.1609/AAAI.V38I11.29094},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FuWZWFH0C024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZhangBCC0AK24,
author = {Lin Zhang and
Luis Burbano and
Xin Chen and
Alvaro A. C{\'{a}}rdenas and
Steven Drager and
Matthew Anderson and
Fanxin Kong},
title = {Fast Attack Recovery for Stochastic Cyber-Physical Systems},
booktitle = {30th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2024, Hong Kong, May 13-16, 2024},
pages = {280--293},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/RTAS61025.2024.00030},
doi = {10.1109/RTAS61025.2024.00030},
timestamp = {Mon, 08 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtas/ZhangBCC0AK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/ZhuLHCZWLF23,
author = {Qi Zhu and
Wenchao Li and
Chao Huang and
Xin Chen and
Weichao Zhou and
Yixuan Wang and
Jiajun Li and
Feisi Fu},
title = {Verification and Design of Robust and Safe Neural Network-enabled
Autonomous Systems},
booktitle = {59th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2023, Monticello, IL, USA, September 26-29, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/Allerton58177.2023.10313451},
doi = {10.1109/ALLERTON58177.2023.10313451},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/allerton/ZhuLHCZWLF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZhangSLLCKSL23,
author = {Lin Zhang and
Kaustubh Sridhar and
Mengyu Liu and
Pengyuan Lu and
Xin Chen and
Fanxin Kong and
Oleg Sokolsky and
Insup Lee},
title = {Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical
Systems},
booktitle = {29th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2023, San Antonio, TX, USA, May 9-12, 2023},
pages = {209--222},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RTAS58335.2023.00024},
doi = {10.1109/RTAS58335.2023.00024},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtas/ZhangSLLCKSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-01218,
author = {Yixuan Wang and
Weichao Zhou and
Jiameng Fan and
Zhilu Wang and
Jiajun Li and
Xin Chen and
Chao Huang and
Wenchao Li and
Qi Zhu},
title = {POLAR-Express: Efficient and Precise Formal Reachability Analysis
of Neural-Network Controlled Systems},
journal = {CoRR},
volume = {abs/2304.01218},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.01218},
doi = {10.48550/ARXIV.2304.01218},
eprinttype = {arXiv},
eprint = {2304.01218},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-01218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-12508,
author = {Mengyu Liu and
Pengyuan Lu and
Xin Chen and
Fanxin Kong and
Oleg Sokolsky and
Insup Lee},
title = {Fulfilling Formal Specifications {ASAP} by Model-free Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2304.12508},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.12508},
doi = {10.48550/ARXIV.2304.12508},
eprinttype = {arXiv},
eprint = {2304.12508},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-12508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/LopezABCFFHJLL022,
author = {Diego Manzanas Lopez and
Matthias Althoff and
Luis Benet and
Xin Chen and
Jiameng Fan and
Marcelo Forets and
Chao Huang and
Taylor T. Johnson and
Tobias Ladner and
Wenchao Li and
Christian Schilling and
Qi Zhu},
editor = {Goran Frehse and
Matthias Althoff and
Erwin Schoitsch and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {{ARCH-COMP22} Category Report: Artificial Intelligence and Neural
Network Control Systems {(AINNCS)} for Continuous and Hybrid Systems
Plants},
booktitle = {Proceedings of 9th International Workshop on Applied Verification
of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September
2022},
series = {EPiC Series in Computing},
volume = {90},
pages = {142--184},
publisher = {EasyChair},
year = {2022},
url = {https://doi.org/10.29007/wfgr},
doi = {10.29007/WFGR},
timestamp = {Tue, 13 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arch/LopezABCFFHJLL022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HuangFCLZ22,
author = {Chao Huang and
Jiameng Fan and
Xin Chen and
Wenchao Li and
Qi Zhu},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {{POLAR:} {A} Polynomial Arithmetic Framework for Verifying Neural-Network
Controlled Systems},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {414--430},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_27},
doi = {10.1007/978-3-031-19992-9\_27},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/HuangFCLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChenS22,
author = {Xin Chen and
Sriram Sankaranarayanan},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Reachability Analysis for Cyber-Physical Systems: Are We There Yet?},
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 = {109--130},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_6},
doi = {10.1007/978-3-031-06773-0\_6},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/ChenS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZhangLKCSL21,
author = {Lin Zhang and
Pengyuan Lu and
Fanxin Kong and
Xin Chen and
Oleg Sokolsky and
Insup Lee},
title = {Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic
Regulator},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5s},
pages = {79:1--79:24},
year = {2021},
url = {https://doi.org/10.1145/3477010},
doi = {10.1145/3477010},
timestamp = {Fri, 21 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ZhangLKCSL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13867,
author = {Chao Huang and
Jiameng Fan and
Xin Chen and
Wenchao Li and
Qi Zhu},
title = {{POLAR:} {A} Polynomial Arithmetic Framework for Verifying Neural-Network
Controlled Systems},
journal = {CoRR},
volume = {abs/2106.13867},
year = {2021},
url = {https://arxiv.org/abs/2106.13867},
eprinttype = {arXiv},
eprint = {2106.13867},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-13867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/HuangFCLZ20,
author = {Chao Huang and
Jiameng Fan and
Xin Chen and
Wenchao Li and
Qi Zhu},
title = {Divide and Slide: Layer-Wise Refinement for Output Range Analysis
of Deep Neural Networks},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {11},
pages = {3323--3335},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.3013071},
doi = {10.1109/TCAD.2020.3013071},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/HuangFCLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/GerettiSABCCCFF20,
author = {Luca Geretti and
Julien Alexandre Dit Sandretto and
Matthias Althoff and
Luis Benet and
Alexandre Chapoutot and
Xin Chen and
Pieter Collins and
Marcelo Forets and
Daniel Freire and
Fabian Immler and
Niklas Kochdumper and
David P. Sanders and
Christian Schilling},
title = {{ARCH-COMP20} Category Report: Continuous and Hybrid Systems with
Nonlinear 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 = {49--75},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/zkf6},
doi = {10.29007/ZKF6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arch/GerettiSABCCCFF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FanHCL020,
author = {Jiameng Fan and
Chao Huang and
Xin Chen and
Wenchao Li and
Qi Zhu},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {ReachNN*: {A} Tool for Reachability Analysis of Neural-Network Controlled
Systems},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {537--542},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_30},
doi = {10.1007/978-3-030-59152-6\_30},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/FanHCL020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/LinCKD20,
author = {Qin Lin and
Xin Chen and
Aman Khurana and
John M. Dolan},
title = {ReachFlow: An Online Safety Assurance Framework for Waypoint-Following
of Self-driving Cars},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021},
pages = {6627--6632},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IROS45743.2020.9341122},
doi = {10.1109/IROS45743.2020.9341122},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/LinCKD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ZhangCKC20,
author = {Lin Zhang and
Xin Chen and
Fanxin Kong and
Alvaro A. C{\'{a}}rdenas},
title = {Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear
Approximations},
booktitle = {41st {IEEE} Real-Time Systems Symposium, {RTSS} 2020, Houston, TX,
USA, December 1-4, 2020},
pages = {205--217},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RTSS49844.2020.00028},
doi = {10.1109/RTSS49844.2020.00028},
timestamp = {Fri, 21 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/ZhangCKC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/HuangFLC019,
author = {Chao Huang and
Jiameng Fan and
Wenchao Li and
Xin Chen and
Qi Zhu},
title = {ReachNN: Reachability Analysis of Neural-Network Controlled Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {5s},
pages = {106:1--106:22},
year = {2019},
url = {https://doi.org/10.1145/3358228},
doi = {10.1145/3358228},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/HuangFLC019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ImmlerABC0FGKSS19,
author = {Fabian Immler and
Matthias Althoff and
Luis Benet and
Alexandre Chapoutot and
Xin Chen and
Marcelo Forets and
Luca Geretti and
Niklas Kochdumper and
David P. Sanders and
Christian Schilling},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP19} Category Report: Continuous and Hybrid Systems with
Nonlinear 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 = {41--61},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/m75b},
doi = {10.29007/M75B},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/ImmlerABC0FGKSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DuttaCS19,
author = {Souradeep Dutta and
Xin Chen and
Sriram Sankaranarayanan},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Reachability analysis for neural feedback systems using regressive
polynomial rule inference},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {157--168},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311807},
doi = {10.1145/3302504.3311807},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DuttaCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DuttaCJST19,
author = {Souradeep Dutta and
Xin Chen and
Susmit Jha and
Sriram Sankaranarayanan and
Ashish Tiwari},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Sherlock - {A} tool for verification of neural network feedback systems:
demo abstract},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {262--263},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3313351},
doi = {10.1145/3302504.3313351},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DuttaCJST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/FanHLCZ19,
author = {Jiameng Fan and
Chao Huang and
Wenchao Li and
Xin Chen and
Qi Zhu},
editor = {David Z. Pan},
title = {Towards Verification-Aware Knowledge Distillation for Neural-Network
Controlled Systems: Invited Paper},
booktitle = {Proceedings of the International Conference on Computer-Aided Design,
{ICCAD} 2019, Westminster, CO, USA, November 4-7, 2019},
pages = {1--8},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICCAD45719.2019.8942059},
doi = {10.1109/ICCAD45719.2019.8942059},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/FanHLCZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/YoonC0F019,
author = {Hansol Yoon and
Yi Chou and
Xin Chen and
Eric W. Frew and
Sriram Sankaranarayanan},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Predictive Runtime Monitoring for Linear Stochastic Systems and Applications
to Geofence Enforcement for UAVs},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {349--367},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_20},
doi = {10.1007/978-3-030-32079-9\_20},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/YoonC0F019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10654,
author = {Chao Huang and
Jiameng Fan and
Wenchao Li and
Xin Chen and
Qi Zhu},
title = {ReachNN: Reachability Analysis of Neural-Network Controlled Systems},
journal = {CoRR},
volume = {abs/1906.10654},
year = {2019},
url = {http://arxiv.org/abs/1906.10654},
eprinttype = {arXiv},
eprint = {1906.10654},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10654.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/ImmlerA0FFKLMTZ18,
author = {Fabian Immler and
Matthias Althoff and
Xin Chen and
Chuchu Fan and
Goran Frehse and
Niklas Kochdumper and
Yangge Li and
Sayan Mitra and
Mahendra Singh Tomar and
Majid Zamani},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {{ARCH-COMP18} Category Report: Continuous and Hybrid Systems with
Nonlinear 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 = {53--70},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/mskf},
doi = {10.29007/MSKF},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/ImmlerA0FFKLMTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ChenMS17,
author = {Xin Chen and
Sergio Mover and
Sriram Sankaranarayanan},
title = {Compositional Relational Abstraction for Nonlinear Hybrid Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {5s},
pages = {187:1--187:19},
year = {2017},
url = {https://doi.org/10.1145/3126522},
doi = {10.1145/3126522},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ChenMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Chou0S17,
author = {Yi Chou and
Xin Chen and
Sriram Sankaranarayanan},
editor = {Alessandro Abate and
Sylvie Boldo},
title = {A Study of Model-Order Reduction Techniques for Verification},
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 = {98--113},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63501-9\_8},
doi = {10.1007/978-3-319-63501-9\_8},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Chou0S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ChenDS17,
author = {Xin Chen and
Souradeep Dutta and
Sriram Sankaranarayanan},
editor = {Goran Frehse and
Matthias Althoff},
title = {Formal Verification of a Multi-Basal Insulin Infusion Control Model},
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 = {75--91},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/kcrp},
doi = {10.29007/KCRP},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/ChenDS17.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/cpsweek/ChenAI17,
author = {Xin Chen and
Matthias Althoff and
Fabian Immler},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP17} Category Report: Continuous Systems with Nonlinear 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 = {160--169},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/v6g4},
doi = {10.29007/V6G4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/ChenAI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/0002S17,
author = {Xin Chen and
Sriram Sankaranarayanan},
title = {Model Predictive Real-Time Monitoring of Linear Systems},
booktitle = {2017 {IEEE} Real-Time Systems Symposium, {RTSS} 2017, Paris, France,
December 5-8, 2017},
pages = {297--306},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTSS.2017.00035},
doi = {10.1109/RTSS.2017.00035},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/0002S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imamci/SassiS0A16,
author = {Mohamed Amin Ben Sassi and
Sriram Sankaranarayanan and
Xin Chen and
Erika {\'{A}}brah{\'{a}}m},
title = {Linear relaxations of polynomial positivity for polynomial Lyapunov
function synthesis},
journal = {{IMA} J. Math. Control. Inf.},
volume = {33},
number = {3},
pages = {723--756},
year = {2016},
url = {https://doi.org/10.1093/imamci/dnv003},
doi = {10.1093/IMAMCI/DNV003},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imamci/SassiS0A16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/0002S16,
author = {Xin Chen and
Sriram Sankaranarayanan},
title = {Decomposed Reachability Analysis for Nonlinear Systems},
booktitle = {2016 {IEEE} Real-Time Systems Symposium, {RTSS} 2016, Porto, Portugal,
November 29 - December 2, 2016},
pages = {13--24},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTSS.2016.011},
doi = {10.1109/RTSS.2016.011},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/0002S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Chen15c,
author = {Xin Chen},
title = {Reachability analysis of non-linear hybrid systems using Taylor Models},
school = {{RWTH} Aachen University, Germany},
year = {2015},
url = {http://publications.rwth-aachen.de/record/465295},
urn = {urn:nbn:de:hbz:82-rwth-2015-016535},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Chen15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/0002SA15,
author = {Xin Chen and
Sriram Sankaranarayanan and
Erika {\'{A}}brah{\'{a}}m},
editor = {Goran Frehse and
Matthias Althoff},
title = {Flow* 1.2: More Effective to Play with Hybrid Systems},
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 = {152--159},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/1w4t},
doi = {10.29007/1W4T},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/0002SA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/SchuppA0MFSK15,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Xin Chen and
Ibtissem Ben Makhlouf and
Goran Frehse and
Sriram Sankaranarayanan and
Stefan Kowalewski},
editor = {Christian Berger and
Mohammad Reza Mousavi},
title = {Current Challenges in the Verification of Hybrid Systems},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International
Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9361},
pages = {8--24},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25141-7\_2},
doi = {10.1007/978-3-319-25141-7\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cyphy/SchuppA0MFSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/0002SMAFK15,
author = {Xin Chen and
Stefan Schupp and
Ibtissem Ben Makhlouf and
Erika {\'{A}}brah{\'{a}}m and
Goran Frehse and
Stefan Kowalewski},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {A Benchmark Suite for Hybrid Systems Reachability Analysis},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {408--414},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_29},
doi = {10.1007/978-3-319-17524-9\_29},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/0002SMAFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RwthSA14,
author = {Xin Chen and
Sriram Sankaranarayanan and
Erika {\'{A}}brah{\'{a}}m},
title = {Under-approximate flowpipes for non-linear continuous systems},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {59--66},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987596},
doi = {10.1109/FMCAD.2014.6987596},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RwthSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenAS13,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m and
Sriram Sankaranarayanan},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Flow*: An Analyzer for Non-linear Hybrid Systems},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {258--263},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_18},
doi = {10.1007/978-3-642-39799-8\_18},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChenAS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NellenA0C13,
author = {Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m and
Xin Chen and
Pieter Collins},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Counterexample Generation for Hybrid Automata},
booktitle = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {88--106},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05416-2\_7},
doi = {10.1007/978-3-319-05416-2\_7},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NellenA0C13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangSSCA13,
author = {Yan Zhang and
Sriram Sankaranarayanan and
Fabio Somenzi and
Xin Chen and
Erika {\'{A}}brah{\'{a}}m},
editor = {J{\"{o}}rg Henkel},
title = {From statistical model checking to statistical model inference: characterizing
the effect of process variations in analog circuits},
booktitle = {The {IEEE/ACM} International Conference on Computer-Aided Design,
ICCAD'13, San Jose, CA, USA, November 18-21, 2013},
pages = {662--669},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICCAD.2013.6691186},
doi = {10.1109/ICCAD.2013.6691186},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ZhangSSCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nolcos/Sankaranarayanan0A13,
author = {Sriram Sankaranarayanan and
Xin Chen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Sophie Tarbouriech and
Miroslav Krstic},
title = {Lyapunov Function Synthesis Using Handelman Representations},
booktitle = {9th {IFAC} Symposium on Nonlinear Control Systems, {NOLCOS} 2013,
Toulouse, France, September 4-6, 2013},
pages = {576--581},
publisher = {International Federation of Automatic Control},
year = {2013},
url = {https://doi.org/10.3182/20130904-3-FR-2041.00198},
doi = {10.3182/20130904-3-FR-2041.00198},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nolcos/Sankaranarayanan0A13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ChenAS12,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m and
Sriram Sankaranarayanan},
title = {Taylor Model Flowpipe Construction for Non-linear Hybrid Systems},
booktitle = {Proceedings of the 33rd {IEEE} Real-Time Systems Symposium, {RTSS}
2012, San Juan, PR, USA, December 4-7, 2012},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/RTSS.2012.70},
doi = {10.1109/RTSS.2012.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ChenAS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/ChenA11,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Choice of Directions for the Approximation of Reachable Sets for Hybrid
Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6927},
pages = {535--542},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27549-4\_69},
doi = {10.1007/978-3-642-27549-4\_69},
timestamp = {Wed, 07 Dec 2022 23:13:53 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/ChenA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ChenAF11,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m and
Goran Frehse},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Efficient Bounded Reachability Computation for Rectangular Automata},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {139--152},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_13},
doi = {10.1007/978-3-642-24288-5\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/ChenAF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChenD08,
author = {Xin Chen and
Yuxin Deng},
editor = {G. Ramalingam},
title = {Game Characterizations of Process Equivalences},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {107--121},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_8},
doi = {10.1007/978-3-540-89330-1\_8},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/ChenD08.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.
last updated on 2024-09-22 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
