Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Runtime verification : 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 : 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 | |
