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:
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
Showing 8 citing articles:
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks
Chuwei Wang, Xinyi Yu, Jianing Zhao, et al.
IEEE Robotics and Automation Letters (2024) Vol. 9, Iss. 10, pp. 8983-8990
Closed Access | Times Cited: 2
Chuwei Wang, Xinyi Yu, Jianing Zhao, et al.
IEEE Robotics and Automation Letters (2024) Vol. 9, Iss. 10, pp. 8983-8990
Closed Access | Times Cited: 2
Learning Nonlinear Hybrid Automata from Input–Output Time-Series Data
Amit Gurung, Masaki Waga, Kohei Suenaga
Lecture notes in computer science (2023), pp. 33-52
Closed Access | Times Cited: 4
Amit Gurung, Masaki Waga, Kohei Suenaga
Lecture notes in computer science (2023), pp. 33-52
Closed Access | Times Cited: 4
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
B. K. Ghosh, Étienne André
Logical Methods in Computer Science (2024) Vol. Volume 20, Issue 1
Open Access
B. K. Ghosh, Étienne André
Logical Methods in Computer Science (2024) Vol. Volume 20, Issue 1
Open Access
General Anticipatory Runtime Verification
Raik Hipler, Hannes Kallwies, Martin Leucker, et al.
Lecture notes in computer science (2024), pp. 133-155
Open Access
Raik Hipler, Hannes Kallwies, Martin Leucker, et al.
Lecture notes in computer science (2024), pp. 133-155
Open Access
Monitoring Real-Time Systems Under Parametric Delay
Martin Fränzle, Thomas M. Grosen, Kim G. Larsen, et al.
Lecture notes in computer science (2024), pp. 194-213
Closed Access
Martin Fränzle, Thomas M. Grosen, Kim G. Larsen, et al.
Lecture notes in computer science (2024), pp. 194-213
Closed Access
Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability
Alessandro Cimatti, Thomas M. Grosen, Kim G. Larsen, et al.
Lecture notes in computer science (2024), pp. 70-88
Closed Access
Alessandro Cimatti, Thomas M. Grosen, Kim G. Larsen, et al.
Lecture notes in computer science (2024), pp. 70-88
Closed Access
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties
B. K. Ghosh, Étienne André
Science of Computer Programming (2023) Vol. 230, pp. 102976-102976
Open Access | Times Cited: 1
B. K. Ghosh, Étienne André
Science of Computer Programming (2023) Vol. 230, pp. 102976-102976
Open Access | Times Cited: 1
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems
B. K. Ghosh, Étienne André
Lecture notes in computer science (2022), pp. 67-87
Closed Access | Times Cited: 2
B. K. Ghosh, Étienne André
Lecture notes in computer science (2022), pp. 67-87
Closed Access | Times Cited: 2
