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

TOTAL DOCUMENTS

(FIVE YEARS 12)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030628215, 9783030628222

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Randomized Refinement Checking of Timed I/O Automata

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

10.1007/978-3-030-62822-2_5 ◽

2020 ◽

pp. 70-88

Author(s):

Andrej Kiviriga ◽

Kim Guldstrand Larsen ◽

Ulrik Nyman

Keyword(s):

Refinement Checking

Download Full-text

Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets

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

10.1007/978-3-030-62822-2_3 ◽

2020 ◽

pp. 35-51

Author(s):

L. Capra

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Modelling and Implementation of Unmanned Aircraft Collision Avoidance

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

10.1007/978-3-030-62822-2_4 ◽

2020 ◽

pp. 52-69

Author(s):

Weizhi Feng ◽

Cheng-Chao Huang ◽

Andrea Turrini ◽

Yong Li

Keyword(s):

Collision Avoidance ◽

Unmanned Aircraft

Download Full-text

Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory

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

10.1007/978-3-030-62822-2_12 ◽

2020 ◽

pp. 186-201

Author(s):

Yangxi Zhou ◽

Yan Zhu ◽

Liangyu Chen

Keyword(s):

Complex Network ◽

Network Theory ◽

Complex Network Theory ◽

Software Defect

Download Full-text

Probably Approximately Correct Interpolants Generation

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

10.1007/978-3-030-62822-2_9 ◽

2020 ◽

pp. 143-159

Author(s):

Bai Xue ◽

Naijun Zhan

Keyword(s):

Probably Approximately Correct

Download Full-text

Symbolic Model Checking with Sentential Decision Diagrams

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

10.1007/978-3-030-62822-2_8 ◽

2020 ◽

pp. 124-142

Author(s):

Lieuwe Vinkhuijzen ◽

Alfons Laarman

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Decision Diagrams ◽

Symbolic Model

Download Full-text

Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata

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

10.1007/978-3-030-62822-2_6 ◽

2020 ◽

pp. 89-107

Author(s):

Xie Li ◽

Taolue Chen ◽

Zhilin Wu ◽

Mingji Xia

Keyword(s):

Linear Arithmetic

Download Full-text

Learning Safe Neural Network Controllers with Barrier Certificates

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

10.1007/978-3-030-62822-2_11 ◽

2020 ◽

pp. 177-185

Author(s):

Hengjun Zhao ◽

Xia Zeng ◽

Taolue Chen ◽

Zhiming Liu ◽

Jim Woodcock

Keyword(s):

Neural Network ◽

Neural Network Controllers

Download Full-text

Compiling FL$$^{res}$$ on Finite Words

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

10.1007/978-3-030-62822-2_7 ◽

2020 ◽

pp. 108-123

Author(s):

Wanwei Liu ◽

Liangze Yin ◽

Tun Li

Download Full-text

Reentrancy? Yes. Reentrancy Bug? No.

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

10.1007/978-3-030-62822-2_2 ◽

2020 ◽

pp. 17-34 ◽

Cited By ~ 1

Author(s):

Qinxiang Cao ◽

Zhongye Wang

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

Randomized Refinement Checking of Timed I/O Automata

Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets

Modelling and Implementation of Unmanned Aircraft Collision Avoidance

Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory

Probably Approximately Correct Interpolants Generation

Symbolic Model Checking with Sentential Decision Diagrams

Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata

Learning Safe Neural Network Controllers with Barrier Certificates

Compiling FL$$^{res}$$ on Finite Words

Reentrancy? Yes. Reentrancy Bug? No.

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