Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642540127, 9783642540134

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_6 ◽

2014 ◽

pp. 98-117 ◽

Cited By ~ 1

Author(s):

Lei Song ◽

Lijun Zhang ◽

Jens Chr. Godskesen

Keyword(s):

Markov Decision Processes ◽

Continuous Time ◽

Decision Processes ◽

Markov Decision

Download Full-text

Cascade 2.0

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_9 ◽

2014 ◽

pp. 142-160 ◽

Cited By ~ 7

Author(s):

Wei Wang ◽

Clark Barrett ◽

Thomas Wies

Download Full-text

Weakest Precondition Synthesis for Compiler Optimizations

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_12 ◽

2014 ◽

pp. 203-221 ◽

Cited By ~ 10

Author(s):

Nuno P. Lopes ◽

José Monteiro

Keyword(s):

Compiler Optimizations ◽

Weakest Precondition

Download Full-text

Verifying Array Programs by Transforming Verification Conditions

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_11 ◽

2014 ◽

pp. 182-202 ◽

Cited By ~ 3

Author(s):

Emanuele De Angelis ◽

Fabio Fioravanti ◽

Alberto Pettorossi ◽

Maurizio Proietti

Keyword(s):

Verification Conditions

Download Full-text

Practical Floating-Point Tests with Integer Code

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_19 ◽

2014 ◽

pp. 337-356 ◽

Cited By ~ 3

Author(s):

Anthony Romano

Keyword(s):

Floating Point ◽

Integer Code

Download Full-text

Doomsday Equilibria for Omega-Regular Games

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_5 ◽

2014 ◽

pp. 78-97 ◽

Cited By ~ 8

Author(s):

Krishnendu Chatterjee ◽

Laurent Doyen ◽

Emmanuel Filiot ◽

Jean-François Raskin

Download Full-text

Monitoring Parametric Temporal Logic

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_20 ◽

2014 ◽

pp. 357-375 ◽

Cited By ~ 3

Author(s):

Peter Faymonville ◽

Bernd Finkbeiner ◽

Doron Peled

Keyword(s):

Temporal Logic

Download Full-text

Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_21 ◽

2014 ◽

pp. 376-394 ◽

Cited By ~ 7

Author(s):

Chao Wang ◽

Kevin Hoang

Keyword(s):

Control State

Download Full-text

Timing Analysis of Parallel Software Using Abstract Execution

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_4 ◽

2014 ◽

pp. 59-77 ◽

Cited By ~ 3

Author(s):

Andreas Gustavsson ◽

Jan Gustafsson ◽

Björn Lisper

Keyword(s):

Timing Analysis ◽

Parallel Software

Download Full-text

Policy Iteration-Based Conditional Termination and Ranking Functions

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-54013-4_25 ◽

2014 ◽

pp. 453-471 ◽

Cited By ~ 7

Author(s):

Damien Massé

Keyword(s):

Policy Iteration ◽

Ranking Functions

Download Full-text

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract InterpretationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

Cascade 2.0

Weakest Precondition Synthesis for Compiler Optimizations

Verifying Array Programs by Transforming Verification Conditions

Practical Floating-Point Tests with Integer Code

Doomsday Equilibria for Omega-Regular Games

Monitoring Parametric Temporal Logic

Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability

Timing Analysis of Parallel Software Using Abstract Execution

Policy Iteration-Based Conditional Termination and Ranking Functions

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications