Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319675305, 9783319675312
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Witnessing Network Transformations

2017 ◽  
pp. 155-171 ◽  
Author(s):  
Chaoqiang Deng ◽  
Kedar S. Namjoshi

scholarly journals EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM

2017 ◽  
pp. 380-389 ◽  
Author(s):  
Hassan Salehe Matar ◽  
Serdar Tasiran ◽  
Didem Unat
Keyword(s):  
Race Detection ◽  
Detection Tool

scholarly journals Combining Model Checking and Runtime Verification for Safe Robotics

2017 ◽  
pp. 172-189 ◽  
Author(s):  
Ankush Desai ◽  
Tommaso Dreossi ◽  
Sanjit A. Seshia
Keyword(s):  
Model Checking ◽  
Runtime Verification

scholarly journals TeLEx: Passive STL Learning Using Only Positive Examples

2017 ◽  
pp. 208-224 ◽  
Author(s):  
Susmit Jha ◽  
Ashish Tiwari ◽  
Sanjit A. Seshia ◽  
Tuhin Sahai ◽  
Natarajan Shankar

A Wingman for Virtual Appliances

2017 ◽  
pp. 390-399
Author(s):  
Prashanth Nayak ◽  
Mike Hibler ◽  
David Johnson ◽  
Eric Eide

Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles

2017 ◽  
pp. 103-120 ◽  
Author(s):  
Zachary Benavides ◽  
Rajiv Gupta ◽  
Xiangyu Zhang
Keyword(s):  
Parallel Execution ◽  
Context Sensitive

scholarly journals Monitoring Partially Synchronous Distributed Systems Using SMT Solvers

2017 ◽  
pp. 277-293 ◽  
Author(s):  
Vidhya Tekken Valapil ◽  
Sorrachai Yingchareonthawornchai ◽  
Sandeep Kulkarni ◽  
Eric Torng ◽  
Murat Demirbas
Keyword(s):  
Distributed Systems ◽  
Smt Solvers

P: Modular and Safe Asynchronous Programming

2017 ◽  
pp. 3-7
Author(s):  
Ankush Desai ◽  
Shaz Qadeer
Keyword(s):  
Asynchronous Programming

Trusted Mission Operation - Concept and Implementation

2017 ◽  
pp. 416-423
Author(s):  
Aaron Paulos ◽  
Partha Pal ◽  
Shane S. Clark ◽  
Kyle Usbeck ◽  
Patrick Hurley
Keyword(s):  
Mission Operation

Control Dependencies in Interpretive Systems

2017 ◽  
pp. 312-329 ◽  
Author(s):  
Babak Yadegari ◽  
Saumya Debray
Load More ...
Sign in / Sign up

Export Citation Format

Share Document