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

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

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

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

A Wingman for Virtual Appliances

2017 ◽  
pp. 390-399
Author(s):  
Prashanth Nayak ◽  
Mike Hibler ◽  
David Johnson ◽  
Eric Eide
Load More ...
Sign in / Sign up

Export Citation Format

Share Document