Xiangyu Jin

31 papers A* 1A 2Misc 1Journal 12Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Modeling and Verification of Hybrid Systems by Extending AADL.
ACM Trans. Softw. Eng. Methodol.
Xiong Xu, Ehsan Ahmad, Shuling Wang, Xiangyu Jin, Bohua Zhan, Naijun Zhan
2024 — ch.
Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System.
The Practice of Formal Methods (II)
Xiong Xu, Shuling Wang, Zekun Ji, Qiang Gao, Xiangyu Jin, Bohua Zhan, Naijun Zhan
2024 J jnl
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
CoRR
Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2024 J jnl
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.
CoRR
Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan
2023 J jnl
A Generalized Hybrid Hoare Logic.
CoRR
Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin
2022 — conf
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.
ARCH@SAFECOMP
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
2022 J jnl
Distribution of FFRCT in single obstructive coronary stenosis and predictors for major adverse cardiac events: a propensity score matching study.
BMC Medical Imaging
Xianglan Jin, Xiangyu Jin, Xiaoyun Wu, Luguang Chen, Tie-gong Wang, Wangfu Zang
2022 J jnl
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.
Theor. Comput. Sci.
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan
2021 — conf
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving.
ARCH@ADHS
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2021 A conf
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.
RTAS
Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan
2021 J jnl
Dynamic Stochastic Optimization of Emergent Blood Collection and Distribution from Supply Chain Perspective.
Complex.
Xiangyu Jin, Huajun Tang, Yuxin Huang
2021 J jnl
Inferring Switched Nonlinear Dynamical Systems.
Formal Aspects Comput.
Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2020 — conf
A Study on the Optimization of Distribution Routes for Fresh Food under Epidemic Situation.
ISBDAI
Xiangyu Jin, Chao Wang, Wenli Hu
2020 — conf
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.
ARCH
Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2020 — conf
The Researches on Public Service Information Security in the Context of Big Data.
ISBDAI
Chao Wang, Xiangyu Jin
2019 — conf
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.
ARCH@CPSIoTWeek
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2018 — conf
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
ARCH@ADHS
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
2006 A* conf
Quantative analysis of the impact of judging inconsistency on the performance of relevance feedback.
SIGIR
Xiangyu Jin, James C. French, Jonathan Michel
2005 J jnl
Improving Image Retrieval Effectiveness via Multiple Queries.
Multim. Tools Appl.
Xiangyu Jin, James C. French
2005 — conf
SAIC & University of Virginia at TREC 2005: HARD Track.
TREC
Jonathan Michel, Xiangyu Jin, James C. French
2005 — conf
Toward Consistent Evaluation of Relevance Feedback Approaches in Multimedia Retrieval.
Adaptive Multimedia Retrieval
Xiangyu Jin, James C. French, Jonathan Michel
2004 — conf
An Empirical Investigation of the Scalability of a Multiple Viewpoint CBIR System.
CIVR
James C. French, Xiangyu Jin, Worthy N. Martin
2004 J jnl
An Svm-Based Incremental Learning Algorithm For User Adaptation Of Sketch Recognition.
Int. J. Pattern Recognit. Artif. Intell.
Binbin Peng, Wenyin Liu, Yin Liu, Guanglin Huang, Zhengxing Sun, Xiangyu Jin
2004 J jnl
An online composite graphics recognition approach based on matching of spatial relation graphs.
Int. J. Document Anal. Recognit.
Xiaogang Xu, Zhengxing Sun, Binbin Peng, Xiangyu Jin, Wenyin Liu
2003 — conf
An exogenous approach for adding multiple image representations to content-based image retrieval systems.
ISSPA (1)
James C. French, James V. S. Watson, Xiangyu Jin, Worthy N. Martin
2003 — conf
Improving image retrieval effectiveness via multiple queries.
MMDB
Xiangyu Jin, James C. French
2003 — conf
Integrating Multiple Multi-Channel CBIR Systems.
Multimedia Information Systems
James C. French, Worthy N. Martin, James V. S. Watson, Xiangyu Jin
2002 Misc conf
On-Line Graphics Recognition.
PG
Xiangyu Jin, Liu Wenyin, Jianyong Sun, Zhengxing Sun
2001 — conf
Sketch-Based User Interface for Inputting Graphic Objects on Small Screen Devices.
GREC
Liu Wenyin, Xiangyu Jin, Zhengxing Sun
2001 A conf
Smart Sketchpad - An On-line Graphics Recognition System.
ICDAR
Liu Wenyin, Wenjie Qian, Rong Xiao, Xiangyu Jin
2000 J jnl
Distributed and Cooperative Information Retrieval on the World Wide Web.
J. Comput. Sci. Technol.
Jicheng Wang, Xiangyu Jin, Xiaojiang Yang, Fuyan Zhang