Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
RV 2011
Sarfraz Khurshid, Koushik Sen (eds.).
- Berlin ; New York : Springer, ©2012.
- 1 online resource (xii, 458 pages)
- Lecture notes in computer science, 7186 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering .
- Lecture notes in computer science ; 7186. LNCS sublibrary. SL 2, Programming and software engineering. .
Includes bibliographical references and author index.
Internal versus External DSLs for Trace Analysis / Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables / Runtime Monitoring of Time-Sensitive Systems / Teaching Runtime Verification / Runtime Verification: A Computer Architecture Perspective / Isolating Determinism in Multi-threaded Programs / Efficiency Optimizations for Implementations of Deadlock Immunity / Permission Regions for Race-Free Parallelism / Dynamic Race Detection with LLVM Compiler / NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows / Runtime Verification of LTL-Based Declarative Process Models / Parametric Identification of Temporal Properties / (Extended Abstract) / Howard Barringer and Klaus Havelund -- Chao Wang and Malay Ganai -- [Tutorial Supplement] / Borzoo Bonakdarpour and Sebastian Fischmeister -- Martin Leucker -- Sharad Malik -- Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan -- Horatiu Jula, Silviu Andrica and George Candea -- Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar -- Compile-Time Instrumentation for ThreadSanitizer / Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitriy Vyukov -- Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristian Pop -- Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M.P. van der Aalst -- Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic. Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs / Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software / Runtime Verification with State Estimation / Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification / CoMA: Conformance Monitoring of Java Programs by Abstract State Machines / Automated Test-Trace Inspection for Microcontroller Binary Code / What Is My Program Doing? Program Dynamics in Programmer's Terms / Algorithms for Monitoring Real-Time Properties / Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State / Combining Time and Frequency Domain Specifications for Periodic Signals / Runtime Verification for Ultra-Critical Systems / William N. Sumner, Christian Hammer and Julian Dolby -- Bohuslav Křena, Zdeněk Letko and Tomáš Vojnar -- Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu and Klaus Havelund, et al. -- Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister -- Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene -- Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski -- Steven P. Reiss and Alexander Tarvo -- David Basin, Felix Klaedtke and Eugen Zălinescu -- A. Prasad Sistla, Miloš Žefran and Yao Feng -- Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos -- Lee Pike, Sebastian Niller and Nis Wegmann. Runtime Verification of Data-Centric Properties in Service Based Systems / Cooperative Concurrency for a Multicore World / Monitoring Data Structures Using Hardware Transactional Memory / MONPOLY: Monitoring Usage-Control Policies / MOPBox: A Library Approach to Runtime Verification (Tool Demonstration) / Elarva: A Monitoring Tool for Erlang / DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking / Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths / Unbounded Symbolic Execution for Program Verification / Execution Trace Exploration and Analysis Using Ontologies / Monitoring Realizability / Runtime Verification of Traces under Recording Uncertainty / Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao and Hua Zhong, et al. -- (Extended Abstract) / Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund and Cormac Flanagan -- Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu -- David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zălinescu -- Eric Bodden -- Christian Colombo, Adrian Francalanza and Rudolph Gatt -- Jan Fiedor, Vendula Hrubá, Bohuslav Křena and Tomáš Vojnar -- Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum -- Joxan Jaffar, Jorge A. Navas and Andrew E. Santosa -- Newres Al Haider, Benoit Gaudin and John Murphy -- Rüdiger Ehlers and Bernd Finkbeiner -- Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee.₉
Annotation This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.
9783642298608 3642298605 3642298591 9783642298592
10.1007/978-3-642-29860-8 doi
016092537 Uk
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
Logiciels--Vérification--Congrès.
Méthodes formelles (Informatique)--Congrès.
Informatique.
Computer software--Testing
Computer software--Verification
Formal methods (Computer science)
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. algoritmen algorithms computeranalyse computer analysis wiskunde mathematics logica logic computerwetenschappen computer sciences programmeertalen programming languages programmeren programming Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Conference papers and proceedings
Software.
QA76.76.V47 / R8 2011
005.1/4
Includes bibliographical references and author index.
Internal versus External DSLs for Trace Analysis / Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables / Runtime Monitoring of Time-Sensitive Systems / Teaching Runtime Verification / Runtime Verification: A Computer Architecture Perspective / Isolating Determinism in Multi-threaded Programs / Efficiency Optimizations for Implementations of Deadlock Immunity / Permission Regions for Race-Free Parallelism / Dynamic Race Detection with LLVM Compiler / NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows / Runtime Verification of LTL-Based Declarative Process Models / Parametric Identification of Temporal Properties / (Extended Abstract) / Howard Barringer and Klaus Havelund -- Chao Wang and Malay Ganai -- [Tutorial Supplement] / Borzoo Bonakdarpour and Sebastian Fischmeister -- Martin Leucker -- Sharad Malik -- Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan -- Horatiu Jula, Silviu Andrica and George Candea -- Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar -- Compile-Time Instrumentation for ThreadSanitizer / Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitriy Vyukov -- Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristian Pop -- Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M.P. van der Aalst -- Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic. Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs / Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software / Runtime Verification with State Estimation / Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification / CoMA: Conformance Monitoring of Java Programs by Abstract State Machines / Automated Test-Trace Inspection for Microcontroller Binary Code / What Is My Program Doing? Program Dynamics in Programmer's Terms / Algorithms for Monitoring Real-Time Properties / Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State / Combining Time and Frequency Domain Specifications for Periodic Signals / Runtime Verification for Ultra-Critical Systems / William N. Sumner, Christian Hammer and Julian Dolby -- Bohuslav Křena, Zdeněk Letko and Tomáš Vojnar -- Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu and Klaus Havelund, et al. -- Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister -- Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene -- Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski -- Steven P. Reiss and Alexander Tarvo -- David Basin, Felix Klaedtke and Eugen Zălinescu -- A. Prasad Sistla, Miloš Žefran and Yao Feng -- Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos -- Lee Pike, Sebastian Niller and Nis Wegmann. Runtime Verification of Data-Centric Properties in Service Based Systems / Cooperative Concurrency for a Multicore World / Monitoring Data Structures Using Hardware Transactional Memory / MONPOLY: Monitoring Usage-Control Policies / MOPBox: A Library Approach to Runtime Verification (Tool Demonstration) / Elarva: A Monitoring Tool for Erlang / DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking / Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths / Unbounded Symbolic Execution for Program Verification / Execution Trace Exploration and Analysis Using Ontologies / Monitoring Realizability / Runtime Verification of Traces under Recording Uncertainty / Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao and Hua Zhong, et al. -- (Extended Abstract) / Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund and Cormac Flanagan -- Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu -- David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zălinescu -- Eric Bodden -- Christian Colombo, Adrian Francalanza and Rudolph Gatt -- Jan Fiedor, Vendula Hrubá, Bohuslav Křena and Tomáš Vojnar -- Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum -- Joxan Jaffar, Jorge A. Navas and Andrew E. Santosa -- Newres Al Haider, Benoit Gaudin and John Murphy -- Rüdiger Ehlers and Bernd Finkbeiner -- Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee.₉
Annotation This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.
9783642298608 3642298605 3642298591 9783642298592
10.1007/978-3-642-29860-8 doi
016092537 Uk
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
Logiciels--Vérification--Congrès.
Méthodes formelles (Informatique)--Congrès.
Informatique.
Computer software--Testing
Computer software--Verification
Formal methods (Computer science)
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. algoritmen algorithms computeranalyse computer analysis wiskunde mathematics logica logic computerwetenschappen computer sciences programmeertalen programming languages programmeren programming Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Conference papers and proceedings
Software.
QA76.76.V47 / R8 2011
005.1/4