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