Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / Sarfraz Khurshid, Koushik Sen (eds.).
| Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / Sarfraz Khurshid, Koushik Sen (eds.). |
| Creatore | [RV (Conference) (2nd : 2011 : San Francisco, Calif.)] |
| Estensione | 1 online resource (xii, 458 pages). |
| Disciplina | 005.1/4 |
| Accesso persona |
Khurshid, Sarfraz
Sen, Koushik |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Software engineering Computer software Logic design Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN |
9783642298608
3642298605 3642298591 9783642298592 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Internal versus External DSLs for Trace Analysis / (Extended Abstract) / Howard Barringer and Klaus Havelund -- Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables / Chao Wang and Malay Ganai -- Runtime Monitoring of Time-Sensitive Systems / [Tutorial Supplement] / Borzoo Bonakdarpour and Sebastian Fischmeister -- Teaching Runtime Verification / Martin Leucker -- Runtime Verification: A Computer Architecture Perspective / Sharad Malik -- Isolating Determinism in Multi-threaded Programs / Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan -- Efficiency Optimizations for Implementations of Deadlock Immunity / Horatiu Jula, Silviu Andrica and George Candea -- Permission Regions for Race-Free Parallelism / Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar -- Dynamic Race Detection with LLVM Compiler / Compile-Time Instrumentation for ThreadSanitizer / Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitriy Vyukov -- NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows / Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristian Pop -- Runtime Verification of LTL-Based Declarative Process Models / Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M.P. van der Aalst -- Parametric Identification of Temporal Properties / Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic.
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs / William N. Sumner, Christian Hammer and Julian Dolby -- Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software / Bohuslav Křena, Zdeněk Letko and Tomáš Vojnar -- Runtime Verification with State Estimation / Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu and Klaus Havelund, et al. -- Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification / Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister -- CoMA: Conformance Monitoring of Java Programs by Abstract State Machines / Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene -- Automated Test-Trace Inspection for Microcontroller Binary Code / Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski -- What Is My Program Doing? Program Dynamics in Programmer's Terms / Steven P. Reiss and Alexander Tarvo -- Algorithms for Monitoring Real-Time Properties / David Basin, Felix Klaedtke and Eugen Zălinescu -- Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State / A. Prasad Sistla, Miloš Žefran and Yao Feng -- Combining Time and Frequency Domain Specifications for Periodic Signals / Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos -- Runtime Verification for Ultra-Critical Systems / Lee Pike, Sebastian Niller and Nis Wegmann. Runtime Verification of Data-Centric Properties in Service Based Systems / Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao and Hua Zhong, et al. -- Cooperative Concurrency for a Multicore World / (Extended Abstract) / Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund and Cormac Flanagan -- Monitoring Data Structures Using Hardware Transactional Memory / Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu -- MONPOLY: Monitoring Usage-Control Policies / David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zălinescu -- MOPBox: A Library Approach to Runtime Verification (Tool Demonstration) / Eric Bodden -- Elarva: A Monitoring Tool for Erlang / Christian Colombo, Adrian Francalanza and Rudolph Gatt -- DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking / Jan Fiedor, Vendula Hrubá, Bohuslav Křena and Tomáš Vojnar -- Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths / Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum -- Unbounded Symbolic Execution for Program Verification / Joxan Jaffar, Jorge A. Navas and Andrew E. Santosa -- Execution Trace Exploration and Analysis Using Ontologies / Newres Al Haider, Benoit Gaudin and John Murphy -- Monitoring Realizability / Rüdiger Ehlers and Bernd Finkbeiner -- Runtime Verification of Traces under Recording Uncertainty / Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee.₉ |
| Record Nr. | NYU-004375279 |
[RV (Conference) (2nd : 2011 : San Francisco, Calif.)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / Borzoo Bonakdarpour, Scott A. Smolka (eds.).
| Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / Borzoo Bonakdarpour, Scott A. Smolka (eds.). |
| Creatore | [RV (Conference) (5th : 2014 : Toronto, Ontario)] |
| Estensione | 1 online resource (xviii, 358 pages) : illustrations. |
| Disciplina | 005.1/4 |
| Accesso persona |
Bonakdarpour, Borzoo, editor
Smolka, Scott A., editor. |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783319111643
3319111647 9783319111636 3319111639 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | First International Competition on Software for Runtime Verification -- Monitoring and Trace Slicing -- Multiple Ways to Fail: Generalizing a Monitor{u2019}s Verdict for the Classification of Execution Traces -- Scalable Offline Monitoring -- Monitoring Systems with Extended Live Sequence Charts -- Foundations of Boolean Stream Runtime Verification -- Portable Runtime Verification with Smartphones and Optical Codes -- Robust Consistency Checking for Modern Filesystems -- Runtime Verification of Distributed and Concurrent Systems -- On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems -- Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems -- Speculative Program Parallelization with Scalable and Decentralized Runtime Verification -- Organising LTL Monitors over Distributed Systems with a Global Clock -- Dynamic Verification for Hybrid Concurrent Programming Models -- Abstraction and Mining of Traces to Explain Concurrency Bugs -- Runtime Verification of Real-Time and Embedded Systems -- Online Monitoring of Metric Temporal Logic -- On Real-Time Monitoring with Imprecise Timestamps -- ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models -- Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems -- On-Line Monitoring for Temporal Logic Robustness -- ROSRV: Runtime Verification for Robots -- Testing and Bug Finding -- Symbolic Execution Debugger (SED) -- Checking Data Structure Properties Orders of Magnitude Faster -- Dynamic Test Generation with Static Fields and Initializers -- RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties -- Inference and Learning -- Improving Dynamic Inference with Variable Dependence Graph -- The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning -- Lazy Symbolic Execution for Enhanced Learning -- Faster Statistical Model Checking by Means of Abstraction and Learning. |
| Record Nr. | NYU-004449898 |
|
[RV (Conference) (5th : 2014 : Toronto, Ontario)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).
| Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.). |
| Creatore | [RV (Conference) (6th : 2015 : Vienna, Austria)] |
| Estensione | 1 online resource (xiv, 396 pages) : illustrations. |
| Disciplina | 005.1/4 |
| Accesso persona |
Bartocci, Ezio (Computer scientist), editor
Majumdar, Rupak, editor |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783319238203
3319238205 3319238191 9783319238197 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers -- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System -- Monitoring Electronic Exams -- Monitoring Real Android Malware -- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining -- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to Parametric Trace Slicing -- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems -- A Hybrid Approach to Causality Analysis -- Short Papers -- Statistical Model Checking of Distributed Adaptive Real-Time Software -- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources -- Runtime Verification for Hybrid Analysis Tools -- Suggesting Edits to Explain Failing Traces -- Tool Papers -- StaRVOOrS -- A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in Statistical Model Checking and System Design -- Tutorial -- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial -- LearnLib Tutorial -- An Open Source Java Library for Active Automata Learning -- Monitoring and Measuring Hybrid Behaviors -- A Tutorial -- Software Competitions -- Second International Competition on Runtime Verification CRV 2015 -- Rigorous Examination of Reactive Systems: The RERS challenge 2015. |
| Record Nr. | NYU-006492082 |
|
[RV (Conference) (6th : 2015 : Vienna, Austria)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
| Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.). |
| Creatore | [RV (Conference) (4th : 2013 : Rennes, France)] |
| Estensione | 1 online resource (xvii, 426 pages) |
| Disciplina | 005.1/4 |
| Accesso persona |
Legay, Axel, editor of compilation
Bensalem, Saddek, editor of compilation |
| Accesso convegno | RV (Conference) |
| ISBN |
9783642407871 (electronic bk.)
3642407870 (electronic bk.) 3642407862 (print) 9783642407864 (print) 9783642407864 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UALBERTA-6301432 |
|
[RV (Conference) (4th : 2013 : Rennes, France)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Alberta / NEOS Library Consortium | |
Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).
| Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.). |
| Creatore | [RV (Conference) (6th : 2015 : Vienna, Austria)] |
| Estensione | 1 online resource (xiv, 396 pages) : illustrations. |
| Accesso persona |
Bartocci, Ezio (Computer scientist), editor
Majumdar, Rupak, editor |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783319238203
3319238205 3319238191 9783319238197 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers -- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System -- Monitoring Electronic Exams -- Monitoring Real Android Malware -- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining -- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to Parametric Trace Slicing -- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems -- A Hybrid Approach to Causality Analysis -- Short Papers -- Statistical Model Checking of Distributed Adaptive Real-Time Software -- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources -- Runtime Verification for Hybrid Analysis Tools -- Suggesting Edits to Explain Failing Traces -- Tool Papers -- StaRVOOrS -- A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in Statistical Model Checking and System Design -- Tutorial -- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial -- LearnLib Tutorial -- An Open Source Java Library for Active Automata Learning -- Monitoring and Measuring Hybrid Behaviors -- A Tutorial -- Software Competitions -- Second International Competition on Runtime Verification CRV 2015 -- Rigorous Examination of Reactive Systems: The RERS challenge 2015. |
| Record Nr. | UCHICAGO-11096145 |
|
[RV (Conference) (6th : 2015 : Vienna, Austria)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / Christian Colombo, Martin Leucker (eds.).
| Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / Christian Colombo, Martin Leucker (eds.). |
| Creatore | [RV (Conference) (18th : 2018 : Limassol, Cyprus)] |
| Estensione | 1 online resource (xi, 470 pages) : illustrations (some color). |
| Disciplina | 005.1/4 |
| Accesso persona |
Colombo, Christian, editor
Leucker, Martin, editor |
| ISBN |
9783030037697
303003769X 9783030037680 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UALBERTA-8404094 |
|
[RV (Conference) (18th : 2018 : Limassol, Cyprus)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Alberta / NEOS Library Consortium | |
Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.).
| Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.). |
| Creatore | [RV (Conference) (1st : 2010 : San Ġiljan, Malta)] |
| Estensione | 1 online resource (xiii, 492 pages) : illustrations. |
| Disciplina | 005.1/4 |
| Accesso persona | Barringer, Howard, 1951- |
| ISBN |
9783642166129
3642166121 9783642166112 3642166113 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET: Runtime Verification and So Much More -- Visual Debugging for Stream Processing Applications -- Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? -- Contracts for Scala -- Runtime Analysis and Instrumentation for Securing Software -- Tutorials -- Run-Time Verification of Networked Software -- Clara: Partially Evaluating Runtime Monitors at Compile Time -- You Should Better Enforce Than Verify -- Runtime Verification for the Web -- Statistical Model Checking: An Overview -- Runtime Verification with the RV System -- Regular and Short Papers -- A Meta-Aspect Protocol for Developing Dynamic Analyses -- Behavior Abstraction in Malware Analysis -- Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time -- Checking the Correspondence between UML Models and Implementation -- Compensation-Aware Runtime Monitoring -- Recovery Tasks: An Automated Approach to Failure Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs -- Causality Analysis in Contract Violation -- Reducing Configurations to Monitor in a Software Product Line -- Runtime Instrumentation for Precise Flow-Sensitive Type Analysis -- Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects -- Verification of an AFDX Infrastructure Using Simulations and Probabilities -- Copilot: A Hard Real-Time Runtime Monitor -- StealthWorks: Emulating Memory Errors -- Efficient Data Race Detection for Async-Finish Parallelism -- Run-Time Verification of Optimistic Concurrency -- Who Guards the Guardians? — Toward V&V of Health Management Software -- Aspect-Oriented Instrumentation with GCC -- Runtime Verification for Software Transactional Memories -- Optimized Temporal Monitors for SystemC -- Runtime Verification of Stochastic, Faulty Systems -- Low-Overhead Bug Fingerprinting for Fast Debugging -- Tool Demonstrations -- ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems -- A Tool Which Mines Partial Execution Traces to Improve Static Analysis -- LarvaStat: Monitoring of Statistical Properties -- WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. |
| Record Nr. | STANFORD-a9115074 |
|
[RV (Conference) (1st : 2010 : San Ġiljan, Malta)]
|
|
| Materiale a stampa | |
| Lo trovi qui: Stanford University | |
Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bernd Finkbeiner, Leonardo Mariani (eds.).
| Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bernd Finkbeiner, Leonardo Mariani (eds.). |
| Creatore | [RV (Conference) (19th : 2019 : Porto, Portugal)] |
| Estensione | 1 online resource (x, 413 pages) : illustrations (some color) |
| Disciplina | 005.1/4 |
| Accesso persona |
Finkbeiner, Bernd, editor
Mariani, Leonardo, editor |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783030320799
3030320790 9783030320782 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro; Preface; Organization; Contents; A Retrospective Look at the Monitoring and Checking (MaC) Framework; 1 Introduction; 2 MaC Design Highlights; 2.1 Specification Languages and Their Semantics; 2.2 Tool Architecture; 2.3 Response; 3 Lessons Learned; 3.1 Reflections on MaC Design Decisions; 3.2 Applications of Runtime Verification in Safety-Critical Systems; References; Introspective Environment Modeling; 1 Introduction; 2 Introspective Environment Modeling: The Idea; 2.1 Problem Setup; 2.2 Illustrative Example; 2.3 Formalization; 3 IEM for Synthesis from Temporal Logic; 3.1 Example
3.2 IEM for LTL Synthesis3.3 Results; 4 Conclusion; References; Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo; 1 Introduction; 2 Systems and Signals; 2.1 Input Signals; 2.2 Automotive Transmission (AT); 3 Metric Temporal Logic; 3.1 Parametric Metric Temporal Logic; 4 Robustness of Metric Temporal Logic Formulas; 5 Falsification with S-TaLiRo; 5.1 Falsification with the Hybrid Distance; 6 Parameter Mining; 6.1 Monotonicity of Parametric MTL; 6.2 Robustness-Guided Parameter Mining; 7 Runtime Monitoring 8 Future Directions9 Conclusions; References; On the Runtime Enforcement of Timed Properties; 1 Principles and Concepts in Runtime Enforcement; 1.1 Specification; 1.2 Trace; 1.3 Enforcement Mechanism; 1.4 Deployment; 1.5 Enforceability; 1.6 Application Domains; 2 Real-Time Systems and Specifications with Time Constraints; 2.1 Preliminaries and Notations; 2.2 Timed Automata; 2.3 Partitioning the States of a Timed Automaton; 2.4 Classification of Timed Properties; 3 Overview of RE Approaches for Timed Properties; 4 A Framework for the Runtime Enforcement of Timed Properties; 4.1 Overview 4.2 Intuition on an Example5 Tool Implementations; 6 Open Challenges and Avenues for Future Work; References; Algorithms for Monitoring Hyperproperties; 1 Introduction; 2 Related Work; 3 Preliminaries; 3.1 Logics for Hyperproperties; 3.2 HyperLTL; 3.3 Finite Trace Semantics; 3.4 Monitorability of HyperLTL Specifications; 4 Algorithms for Monitoring Hyperproperties; 4.1 Combinatorial Approaches; 4.2 Constraint-Based Approaches; 5 Optimizations; 5.1 Specification Analysis; 5.2 Trace Analysis; 5.3 Tree Maintaining Formulas and Conjunct Splitting; 6 Experimental Results; 7 Conclusion; References Stream-Based Monitors for Real-Time Properties1 Introduction; 2 Stream Specification Languages; 2.1 A Classification of Stream Specification Languages; 2.2 Memory Analysis; 3 Parameterized Stream Specifications; 4 Embedding Real-Time Logics in RTLola Using Parameterized Specifications; 5 Bibliographic Remarks; 6 Conclusion; References; Accelerated Learning of Predictive Runtime Monitors for Rare Failure; 1 Introduction; 2 Preliminaries; 3 Importance Sampling; 4 Running Example; 5 Training on Rare-Event Samples; 5.1 Generating Rare-Event Samples from an IS Distribution |
| Record Nr. | NYU-006912294 |
|
[RV (Conference) (19th : 2019 : Porto, Portugal)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).
| Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.). |
| Creatore | [RV (Conference) (6th : 2015 : Vienna, Austria)] |
| Estensione | 1 online resource (xiv, 396 pages) : illustrations. |
| Disciplina | 005.1/4 |
| Accesso persona |
Bartocci, Ezio (Computer scientist), editor
Majumdar, Rupak, editor |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| ISBN |
9783319238203
3319238205 9783319238197 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers -- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System -- Monitoring Electronic Exams -- Monitoring Real Android Malware -- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining -- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to Parametric Trace Slicing -- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems -- A Hybrid Approach to Causality Analysis -- Short Papers -- Statistical Model Checking of Distributed Adaptive Real-Time Software -- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources -- Runtime Verification for Hybrid Analysis Tools -- Suggesting Edits to Explain Failing Traces -- Tool Papers -- StaRVOOrS -- A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in Statistical Model Checking and System Design -- Tutorial -- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial -- LearnLib Tutorial -- An Open Source Java Library for Active Automata Learning -- Monitoring and Measuring Hybrid Behaviors -- A Tutorial -- Software Competitions -- Second International Competition on Runtime Verification CRV 2015 -- Rigorous Examination of Reactive Systems: The RERS challenge 2015. |
| Record Nr. | NYU-004457341 |
|
[RV (Conference) (6th : 2015 : Vienna, Austria)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.).
| Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.). |
| Creatore | [RV (Conference) (1st : 2010 : San Ġiljan, Malta)] |
| Estensione | 1 online resource (xiii, 492 pages) : illustrations. |
| Disciplina | 005.1/4 |
| Accesso persona | Barringer, Howard, 1951- |
| ISBN |
9783642166129
3642166121 9783642166112 3642166113 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UALBERTA-7960786 |
|
[RV (Conference) (1st : 2010 : San Ġiljan, Malta)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Alberta / NEOS Library Consortium | |
