Open Access Helper

OpenAlex Citation Counts

OpenAlex Citations Logo

OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!

If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.

Requested Article:

Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart
Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, et al.
2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) (2019)
Closed Access | Times Cited: 30

Showing 1-25 of 30 citing articles:

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
Anthony Corso, Robert J. Moss, Mark Koren, et al.
Journal of Artificial Intelligence Research (2021) Vol. 72
Open Access | Times Cited: 68
MOSAT: finding safety violations of autonomous driving systems using multi-objective genetic algorithm
Haoxiang Tian, Yan Jiang, Guoquan Wu, et al.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2022)
Closed Access | Times Cited: 27
Signal Feature Coverage and Testing for CPS Dataflow Models
Ezio Bartocci, Leonardo Mariani, Dejan Ničković, et al.
ACM Transactions on Software Engineering and Methodology (2025)
Closed Access
A Survey of Algorithms for Black-Box Safety Validation.
Anthony Corso, Robert J. Moss, Mark Koren, et al.
arXiv (Cornell University) (2020)
Closed Access | Times Cited: 46
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
Lecture notes in computer science (2019), pp. 27-47
Closed Access | Times Cited: 31
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees
Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, et al.
IEEE Transactions on Automation Science and Engineering (2023) Vol. 21, Iss. 3, pp. 4504-4525
Open Access | Times Cited: 8
Interpretable Safety Validation for Autonomous Vehicles
Anthony Corso, Mykel J. Kochenderfer
(2020), pp. 1-6
Open Access | Times Cited: 18
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements
Logan Mathesen, Giulia Pedrielli, Georgios Fainekos
2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) (2021)
Closed Access | Times Cited: 14
Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns
Haoxiang Tian, Guoquan Wu, Jiren Yan, et al.
(2022)
Open Access | Times Cited: 10
When cyber-physical systems meet AI
Jiayang Song, Deyun Lyu, Zhenya Zhang, et al.
(2022), pp. 343-352
Open Access | Times Cited: 8
Survey on test case generation, selection and prioritization for cyber‐physical systems
Zahra Sadri‐Moshkenani, Justin Bradley, Gregg Rothermel
Software Testing Verification and Reliability (2021) Vol. 32, Iss. 1
Closed Access | Times Cited: 9
Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition
Anthony Corso, Ritchie Lee, Mykel J. Kochenderfer
(2020), pp. 1-6
Open Access | Times Cited: 8
A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems
Ali Baheri, Hao Ren, Benjamin D. Johnson, et al.
AIAA Aviation 2019 Forum (2022)
Open Access | Times Cited: 4
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Jarkko Peltomäki, Iván Porres
(2022), pp. 21-28
Open Access | Times Cited: 4
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward
Jiayang Song, Deyun Lyu, Zhenya Zhang, et al.
(2022), pp. 343-352
Open Access | Times Cited: 4
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs
Jiawan Wang, Wenxia Liu, Muzimiao Zhang, et al.
Lecture notes in computer science (2024), pp. 329-355
Closed Access
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS
Jiawan Wang, Lei Bu, Shaopeng Xing, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2021) Vol. 41, Iss. 2, pp. 238-251
Closed Access | Times Cited: 4
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems
Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, et al.
2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) (2023), pp. 1-8
Closed Access | Times Cited: 1
Class GP: Gaussian Process Modeling for Heterogeneous Functions
Mohit Malu, Giulia Pedrielli, Gautam Dasarathy, et al.
Lecture notes in computer science (2023), pp. 408-423
Closed Access | Times Cited: 1
An Accelerated Safety Probability Estimation Method for Control Policies of Autonomous Vehicles in Open Environments
Siwei Liu, Kuo Li, Qing‐Shan Jia
2021 China Automation Congress (CAC) (2023), pp. 2412-2417
Closed Access | Times Cited: 1
Interpretable Safety Validation for Autonomous Vehicles
Anthony Corso, Mykel J. Kochenderfer
arXiv (Cornell University) (2020)
Closed Access | Times Cited: 2
Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition
Anthony Corso, Ritchie Lee, Mykel J. Kochenderfer
arXiv (Cornell University) (2020)
Closed Access | Times Cited: 2
Transfer Learning for Efficient Iterative Safety Validation
Anthony Corso, Mykel J. Kochenderfer
Proceedings of the AAAI Conference on Artificial Intelligence (2021) Vol. 35, Iss. 8, pp. 7125-7132
Open Access | Times Cited: 2
Bet and Run for Test Case Generation
Sebastian Müller, Thomas Vogel, Lars Grunske
Lecture notes in computer science (2020), pp. 204-219
Closed Access | Times Cited: 1
Falsification-based Verification for Multi-Mode Spacecraft Attitude Control Systems
John Matthew Brewer, Panagiotis Tsiotras, Kendra Lang, et al.
2022 American Control Conference (ACC) (2021), pp. 4296-4301
Closed Access | Times Cited: 1
Page 1 - Next Page

Scroll to top