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

9783642120015, 9783642120022

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Antichain Algorithms for Finite Automata

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

10.1007/978-3-642-12002-2_2 ◽

2010 ◽

pp. 2-22 ◽

Cited By ~ 34

Author(s):

Laurent Doyen ◽

Jean-François Raskin

Keyword(s):

Finite Automata

Download Full-text

A Polymorphic Intermediate Verification Language: Design and Logical Encoding

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

10.1007/978-3-642-12002-2_26 ◽

2010 ◽

pp. 312-327 ◽

Cited By ~ 42

Author(s):

K. Rustan M. Leino ◽

Philipp Rümmer

Keyword(s):

Language Design

Download Full-text

Statistical Measurement of Information Leakage

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

10.1007/978-3-642-12002-2_33 ◽

2010 ◽

pp. 390-404 ◽

Cited By ~ 37

Author(s):

Konstantinos Chatzikokolakis ◽

Tom Chothia ◽

Apratim Guha

Keyword(s):

Information Leakage ◽

Statistical Measurement

Download Full-text

Tracking Heaps That Hop with Heap-Hop

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

10.1007/978-3-642-12002-2_23 ◽

2010 ◽

pp. 275-279 ◽

Cited By ~ 14

Author(s):

Jules Villard ◽

Étienne Lozes ◽

Cristiano Calcagno

Download Full-text

On Weak Modal Compatibility, Refinement, and the MIO Workbench

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

10.1007/978-3-642-12002-2_15 ◽

2010 ◽

pp. 175-189 ◽

Cited By ~ 39

Author(s):

Sebastian S. Bauer ◽

Philip Mayer ◽

Andreas Schroeder ◽

Rolf Hennicker

Download Full-text

The OpenSMT Solver

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

10.1007/978-3-642-12002-2_12 ◽

2010 ◽

pp. 150-153 ◽

Cited By ~ 53

Author(s):

Roberto Bruttomesso ◽

Edgar Pek ◽

Natasha Sharygina ◽

Aliaksei Tsitovich

Download Full-text

Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors

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

10.1007/978-3-642-12002-2_24 ◽

2010 ◽

pp. 280-295 ◽

Cited By ~ 16

Author(s):

Alastair F. Donaldson ◽

Daniel Kroening ◽

Philipp Rümmer

Keyword(s):

Multicore Processors ◽

Automatic Analysis ◽

Heterogeneous Multicore ◽

Scratch Pad Memory ◽

Memory Code

Download Full-text

PASS: Abstraction Refinement for Infinite Probabilistic Models

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

10.1007/978-3-642-12002-2_30 ◽

2010 ◽

pp. 353-357 ◽

Cited By ~ 16

Author(s):

Ernst Moritz Hahn ◽

Holger Hermanns ◽

Björn Wachter ◽

Lijun Zhang

Keyword(s):

Probabilistic Models ◽

Abstraction Refinement

Download Full-text

Optimal Tableau Algorithms for Coalgebraic Logics

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

10.1007/978-3-642-12002-2_9 ◽

2010 ◽

pp. 114-128 ◽

Cited By ~ 5

Author(s):

Rajeev Goré ◽

Clemens Kupke ◽

Dirk Pattinson

Download Full-text

Approximating the Pareto Front of Multi-criteria Optimization Problems

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

10.1007/978-3-642-12002-2_6 ◽

2010 ◽

pp. 69-83 ◽

Cited By ~ 31

Author(s):

Julien Legriel ◽

Colas Le Guernic ◽

Scott Cotton ◽

Oded Maler

Keyword(s):

Pareto Front ◽

Optimization Problems

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

Antichain Algorithms for Finite Automata

A Polymorphic Intermediate Verification Language: Design and Logical Encoding

Statistical Measurement of Information Leakage

Tracking Heaps That Hop with Heap-Hop

On Weak Modal Compatibility, Refinement, and the MIO Workbench

The OpenSMT Solver

Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors

PASS: Abstraction Refinement for Infinite Probabilistic Models

Optimal Tableau Algorithms for Coalgebraic Logics

Approximating the Pareto Front of Multi-criteria Optimization Problems

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