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

TOTAL DOCUMENTS

69
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662496732, 9783662496749
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Efficient Syntax-Driven Lumping of Differential Equations

2016 ◽  
pp. 93-111 ◽  
Author(s):  
Luca Cardelli ◽  
Mirco Tribastone ◽  
Max Tschaikowski ◽  
Andrea Vandin
Keyword(s):  
Differential Equations

scholarly journals Advances in Symbolic Probabilistic Model Checking with PRISM

2016 ◽  
pp. 349-366 ◽  
Author(s):  
Joachim Klein ◽  
Christel Baier ◽  
Philipp Chrszon ◽  
Marcus Daum ◽  
Clemens  Dubslaff ◽  
...  
Keyword(s):  
Model Checking ◽  
Probabilistic Model ◽  
Probabilistic Model Checking

v2c – A Verilog to C Translator

2016 ◽  
pp. 580-586 ◽  
Author(s):  
Rajdeep Mukherjee ◽  
Michael Tautschnig ◽  
Daniel Kroening

Parametric Runtime Verification of C Programs

2016 ◽  
pp. 299-315 ◽  
Author(s):  
Zhe Chen ◽  
Zhemin Wang ◽  
Yunlong Zhu ◽  
Hongwei Xi ◽  
Zhibin Yang
Keyword(s):  
Runtime Verification ◽  
C Programs

Complementing Semi-deterministic Büchi Automata

2016 ◽  
pp. 770-787 ◽  
Author(s):  
František Blahoudek ◽  
Matthias Heizmann ◽  
Sven Schewe ◽  
Jan Strejček ◽  
Ming-Hsien Tsai
Keyword(s):  
Büchi Automata ◽  
Buchi Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document