Dependable Software Engineering. Theories, Tools, and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319694825, 9783319694832
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Remark on Some $$\pi $$ Variants

2017 ◽  
pp. 183-199
Author(s):  
Jianxin Xue ◽  
Huan Long ◽  
Yuxi Fu

scholarly journals Multi-core Cyclic Executives for Safety-Critical Systems

2017 ◽  
pp. 94-109 ◽  
Author(s):  
Calvin Deutschbein ◽  
Tom Fleming ◽  
Alan Burns ◽  
Sanjoy Baruah
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Better Automated Importance Splitting for Transient Rare Events

2017 ◽  
pp. 42-58 ◽  
Author(s):  
Carlos E. Budde ◽  
Pedro R. D’Argenio ◽  
Arnd Hartmanns
Keyword(s):  
Rare Events

Computing Exact Loop Bounds for Bounded Program Verification

2017 ◽  
pp. 147-163 ◽  
Author(s):  
Tianhai Liu ◽  
Shmuel Tyszberowicz ◽  
Bernhard Beckert ◽  
Mana Taghdiri
Keyword(s):  
Program Verification

Formalizing SPARCv8 Instruction Set Architecture in Coq

2017 ◽  
pp. 300-316 ◽  
Author(s):  
Jiawei Wang ◽  
Ming Fu ◽  
Lei Qiao ◽  
Xinyu Feng
Keyword(s):  
Instruction Set ◽  
Instruction Set Architecture

Reasoning About Periodicity on Infinite Words

2017 ◽  
pp. 200-215
Author(s):  
Wanwei Liu ◽  
Fu Song ◽  
Ge Zhou
Keyword(s):  
Infinite Words

Construction of Abstract State Graphs for Understanding Event-B Models

2017 ◽  
pp. 250-265 ◽  
Author(s):  
Daichi Morita ◽  
Fuyuki Ishikawa ◽  
Shinichi Honiden
Keyword(s):  
State Graphs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document