Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
    Datensatz exportieren als...
  • BibTeX
Neural Predictive Monitoring
Runtime Verification, 2019, Vol.11757, p.129-147
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
Runtime Verification, 2019, Vol.11757, p.27-47
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Runtime Enforcement of Timed Properties
Runtime Verification, 2019, Vol.11757, p.48-69
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Assumption-Based Runtime Verification with Partial Observability and Resets
Runtime Verification, 2019, Vol.11757, p.165-184
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
Runtime Verification, 2019, Vol.11757, p.349-367
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Decentralized Stream Runtime Verification
Runtime Verification, 2019, Vol.11757, p.185-201
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Runtime Verification for Timed Event Streams with Partial Information
Runtime Verification, 2019, Vol.11757, p.273-291
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Timescales: A Benchmark Generator for MTL Monitoring Tools
Runtime Verification, 2019, Vol.11757, p.402-412
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Shape Expressions for Specifying and Extracting Signal Features
Runtime Verification, 2019, Vol.11757, p.292-309
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Explaining Violations of Properties in Control-Flow Temporal Logic
Runtime Verification, 2019, Vol.11757, p.202-220
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algorithms for Monitoring Hyperproperties
Runtime Verification, 2019, Vol.11757, p.70-90
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Runtime Verification, 2019, Vol.11757, p.329-348
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
NuRV: A nuXmv Extension for Runtime Verification
Runtime Verification, 2019, Vol.11757, p.382-392
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Introspective Environment Modeling
Runtime Verification, 2019, Vol.11757, p.15-26
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation
Runtime Verification, 2019, Vol.11757, p.221-238
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Accelerated Learning of Predictive Runtime Monitors for Rare Failure
Runtime Verification, 2019, Vol.11757, p.111-128
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reactive Control Meets Runtime Verification: A Case Study of Navigation
Runtime Verification, 2019, Vol.11757, p.368-374
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Stream-Based Monitors for Real-Time Properties
Runtime Verification, 2019, Vol.11757, p.91-110
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Overhead-Aware Deployment of Runtime Monitors
Runtime Verification, 2019, Vol.11757, p.375-381
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Monitorability over Unreliable Channels
Runtime Verification, 2019, Vol.11757, p.256-272
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Retrospective Look at the Monitoring and Checking (MaC) Framework
Runtime Verification, 2019, Vol.11757, p.1-14
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Automatic Conformance Testing of Web Services
Fundamental Approaches to Software Engineering, 2005, p.34-48
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Extension of LTL with Rules and Its Application to Runtime Verification
Runtime Verification, 2019, Vol.11757, p.239-255
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Comparing Controlled System Synthesis and Suppression Enforcement
Runtime Verification, 2019, Vol.11757, p.148-164
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity
Runtime Verification, 2019, Vol.11757, p.393-401
2019
Volltextzugriff (PDF)
1 – 25 von 206
Suche als RSS-Feed
Aktive Filter
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen