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

9783319999326, 9783319999333

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement

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

10.1007/978-3-319-99933-3_3 ◽

2018 ◽

pp. 31-49 ◽

Cited By ~ 2

Author(s):

Teng Zhang ◽

John Wiegley ◽

Theophilos Giannakopoulos ◽

Gregory Eakman ◽

Clément Pit-Claudel ◽

...

Keyword(s):

Stepwise Refinement

Download Full-text

Interleaving-Tree Based Fine-Grained Linearizability Fault Localization

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

10.1007/978-3-319-99933-3_7 ◽

2018 ◽

pp. 108-126

Author(s):

Yang Chen ◽

Zhenya Zhang ◽

Peng Wu ◽

Yu Zhang

Keyword(s):

Fault Localization ◽

Fine Grained

Download Full-text

Robust Non-termination Analysis of Numerical Software

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

10.1007/978-3-319-99933-3_5 ◽

2018 ◽

pp. 69-88

Author(s):

Bai Xue ◽

Naijun Zhan ◽

Yangjia Li ◽

Qiuye Wang

Keyword(s):

Termination Analysis ◽

Numerical Software

Download Full-text

Towards the Existential Control of Boolean Networks: A Preliminary Report

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

10.1007/978-3-319-99933-3_10 ◽

2018 ◽

pp. 142-149

Author(s):

Soumya Paul ◽

Jun Pang ◽

Cui Su

Keyword(s):

Preliminary Report ◽

Boolean Networks

Download Full-text

Developing A New Language to Construct Algebraic Hierarchies for Event-B

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

10.1007/978-3-319-99933-3_9 ◽

2018 ◽

pp. 135-141

Author(s):

James Snook ◽

Michael Butler ◽

Thai Son Hoang

Download Full-text

Statistical Model Checking of Response Times for Different System Deployments

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

10.1007/978-3-319-99933-3_11 ◽

2018 ◽

pp. 153-169 ◽

Cited By ~ 2

Author(s):

Bernhard K. Aichernig ◽

Severin Kann ◽

Richard Schumi

Keyword(s):

Model Checking ◽

Statistical Model ◽

Response Times ◽

Statistical Model Checking

Download Full-text

Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier

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

10.1007/978-3-319-99933-3_12 ◽

2018 ◽

pp. 170-186 ◽

Cited By ~ 1

Author(s):

Eun-Young Kang ◽

Li Huang

Keyword(s):

Probabilistic Analysis ◽

Timing Constraints ◽

Automotive Systems

Download Full-text

Improvement in JavaMOP by Simplifying Büchi Automaton

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

10.1007/978-3-319-99933-3_8 ◽

2018 ◽

pp. 129-134

Author(s):

Junyan Qian ◽

Cong Chen ◽

Wei Cao ◽

Zhongyi Zhai ◽

Lingzhong Zhao

Keyword(s):

Büchi Automaton

Download Full-text

Intelligent Software Engineering: Synergy Between AI and Software Engineering

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

10.1007/978-3-319-99933-3_1 ◽

2018 ◽

pp. 3-7 ◽

Cited By ~ 2

Author(s):

Tao Xie

Keyword(s):

Software Engineering ◽

Intelligent Software

Download Full-text

Developing GUI Applications in a Verified Setting

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

10.1007/978-3-319-99933-3_6 ◽

2018 ◽

pp. 89-107 ◽

Cited By ~ 1

Author(s):

Stephan Adelsberger ◽

Anton Setzer ◽

Eric Walkingshaw

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

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement

Interleaving-Tree Based Fine-Grained Linearizability Fault Localization

Robust Non-termination Analysis of Numerical Software

Towards the Existential Control of Boolean Networks: A Preliminary Report

Developing A New Language to Construct Algebraic Hierarchies for Event-B

Statistical Model Checking of Response Times for Different System Deployments

Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier

Improvement in JavaMOP by Simplifying Büchi Automaton

Intelligent Software Engineering: Synergy Between AI and Software Engineering

Developing GUI Applications in a Verified Setting

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