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

9783030174644, 9783030174651

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

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

10.1007/978-3-030-17465-1_3 ◽

2019 ◽

pp. 40-57 ◽

Cited By ~ 3

Author(s):

Si Liu ◽

Peter Csaba Ölveczky ◽

Min Zhang ◽

Qi Wang ◽

José Meseguer

Keyword(s):

Automatic Analysis ◽

Distributed Transaction ◽

Consistency Properties

Download Full-text

Checking Deadlock-Freedom of Parametric Component-Based Systems

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

10.1007/978-3-030-17465-1_1 ◽

2019 ◽

pp. 3-20 ◽

Cited By ~ 4

Author(s):

Marius Bozga ◽

Radu Iosif ◽

Joseph Sifakis

Keyword(s):

Deadlock Freedom

Download Full-text

Binary Decision Diagrams with Edge-Specified Reductions

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

10.1007/978-3-030-17465-1_17 ◽

2019 ◽

pp. 303-318 ◽

Cited By ~ 2

Author(s):

Junaid Babar ◽

Chuan Jiang ◽

Gianfranco Ciardo ◽

Andrew Miner

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision

Download Full-text

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach

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

10.1007/978-3-030-17465-1_15 ◽

2019 ◽

pp. 265-281

Author(s):

Mahmoud Khaled ◽

Eric S. Kim ◽

Murat Arcak ◽

Majid Zamani

Download Full-text

Constraint-Based Monitoring of Hyperproperties

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

10.1007/978-3-030-17465-1_7 ◽

2019 ◽

pp. 115-131 ◽

Cited By ~ 9

Author(s):

Christopher Hahn ◽

Marvin Stenger ◽

Leander Tentrup

Download Full-text

Effective Entailment Checking for Separation Logic with Inductive Definitions

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

10.1007/978-3-030-17465-1_18 ◽

2019 ◽

pp. 319-336 ◽

Cited By ~ 4

Author(s):

Jens Katelaan ◽

Christoph Matheja ◽

Florian Zuleger

Keyword(s):

Separation Logic ◽

Inductive Definitions

Download Full-text

Multi-core On-The-Fly Saturation

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

10.1007/978-3-030-17465-1_4 ◽

2019 ◽

pp. 58-75

Author(s):

Tom van Dijk ◽

Jeroen Meijer ◽

Jaco van de Pol

Download Full-text

Computing the Expected Execution Time of Probabilistic Workflow Nets

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

10.1007/978-3-030-17465-1_9 ◽

2019 ◽

pp. 154-171 ◽

Cited By ~ 2

Author(s):

Philipp J. Meyer ◽

Javier Esparza ◽

Philip Offtermatt

Keyword(s):

Execution Time ◽

Workflow Nets

Download Full-text

Measuring Masking Fault-Tolerance

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

10.1007/978-3-030-17465-1_21 ◽

2019 ◽

pp. 375-392

Author(s):

Pablo F. Castro ◽

Pedro R. D’Argenio ◽

Ramiro Demasi ◽

Luciano Putruele

Keyword(s):

Fault Tolerance

Download Full-text

Specification and Efficient Monitoring Beyond STL

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

10.1007/978-3-030-17465-1_5 ◽

2019 ◽

pp. 79-97 ◽

Cited By ~ 3

Author(s):

Alexey Bakhirkin ◽

Nicolas Basset

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

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Checking Deadlock-Freedom of Parametric Component-Based Systems

Binary Decision Diagrams with Edge-Specified Reductions

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach

Constraint-Based Monitoring of Hyperproperties

Effective Entailment Checking for Separation Logic with Inductive Definitions

Multi-core On-The-Fly Saturation

Computing the Expected Execution Time of Probabilistic Workflow Nets

Measuring Masking Fault-Tolerance

Specification and Efficient Monitoring Beyond STL

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