Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319175232, 9783319175249
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata

2015 ◽  
pp. 429-435 ◽  
Author(s):  
Reza Hajisheykhi ◽  
Ali Ebnenasir ◽  
Sandeep S. Kulkarni
Keyword(s):  
Timed Automata

A Benchmark Suite for Hybrid Systems Reachability Analysis

2015 ◽  
pp. 408-414 ◽  
Author(s):  
Xin Chen ◽  
Stefan Schupp ◽  
Ibtissem Ben Makhlouf ◽  
Erika Ábrahám ◽  
Goran Frehse ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Benchmark Suite

Data Model Bugs

2015 ◽  
pp. 393-399 ◽  
Author(s):  
Ivan Bocić ◽  
Tevfik Bultan
Keyword(s):  
Data Model

Shape Analysis with Connectors

2015 ◽  
pp. 343-358
Author(s):  
Holger Siegel ◽  
Axel Simon
Keyword(s):  
Shape Analysis

A Greedy Approach for the Efficient Repair of Stochastic Models

2015 ◽  
pp. 295-309 ◽  
Author(s):  
Shashank Pathak ◽  
Erika Ábrahám ◽  
Nils Jansen ◽  
Armando Tacchella ◽  
Joost-Pieter Katoen
Keyword(s):  
Stochastic Models ◽  
Greedy Approach

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems

2015 ◽  
pp. 127-142 ◽  
Author(s):  
Tommaso Dreossi ◽  
Thao Dang ◽  
Alexandre Donzé ◽  
James Kapinski ◽  
Xiaoqing Jin ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Temporal Properties

scholarly journals Predicting and Witnessing Data Races Using CSP

2015 ◽  
pp. 400-407 ◽  
Author(s):  
Luis M. Carril ◽  
Walter F. Tichy
Keyword(s):  
Data Races
Load More ...
Sign in / Sign up

Export Citation Format

Share Document