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

9783662496732, 9783662496749

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

LCTD: Tests-Guided Proofs for C Programs on LLVM

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

10.1007/978-3-662-49674-9_62 ◽

2016 ◽

pp. 927-929 ◽

Cited By ~ 1

Author(s):

Olli Saarikivi ◽

Keijo Heljanko

Keyword(s):

C Programs

Download Full-text

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics

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

10.1007/978-3-662-49674-9_48 ◽

2016 ◽

pp. 752-769 ◽

Cited By ~ 12

Author(s):

Nima Roohi ◽

Pavithra Prabhakar ◽

Mahesh Viswanathan

Keyword(s):

Hybrid Automata

Download Full-text

v2c – A Verilog to C Translator

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

10.1007/978-3-662-49674-9_38 ◽

2016 ◽

pp. 580-586 ◽

Cited By ~ 3

Author(s):

Rajdeep Mukherjee ◽

Michael Tautschnig ◽

Daniel Kroening

Download Full-text

Parametric Runtime Verification of C Programs

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

10.1007/978-3-662-49674-9_17 ◽

2016 ◽

pp. 299-315 ◽

Cited By ~ 11

Author(s):

Zhe Chen ◽

Zhemin Wang ◽

Yunlong Zhu ◽

Hongwei Xi ◽

Zhibin Yang

Keyword(s):

Runtime Verification ◽

C Programs

Download Full-text

Complementing Semi-deterministic Büchi Automata

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

10.1007/978-3-662-49674-9_49 ◽

2016 ◽

pp. 770-787 ◽

Cited By ~ 8

Author(s):

František Blahoudek ◽

Matthias Heizmann ◽

Sven Schewe ◽

Jan Strejček ◽

Ming-Hsien Tsai

Keyword(s):

Büchi Automata ◽

Buchi Automata

Download Full-text

Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication

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

10.1007/978-3-662-49674-9_50 ◽

2016 ◽

pp. 791-810 ◽

Cited By ~ 5

Author(s):

Yongwang Zhao ◽

David Sanán ◽

Fuyuan Zhang ◽

Yang Liu

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text

Robots at the Edge of the Cloud

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

10.1007/978-3-662-49674-9_1 ◽

2016 ◽

pp. 3-13 ◽

Cited By ~ 3

Author(s):

Rupak Majumdar

Download Full-text

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

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

10.1007/978-3-662-49674-9_34 ◽

2016 ◽

pp. 553-559 ◽

Cited By ~ 4

Author(s):

Hugues Evrard

Keyword(s):

Formal Specification ◽

Concurrent System ◽

Distributed Implementation

Download Full-text

TcT: Tyrolean Complexity Tool

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

10.1007/978-3-662-49674-9_24 ◽

2016 ◽

pp. 407-423 ◽

Cited By ~ 12

Author(s):

Martin Avanzini ◽

Georg Moser ◽

Michael Schaper

Download Full-text

Developing and Debugging Proof Strategies by Tinkering

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

10.1007/978-3-662-49674-9_37 ◽

2016 ◽

pp. 573-579 ◽

Cited By ~ 6

Author(s):

Yuhui Lin ◽

Pierre Le Bras ◽

Gudmund Grov

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

LCTD: Tests-Guided Proofs for C Programs on LLVM

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics

v2c – A Verilog to C Translator

Parametric Runtime Verification of C Programs

Complementing Semi-deterministic Büchi Automata

Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication

Robots at the Edge of the Cloud

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

TcT: Tyrolean Complexity Tool

Developing and Debugging Proof Strategies by Tinkering

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