default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Xiaohong Chen 0002
@inproceedings{DBLP:conf/tacas/RodriguesSCR24,
author = {Nishant Rodrigues and
Mircea Sebe and
Xiaohong Chen and
Grigore Rosu},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {A Logical Treatment of Finite Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {350--369},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_20},
doi = {10.1007/978-3-031-57246-3\_20},
timestamp = {Sat, 08 Jun 2024 13:13:56 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RodriguesSCR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/ChenLR23,
author = {Xiaohong Chen and
Dorel Lucanu and
Grigore Rosu},
title = {Capturing constrained constructor patterns in matching logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {130},
pages = {100810},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2022.100810},
doi = {10.1016/J.JLAMP.2022.100810},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/ChenLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LinCTWR23,
author = {Zhengyao Lin and
Xiaohong Chen and
Minh{-}Thai Trinh and
John Wang and
Grigore Rosu},
title = {Generating Proof Certificates for a Language-Agnostic Deductive Program
Verifier},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA1}},
pages = {56--84},
year = {2023},
url = {https://doi.org/10.1145/3586029},
doi = {10.1145/3586029},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LinCTWR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ZhangCS22,
author = {Xiyue Zhang and
Xiaohong Chen and
Meng Sun},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Towards a Unifying Logical Framework for Neural Networks},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {442--461},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_28},
doi = {10.1007/978-3-031-17715-6\_28},
timestamp = {Sat, 15 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/ZhangCS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2201-05716,
author = {P{\'{e}}ter Bereczky and
Xiaohong Chen and
D{\'{a}}niel Horp{\'{a}}csi and
Tam{\'{a}}s B{\'{a}}lint Mizsei and
Lucas Pe{\~{n}}a and
Jan Tusil},
editor = {Vlad Rusu},
title = {Mechanizing Matching Logic in Coq},
booktitle = {Proceedings of the Sixth Working Formal Methods Symposium, {FROM}
2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022},
series = {{EPTCS}},
volume = {369},
pages = {17--36},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.369.2},
doi = {10.4204/EPTCS.369.2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-05716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/ChenLR21,
author = {Xiaohong Chen and
Dorel Lucanu and
Grigore Rosu},
title = {Matching logic explained},
journal = {J. Log. Algebraic Methods Program.},
volume = {120},
pages = {100638},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100638},
doi = {10.1016/J.JLAMP.2021.100638},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/ChenLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0002R21,
author = {Xiaohong Chen and
Grigore Rosu},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {The {K} Vision for the Future of Programming Language Design and Analysis},
booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
pages = {3--9},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6\_1},
doi = {10.1007/978-3-030-87348-6\_1},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/0002R21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenLTR20,
author = {Xiaohong Chen and
Zhengyao Lin and
Minh{-}Thai Trinh and
Grigore Rosu},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Towards a Trustworthy Semantics-Based Language Framework via Proof
Generation},
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 = {477--499},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_23},
doi = {10.1007/978-3-030-81688-9\_23},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChenLTR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChenR20,
author = {Xiaohong Chen and
Grigore Rosu},
title = {A general approach to define binders using matching logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {88:1--88:32},
year = {2020},
url = {https://doi.org/10.1145/3408970},
doi = {10.1145/3408970},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0002TRPR20,
author = {Xiaohong Chen and
Minh{-}Thai Trinh and
Nishant Rodrigues and
Lucas Pe{\~{n}}a and
Grigore Rosu},
title = {Towards a unified proof framework for automated fixpoint reasoning
using matching logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {161:1--161:29},
year = {2020},
url = {https://doi.org/10.1145/3428229},
doi = {10.1145/3428229},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/0002TRPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Rosu020,
author = {Grigore Rosu and
Xiaohong Chen},
editor = {Jasmin Blanchette and
Catalin Hritcu},
title = {Matching logic: the foundation of the {K} framework (invited talk)},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2020, New Orleans, LA, USA, January
20-21, 2020},
pages = {1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372885.3378574},
doi = {10.1145/3372885.3378574},
timestamp = {Sun, 02 Oct 2022 15:58:04 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Rosu020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/0002LR20,
author = {Xiaohong Chen and
Dorel Lucanu and
Grigore Rosu},
editor = {Santiago Escobar and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Connecting Constrained Constructor Patterns and Matching Logic},
booktitle = {Rewriting Logic and Its Applications - 13th International Workshop,
{WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12328},
pages = {19--37},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63595-4\_2},
doi = {10.1007/978-3-030-63595-4\_2},
timestamp = {Mon, 14 Dec 2020 17:03:10 +0100},
biburl = {https://dblp.org/rec/conf/wrla/0002LR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/0002R19,
author = {Xiaohong Chen and
Grigore Rosu},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {Matching mu-Logic: Foundation of {K} Framework (Invited Paper)},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.1},
doi = {10.4230/LIPICS.CALCO.2019.1},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/0002R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/0002R19,
author = {Xiaohong Chen and
Grigore Rosu},
title = {Matching {\(\mu\)}-Logic},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785675},
doi = {10.1109/LICS.2019.8785675},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/0002R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/0002R19,
author = {Xiaohong Chen and
Grigore Rosu},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {{\textdollar}{\textbackslash}mathbb \{K\}{\textdollar} - {A} Semantic
Framework for Programming Languages and Formal Analysis},
booktitle = {Engineering Trustworthy Software Systems - 5th International School,
{SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12154},
pages = {122--158},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-55089-9\_4},
doi = {10.1007/978-3-030-55089-9\_4},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/0002R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChenR18,
author = {Xiaohong Chen and
Grigore Rosu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Language-Independent Program Verification Framework},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {92--102},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_7},
doi = {10.1007/978-3-030-03421-4\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/ChenR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Chen0R18,
author = {Xiaohong Chen and
Daejun Park and
Grigore Rosu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Language-Independent Approach to Smart Contract Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {405--413},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_30},
doi = {10.1007/978-3-030-03427-6\_30},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Chen0R18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-10657,
author = {Yilong Yang and
Xiaoshan Li and
Zhiming Liu and
Wei Ke and
Quan Zu and
Xiaohong Chen},
title = {Automated Prototype Generation from Formal Requirements Model},
journal = {CoRR},
volume = {abs/1808.10657},
year = {2018},
url = {http://arxiv.org/abs/1808.10657},
eprinttype = {arXiv},
eprint = {1808.10657},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-10657.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangCSQ17,
author = {Jingyi Wang and
Xiaohong Chen and
Jun Sun and
Shengchao Qin},
editor = {Zhenhua Duan and
Luke Ong},
title = {Improving Probability Estimation Through Active Probabilistic Model
Learning},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {379--395},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_23},
doi = {10.1007/978-3-319-68690-5\_23},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/WangCSQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PalomarC0MB16,
author = {Esther Palomar and
Xiaohong Chen and
Zhiming Liu and
Sabita Maharjan and
Jonathan P. Bowen},
title = {Component-Based Modelling for Scalable Smart City Systems Interoperability:
{A} Case Study on Integrating Energy Demand Response Systems},
journal = {Sensors},
volume = {16},
number = {11},
pages = {1810},
year = {2016},
url = {https://doi.org/10.3390/s16111810},
doi = {10.3390/S16111810},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/PalomarC0MB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KongLCSSW16,
author = {Pingfan Kong and
Yi Li and
Xiaohong Chen and
Jun Sun and
Meng Sun and
Jingyi Wang},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Towards Concolic Testing for Hybrid Systems},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {460--478},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_28},
doi = {10.1007/978-3-319-48989-6\_28},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KongLCSSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KongLC0SW16,
author = {Pingfan Kong and
Yi Li and
Xiaohong Chen and
Jun Sun and
Meng Sun and
Jingyi Wang},
title = {Towards Concolic Testing for Hybrid Systems},
journal = {CoRR},
volume = {abs/1608.08754},
year = {2016},
url = {http://arxiv.org/abs/1608.08754},
eprinttype = {arXiv},
eprint = {1608.08754},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KongLC0SW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiCWS15,
author = {Shaodong Li and
Xiaohong Chen and
Yiwu Wang and
Meng Sun},
title = {A Framework for Off-Line Conformance Testing of Timed Connectors},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {15--22},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.9},
doi = {10.1109/TASE.2015.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiCWS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenSS14,
author = {Xiaohong Chen and
Jun Sun and
Meng Sun},
editor = {Stephan Merz and
Jun Pang},
title = {A Hybrid Model of Connectors in Cyber-Physical Systems},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {59--74},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_5},
doi = {10.1007/978-3-319-11737-9\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChenSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/0001C14,
author = {Zhiming Liu and
Xiaohong Chen},
editor = {Zhiming Liu and
Zili Zhang},
title = {Model-Driven Design of Object and Component Systems},
booktitle = {Engineering Trustworthy Software Systems - First International School,
{SETSS} 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9506},
pages = {152--255},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-29628-9\_4},
doi = {10.1007/978-3-319-29628-9\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/setss/0001C14.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-14 02:06 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:
