Articles liés à Runtime Verification: 19th International Conference,...

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Couverture souple

 
9783030320805: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

A Retrospective Look at the Monitoring and Checking (MaC) Framework.- Introspective Environment Modeling.- Robustness of Specifications and its applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.- On the Runtime Enforcement of Timed Properties.- Algorithms for Monitoring Hyperproperties.- Stream-based Monitors for Real-time Properties.- Accelerated Learning of Predictive Runtime Monitors for Rare Failure.- Neural Predictive Monitoring.- Comparing Controlled System Synthesis and Suppression Enforcement.- Assumption-Based Runtime Verification with Partial Observability and Resets.- Decentralized Stream Runtime Verification.- Explaining Violations of Properties in Control-Flow Temporal Logic.- FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation.- An Extension of LTL with Rules and its Application to Runtime Verification.- Monitorability Over Unreliable Channels.- Runtime Verification For Timed Event Streams With Partial Information.- Shape Expressions for Specifying and Extracting Signal Features.- A Formally Verified Monitor for Metric First-Order Temporal Logic.- Efficient Detection and Quantification of Timing Leaks with Neural Networks.- Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.- Reactive Control Meets Runtime Verification: A Case Study of Navigation.- Overhead-aware deployment of runtime monitors.- NuRV: a nuXmv Extension for Runtime Verification.- AllenRV: an extensible monitor for multiple complex specifications with high reactivity.- Timescales: A Benchmark Generator for Metric Temporal Logic.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783030320782: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Edition présentée

ISBN 10 :  3030320782 ISBN 13 :  9783030320782
Editeur : Springer, 2019
Couverture souple