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:
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
Gidon Ernst, Paolo Arcaini, Ismail Bennani, et al.
EPiC series in computing (2021) Vol. 80, pp. 133-112
Open Access | Times Cited: 18
Gidon Ernst, Paolo Arcaini, Ismail Bennani, et al.
EPiC series in computing (2021) Vol. 80, pp. 133-112
Open Access | Times Cited: 18
Showing 18 citing articles:
A Survey on Automated Driving System Testing: Landscapes and Trends
Shuncheng Tang, Zhenya Zhang, Yi Zhang, et al.
ACM Transactions on Software Engineering and Methodology (2023) Vol. 32, Iss. 5, pp. 1-62
Open Access | Times Cited: 49
Shuncheng Tang, Zhenya Zhang, Yi Zhang, et al.
ACM Transactions on Software Engineering and Methodology (2023) Vol. 32, Iss. 5, pp. 1-62
Open Access | Times Cited: 49
Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
Jieke Shi, Zhou Yang, Junda He, et al.
ACM Transactions on Software Engineering and Methodology (2025)
Open Access
Jieke Shi, Zhou Yang, Junda He, et al.
ACM Transactions on Software Engineering and Methodology (2025)
Open Access
Requirement falsification for cyber-physical systems using generative models
Jarkko Peltomäki, Iván Porres
Automated Software Engineering (2025) Vol. 32, Iss. 2
Open Access
Jarkko Peltomäki, Iván Porres
Automated Software Engineering (2025) Vol. 32, Iss. 2
Open Access
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
Ezio Bartocci, Leonardo Mariani, Dejan Ničković, et al.
ACM Transactions on Software Engineering and Methodology (2025)
Closed Access
ARCH-COMP23 Category Report: Falsification
Claudio Menghi, Paolo Arcaini, Walstan Baptista, et al.
EPiC series in computing (2023) Vol. 96, pp. 151-131
Open Access | Times Cited: 11
Claudio Menghi, Paolo Arcaini, Walstan Baptista, et al.
EPiC series in computing (2023) Vol. 96, pp. 151-131
Open Access | Times Cited: 11
Trace Diagnostics for Signal-Based Temporal Properties
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, et al.
IEEE Transactions on Software Engineering (2023) Vol. 49, Iss. 5, pp. 3131-3154
Open Access | Times Cited: 5
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, et al.
IEEE Transactions on Software Engineering (2023) Vol. 49, Iss. 5, pp. 3131-3154
Open Access | Times Cited: 5
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, et al.
EPiC series in computing (2022) Vol. 90, pp. 204-185
Open Access | Times Cited: 9
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, et al.
EPiC series in computing (2022) Vol. 90, pp. 204-185
Open Access | Times Cited: 9
Model-bounded Monitoring of Hybrid Systems
Masaki Waga, Étienne André, Ichiro Hasuo
ACM Transactions on Cyber-Physical Systems (2022) Vol. 6, Iss. 4, pp. 1-26
Open Access | Times Cited: 8
Masaki Waga, Étienne André, Ichiro Hasuo
ACM Transactions on Cyber-Physical Systems (2022) Vol. 6, Iss. 4, pp. 1-26
Open Access | Times Cited: 8
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
Sota Sato, Jie An, Zhenya Zhang, et al.
Lecture notes in computer science (2024), pp. 282-306
Closed Access | Times Cited: 1
Sota Sato, Jie An, Zhenya Zhang, et al.
Lecture notes in computer science (2024), pp. 282-306
Closed Access | Times Cited: 1
Falsification of Cyber-Physical Systems Using PDDL+ Planning
Diego Aineto, Enrico Scala, Eva Onaindía, et al.
Proceedings of the International Conference on Automated Planning and Scheduling (2023) Vol. 33, Iss. 1, pp. 2-6
Open Access | Times Cited: 3
Diego Aineto, Enrico Scala, Eva Onaindía, et al.
Proceedings of the International Conference on Automated Planning and Scheduling (2023) Vol. 33, Iss. 1, pp. 2-6
Open Access | Times Cited: 3
Online Reset for Signal Temporal Logic Monitoring
Zhenya Zhang, Paolo Arcaini, Xuan Xie
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2022) Vol. 41, Iss. 11, pp. 4421-4432
Closed Access | Times Cited: 5
Zhenya Zhang, Paolo Arcaini, Xuan Xie
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2022) Vol. 41, Iss. 11, pp. 4421-4432
Closed Access | Times Cited: 5
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
Jarkko Peltomäki, Iván Porres
(2022), pp. 21-28
Open Access | Times Cited: 4
Online Causation Monitoring of Signal Temporal Logic
Zhenya Zhang, Jie An, Paolo Arcaini, et al.
Lecture notes in computer science (2023), pp. 62-84
Open Access | Times Cited: 2
Zhenya Zhang, Jie An, Paolo Arcaini, et al.
Lecture notes in computer science (2023), pp. 62-84
Open Access | Times Cited: 2
CauMon: An Informative Online Monitor for Signal Temporal Logic
Zhenya Zhang, Jie An, Paolo Arcaini, et al.
Lecture notes in computer science (2024), pp. 286-304
Open Access
Zhenya Zhang, Jie An, Paolo Arcaini, et al.
Lecture notes in computer science (2024), pp. 286-304
Open Access
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Alessandro Abate, Matthias Althoff, Lei Bu, et al.
Lecture notes in computer science (2024), pp. 1-37
Closed Access
Alessandro Abate, Matthias Althoff, Lei Bu, et al.
Lecture notes in computer science (2024), pp. 1-37
Closed Access
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, et al.
EPiC series in computing (2022) Vol. 90, pp. 18-9
Open Access | Times Cited: 2
Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, et al.
EPiC series in computing (2022) Vol. 90, pp. 18-9
Open Access | Times Cited: 2
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL
Vinayak S. Prabhu, Meetkumar Savaliya
(2022), pp. 1-11
Closed Access | Times Cited: 1
Vinayak S. Prabhu, Meetkumar Savaliya
(2022), pp. 1-11
Closed Access | Times Cited: 1
On Input Generators for Cyber–Physical Systems Falsification
Zahra Ramezani, Alexandre Donzé, Martin Fabian, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023) Vol. 43, Iss. 4, pp. 1274-1287
Closed Access
Zahra Ramezani, Alexandre Donzé, Martin Fabian, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023) Vol. 43, Iss. 4, pp. 1274-1287
Closed Access
