Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /
RV 2012
Shaz Qadeer, Serdar Tasiran (eds.).
- Berlin ; New York : Springer, ©2013.
- 1 online resource
- Lecture notes in computer science, 7687 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering .
- Lecture notes in computer science ; 7687. LNCS sublibrary. SL 2, Programming and software engineering. .
Includes bibliographical references and index.
Dynamic Analyses for Data-Race Detection / Symbolic Execution / Dynamic Livelock Analysis of Multi-threaded Programs / Scalable Dynamic Partial Order Reduction / ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / It's the End of the World as We Know It (And I Feel Fine) / Detecting Unread Memory Using Dynamic Binary Translation / Sparse Coding for Specification Mining and Error Localization / Sliding between Model Checking and Runtime Verification / John Erickson, Stephen Freund, Madanlal Musuvathi -- Cristian Cadar, Koushik Sen -- Malay K. Ganai -- Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey -- Jan Fiedor, Tomáš Vojnar -- Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor -- Jim R. Larus -- Jon Eyolfson, Patrick Lam -- Wenchao Li, Sanjit A. Seshia -- Martin Leucker. Runtime Verification and Enforcement for Android Applications with RV-Droid / Temporal Monitors for TinyOS / Real-Time Runtime Verification on Chip / BabelTrace: A Collection of Transducers for Trace Validation / Quantitative Trace Analysis Using Extended Timing Diagrams / Maximal Causal Models for Sequentially Consistent Systems / Monitoring Compliance Policies over Incomplete and Disagreeing Logs / Adaptive Runtime Verification / Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / MapReduce for Parallel Trace Validation of LTL Properties / Yliès Falcone, Sebastian Currea, Mohamad Jaber -- Doina Bucur -- Thomas Reinbacher, Matthias Függer, Jörg Brauer -- Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet -- Andreas Richter, Klaus Kabitzsch -- Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu -- David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu -- Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka -- Giovanni Vigna -- Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin. Path-Aware Time-Triggered Runtime Verification / Fast-Forward Runtime Monitoring -- An Industrial Case Study / Runtime Enforcement of Timed Properties / Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / Rewrite-Based Statistical Model Checking of WMTL / From Runtime Verification to Runtime Intervention and Adaptation / Certifying Solutions for Numerical Constraints / Profiling Field Initialisation in Java / Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / Incremental Runtime Verification of Probabilistic Systems / Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister -- Christian Colombo, Gordon J. Pace -- Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand -- Kevin Baldor, Jianwei Niu -- Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay -- Martin Rinard -- Eva Darulova, Viktor Kuncak -- Stephen Nelson, David J. Pearce, James Noble -- Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight -- Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.
9783642356322 364235632X 3642356311 9783642356315
10.1007/978-3-642-35632-2 doi
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
Computer programs.
Computer software.
Software
Logiciels--Vérification--Congrès.
Méthodes formelles (Informatique)--Congrès.
Logiciels.
software.
Computer software
Computer programs
Computer software--Testing
Computer software--Verification
Formal methods (Computer science)
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. computerwetenschappen computer sciences algoritmen algorithms computeranalyse computer analysis programmeertalen programming languages programmeren programming wiskunde mathematics logica logic Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Software.
Conference papers and proceedings.
Actes de congrès.
QA76.76.V47 / R8 2012
005.1/4
QA 76.76.V47
Includes bibliographical references and index.
Dynamic Analyses for Data-Race Detection / Symbolic Execution / Dynamic Livelock Analysis of Multi-threaded Programs / Scalable Dynamic Partial Order Reduction / ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / It's the End of the World as We Know It (And I Feel Fine) / Detecting Unread Memory Using Dynamic Binary Translation / Sparse Coding for Specification Mining and Error Localization / Sliding between Model Checking and Runtime Verification / John Erickson, Stephen Freund, Madanlal Musuvathi -- Cristian Cadar, Koushik Sen -- Malay K. Ganai -- Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey -- Jan Fiedor, Tomáš Vojnar -- Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor -- Jim R. Larus -- Jon Eyolfson, Patrick Lam -- Wenchao Li, Sanjit A. Seshia -- Martin Leucker. Runtime Verification and Enforcement for Android Applications with RV-Droid / Temporal Monitors for TinyOS / Real-Time Runtime Verification on Chip / BabelTrace: A Collection of Transducers for Trace Validation / Quantitative Trace Analysis Using Extended Timing Diagrams / Maximal Causal Models for Sequentially Consistent Systems / Monitoring Compliance Policies over Incomplete and Disagreeing Logs / Adaptive Runtime Verification / Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / MapReduce for Parallel Trace Validation of LTL Properties / Yliès Falcone, Sebastian Currea, Mohamad Jaber -- Doina Bucur -- Thomas Reinbacher, Matthias Függer, Jörg Brauer -- Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet -- Andreas Richter, Klaus Kabitzsch -- Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu -- David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu -- Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka -- Giovanni Vigna -- Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin. Path-Aware Time-Triggered Runtime Verification / Fast-Forward Runtime Monitoring -- An Industrial Case Study / Runtime Enforcement of Timed Properties / Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / Rewrite-Based Statistical Model Checking of WMTL / From Runtime Verification to Runtime Intervention and Adaptation / Certifying Solutions for Numerical Constraints / Profiling Field Initialisation in Java / Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / Incremental Runtime Verification of Probabilistic Systems / Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister -- Christian Colombo, Gordon J. Pace -- Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand -- Kevin Baldor, Jianwei Niu -- Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay -- Martin Rinard -- Eva Darulova, Viktor Kuncak -- Stephen Nelson, David J. Pearce, James Noble -- Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight -- Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.
9783642356322 364235632X 3642356311 9783642356315
10.1007/978-3-642-35632-2 doi
Computer software--Verification--Congresses.
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
Computer programs.
Computer software.
Software
Logiciels--Vérification--Congrès.
Méthodes formelles (Informatique)--Congrès.
Logiciels.
software.
Computer software
Computer programs
Computer software--Testing
Computer software--Verification
Formal methods (Computer science)
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. computerwetenschappen computer sciences algoritmen algorithms computeranalyse computer analysis programmeertalen programming languages programmeren programming wiskunde mathematics logica logic Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Software.
Conference papers and proceedings.
Actes de congrès.
QA76.76.V47 / R8 2012
005.1/4
QA 76.76.V47