| Ortac: Runtime Assertion Checking for OCaml (Tool Paper)
|
2021 |
Filliâtre, Jean-Christophe |
| Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs
|
2021 |
Dawes, Joshua Heneage |
| Into the Unknown: Active Monitoring of Neural Networks
|
2021 |
Lukina, Anna |
| On the Specification and Monitoring of Timed Normative Systems
|
2021 |
Azzopardi, Shaun |
| Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs
|
2021 |
Fernando, Vimuth |
| Parallel and Multi-objective Falsification with SCENIC and VERIFAL
|
2021 |
Viswanadha, Kesav |
| Specification and Runtime Verification of Temporal Assessments in Simulink
|
2021 |
Rajhans, Akshay |
| A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection
|
2021 |
Shin, Donghwan |
| Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance
|
2021 |
Torfah, Hazem |
| Predicate Monitoring in Distributed Cyber-Physical Systems
|
2021 |
Momtaz, Anik |
| Monitoring with Verified Guarantees
|
2021 |
Dauer, Johann C. |
| A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals
|
2021 |
Mamouras, Konstantinos |
| Nested Monitors: Monitors as Expressions to Build Monitors
|
2021 |
Gorostiaga, Felipe |
| Assumption-Based Runtime Verification of Infinite-State Systems
|
2021 |
Cimatti, Alessandro |
| Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks
|
2021 |
Hashemi, Vahid |
| Neural Predictive Monitoring Under Partial Observability
|
2021 |
Cairoli, Francesca |
| Efficient Black-Box Checking via Model Checking with Strengthened Specifications
|
2021 |
Shijubo, Junya |
| Differential Monitoring
|
2021 |
Muehlboeck, Fabian |
| PerceMon: Online Monitoring for Perception Systems.
|
2021 |
Balakrishnan, Anand |
Tag hinzufügen