Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer International Publishing

9783319633862, 9783319633879
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals MightyL: A Compositional Translation from MITL to Timed Automata

2017 ◽  
pp. 421-440 ◽  
Author(s):  
Thomas Brihaye ◽  
Gilles Geeraerts ◽  
Hsi-Ming Ho ◽  
Benjamin Monmege
Keyword(s):  
Timed Automata ◽  
Compositional Translation

GPUDrano: Detecting Uncoalesced Accesses in GPU Programs

2017 ◽  
pp. 507-525 ◽  
Author(s):  
Rajeev Alur ◽  
Joseph Devietti ◽  
Omar S. Navarro Leija ◽  
Nimit Singhania

Logical Clustering and Learning for Time-Series Data

2017 ◽  
pp. 305-325 ◽  
Author(s):  
Marcell Vazquez-Chanlatte ◽  
Jyotirmoy V. Deshmukh ◽  
Xiaoqing Jin ◽  
Sanjit A. Seshia
Keyword(s):  
Time Series ◽  
Time Series Data ◽  
Series Data

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems

2017 ◽  
pp. 591-598 ◽  
Author(s):  
Nikola Beneš ◽  
Luboš Brim ◽  
Martin Demko ◽  
Samuel Pastva ◽  
David Šafránek
Keyword(s):  
Dynamical Systems ◽  
Parameter Synthesis

scholarly journals Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds

2017 ◽  
pp. 118-139 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Hongfei Fu ◽  
Aniket Murhekar
Keyword(s):  
Recurrence Analysis

scholarly journals Markov Automata with Multiple Objectives

2017 ◽  
pp. 140-159 ◽  
Author(s):  
Tim Quatmann ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen
Keyword(s):  
Multiple Objectives ◽  
Markov Automata

Runtime Monitoring with Recovery of the SENT Communication Protocol

2017 ◽  
pp. 336-355 ◽  
Author(s):  
Konstantin Selyunin ◽  
Stefan Jaksic ◽  
Thang Nguyen ◽  
Christian Reidl ◽  
Udo Hafner ◽  
...  
Keyword(s):  
Communication Protocol ◽  
Runtime Monitoring
Load More ...
Sign in / Sign up

Export Citation Format

Share Document