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 : 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.
Disciplina 005.1/4
Accesso persona Qadeer, Shaz
Tasiran, Serdar
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 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. NYU-004390118
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
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.
Disciplina 005.1/4
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. NYU-004626684
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
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).
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. UCHICAGO-11080751
[RV (Conference) (4th : 2013 : Rennes, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago
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 Conference papers and proceedings
ISBN 9783319238203
3319238205
9783319238197
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7164830
[RV (Conference) (6th : 2015 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
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'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
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces1 Introduction; 2 Traces and Temporal Specifications; 3 Natural Generalizations of κ; 4 Conclusion and Future Work; References; Two Generalisations of Ro¸su and Chen's Trace Slicing Algorithm A; 1 Introduction; 1.1 Fixed-Priority Scheduling; 1.2 Overview of the Paper; 2 Algorithm A Revisited; 2.1 Partial Orders and Upper Semilattices; 2.2 Partial Functions; 2.3 Traces and Slices; 2.4 The Algorithm; 3 Combining Multiple Activity Streams into One Slice; 3.1 Events and Event Patterns
Record Nr. NYU-006579618
[RV (Conference) (5th : 2014 : Toronto, Ontario)]  
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
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.
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. UCHICAGO-11087896
[RV (Conference) (5th : 2014 : Toronto, Ontario)]  
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.
Disciplina 005.1/4
Accesso persona Lahiri, Shuvendu, editor
Reger, Giles, editor
Genere/Forma Conference papers and proceedings
ISBN 9783319675312
3319675311
9783319675305
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-8063274
[RV (Conference) (17th : 2017 : Seattle, Wash.)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
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.
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. UCHICAGO-11267308
[RV (Conference) (16th : 2016 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
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.
Disciplina 005.1/4
Accesso persona Qadeer, Shaz
Tasiran, Serdar
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. STANFORD-a10092307
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: Stanford University