Perspectives of Systems Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642297083, 9783642297090

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algorithmic Debugging of SQL Views

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_9 ◽

2012 ◽

pp. 77-85 ◽

Cited By ~ 2

Author(s):

Rafael Caballero ◽

Yolanda García-Ruiz ◽

Fernando Sáenz-Pérez

Compositional Methods in Characterization of Timed Event Structures

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_8 ◽

2012 ◽

pp. 68-76

Author(s):

Elena Bozhenkova

Keyword(s):

Event Structures

Static Analysis of Run-Time Modes in Synchronous Process Network

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_7 ◽

2012 ◽

pp. 55-67

Author(s):

Michael Beyer ◽

Sabine Glesner

Keyword(s):

Static Analysis ◽

Run Time

Detecting Entry Points in Java Libraries

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_6 ◽

2012 ◽

pp. 42-54

Author(s):

Thomas Baar ◽

Philipp Kumar

Keyword(s):

Entry Points

Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_26 ◽

2012 ◽

pp. 302-312

Author(s):

Evgueni Petrov

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Sparse Constraint

Symbolic Loop Bound Computation for WCET Analysis

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_20 ◽

2012 ◽

pp. 227-242 ◽

Cited By ~ 18

Author(s):

Jens Knoop ◽

Laura Kovács ◽

Jakob Zwirchmayr

Keyword(s):

Wcet Analysis ◽

Loop Bound

Solving Coverability Problem for Monotonic Counter Systems by Supercompilation

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_18 ◽

2012 ◽

pp. 193-209 ◽

Cited By ~ 3

Author(s):

Andrei V. Klimov

Exponential Acceleration of Model Checking for Perfect Recall Systems

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_12 ◽

2012 ◽

pp. 111-124

Author(s):

Natalia O. Garanina

Keyword(s):

Model Checking ◽

Perfect Recall

Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_10 ◽

2012 ◽

pp. 86-94

Author(s):

Roman Dubtsov

Keyword(s):

Transition Systems

Decidability of Modular Logics for Concurrency

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_24 ◽

2012 ◽

pp. 274-288 ◽

Cited By ~ 1

Author(s):

Radu Mardare

Perspectives of Systems Informatics - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Algorithmic Debugging of SQL Views

Compositional Methods in Characterization of Timed Event Structures

Static Analysis of Run-Time Modes in Synchronous Process Network

Detecting Entry Points in Java Libraries

Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems

Symbolic Loop Bound Computation for WCET Analysis

Solving Coverability Problem for Monotonic Counter Systems by Supercompilation

Exponential Acceleration of Model Checking for Perfect Recall Systems

Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction

Decidability of Modular Logics for Concurrency

Perspectives of Systems Informatics - Lecture Notes in Computer Science
Latest Publications