Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer International Publishing

9783319238197, 9783319238203
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rigorous Examination of Reactive Systems:

2015 ◽  
pp. 423-429 ◽  
Author(s):  
Maren Geske ◽  
Malte Isberner ◽  
Bernhard Steffen
Keyword(s):  
Reactive Systems

scholarly journals Runtime Verification Through Forward Chaining

2015 ◽  
pp. 185-200
Author(s):  
Alan Perotti ◽  
Guido Boella ◽  
Artur d’Avila Garcez
Keyword(s):  
Runtime Verification ◽  
Forward Chaining

scholarly journals RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial

2015 ◽  
pp. 342-357 ◽  
Author(s):  
Philip Daian ◽  
Yliès Falcone ◽  
Patrick Meredith ◽  
Traian Florin Şerbănuţă ◽  
Shin’ichi Shiriashi ◽  
...  
Keyword(s):  
Runtime Verification

scholarly journals Monitoring Electronic Exams

2015 ◽  
pp. 118-135 ◽  
Author(s):  
Ali Kassem ◽  
Yliès Falcone ◽  
Pascal Lafourcade

scholarly journals Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification

2015 ◽  
pp. 3-17 ◽  
Author(s):  
Fraser Cameron ◽  
Georgios Fainekos ◽  
David M. Maahs ◽  
Sriram Sankaranarayanan
Keyword(s):  
Artificial Pancreas ◽  
Runtime Verification

Time-Triggered Runtime Verification of Component-Based Multi-core Systems

2015 ◽  
pp. 153-168 ◽  
Author(s):  
Samaneh Navabpour ◽  
Borzoo Bonakdarpour ◽  
Sebastian Fischmeister
Keyword(s):  
Runtime Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document