Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319469812, 9783319469829
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Automata-Based Approach to Evolving Privacy Policies for Social Networks

2016 ◽  
pp. 285-301 ◽  
Author(s):  
Raúl Pardo ◽  
Christian Colombo ◽  
Gordon J. Pace ◽  
Gerardo Schneider
Keyword(s):  
Social Networks ◽  
Privacy Policies

Wireless Protocol Validation Under Uncertainty

2016 ◽  
pp. 351-367 ◽  
Author(s):  
Jinghao Shi ◽  
Shuvendu K. Lahiri ◽  
Ranveer Chandra ◽  
Geoffrey Challen
Keyword(s):  
Protocol Validation ◽  
Wireless Protocol

Input Attribution for Statistical Model Checking Using Logistic Regression

2016 ◽  
pp. 185-200 ◽  
Author(s):  
Jeffery P. Hansen ◽  
Sagar Chaki ◽  
Scott Hissam ◽  
James Edmondson ◽  
Gabriel A. Moreno ◽  
...  
Keyword(s):  
Logistic Regression ◽  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Applying Runtime Monitoring for Automotive Electronic Development

2016 ◽  
pp. 462-469 ◽  
Author(s):  
Konstantin Selyunin ◽  
Thang Nguyen ◽  
Ezio Bartocci ◽  
Radu Grosu
Keyword(s):  
Runtime Monitoring ◽  
Automotive Electronic

scholarly journals Accelerated Runtime Verification of LTL Specifications with Counting Semantics

2016 ◽  
pp. 251-267 ◽  
Author(s):  
Ramy Medhat ◽  
Borzoo Bonakdarpour ◽  
Sebastian Fischmeister ◽  
Yogi Joshi
Keyword(s):  
Runtime Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document