| Enforcing ethical goals over reinforcement-learning policies | 0 | 0.34 | 2022 |
| Probabilistic Hyperproperties with Rewards | 0 | 0.34 | 2022 |
| Flavors of Sequential Information Flow. | 0 | 0.34 | 2022 |
| DeepSTL - From English Requirements to Signal Temporal Logic | 0 | 0.34 | 2022 |
| HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022 | 0 | 0.34 | 2022 |
| Online Monitoring of Spatio-Temporal Properties for Imprecise Signals | 1 | 0.37 | 2021 |
| Automated Termination Analysis of Polynomial Probabilistic Programs | 0 | 0.34 | 2021 |
| Mining Shape Expressions with SHAPEIT | 0 | 0.34 | 2021 |
| CPSDebug: Automatic failure explanation in CPS models | 1 | 0.36 | 2021 |
| Automated Termination Analysis of Polynomial Probabilistic Programs. | 0 | 0.34 | 2021 |
| Adaptive Testing for Specification Coverage in CPS Models | 0 | 0.34 | 2021 |
| Predictive Monitoring With Logic-Calibrated Uncertainty For Cyber-Physical Systems | 3 | 0.46 | 2021 |
| A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence". | 0 | 0.34 | 2021 |
| Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. | 0 | 0.34 | 2021 |
| CPSDebug: a tool for explanation of failures in cyber-physical systems | 1 | 0.34 | 2020 |
| MoonLight - A Lightweight Tool for Monitoring Spatio-Temporal Properties. | 1 | 0.35 | 2020 |
| Mining Shape Expressions From Positive Examples | 1 | 0.37 | 2020 |
| Monitoring Spatio-Temporal Properties (Invited Tutorial). | 1 | 0.35 | 2020 |
| Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract | 0 | 0.34 | 2020 |
| Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home | 0 | 0.34 | 2019 |
| Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time | 0 | 0.34 | 2019 |
| Parallel reachability analysis of hybrid systems in XSpeed | 1 | 0.35 | 2019 |
| Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. | 0 | 0.34 | 2019 |
| First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. | 1 | 0.35 | 2019 |
| TOOLympics 2019: An Overview of Competitions in Formal Methods. | 0 | 0.34 | 2019 |
| Automatic Failure Explanation in CPS Models. | 1 | 0.34 | 2019 |
| Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). | 0 | 0.34 | 2019 |
| Extending A Hodgkin-Huxley Model For Larval Drosophila Muscle Excitability Via Particle Swarm Fitting | 0 | 0.34 | 2019 |
| Automated Synthesis Of Safe Digital Controllers For Sampled-Data Stochastic Nonlinear Systems | 0 | 0.34 | 2019 |
| Monitoring, Learning And Control Of Cyber-Physical Systems With Stl (Tutorial) | 0 | 0.34 | 2018 |
| A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. | 5 | 0.39 | 2018 |
| Localizing Faults in Simulink/Stateflow Models with STL. | 7 | 0.44 | 2018 |
| Verifying nonlinear analog and mixed-signal circuits with inputs | 1 | 0.34 | 2018 |
| Signal Convolution Logic. | 0 | 0.34 | 2018 |
| Lectures on Runtime Verification - Introductory and Advanced Topics. | 0 | 0.34 | 2018 |
| Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016). | 0 | 0.34 | 2018 |
| Introduction to Runtime Verification. | 0 | 0.34 | 2018 |
| An Algebraic Framework for Runtime Verification. | 4 | 0.38 | 2018 |
| Reachable Set Over-Approximation For Nonlinear Systems Using Piecewise Barrier Tubes | 2 | 0.36 | 2018 |
| Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. | 0 | 0.34 | 2018 |
| A Robust Genetic Algorithm for Learning Temporal Specifications from Data. | 0 | 0.34 | 2017 |
| SEA-PARAM: Exploring Schedulers in Parametric MDPs. | 0 | 0.34 | 2017 |
| ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. | 0 | 0.34 | 2017 |
| Policy learning in continuous-time Markov decision processes using Gaussian Processes. | 1 | 0.35 | 2017 |
| ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. | 3 | 0.73 | 2017 |
| A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. | 0 | 0.34 | 2017 |
| Computing with Biophysical and Hardware-Efficient Neural Models. | 0 | 0.34 | 2017 |
| Introduction to the special issue on runtime verification. | 2 | 0.40 | 2017 |
| Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. | 0 | 0.34 | 2017 |
| SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. | 1 | 0.35 | 2017 |
