Follow
Junxing Yang
Junxing Yang
Verified email at cs.stonybrook.edu
Title
Cited by
Cited by
Year
Statistical model checking
A Legay, A Lukina, LM Traonouez, J Yang, SA Smolka, R Grosu
Computing and software science: state of the art and perspectives, 478-504, 2019
922019
A survey on unmanned aerial vehicle collision avoidance systems
H Pham, SA Smolka, SD Stoller, D Phan, J Yang
arXiv preprint arXiv:1508.07723, 2015
892015
A component-based simplex architecture for high-assurance cyber-physical systems
D Phan, J Yang, M Clark, R Grosu, J Schierman, S Smolka, S Stoller
2017 17th International Conference on Application of Concurrency to System …, 2017
412017
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
D Phan, J Yang, R Grosu, SA Smolka, SD Stoller
Formal Methods in System Design 51, 62-86, 2017
262017
ARES: adaptive receding-horizon synthesis of optimal plans
A Lukina, L Esterle, C Hirsch, E Bartocci, J Yang, A Tiwari, SA Smolka, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
242017
Using statistical model checking for measuring systems
R Grosu, D Peled, CR Ramakrishnan, SA Smolka, SD Stoller, J Yang
International Symposium On Leveraging Applications of Formal Methods …, 2014
242014
Love thy neighbor: V-formation as a problem of model predictive control
J Yang, R Grosu, SA Smolka, A Tiwari
27th international conference on concurrency theory (concur 2016), 2016
222016
Declarative vs rule-based control for flocking dynamics
U Mehmood, N Paoletti, D Phan, R Grosu, S Lin, SD Stoller, A Tiwari, ...
Proceedings of the 33rd annual ACM symposium on applied computing, 816-823, 2018
182018
Verification of quasi-synchronous systems with Uppaal
S Bhattacharyya, S Miller, J Yang, S Smolka, B Meng, C Sticksel, C Tinelli
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 8A4-1-8A4-12, 2014
142014
Attacking the V: on the resiliency of adaptive-horizon MPC
A Tiwari, SA Smolka, L Esterle, A Lukina, J Yang, R Grosu
Automated Technology for Verification and Analysis: 15th International …, 2017
112017
Formal verification of quasi-synchronous systems
SP Miller, S Bhattacharyya, C Tinelli, S Smolka, C Sticksel, B Meng, ...
ROCKWELL COLLINS INC CEDAR RAPIDS IA, Tech Report, 2015
102015
Collision avoidance for mobile robots with limited sensing and limited information about the environment
D Phan, J Yang, D Ratasich, R Grosu, SA Smolka, SD Stoller
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
102015
A survey on unmanned aerial vehicle collision avoidance systems. arXiv 2015
H Pham, SA Smolka, SD Stoller, D Phan, J Yang
arXiv preprint arXiv:1508.07723, 0
10
A simplex architecture for hybrid systems using barrier certificates
J Yang, MA Islam, A Murthy, SA Smolka, SD Stoller
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
92017
A survey on unmanned aerial vehicle collision avoidance systems (2015)
H Pham, SA Smolka, SD Stoller, D Phan, J Yang
arXiv preprint arXiv:1508.07723, 2021
62021
V-Formation as Optimal Control
J Yang, R Grosu, SA Smolka, A Tiwari
the 4th Workshop on Biological Distributed Algorithms, 2016
52016
Resilient control and safety for cyber-physical systems
A Lukina, A Tiwari, SA Smolka, L Esterle, J Yang, R Grosu
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
32018
Attacking the v: On the resiliency of adaptive-horizon mpc
SA Smolka, A Tiwari, L Esterle, A Lukina, J Yang, R Grosu
arXiv preprint arXiv:1702.00290, 2017
22017
Compositional branching-time measurements
R Grosu, D Peled, CR Ramakrishnan, SA Smolka, SD Stoller, J Yang
From Programs to Systems. The Systems perspective in Computing: ETAPS …, 2014
22014
Model Checking Cyber-Physical Systems using Particle Swarm Optimization
D Phan, SA Smolka, R Grosu, U Mehmood, SD Stoller, J Yang
arXiv preprint arXiv:1703.01257, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20