|
Conferences in DBLP
(rp) 2009 (conf/rp/2009)
On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. [Citation Graph (, )][DBLP]
Formalisms for Specifying Markovian Population Models. [Citation Graph (, )][DBLP]
Reachability for Continuous and Hybrid Systems. [Citation Graph (, )][DBLP]
Algorithmic Information Theory and Foundations of Probability. [Citation Graph (, )][DBLP]
Model Checking as A Reachability Problem. [Citation Graph (, )][DBLP]
Automatic Verification of Directory-Based Consistency Protocols. [Citation Graph (, )][DBLP]
On Yen's Path Logic for Petri Nets. [Citation Graph (, )][DBLP]
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. [Citation Graph (, )][DBLP]
How to Tackle Integer Weighted Automata Positivity. [Citation Graph (, )][DBLP]
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. [Citation Graph (, )][DBLP]
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. [Citation Graph (, )][DBLP]
An Undecidable Permutation of the Natural Numbers. [Citation Graph (, )][DBLP]
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order. [Citation Graph (, )][DBLP]
Counting Multiplicity over Infinite Alphabets. [Citation Graph (, )][DBLP]
The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane. [Citation Graph (, )][DBLP]
Games with Opacity Condition. [Citation Graph (, )][DBLP]
Abstract Counterexamples for Non-disjunctive Abstractions. [Citation Graph (, )][DBLP]
Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems. [Citation Graph (, )][DBLP]
Games on Higher Order Multi-stack Pushdown Systems. [Citation Graph (, )][DBLP]
Limit Set Reachability in Asynchronous Graph Dynamical Systems. [Citation Graph (, )][DBLP]
|