| Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks
|
2022 |
Usman, Muhammad |
| Optimizing Prestate Copies in Runtime Verification of Function Postconditions
|
2022 |
Filliâtre, Jean-Christophe |
| Lock Contention Performance Classification for Java Intrinsic Locks
|
2022 |
Khan, Nahid Hasan |
| Automating Numerical Parameters Along the Evolution of a Nonlinear System
|
2022 |
Geretti, Luca |
| AspecTSoL: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
|
2022 |
Azzopardi, Shaun |
| A Python Library for Trace Analysis
|
2022 |
Dams, Dennis |
| TestSelector: Automatic Test Suite Selection for Student Projects
|
2022 |
Marques, Filipe |
| TeSSLa — An Ecosystem for Runtime Verification
|
2022 |
Kallwies, Hannes |
| Randomized First-Order Monitoring with Hashing
|
2022 |
Schneider, Joshua |
| Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring
|
2022 |
Gupta, Gaurav |
| Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables
|
2022 |
Munive, Jonathan Julián Huerta y |
| A Barrier Certificate-Based Simplex Architecture with Application to Microgrids
|
2022 |
Damare, Amol |
| Transaction Monitoring of Smart Contracts
|
2022 |
Capretto, Margarita |
| Tainting in Smart Contracts: Combining Static and Runtime Verification
|
2022 |
Azzopardi, Shaun |
| Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
|
2022 |
Kallwies, Hannes |
| Runtime Verification of Kotlin Coroutines
|
2022 |
Furian, Denis |
| Towards Specificationless Monitoring of Provenance-Emitting Systems
|
2022 |
Stoffers, Martin |
| Real-Time Visualization of Stream-Based Monitoring Data
|
2022 |
Baumeister, Jan |
| Optimal Finite-State Monitoring of Partial Traces
|
2022 |
Kushwaha, Peeyush |
| Abstract Monitors for Quantitative Specifications
|
2022 |
Henzinger, Thomas A. |
Tag hinzufügen