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 : 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