Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 24)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030763831, 9783030763848
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Good Fences Make Good Neighbors

2021 ◽  
pp. 214-230
Author(s):  
Yanni Kouskoulas ◽  
Rosa Wu ◽  
Joshua Brulé ◽  
Daniel Genin ◽  
Aurora Schmidt ◽  
...  

scholarly journals Online Shielding for Stochastic Systems

2021 ◽  
pp. 231-248
Author(s):  
Bettina Könighofer ◽  
Julian Rudolf ◽  
Alexander Palmisano ◽  
Martin Tappler ◽  
Roderick Bloem
Keyword(s):  
Stochastic Systems

scholarly journals Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

2021 ◽  
pp. 1-18
Author(s):  
Thom S. Badings ◽  
Arnd Hartmanns ◽  
Nils Jansen ◽  
Marnix Suilen
Keyword(s):  
Smart Grids

scholarly journals Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

2021 ◽  
pp. 249-267
Author(s):  
Saswata Paul ◽  
Gul A. Agha ◽  
Stacy Patterson ◽  
Carlos A. Varela
Keyword(s):  
Actor Model

Runtime Verification of Generalized Test Tables

2021 ◽  
pp. 358-374
Author(s):  
Alexander Weigl ◽  
Mattias Ulbrich ◽  
Shmuel Tyszberowicz ◽  
Jonas Klamroth
Keyword(s):  
Runtime Verification

Verifying Min-Plus Computations with Coq

2021 ◽  
pp. 287-303
Author(s):  
Lucien Rakotomalala ◽  
Pierre Roux ◽  
Marc Boyer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document