nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
|
Praveen, M. |
|
2008 |
223 |
C |
p. 215-237 23 p. |
artikel |
2 |
A New Algorithm for Partitioned Symbolic Reachability Analysis
|
Lampka, Kai |
|
2008 |
223 |
C |
p. 137-151 15 p. |
artikel |
3 |
An Inverse Method for Parametric Timed Automata
|
André, Étienne |
|
2008 |
223 |
C |
p. 29-46 18 p. |
artikel |
4 |
Approximated Reachability on Hybrid Automata: Falsification meets Certification
|
Bauer, K. |
|
2008 |
223 |
C |
p. 47-60 14 p. |
artikel |
5 |
A Universal Cellular Automaton on the Ternary Heptagrid
|
Margenstern, Maurice |
|
2008 |
223 |
C |
p. 167-185 19 p. |
artikel |
6 |
Dynamic Slicing Techniques for Petri Nets
|
Llorens, M. |
|
2008 |
223 |
C |
p. 153-165 13 p. |
artikel |
7 |
Falsifying Safety Properties Through Games on Over-approximating Models
|
Charlton, Nathaniel |
|
2008 |
223 |
C |
p. 71-86 16 p. |
artikel |
8 |
Handling Left-Quadratic Rules When Completing Tree Automata
|
Boichut, Y. |
|
2008 |
223 |
C |
p. 61-70 10 p. |
artikel |
9 |
Monotonic Abstraction in Parameterized Verification
|
Abdulla, Parosh Aziz |
|
2008 |
223 |
C |
p. 3-14 12 p. |
artikel |
10 |
Preface
|
Halava, Vesa |
|
2008 |
223 |
C |
p. 1-2 2 p. |
artikel |
11 |
Reachability in Petri Nets with Inhibitor Arcs
|
Reinhardt, Klaus |
|
2008 |
223 |
C |
p. 239-264 26 p. |
artikel |
12 |
Reachability via Cooperating Morphisms
|
Karhumäki, Juhani |
|
2008 |
223 |
C |
p. 15-27 13 p. |
artikel |
13 |
Switching Graphs
|
Groote, Jan Friso |
|
2008 |
223 |
C |
p. 119-135 17 p. |
artikel |
14 |
The Complexity of Satisfiability for Fragments of CTL and CTL⋆
|
Meier, Arne |
|
2008 |
223 |
C |
p. 201-213 13 p. |
artikel |
15 |
The Compositional Method and Regular Reachability
|
Felscher, Ingo |
|
2008 |
223 |
C |
p. 103-117 15 p. |
artikel |
16 |
The Length of Subset Reachability in Nondeterministic Automata
|
Martyugin, Pavel |
|
2008 |
223 |
C |
p. 187-200 14 p. |
artikel |
17 |
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
|
Collins, Pieter |
|
2008 |
223 |
C |
p. 87-102 16 p. |
artikel |