Communications in Computer and Information Science - Tools and Methods of Program Analysis
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319717333, 9783319717340

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simple Type-Based Alias Analysis for a VLIW Processor

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

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

2017 ◽

pp. 102-113

Author(s):

Aleksey Markin ◽

Alexandr Ermolitsky

Keyword(s):

Simple Type ◽

Alias Analysis ◽

Vliw Processor

Download Full-text

A Survey of High-Performance Computing for Software Verification

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-319-71734-0_17 ◽

2017 ◽

pp. 196-208 ◽

Cited By ~ 1

Author(s):

Ilja Zakharov

Keyword(s):

High Performance Computing ◽

High Performance ◽

Software Verification ◽

Performance Computing

Download Full-text

Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-319-71734-0_8 ◽

2017 ◽

pp. 90-101

Author(s):

Georgiy Lukyanov ◽

Artem Pelenitsin

Download Full-text

Using Functional Directives to Analyze Code Complexity

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-319-71734-0_14 ◽

2017 ◽

pp. 163-169

Author(s):

Daniel Rubio Bonilla ◽

Colin W. Glass

Keyword(s):

Code Complexity

Download Full-text

Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-319-71734-0_5 ◽

2017 ◽

pp. 51-63 ◽

Cited By ~ 2

Author(s):

Vsevolod Kotlyarov ◽

Pavel Drobintsev ◽

Nikita Voinov ◽

Ivan Selin ◽

Alexey Tolstoles

Keyword(s):

Software Test ◽

Formal Models ◽

Industrial Software ◽

Test Suites

Download Full-text

Compositional Process Model Synthesis Based on Interface Patterns

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-319-71734-0_13 ◽

2017 ◽

pp. 151-162

Author(s):

Roman A. Nesterov ◽

Irina A. Lomazova

Keyword(s):

Process Model ◽

Compositional Process ◽

Model Synthesis

Download Full-text

Layered Layouts for Software Systems Visualization Using Nested Petri Nets

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-319-71734-0_11 ◽

2017 ◽

pp. 127-138

Author(s):

Alexey A. Mitsyuk ◽

Yaroslav V. Kotylev

Keyword(s):

Petri Nets ◽

Software Systems

Download Full-text

Generating Cost-Aware Covering Arrays for Free

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-319-71734-0_15 ◽

2017 ◽

pp. 170-182

Author(s):

Mustafa Kemal Taş ◽

Hanefi Mercan ◽

Gülşen Demiröz ◽

Kamer Kaya ◽

Cemal Yilmaz

Keyword(s):

Covering Arrays

Download Full-text

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

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

2017 ◽

pp. 1-10

Author(s):

Azat Abdullin ◽

Daniil Stepanov ◽

Marat Akhin

Keyword(s):

Distributed Analysis

Download Full-text

Extended Context-Free Grammars Parsing with Generalized LL

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-319-71734-0_3 ◽

2017 ◽

pp. 24-37

Author(s):

Artem Gorokhov ◽

Semyon Grigorev

Keyword(s):

Context Free ◽

Context Free Grammars

Download Full-text

Communications in Computer and Information Science - Tools and Methods of Program AnalysisLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Simple Type-Based Alias Analysis for a VLIW Processor

A Survey of High-Performance Computing for Software Verification

Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation

Using Functional Directives to Analyze Code Complexity

Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer

Compositional Process Model Synthesis Based on Interface Patterns

Layered Layouts for Software Systems Visualization Using Nested Petri Nets

Generating Cost-Aware Covering Arrays for Free

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

Extended Context-Free Grammars Parsing with Generalized LL

Communications in Computer and Information Science - Tools and Methods of Program Analysis
Latest Publications