Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319899626, 9783319899633

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbiotic 5: Boosted Instrumentation

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_29 ◽

2018 ◽

pp. 442-446 ◽

Cited By ~ 5

Author(s):

Marek Chalupa ◽

Martina Vitovská ◽

Jan Strejček

Download Full-text

Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

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

2018 ◽

pp. 38-54 ◽

Cited By ~ 2

Author(s):

A. R. Balasubramanian ◽

Nathalie Bertrand ◽

Nicolas Markey

Keyword(s):

Broadcast Networks ◽

Parameterized Verification

Download Full-text

Ultimate Taipan with Dynamic Block Encoding

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_31 ◽

2018 ◽

pp. 452-456 ◽

Cited By ~ 1

Author(s):

Daniel Dietsch ◽

Marius Greitschus ◽

Matthias Heizmann ◽

Jochen Hoenicke ◽

Alexander Nutz ◽

...

Download Full-text

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

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

2018 ◽

pp. 176-193 ◽

Cited By ~ 3

Author(s):

Andreas Katis ◽

Grigory Fedyukovich ◽

Huajun Guo ◽

Andrew Gacek ◽

John Backes ◽

...

Keyword(s):

Reactive Systems

Download Full-text

AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_18 ◽

2018 ◽

pp. 303-319 ◽

Cited By ~ 10

Author(s):

Dejan Ničković ◽

Olivier Lebeltel ◽

Oded Maler ◽

Thomas Ferrère ◽

Dogan Ulus

Keyword(s):

Temporal Logic ◽

Trace Analysis ◽

Qualitative And Quantitative

Download Full-text

InterpChecker: Reducing State Space via Interpolations

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_27 ◽

2018 ◽

pp. 432-436 ◽

Cited By ~ 1

Author(s):

Zhao Duan ◽

Cong Tian ◽

Zhenhua Duan ◽

C.-H. Luke Ong

Keyword(s):

State Space

Download Full-text

CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_26 ◽

2018 ◽

pp. 427-431 ◽

Cited By ~ 2

Author(s):

Pavel Andrianov ◽

Vadim Mutilin ◽

Mikhail Mandrykin ◽

Anton Vasilyev

Keyword(s):

Dependency Analysis

Download Full-text

What a Difference a Variable Makes

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

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

2018 ◽

pp. 75-92 ◽

Cited By ~ 9

Author(s):

Marijn J. H. Heule ◽

Armin Biere

Download Full-text

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_13 ◽

2018 ◽

pp. 211-228 ◽

Cited By ~ 5

Author(s):

Lina Marsso ◽

Radu Mateescu ◽

Wendelin Serwe

Keyword(s):

Test Case Generation ◽

Test Case ◽

Conformance Test

Download Full-text

Permutation Games for the Weakly Aconjunctive $$\mu $$ μ -Calculus

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_21 ◽

2018 ◽

pp. 361-378 ◽

Cited By ~ 1

Author(s):

Daniel Hausmann ◽

Lutz Schröder ◽

Hans-Peter Deifel

Download Full-text

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Symbiotic 5: Boosted Instrumentation

Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks

Ultimate Taipan with Dynamic Block Encoding

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic

InterpChecker: Reducing State Space via Interpolations

CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis

What a Difference a Variable Makes

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

Permutation Games for the Weakly Aconjunctive $$\mu $$ μ -Calculus

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications