Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / [electronic resource] :
edited by Saddek Bensalem, Doron A. Peled.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- VII, 203 p. online resource.
- Lecture Notes in Computer Science, 5779 0302-9743 ; .
- Lecture Notes in Computer Science, 5779 .
Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking.
9783642046940
10.1007/978-3-642-04694-0 doi
Computer science.
Operating systems (Computers).
Computer system performance.
Software engineering.
Computer software.
Logic design.
Computer Science.
Software Engineering.
Performance and Reliability.
Programming Languages, Compilers, Interpreters.
System Performance and Evaluation.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
QA76.758
005.1
Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking.
9783642046940
10.1007/978-3-642-04694-0 doi
Computer science.
Operating systems (Computers).
Computer system performance.
Software engineering.
Computer software.
Logic design.
Computer Science.
Software Engineering.
Performance and Reliability.
Programming Languages, Compilers, Interpreters.
System Performance and Evaluation.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
QA76.758
005.1