Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mingshuai Chen
@misc{DBLP:data/10/KlinkenbergBCHK24,
author = {Lutz Klinkenberg and
Christian Blumenthal and
Mingshuai Chen and
Darion Haase and
Joost{-}Pieter Katoen},
title = {Exact Bayesian Inference for Loopy Probabilistic Programs using Generating
Functions Artifact (Version 1)},
publisher = {Zenodo},
year = {2024},
month = jan,
howpublished = {\url{https://doi.org/10.5281/zenodo.10451092}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10451092},
doi = {10.5281/ZENODO.10451092},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/KlinkenbergBCHK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/KlinkenbergBCHK24a,
author = {Lutz Klinkenberg and
Christian Blumenthal and
Mingshuai Chen and
Darion Haase and
Joost{-}Pieter Katoen},
title = {Exact Bayesian Inference for Loopy Probabilistic Programs using Generating
Functions Artifact (Version 2)},
publisher = {Zenodo},
year = {2024},
month = mar,
howpublished = {\url{https://doi.org/10.5281/zenodo.10782412}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10782412},
doi = {10.5281/ZENODO.10782412},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/KlinkenbergBCHK24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FengCSKKZ23,
author = {Shenghua Feng and
Mingshuai Chen and
Han Su and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Naijun Zhan},
title = {Lower Bounds for Possibly Divergent Probabilistic Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA1}},
pages = {696--726},
year = {2023},
url = {https://doi.org/10.1145/3586051},
doi = {10.1145/3586051},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/FengCSKKZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BatzCJKKM23,
author = {Kevin Batz and
Mingshuai Chen and
Sebastian Junges and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Christoph Matheja},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Probabilistic Program Verification via Inductive Synthesis of Inductive
Invariants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {410--429},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_25},
doi = {10.1007/978-3-031-30820-8\_25},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BatzCJKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-00513,
author = {Lutz Klinkenberg and
Tobias Winkler and
Mingshuai Chen and
Joost{-}Pieter Katoen},
title = {Exact Probabilistic Inference Using Generating Functions},
journal = {CoRR},
volume = {abs/2302.00513},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.00513},
doi = {10.48550/ARXIV.2302.00513},
eprinttype = {arXiv},
eprint = {2302.00513},
timestamp = {Sun, 19 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-00513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06082,
author = {Shenghua Feng and
Mingshuai Chen and
Han Su and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Naijun Zhan},
title = {Lower Bounds for Possibly Divergent Probabilistic Programs},
journal = {CoRR},
volume = {abs/2302.06082},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06082},
doi = {10.48550/ARXIV.2302.06082},
eprinttype = {arXiv},
eprint = {2302.06082},
timestamp = {Sun, 19 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07314,
author = {Lutz Klinkenberg and
Christian Blumenthal and
Mingshuai Chen and
Joost{-}Pieter Katoen},
title = {Exact Bayesian Inference for Loopy Probabilistic Programs},
journal = {CoRR},
volume = {abs/2307.07314},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07314},
doi = {10.48550/ARXIV.2307.07314},
eprinttype = {arXiv},
eprint = {2307.07314},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/WangCXZK22,
author = {Qiuye Wang and
Mingshuai Chen and
Bai Xue and
Naijun Zhan and
Joost{-}Pieter Katoen},
title = {Encoding inductive invariants as barrier certificates: Synthesis via
difference-of-convex programming},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104965},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104965},
doi = {10.1016/J.IC.2022.104965},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/WangCXZK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenKKW22,
author = {Mingshuai Chen and
Joost{-}Pieter Katoen and
Lutz Klinkenberg and
Tobias Winkler},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Does a Program Yield the Right Distribution? - Verifying Probabilistic
Programs via Generating Functions},
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 = {79--101},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_5},
doi = {10.1007/978-3-031-13185-1\_5},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChenKKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/ChenKKW22,
author = {Mingshuai Chen and
Joost{-}Pieter Katoen and
Lutz Klinkenberg and
Tobias Winkler},
title = {Prodigy - Artifact Evaluation at {CAV} 2022 (Version 0.0.1)},
publisher = {Zenodo},
year = {2022},
month = may,
howpublished = {\url{https://doi.org/10.5281/zenodo.6511363}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.6511363},
doi = {10.5281/ZENODO.6511363},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/ChenKKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01449,
author = {Mingshuai Chen and
Joost{-}Pieter Katoen and
Lutz Klinkenberg and
Tobias Winkler},
title = {Does a Program Yield the Right Distribution? Verifying Probabilistic
Programs via Generating Functions},
journal = {CoRR},
volume = {abs/2205.01449},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01449},
doi = {10.48550/ARXIV.2205.01449},
eprinttype = {arXiv},
eprint = {2205.01449},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06152,
author = {Kevin Batz and
Mingshuai Chen and
Sebastian Junges and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Christoph Matheja},
title = {Probabilistic Program Verification via Inductive Synthesis of Inductive
Invariants},
journal = {CoRR},
volume = {abs/2205.06152},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06152},
doi = {10.48550/ARXIV.2205.06152},
eprinttype = {arXiv},
eprint = {2205.06152},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07936,
author = {Zhuoruo Zhang and
Chenyang Yu and
He Huang and
Rui Chang and
Mingshuai Chen and
Qinming Dai and
Wenbo Shen and
Yongwang Zhao and
Kui Ren},
title = {PA-Boot: {A} Formally Verified Authentication Protocol for Multiprocessor
Secure Boot},
journal = {CoRR},
volume = {abs/2209.07936},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07936},
doi = {10.48550/ARXIV.2209.07936},
eprinttype = {arXiv},
eprint = {2209.07936},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07936.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-09703,
author = {Qiuye Wang and
Mingshuai Chen and
Bai Xue and
Naijun Zhan and
Joost{-}Pieter Katoen},
title = {Encoding inductive invariants as barrier certificates: synthesis via
difference-of-convex programming},
journal = {CoRR},
volume = {abs/2209.09703},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.09703},
doi = {10.48550/ARXIV.2209.09703},
eprinttype = {arXiv},
eprint = {2209.09703},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-09703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ChenFLMZ21,
author = {Mingshuai Chen and
Martin Fr{\"{a}}nzle and
Yangjia Li and
Peter Nazier Mosaad and
Naijun Zhan},
title = {Indecision and delays are the parents of failure - taming them algorithmically
by synthesizing delay-resilient control},
journal = {Acta Informatica},
volume = {58},
number = {5},
pages = {497--528},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00374-7},
doi = {10.1007/S00236-020-00374-7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ChenFLMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WangCXZK21,
author = {Qiuye Wang and
Mingshuai Chen and
Bai Xue and
Naijun Zhan and
Joost{-}Pieter Katoen},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Synthesizing Invariant Barrier Certificates via Difference-of-Convex
Programming},
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 = {443--466},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_21},
doi = {10.1007/978-3-030-81685-8\_21},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WangCXZK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BatzCKKMS20,
author = {Kevin Batz and
Mingshuai Chen and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Christoph Matheja and
Philipp Schr{\"{o}}er},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Latticed k-Induction with an Application to Probabilistic Programs},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {524--549},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_25},
doi = {10.1007/978-3-030-81688-9\_25},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BatzCKKMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14100,
author = {Kevin Batz and
Mingshuai Chen and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Christoph Matheja and
Philipp Schr{\"{o}}er},
title = {Latticed k-Induction with an Application to Probabilistic Programs},
journal = {CoRR},
volume = {abs/2105.14100},
year = {2021},
url = {https://arxiv.org/abs/2105.14100},
eprinttype = {arXiv},
eprint = {2105.14100},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14311,
author = {Qiuye Wang and
Mingshuai Chen and
Bai Xue and
Naijun Zhan and
Joost{-}Pieter Katoen},
title = {Synthesizing Invariant Barrier Certificates via Difference-of-Convex
Programming},
journal = {CoRR},
volume = {abs/2105.14311},
year = {2021},
url = {https://arxiv.org/abs/2105.14311},
eprinttype = {arXiv},
eprint = {2105.14311},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/WangACZWZG20,
author = {Jian Wang and
Jie An and
Mingshuai Chen and
Naijun Zhan and
Lulin Wang and
Miaomiao Zhang and
Ting Gan},
title = {From model to implementation: a network algorithm programming language},
journal = {Sci. China Inf. Sci.},
volume = {63},
number = {7},
year = {2020},
url = {https://doi.org/10.1007/s11432-019-2644-8},
doi = {10.1007/S11432-019-2644-8},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/WangACZWZG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FengC00Z20,
author = {Shenghua Feng and
Mingshuai Chen and
Bai Xue and
Sriram Sankaranarayanan and
Naijun Zhan},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Unbounded-Time Safety Verification of Stochastic Differential Dynamics},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {327--348},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_18},
doi = {10.1007/978-3-030-53291-8\_18},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/FengC00Z20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AnCZZZ20,
author = {Jie An and
Mingshuai Chen and
Bohua Zhan and
Naijun Zhan and
Miaomiao Zhang},
editor = {Armin Biere and
David Parker},
title = {Learning One-Clock Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {444--462},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_25},
doi = {10.1007/978-3-030-45190-5\_25},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AnCZZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/FranzleCK19,
author = {Martin Fr{\"{a}}nzle and
Mingshuai Chen and
Paul Kr{\"{o}}ger},
title = {In memory of Oded Maler: automatic reachability analysis of hybrid-state
automata},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {1},
pages = {19--39},
year = {2019},
url = {https://doi.org/10.1145/3313909.3313913},
doi = {10.1145/3313909.3313913},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/FranzleCK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChenWAZKZ19,
author = {Mingshuai Chen and
Jian Wang and
Jie An and
Bohua Zhan and
Deepak Kapur and
Naijun Zhan},
editor = {Pascal Fontaine},
title = {{NIL:} Learning Nonlinear Interpolants},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {178--196},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_11},
doi = {10.1007/978-3-030-29436-6\_11},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChenWAZKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FengCZF019,
author = {Shenghua Feng and
Mingshuai Chen and
Naijun Zhan and
Martin Fr{\"{a}}nzle and
Bai Xue},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Taming Delays in Dynamical Systems - Unbounded Verification of Delay
Differential Equations},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {650--669},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_37},
doi = {10.1007/978-3-030-25540-4\_37},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/FengCZF019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-11625,
author = {Mingshuai Chen and
Jian Wang and
Jie An and
Bohua Zhan and
Deepak Kapur and
Naijun Zhan},
title = {{NIL:} Learning Nonlinear Interpolants},
journal = {CoRR},
volume = {abs/1905.11625},
year = {2019},
url = {http://arxiv.org/abs/1905.11625},
eprinttype = {arXiv},
eprint = {1905.11625},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-11625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10680,
author = {Jie An and
Mingshuai Chen and
Bohua Zhan and
Naijun Zhan and
Miaomiao Zhang},
title = {Learning One-Clock Timed Automata},
journal = {CoRR},
volume = {abs/1910.10680},
year = {2019},
url = {http://arxiv.org/abs/1910.10680},
eprinttype = {arXiv},
eprint = {1910.10680},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/GanCLXZ18,
author = {Ting Gan and
Mingshuai Chen and
Yangjia Li and
Bican Xia and
Naijun Zhan},
title = {Reachability Analysis for Solvable Dynamical Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {63},
number = {7},
pages = {2003--2018},
year = {2018},
url = {https://doi.org/10.1109/TAC.2017.2763785},
doi = {10.1109/TAC.2017.2763785},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/GanCLXZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChenFLMZ18,
author = {Mingshuai Chen and
Martin Fr{\"{a}}nzle and
Yangjia Li and
Peter Nazier Mosaad and
Naijun Zhan},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {What's to Come is Still Unsure - Synthesizing Controllers Resilient
to Delayed Interaction},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {56--74},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_4},
doi = {10.1007/978-3-030-01090-4\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChenFLMZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/XueMFCLZ17,
author = {Bai Xue and
Peter Nazier Mosaad and
Martin Fr{\"{a}}nzle and
Mingshuai Chen and
Yangjia Li and
Naijun Zhan},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Safe Over- and Under-Approximation of Reachable Sets for Delay Differential
Equations},
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 = {281--299},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_16},
doi = {10.1007/978-3-319-65765-3\_16},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/XueMFCLZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/ChenHTWYZZZ17,
author = {Mingshuai Chen and
Xiao Han and
Tao Tang and
Shuling Wang and
Mengfei Yang and
Naijun Zhan and
Hengjun Zhao and
Liang Zou},
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {{MARS:} {A} Toolchain for Modelling, Analysis and Verification of
Hybrid Systems},
booktitle = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
pages = {39--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4\_3},
doi = {10.1007/978-3-319-48628-4\_3},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/17/ChenHTWYZZZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GanDXZKC16,
author = {Ting Gan and
Liyun Dai and
Bican Xia and
Naijun Zhan and
Deepak Kapur and
Mingshuai Chen},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination
with {EUF}},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {195--212},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_14},
doi = {10.1007/978-3-319-40229-1\_14},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/GanDXZKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/GanCLXZ16,
author = {Ting Gan and
Mingshuai Chen and
Yangjia Li and
Bican Xia and
Naijun Zhan},
title = {Computing reachable sets of linear vector fields revisited},
booktitle = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
29 - July 1, 2016},
pages = {419--426},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ECC.2016.7810321},
doi = {10.1109/ECC.2016.7810321},
timestamp = {Tue, 01 Jun 2021 15:22:59 +0200},
biburl = {https://dblp.org/rec/conf/eucc/GanCLXZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChenFLMZ16,
author = {Mingshuai Chen and
Martin Fr{\"{a}}nzle and
Yangjia Li and
Peter Nazier Mosaad and
Naijun Zhan},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Validated Simulation-Based Verification of Delayed Differential Dynamics},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {137--154},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_9},
doi = {10.1007/978-3-319-48989-6\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChenFLMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/ChenRWYZ16,
author = {Mingshuai Chen and
Anders P. Ravn and
Shuling Wang and
Mengfei Yang and
Naijun Zhan},
editor = {Jonathan P. Bowen and
Huibiao Zhu},
title = {A Two-Way Path Between Formal and Informal Design of Embedded Systems},
booktitle = {Unifying Theories of Programming - 6th International Symposium, {UTP}
2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10134},
pages = {65--92},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52228-9\_4},
doi = {10.1007/978-3-319-52228-9\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/ChenRWYZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GanDXZKC16,
author = {Ting Gan and
Liyun Dai and
Bican Xia and
Naijun Zhan and
Deepak Kapur and
Mingshuai Chen},
title = {Interpolation synthesis for quadratic polynomial inequalities and
combination with {\textbackslash}textit\{EUF\}},
journal = {CoRR},
volume = {abs/1601.04802},
year = {2016},
url = {http://arxiv.org/abs/1601.04802},
eprinttype = {arXiv},
eprint = {1601.04802},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GanDXZKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GanCDXZ15,
author = {Ting Gan and
Mingshuai Chen and
Liyun Dai and
Bican Xia and
Naijun Zhan},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Decidability of the Reachability for a Family of Linear Vector Fields},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {482--499},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_34},
doi = {10.1007/978-3-319-24953-7\_34},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/GanCDXZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiLZCW15,
author = {Yangjia Li and
Hui Lu and
Naijun Zhan and
Mingshuai Chen and
Guohua Wu},
title = {Termination Analysis of Polynomial Programs with Equality Conditions},
journal = {CoRR},
volume = {abs/1510.05201},
year = {2015},
url = {http://arxiv.org/abs/1510.05201},
eprinttype = {arXiv},
eprint = {1510.05201},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiLZCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-12 18:28 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:
