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 : 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.
Accesso convegno RV (Conference)
ISBN 9783319111643 (electronic bk.)
3319111647 (electronic bk.)
9783319111636
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-6720543
[RV (Conference) (5th : 2014 : Toronto, Ontario)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Runtime verification [electronic resource] : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Runtime verification [electronic resource] : 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.
Disciplina 005.1/4
Accesso persona Qadeer, Shaz
Tasiran, Serdar
Accesso convegno RV (Conference)
ISBN 9783642356322 (electronic bk.)
364235632X (electronic bk.)
9783642356315
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-6044517
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Runtime verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
Runtime verification [electronic resource] : 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
Genere/Forma Electronic books
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 (electronic bk.)
3642407870 (electronic bk.)
3642407862 (print)
9783642407864 (print)
9783642407864
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960998233503681
[RV (Conference) (4th : 2013 : Rennes, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
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 Electronic books
Conference papers and proceedings
Ebook
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-004664238
[RV (Conference) (4th : 2013 : Rennes, France)]  
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
Bensalem, Saddek, editor
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. STANFORD-a10261239
[RV (Conference) (4th : 2013 : Rennes, France)]  
Materiale a stampa
Lo trovi qui: Stanford University
Runtime verification [electronic resource] : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Runtime verification [electronic resource] : 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.
Disciplina 005.1/4
Accesso persona Qadeer, Shaz
Tasiran, Serdar
Genere/Forma Electronic books
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 (electronic bk.)
364235632X (electronic bk.)
3642356311 (print)
9783642356315 (print)
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. UPENN-9960103703503681
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings / Yliès Falcone, César Sánchez (eds.).
Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings / Yliès Falcone, César Sánchez (eds.).
Creatore [RV (Conference) (16th : 2016 : Madrid, Spain)]
Estensione 1 online resource (xxi, 512 pages) : illustrations.
Disciplina 005.1/4
Accesso persona Falcone, Yliès, editor
Sánchez, César, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319469829
3319469827
3319469819
9783319469812
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Building Dependable Concurrent Systems through Probabilistic Inference, Predictive Monitoring and Self-Adaptation -- Some Thoughts on Runtime Verification -- Why Tags Could be It -- First International Summer School on Runtime Verifications- Third International Competition on Runtime Verification -- Runtime Verification for HyperLTL -- Runtime Verification at Work: A Startup Perspective -- When RV Meets CEP -- Frama-C, a Collaborative Framework for C Code Verification -- Using Genetic Programming for Software Reliability -- Predicting Space Requirements for a Stream Monitor Specification Language -- A Stream-based Specification Language for Network Monitoring -- On the Complexity of Monitoring Orchids Signatures -- Input Attribution for Statistical Model Checking using Logistic Regression -- Quantitative Monitoring of STL with Edit Distance -- Extended Code Coverage for AspectJ-based Runtime Verification Tools -- Nfer -- A Logic and Infrastructure for Inferring Event Stream Properties -- Accelerated Runtime Verification of LTL Specifications with Counting Semantics -- Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace -- An Automata-based Approach to Evolving Privacy Policies for Social Networks -- TrackOS: A Security-Aware Real-Time Operating System: Leveraging DTrace for Runtime Verification -- Finite-Trace Linear Temporal Logic: Coinductive Completeness -- Wireless Protocol Validation Under Uncertainty -- Dynamic Determinacy Race Detection for Task Parallelism with Futures -- Runtime monitoring for concurrent systems -- Decision-Theoretic Monitoring of Cyber-Physical Systems -- Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems -- Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression -- Reactive Property Monitoring of Hybrid Systems with Aggregation -- Integration of Runtime Verification into Metamodeling for Simulation and Code Generation -- Applying Runtime Monitoring for Automotive Electronic Development -- A Monitoring Tool for a Branching-Time Logic -- SMEDL: Combining Synchronous and Asynchronous Monitoring -- Runtime Visualization and Verification in JIVE -- An Overview of MarQ -- Runtime Analysis with R2U2: A Tool Exhibition Report.
Record Nr. NYU-006480601
[RV (Conference) (16th : 2016 : Madrid, Spain)]  
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-
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642166129
3642166121
9783642166112
3642166113
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004366396
[RV (Conference) (1st : 2010 : San Ġiljan, Malta)]  
Materiale a stampa
Lo trovi qui: New York University
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-004622896
[RV (Conference) (2nd : 2011 : San Francisco, Calif.)]  
Materiale a stampa
Lo trovi qui: New York 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-006959762
[RV (Conference) (19th : 2019 : Porto, Portugal)]  
Materiale a stampa
Lo trovi qui: New York University