Lecture Notes in Computer Science - Reachability Problems
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642242878, 9783642242885

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Fully Symbolic Bisimulation Algorithm

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_19 ◽

2011 ◽

pp. 218-230 ◽

Author(s):

Malcolm Mumme ◽

Gianfranco Ciardo

Download Full-text

Reachability and Deadlocking Problems in Multi-stage Scheduling

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_14 ◽

2011 ◽

pp. 153-164

Author(s):

Christian E. J. Eggermont ◽

Gerhard J. Woeginger

Keyword(s):

Download Full-text

Reachability Problems for Hybrid Automata

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_4 ◽

2011 ◽

pp. 28-30

Author(s):

Jean-François Raskin

Keyword(s):

Hybrid Automata

Download Full-text

Characterizing Conclusive Approximations by Logical Formulae

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_8 ◽

2011 ◽

pp. 72-84 ◽

Author(s):

Yohan Boichut ◽

Thi-Bich-Hanh Dao ◽

Valérie Murat

Download Full-text

Automata for Monadic Second-Order Model-Checking

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_3 ◽

2011 ◽

pp. 26-27

Author(s):

Bruno Courcelle

Keyword(s):

Model Checking ◽

Second Order ◽

Order Model ◽

Second Order Model

Download Full-text

Completeness of the Bounded Satisfiability Problem for Constraint LTL

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_7 ◽

2011 ◽

pp. 58-71 ◽

Author(s):

Marcello M. Bersani ◽

Achille Frigeri ◽

Matteo Rossi ◽

Pierluigi San Pietro

Keyword(s):

Satisfiability Problem

Download Full-text

Synthesis of Timing Parameters Satisfying Safety Properties

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_5 ◽

2011 ◽

pp. 31-44 ◽

Author(s):

Étienne André ◽

Romain Soulat

Keyword(s):

Safety Properties

Download Full-text

Reachability for Finite-State Process Algebras Using Static Analysis

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_20 ◽

2011 ◽

pp. 231-244 ◽

Author(s):

Nataliya Skrypnyuk ◽

Flemming Nielson

Keyword(s):

Static Analysis ◽

Process Algebras ◽

State Process ◽

Download Full-text

A New Weakly Universal Cellular Automaton in the 3D Hyperbolic Space with Two States

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_18 ◽

2011 ◽

pp. 205-217 ◽

Author(s):

Maurice Margenstern

Keyword(s):

Cellular Automaton ◽

Hyperbolic Space

Download Full-text

Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-24288-5_6 ◽

2011 ◽

pp. 45-57 ◽

Author(s):

Roland Axelsson ◽

Martin Lange

Keyword(s):

Model Checking ◽

Formal Language ◽

Download Full-text