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

9783540434191, 9783540460022

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software Construction and Analysis Tools for Future Space Missions

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

10.1007/3-540-46002-0_1 ◽

2002 ◽

pp. 1-19 ◽

Cited By ~ 8

Author(s):

Michael R. Lowry

Keyword(s):

Space Missions ◽

Analysis Tools ◽

Future Space ◽

Software Construction

Download Full-text

Towards the Automated Verification of Multithreaded Java Programs

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

10.1007/3-540-46002-0_13 ◽

2002 ◽

pp. 173-187 ◽

Cited By ~ 33

Author(s):

Giorgio Delzanno ◽

Jean-Francois Raskin ◽

Laurent Van Begin

Keyword(s):

Automated Verification ◽

Java Programs

Download Full-text

Fate and FreeWill in Error Traces

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

10.1007/3-540-46002-0_31 ◽

2002 ◽

pp. 445-459 ◽

Cited By ~ 21

Author(s):

HoonSang Jin ◽

Kavita Ravi ◽

Fabio Somenzi

Download Full-text

Temporal Debugging for Concurrent Systems

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

10.1007/3-540-46002-0_30 ◽

2002 ◽

pp. 431-444 ◽

Cited By ~ 12

Author(s):

Elsa Gunter ◽

Doron Peled

Keyword(s):

Concurrent Systems

Download Full-text

Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis

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

10.1007/3-540-46002-0_22 ◽

2002 ◽

pp. 312-326 ◽

Cited By ~ 10

Author(s):

HoonSang Jin ◽

Andreas Kuehlmann ◽

Fabio Somenzi

Keyword(s):

Reachability Analysis ◽

Fine Grain

Download Full-text

Synthesizing Monitors for Safety Properties

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

10.1007/3-540-46002-0_24 ◽

2002 ◽

pp. 342-356 ◽

Cited By ~ 150

Author(s):

Klaus Havelund ◽

Grigore Roşu

Keyword(s):

Safety Properties

Download Full-text

Improving the Verification of Timed Systems Using Influence Information

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

10.1007/3-540-46002-0_3 ◽

2002 ◽

pp. 21-36 ◽

Cited By ~ 13

Author(s):

Victor Braberman ◽

Diego Garbervetsky ◽

Alfredo Olivero

Keyword(s):

Timed Systems

Download Full-text

Model Checking Large-Scale and Parameterized Resource Allocation Systems

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

10.1007/3-540-46002-0_18 ◽

2002 ◽

pp. 251-265 ◽

Cited By ~ 18

Author(s):

E. Allen Emerson ◽

Vineet Kahlon

Keyword(s):

Resource Allocation ◽

Model Checking ◽

Large Scale ◽

Resource Allocation Systems

Download Full-text

Compositional Verification Using SVL Scripts

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

10.1007/3-540-46002-0_33 ◽

2002 ◽

pp. 465-469 ◽

Cited By ~ 9

Author(s):

Frédéric Lang

Keyword(s):

Compositional Verification

Download Full-text

TIMES b— A Tool for Modelling and Implementation of Embedded Systems

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

10.1007/3-540-46002-0_32 ◽

2002 ◽

pp. 460-464 ◽

Cited By ~ 51

Author(s):

Tobias Amnell ◽

Elena Fersman ◽

Leonid Mokrushin ◽

Paul Pettersson ◽

Wang Yi

Keyword(s):

Embedded Systems

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

Software Construction and Analysis Tools for Future Space Missions

Towards the Automated Verification of Multithreaded Java Programs

Fate and FreeWill in Error Traces

Temporal Debugging for Concurrent Systems

Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis

Synthesizing Monitors for Safety Properties

Improving the Verification of Timed Systems Using Influence Information

Model Checking Large-Scale and Parameterized Resource Allocation Systems

Compositional Verification Using SVL Scripts

TIMES b— A Tool for Modelling and Implementation of Embedded Systems

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