top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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 : 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 : 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
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 : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / Shuvendu Lahiri, Giles Reger (eds.).
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / Shuvendu Lahiri, Giles Reger (eds.).
Creatore [RV (Conference) (17th : 2017 : Seattle, Wash.)]
Estensione 1 online resource (xix, 432 pages) : illustrations.
Disciplina 005.1/4
Accesso persona Lahiri, Shuvendu, editor
Reger, Giles, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319675312
3319675311
3319675303
9783319675305
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Stream Runtime Monitoring on UAS -- Probabilistic Black-Box Reachability Checking -- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems -- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic -- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles -- Signal Clustering using Temporal Logics -- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs -- Witnessing Network Transformations -- Combining Model Checking and Runtime Verification for Safe Robotics -- Monitoring Hyperproperties -- TeLEx: Passive STL Learning Using Only Positive Examples -- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers -- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems -- Monitoring Partially Synchronous Distributed Systems using SMT Solvers -- Runtime Detection of Temporal Memory Errors -- Control Dependencies in Interpretive Systems -- Monitoring Time Intervals.
Record Nr. NYU-006481188
[RV (Conference) (17th : 2017 : Seattle, Wash.)]  
Materiale a stampa
Lo trovi qui: New York University
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Creatore [RV (Conference) (3rd : 2012 : Istanbul, Turkey)]
Estensione 1 online resource.
Accesso persona Qadeer, Shaz
Tasiran, Serdar
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642356322
364235632X
3642356311
9783642356315
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dynamic Analyses for Data-Race Detection / John Erickson, Stephen Freund, Madanlal Musuvathi -- Symbolic Execution / Cristian Cadar, Koushik Sen -- Dynamic Livelock Analysis of Multi-threaded Programs / Malay K. Ganai -- Scalable Dynamic Partial Order Reduction / Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey -- ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / Jan Fiedor, Tomáš Vojnar -- PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor -- It's the End of the World as We Know It (And I Feel Fine) / Jim R. Larus -- Detecting Unread Memory Using Dynamic Binary Translation / Jon Eyolfson, Patrick Lam -- Sparse Coding for Specification Mining and Error Localization / Wenchao Li, Sanjit A. Seshia -- Sliding between Model Checking and Runtime Verification / Martin Leucker.
Runtime Verification and Enforcement for Android Applications with RV-Droid / Yliès Falcone, Sebastian Currea, Mohamad Jaber -- Temporal Monitors for TinyOS / Doina Bucur -- Real-Time Runtime Verification on Chip / Thomas Reinbacher, Matthias Függer, Jörg Brauer -- BabelTrace: A Collection of Transducers for Trace Validation / Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet -- Quantitative Trace Analysis Using Extended Timing Diagrams / Andreas Richter, Klaus Kabitzsch -- Maximal Causal Models for Sequentially Consistent Systems / Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu -- Monitoring Compliance Policies over Incomplete and Disagreeing Logs / David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu -- Adaptive Runtime Verification / Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka -- Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / Giovanni Vigna -- MapReduce for Parallel Trace Validation of LTL Properties / Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin.
Path-Aware Time-Triggered Runtime Verification / Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister -- Fast-Forward Runtime Monitoring -- An Industrial Case Study / Christian Colombo, Gordon J. Pace -- Runtime Enforcement of Timed Properties / Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand -- Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / Kevin Baldor, Jianwei Niu -- Rewrite-Based Statistical Model Checking of WMTL / Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay -- From Runtime Verification to Runtime Intervention and Adaptation / Martin Rinard -- Certifying Solutions for Numerical Constraints / Eva Darulova, Viktor Kuncak -- Profiling Field Initialisation in Java / Stephen Nelson, David J. Pearce, James Noble -- Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight -- Incremental Runtime Verification of Probabilistic Systems / Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu.
Record Nr. UCHICAGO-11078066
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / Shuvendu Lahiri, Giles Reger (eds.).
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / Shuvendu Lahiri, Giles Reger (eds.).
Creatore [RV (Conference) (17th : 2017 : Seattle, Wash.)]
Estensione 1 online resource (xix, 432 pages) : illustrations.
Accesso persona Lahiri, Shuvendu, editor
Reger, Giles, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319675312
3319675311
9783319675305
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Stream Runtime Monitoring on UAS -- Probabilistic Black-Box Reachability Checking -- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems -- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic -- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles -- Signal Clustering using Temporal Logics -- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs -- Witnessing Network Transformations -- Combining Model Checking and Runtime Verification for Safe Robotics -- Monitoring Hyperproperties -- TeLEx: Passive STL Learning Using Only Positive Examples -- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers -- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems -- Monitoring Partially Synchronous Distributed Systems using SMT Solvers -- Runtime Detection of Temporal Memory Errors -- Control Dependencies in Interpretive Systems -- Monitoring Time Intervals.
Record Nr. UCHICAGO-11361405
[RV (Conference) (17th : 2017 : Seattle, Wash.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
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
Bensalem, Saddek, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642407871
3642407870
3642407862
9783642407864
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper. Executing Specifications Using Synthesis and Constraint Solving / Viktor Kuncak, Etienne Kneuss and Philippe Suter -- Regular Papers. Informative Types and Effects for Hybrid Migration Control / Ana Almeida Matos and Jan Cederquist -- Monitoring of Temporal First-Order Properties with Aggregations / David Basin [and others] -- From Propositional to First-Order Monitoring / Andreas Bauer, Jan-Christoph Küster and Gil Vegliach -- Right-Universality of Visibly Pushdown Automata / Véronique Bruyère, Marc Ducobu and Olivier Gauwin -- Distributed Finite-State Runtime Monitoring with Aggregated Events / Kevin Falzon, Eric Bodden and Rahul Purandare -- Synthesising Correct Concurrent Runtime Monitors / Adrian Francalanza and Aldrin Seychell -- Practical Interruptible Conversations / Raymond Hu [and others] -- Runtime Verification with Particle Filtering / Kenan Kalajdzic [and others] -- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs / Nikolai Kosmatov, Guillaume Petiot and Julien Signoles.
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties / Normann Decker, Martin Leucker and Daniel Thoma -- Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores / Vineeth Mekkat, Anup Holey and Antonia Zhai -- Efficient Model to Query and Visualize the System States Extracted from Trace Data / Alexandre Montplaisir [and others] -- Repair Abstractions for More Efficient Data Structure Repair / Razieh Nokhbeh Zaeem, Muhammad Zubair Malik and Sarfraz Khurshid -- To Run What No One Has Run Before: Executing an Intermediate Verification Language / Nadia Polikarpova, Carlo A. Furia and Scott West -- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations / Chengsong Wang, Zhenbang Chen and Xiaoguang Mao -- A Causality Analysis Framework for Component-Based Real-Time Systems / Shaohui Wang [and others] -- Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques / Chun Wah Wallace Wu [and others].
Short Papers. A Scala DSL for Rete-Based Runtime Verification / Klaus Havelund -- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools / Mickaël Delahaye and Nikolai Kosmatov -- Towards a Generic Non-intrusive Fault Detection Framework / Jukka Julku and Mika Rautila -- A Witnessing Compiler: A Proof of Concept / Kedar S. Namjoshi, Giacomo Tagliabue and Lenore D. Zuck -- Runtime Monitoring of Temporal Logic Properties in a Platform Game / Simon Varvaressos [and others] -- Tool Papers. SMock -- A Test Platform for Monitoring Tools / Christian Colombo, Ruth Mizzi and Gordon J. Pace -- SPY: Local Verification of Global Protocols / Rumyana Neykova, Nobuko Yoshida and Raymond Hu -- Tutorials. Instrumenting Android and Java Applications as Easy as abc / Steven Arzt, Siegfried Rasthofer and Eric Bodden -- On Signal Temporal Logic / Alexandre Donzé -- Runtime Verification and Refutation for Biological Systems / Hillel Kugler -- A Lesson on Runtime Assertion Checking with Frama-C / Nikolai Kosmatov and Julien Signoles -- With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures / Kai Lampka -- Dynamic Analysis and Debugging of Binary Code for Security Applications / Lixin Li and Chao Wang.
Record Nr. NYU-004439168
[RV (Conference) (4th : 2013 : Rennes, France)]  
Materiale a stampa
Lo trovi qui: New York University