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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783030174644, 9783030174651
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

2019 ◽  
pp. 40-57 ◽  
Author(s):  
Si Liu ◽  
Peter Csaba Ölveczky ◽  
Min Zhang ◽  
Qi Wang ◽  
José Meseguer
Keyword(s):  
Automatic Analysis ◽  
Distributed Transaction ◽  
Consistency Properties

scholarly journals Checking Deadlock-Freedom of Parametric Component-Based Systems

2019 ◽  
pp. 3-20 ◽  
Author(s):  
Marius Bozga ◽  
Radu Iosif ◽  
Joseph Sifakis
Keyword(s):  
Deadlock Freedom

scholarly journals Binary Decision Diagrams with Edge-Specified Reductions

2019 ◽  
pp. 303-318 ◽  
Author(s):  
Junaid Babar ◽  
Chuan Jiang ◽  
Gianfranco Ciardo ◽  
Andrew Miner
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision

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

2019 ◽  
pp. 265-281
Author(s):  
Mahmoud Khaled ◽  
Eric S. Kim ◽  
Murat Arcak ◽  
Majid Zamani

scholarly journals Constraint-Based Monitoring of Hyperproperties

2019 ◽  
pp. 115-131 ◽  
Author(s):  
Christopher Hahn ◽  
Marvin Stenger ◽  
Leander Tentrup

scholarly journals Multi-core On-The-Fly Saturation

2019 ◽  
pp. 58-75
Author(s):  
Tom van Dijk ◽  
Jeroen Meijer ◽  
Jaco van de Pol

scholarly journals Computing the Expected Execution Time of Probabilistic Workflow Nets

2019 ◽  
pp. 154-171 ◽  
Author(s):  
Philipp J. Meyer ◽  
Javier Esparza ◽  
Philip Offtermatt
Keyword(s):  
Execution Time ◽  
Workflow Nets

scholarly journals Measuring Masking Fault-Tolerance

2019 ◽  
pp. 375-392
Author(s):  
Pablo F. Castro ◽  
Pedro R. D’Argenio ◽  
Ramiro Demasi ◽  
Luciano Putruele
Keyword(s):  
Fault Tolerance
Load More ...
Sign in / Sign up

Export Citation Format

Share Document