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 Berlin Heidelberg

9783662466803, 9783662466810

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Shield Synthesis:

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

10.1007/978-3-662-46681-0_51 ◽

2015 ◽

pp. 533-548 ◽

Cited By ~ 27

Author(s):

Roderick Bloem ◽

Bettina Könighofer ◽

Robert Könighofer ◽

Chao Wang

Download Full-text

GPU Accelerated Strong and Branching Bisimilarity Checking

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

10.1007/978-3-662-46681-0_29 ◽

2015 ◽

pp. 368-383 ◽

Cited By ~ 14

Author(s):

Anton Wijs

Download Full-text

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

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

10.1007/978-3-662-46681-0_24 ◽

2015 ◽

pp. 289-303

Author(s):

Jeroen Bransen ◽

L. Thomas van Binsbergen ◽

Koen Claessen ◽

Atze Dijkstra

Keyword(s):

Sat Solving ◽

Attribute Grammar

Download Full-text

FAUST $^{\mathsf 2}$ : Formal Abstractions of Uncountable-STate STochastic Processes

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

10.1007/978-3-662-46681-0_23 ◽

2015 ◽

pp. 272-286 ◽

Cited By ~ 21

Author(s):

Sadegh Esmaeil Zadeh Soudjani ◽

Caspar Gevaerts ◽

Alessandro Abate

Keyword(s):

Stochastic Processes

Download Full-text

Semantic Importance Sampling for Statistical Model Checking

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

10.1007/978-3-662-46681-0_21 ◽

2015 ◽

pp. 241-255

Author(s):

Jeffery P. Hansen ◽

Lutz Wrage ◽

Sagar Chaki ◽

Dionisio de Niz ◽

Mark Klein

Keyword(s):

Model Checking ◽

Statistical Model ◽

Importance Sampling ◽

Statistical Model Checking

Download Full-text

AutoProof: Auto-Active Functional Verification of Object-Oriented Programs

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

10.1007/978-3-662-46681-0_53 ◽

2015 ◽

pp. 566-580 ◽

Cited By ~ 38

Author(s):

Julian Tschannen ◽

Carlo A. Furia ◽

Martin Nordio ◽

Nadia Polikarpova

Keyword(s):

Object Oriented ◽

Functional Verification

Download Full-text

On Parallel Scalable Uniform SAT Witness Generation

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

10.1007/978-3-662-46681-0_25 ◽

2015 ◽

pp. 304-319 ◽

Cited By ~ 24

Author(s):

Supratik Chakraborty ◽

Daniel J. Fremont ◽

Kuldeep S. Meel ◽

Sanjit A. Seshia ◽

Moshe Y. Vardi

Download Full-text

Saturation-Based Incremental LTL Model Checking with Inductive Proofs

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

10.1007/978-3-662-46681-0_58 ◽

2015 ◽

pp. 643-657 ◽

Cited By ~ 3

Author(s):

Vince Molnár ◽

Dániel Darvas ◽

András Vörös ◽

Tamás Bartha

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

A Method for Improving the Precision and Coverage of Atomicity Violation Predictions

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

10.1007/978-3-662-46681-0_8 ◽

2015 ◽

pp. 116-130

Author(s):

Reng Zeng ◽

Zhuo Sun ◽

Su Liu ◽

Xudong He

Keyword(s):

Atomicity Violation

Download Full-text

Non-cumulative Resource Analysis

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

10.1007/978-3-662-46681-0_6 ◽

2015 ◽

pp. 85-100 ◽

Cited By ~ 16

Author(s):

Elvira Albert ◽

Jesús Correas Fernández ◽

Guillermo Román-Díez

Keyword(s):

Resource Analysis

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 Berlin Heidelberg

Shield Synthesis:

GPU Accelerated Strong and Branching Bisimilarity Checking

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

FAUST $^{\mathsf 2}$ : Formal Abstractions of Uncountable-STate STochastic Processes

Semantic Importance Sampling for Statistical Model Checking

AutoProof: Auto-Active Functional Verification of Object-Oriented Programs

On Parallel Scalable Uniform SAT Witness Generation

Saturation-Based Incremental LTL Model Checking with Inductive Proofs

A Method for Improving the Precision and Coverage of Atomicity Violation Predictions

Non-cumulative Resource Analysis

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