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

9783319259413, 9783319259420

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inferring Software Behavioral Models with MapReduce

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

10.1007/978-3-319-25942-0_9 ◽

2015 ◽

pp. 135-149 ◽

Cited By ~ 2

Author(s):

Chen Luo ◽

Fei He ◽

Carlo Ghezzi

Keyword(s):

Behavioral Models

Download Full-text

Formal Verification of the Pastry Protocol Using $$\mathrm{{TLA}}^{+}$$

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

10.1007/978-3-319-25942-0_19 ◽

2015 ◽

pp. 284-299 ◽

Cited By ~ 2

Author(s):

Tianxiang Lu

Keyword(s):

Formal Verification

Download Full-text

Improving Design Decomposition

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

10.1007/978-3-319-25942-0_12 ◽

2015 ◽

pp. 185-200 ◽

Cited By ~ 3

Author(s):

David Faitelson ◽

Shmuel Tyszberowicz

Keyword(s):

Design Decomposition

Download Full-text

Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

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

10.1007/978-3-319-25942-0_20 ◽

2015 ◽

pp. 300-315 ◽

Cited By ~ 7

Author(s):

Sandeep Patil ◽

Victor Dubinin ◽

Victor Vyatkin

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Formal Modelling ◽

Function Blocks ◽

Execution Semantics

Download Full-text

Cost vs. Time in Stochastic Games and Markov Automata

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

10.1007/978-3-319-25942-0_2 ◽

2015 ◽

pp. 19-34 ◽

Cited By ~ 3

Author(s):

Hassan Hatefi ◽

Bettina Braitling ◽

Ralf Wimmer ◽

Luis María Ferrer Fioriti ◽

Holger Hermanns ◽

...

Keyword(s):

Stochastic Games ◽

Markov Automata

Download Full-text

Erratum to: Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods

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

10.1007/978-3-319-25942-0_21 ◽

2015 ◽

pp. E1-E1

Author(s):

Yu-Lei Gu ◽

Xue-Yang Zhu ◽

Guangquan Zhang

Keyword(s):

Data Flow ◽

Optimal Scheduling ◽

Pareto Optimal ◽

Parallel Methods ◽

Data Flow Graphs ◽

Synchronous Data Flow ◽

Flow Graphs

Download Full-text

Towards Verified Faithful Simulation

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

10.1007/978-3-319-25942-0_7 ◽

2015 ◽

pp. 105-119 ◽

Cited By ~ 2

Author(s):

Vania Joloboff ◽

Jean-François Monin ◽

Xiaomu Shi

Download Full-text

Refinement and Proof Based Development of Systems Characterized by Continuous Functions

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

10.1007/978-3-319-25942-0_4 ◽

2015 ◽

pp. 55-70 ◽

Cited By ~ 5

Author(s):

Guillaume Babin ◽

Yamine Aït-Ameur ◽

Shin Nakajima ◽

Marc Pantel

Keyword(s):

Continuous Functions

Download Full-text

Erratum to: Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

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

10.1007/978-3-319-25942-0_22 ◽

2015 ◽

pp. E2-E2

Author(s):

Sandeep Patil ◽

Victor Dubinin ◽

Victor Vyatkin

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Formal Modelling ◽

Function Blocks ◽

Execution Semantics

Download Full-text

Fault Trees on a Diet

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

10.1007/978-3-319-25942-0_1 ◽

2015 ◽

pp. 3-18 ◽

Cited By ~ 3

Author(s):

Sebastian Junges ◽

Dennis Guck ◽

Joost-Pieter Katoen ◽

Arend Rensink ◽

Mariëlle Stoelinga

Keyword(s):

Fault Trees

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

Inferring Software Behavioral Models with MapReduce

Formal Verification of the Pastry Protocol Using $$\mathrm{{TLA}}^{+}$$

Improving Design Decomposition

Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

Cost vs. Time in Stochastic Games and Markov Automata

Erratum to: Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods

Towards Verified Faithful Simulation

Refinement and Proof Based Development of Systems Characterized by Continuous Functions

Erratum to: Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

Fault Trees on a Diet

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