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:

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland, et al.
(2020), pp. 51-62
Open Access | Times Cited: 28

Showing 1-25 of 28 citing articles:

A Novel Spatial–Temporal Specification-Based Monitoring System for Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland, et al.
IEEE Internet of Things Journal (2021) Vol. 8, Iss. 15, pp. 11793-11806
Open Access | Times Cited: 28
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
Meiyi Ma, John A. Stankovic, Ezio Bartocci, et al.
ACM Transactions on Embedded Computing Systems (2021) Vol. 20, Iss. 5s, pp. 1-25
Open Access | Times Cited: 21
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
L. Nenzi, Ezio Bartocci, Luca Bortolussi, et al.
Logical Methods in Computer Science (2022) Vol. Volume 18, Issue 1
Open Access | Times Cited: 13
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
STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks
Meiyi Ma, Ji Gao, Lu Feng, et al.
Neural Information Processing Systems (2020) Vol. 33, pp. 14604-14614
Closed Access | Times Cited: 18
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
Xinyi Yu, Chuwei Wang, Dingran Yuan, et al.
(2023)
Open Access | Times Cited: 6
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Ezio Bartocci, Luca Bortolussi, Michele Loreti, et al.
Lecture notes in computer science (2020), pp. 417-428
Closed Access | Times Cited: 16
Towards a Spatial Model Checker on GPU
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
Lecture notes in computer science (2021), pp. 188-196
Closed Access | Times Cited: 14
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors
Christopher Morse, Lu Feng, Matthew B. Dwyer, et al.
(2023)
Closed Access | Times Cited: 3
Edge-Based Runtime Verification for the Internet of Things
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, et al.
IEEE Transactions on Services Computing (2021) Vol. 15, Iss. 5, pp. 2713-2727
Open Access | Times Cited: 8
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT
Geunyeol Yu, Jia Lee, Kyungmin Bae
Lecture notes in computer science (2022), pp. 524-537
Open Access | Times Cited: 5
Online monitoring of spatio-temporal properties for imprecise signals
Ennio Visconti, Ezio Bartocci, Michele Loreti, et al.
(2021), pp. 78-88
Open Access | Times Cited: 6
MoonLight: a lightweight tool for monitoring spatio-temporal properties
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, et al.
International Journal on Software Tools for Technology Transfer (2023) Vol. 25, Iss. 4, pp. 503-517
Open Access | Times Cited: 2
Monitoring Spatio-Temporal Properties (Invited Tutorial)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, et al.
Lecture notes in computer science (2020), pp. 21-46
Closed Access | Times Cited: 5
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, et al.
2021 60th IEEE Conference on Decision and Control (CDC) (2021), pp. 5110-5115
Open Access | Times Cited: 5
Challenges and Directions for Ambient Intelligence: A Cyber Physical Systems Perspective
John A. Stankovic, Meiyi Ma, Sarah Masud Preum, et al.
(2021), pp. 232-241
Closed Access | Times Cited: 5
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, et al.
The International Journal of Robotics Research (2024) Vol. 43, Iss. 2, pp. 203-238
Open Access
CTL-Based Dynamic IoT Service Composition
Deng Zhao, Zhangbing Zhou, Xiao Xue, et al.
(2021), pp. 381-388
Closed Access | Times Cited: 4
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
Meiyi Ma, John A. Stankovic, Ezio Bartocci, et al.
arXiv (Cornell University) (2020)
Closed Access | Times Cited: 3
Toward Formalization and Monitoring of Microscopic Traffic Parameters Using Temporal Logic
Mariam Nour, Mohamed H. Zaki
Transportation Research Record Journal of the Transportation Research Board (2022) Vol. 2677, Iss. 1, pp. 625-638
Closed Access | Times Cited: 2
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems
Tengfei Li, Xiaohong Chen, Haiying Sun, et al.
2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (2020), pp. 568-575
Closed Access | Times Cited: 1
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design
Lisa O'conner, Hou Seng Wong, Ndt Ma, et al.
(2023)
Open Access
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Ernest Bonnah, Khaza Anuarul Hoque
(2023), pp. 90-99
Open Access
ICCPS 2020 TOC

(2020), pp. i-iv
Open Access
Page 1 - Next Page

Scroll to top