Junxing Yang

26 papers B 4C 2Misc 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ortho-3DGS: True Digital Orthophoto Generation From Unmanned Aerial Vehicle Imagery Using the Depth-Regulated 3D Gaussian Splatting.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Junxing Yang, Zhenglong Cai, Tianjiao Wang, Tong Ye, Haoran Gao, He Huang
2025 J jnl
Ortho-NeRF: generating a true digital orthophoto map using the neural radiance field from unmanned aerial vehicle images.
Geo spatial Inf. Sci.
Shihan Chen, Qingsong Yan, Yingjie Qu, Wang Gao, Junxing Yang, Fei Deng
2023 J jnl
Texture-Mapping Error Removal Based on the BRIEF Operator in Image-Based Three-Dimensional Reconstruction.
Remote. Sens.
Junxing Yang, Lu Lu, Ge Peng, He Huang, Jian Wang, Fei Deng
2022 J jnl
Efficient Seamline Network Generation for Large-Scale Orthoimage Mosaicking.
IEEE Geosci. Remote. Sens. Lett.
Junxing Yang, Lulu Liu, Qingsong Yan, Fei Deng
2020 J jnl
Panoramic Image Generation Using Centerline- Constrained Mesh Parameterization for Arbitrarily Shaped Tunnel Lining.
IEEE Access
Fei Deng, Junxing Yang
2019 C conf
An Improved Algorithm for Terrain Rendering.
IGARSS
Wei Cao, Lin Huang, Yunfeng Hu, Duanyang Xu, Hongyan Ren, Junxing Yang
2019 — ch.
Statistical Model Checking.
Computing and Software Science
Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu
2019 C conf
Temporal and Spatial Features of Urban and Construction Land in Chengdu City, China.
IGARSS
Wei Cao, Lin Huang, Yunfeng Hu, Duanyang Xu, Hongyan Ren, Junxing Yang, Lulu Liu
2018 Misc conf
Declarative vs rule-based control for flocking dynamics.
SAC
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2018 J jnl
Oxygen Monitoring Equipment for Sewage-Sludge Composting and Its Application to Aeration Optimization.
Sensors
Guodi Zheng, Yuewei Wang, Xiankai Wang, Junxing Yang, Tongbin Chen
2018 — conf
Resilient Control and Safety for Cyber-Physical Systems.
MT@CPSWeek
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
2017 — conf
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
ACSD
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017 J jnl
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
CoRR
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017 B conf
A Simplex Architecture for Hybrid Systems Using Barrier Certificates.
SAFECOMP
Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
2017 — conf
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
TACAS (2)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2017 B conf
Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
ATVA
Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017 J jnl
Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
CoRR
Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017 J jnl
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.
Formal Methods Syst. Des.
Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2017 J jnl
Declarative vs Rule-based Control for Flocking Dynamics.
CoRR
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017 J jnl
Model Checking Cyber-Physical Systems using Particle Swarm Optimization.
CoRR
Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
2016 J jnl
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
CoRR
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2016 B conf
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control.
CONCUR
Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari
2015 J jnl
A survey on unmanned aerial vehicle collision avoidance systems.
CoRR
Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
2015 B conf
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment.
RV
Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2014 — conf
Compositional Branching-Time Measurements.
FPS@ETAPS
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2014 — conf
Using Statistical Model Checking for Measuring Systems.
ISoLA (2)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang