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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

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

10.1007/978-3-319-69483-2_11 ◽

2017 ◽

pp. 183-199

Author(s):

Jianxin Xue ◽

Huan Long ◽

Yuxi Fu

Download Full-text

Multi-core Cyclic Executives for Safety-Critical Systems

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

10.1007/978-3-319-69483-2_6 ◽

2017 ◽

pp. 94-109 ◽

Cited By ~ 2

Author(s):

Calvin Deutschbein ◽

Tom Fleming ◽

Alan Burns ◽

Sanjoy Baruah

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Better Automated Importance Splitting for Transient Rare Events

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

10.1007/978-3-319-69483-2_3 ◽

2017 ◽

pp. 42-58 ◽

Cited By ~ 5

Author(s):

Carlos E. Budde ◽

Pedro R. D’Argenio ◽

Arnd Hartmanns

Keyword(s):

Rare Events

Download Full-text

Computing Exact Loop Bounds for Bounded Program Verification

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

10.1007/978-3-319-69483-2_9 ◽

2017 ◽

pp. 147-163 ◽

Cited By ~ 1

Author(s):

Tianhai Liu ◽

Shmuel Tyszberowicz ◽

Bernhard Beckert ◽

Mana Taghdiri

Keyword(s):

Program Verification

Download Full-text

Termination of Semi-algebraic Loop Programs

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

10.1007/978-3-319-69483-2_8 ◽

2017 ◽

pp. 131-146 ◽

Cited By ~ 1

Author(s):

Yi Li

Keyword(s):

Algebraic Loop

Download Full-text

Formalizing SPARCv8 Instruction Set Architecture in Coq

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

10.1007/978-3-319-69483-2_18 ◽

2017 ◽

pp. 300-316 ◽

Cited By ~ 2

Author(s):

Jiawei Wang ◽

Ming Fu ◽

Lei Qiao ◽

Xinyu Feng

Keyword(s):

Instruction Set ◽

Instruction Set Architecture

Download Full-text

Reasoning About Periodicity on Infinite Words

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

10.1007/978-3-319-69483-2_12 ◽

2017 ◽

pp. 200-215

Author(s):

Wanwei Liu ◽

Fu Song ◽

Ge Zhou

Keyword(s):

Infinite Words

Download Full-text

On the Criticality of Probabilistic Worst-Case Execution Time Models

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

10.1007/978-3-319-69483-2_4 ◽

2017 ◽

pp. 59-74

Author(s):

Luca Santinelli ◽

Zhishan Guo

Keyword(s):

Execution Time ◽

Worst Case ◽

Worst Case Execution Time

Download Full-text

Construction of Abstract State Graphs for Understanding Event-B Models

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

10.1007/978-3-319-69483-2_15 ◽

2017 ◽

pp. 250-265 ◽

Cited By ~ 1

Author(s):

Daichi Morita ◽

Fuyuki Ishikawa ◽

Shinichi Honiden

Keyword(s):

State Graphs

Download Full-text

Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus

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

10.1007/978-3-319-69483-2_7 ◽

2017 ◽

pp. 110-127 ◽

Cited By ~ 1

Author(s):

Dimitar P. Guelev ◽

Shuling Wang ◽

Naijun Zhan

Keyword(s):

Duration Calculus

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Remark on Some $$\pi $$ Variants

Multi-core Cyclic Executives for Safety-Critical Systems

Better Automated Importance Splitting for Transient Rare Events

Computing Exact Loop Bounds for Bounded Program Verification

Termination of Semi-algebraic Loop Programs

Formalizing SPARCv8 Instruction Set Architecture in Coq

Reasoning About Periodicity on Infinite Words

On the Criticality of Probabilistic Worst-Case Execution Time Models

Construction of Abstract State Graphs for Understanding Event-B Models

Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus

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