Compositional Branching-Time Measurements. - Radu Grosu; Doron A. Peled; C. R. Ramakrishnan 001; Scott A. Smolka; Scott D. Stoller; Junxing Yang (FPS@ETAPS, 2014)

Using Statistical Model Checking for Measuring Systems. - Radu Grosu; Doron A. Peled; C. R. Ramakrishnan 001; Scott A. Smolka; Scott D. Stoller; Junxing Yang (ISoLA (2), 2014)

Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. - Dung T. Phan; Junxing Yang; Denise Ratasich; Radu Grosu; Scott A. Smolka; Scott D. Stoller (RV, 2015)

A survey on unmanned aerial vehicle collision avoidance systems. - Hung Pham; Scott A. Smolka; Scott D. Stoller; Dung T. Phan; Junxing Yang (CoRR, 2015)

Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. - Junxing Yang; Radu Grosu; Scott A. Smolka; Ashish Tiwari 001 (CONCUR, 2016)

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. - Dung T. Phan; Junxing Yang; Matthew Clark; Radu Grosu; John D. Schierman; Scott A. Smolka; Scott D. Stoller (ACSD, 2017)

Attacking the V: On the Resiliency of Adaptive-Horizon MPC. - Ashish Tiwari 001; Scott A. Smolka; Lukas Esterle; Anna Lukina; Junxing Yang; Radu Grosu (ATVA, 2017)

A Simplex Architecture for Hybrid Systems Using Barrier Certificates. - Junxing Yang; Md. Ariful Islam; Abhishek Murthy; Scott A. Smolka; Scott D. Stoller (SAFECOMP, 2017)

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. - Anna Lukina; Lukas Esterle; Christian Hirsch; Ezio Bartocci; Junxing Yang; Ashish Tiwari 001; Scott A. Smolka; Radu Grosu (TACAS (2), 2017)

Model Checking Cyber-Physical Systems using Particle Swarm Optimization. - Dung T. Phan; Scott A. Smolka; Radu Grosu; Usama Mehmood; Scott D. Stoller; Junxing Yang (CoRR, 2017)

Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. - Dung T. Phan; Junxing Yang; Radu Grosu; Scott A. Smolka; Scott D. Stoller (Formal Methods Syst. Des., 2017)

Resilient Control and Safety for Cyber-Physical Systems. - Anna Lukina; Ashish Tiwari 001; Scott A. Smolka; Lukas Esterle; Junxing Yang; Radu Grosu (MT@CPSWeek, 2018)

Declarative vs rule-based control for flocking dynamics. - Usama Mehmood; Nicola Paoletti; Dung T. Phan; Radu Grosu; Shan Lin 001; Scott D. Stoller; Ashish Tiwari 001; Junxing Yang; Scott A. Smolka (SAC, 2018)

Oxygen Monitoring Equipment for Sewage-Sludge Composting and Its Application to Aeration Optimization. - Guodi Zheng; Yuewei Wang; Xiankai Wang; Junxing Yang; Tongbin Chen (Sensors, 2018)

An Improved Algorithm for Terrain Rendering. - Wei Cao; Lin Huang; Yunfeng Hu; Duanyang Xu; Hongyan Ren; Junxing Yang (IGARSS, 2019)

Temporal and Spatial Features of Urban and Construction Land in Chengdu City, China. - Wei Cao; Lin Huang; Yunfeng Hu; Duanyang Xu; Hongyan Ren; Junxing Yang; Lulu Liu (IGARSS, 2019)

Statistical Model Checking. - Axel Legay; Anna Lukina; Louis-Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu (Computing and Software Science, 2019)

Panoramic Image Generation Using Centerline- Constrained Mesh Parameterization for Arbitrarily Shaped Tunnel Lining. - Fei Deng; Junxing Yang (IEEE Access, 2020)

Efficient Seamline Network Generation for Large-Scale Orthoimage Mosaicking. - Junxing Yang; Lulu Liu; Qingsong Yan; Fei Deng (IEEE Geosci. Remote. Sens. Lett., 2022)

Texture-Mapping Error Removal Based on the BRIEF Operator in Image-Based Three-Dimensional Reconstruction. - Junxing Yang; Lu Lu; Ge Peng; He Huang 003; Jian Wang; Fei Deng (Remote. Sens., 2023)

Ortho-3DGS: True Digital Orthophoto Generation From Unmanned Aerial Vehicle Imagery Using the Depth-Regulated 3D Gaussian Splatting. - Junxing Yang; Zhenglong Cai; Tianjiao Wang; Tong Ye; Haoran Gao; He Huang 003 (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025)

Ortho-NeRF: generating a true digital orthophoto map using the neural radiance field from unmanned aerial vehicle images. - Shihan Chen; Qingsong Yan; Yingjie Qu; Wang Gao 001; Junxing Yang; Fei Deng (Geo spatial Inf. Sci., 2025)