Publikationen von Ingo Felscher
Alle Publikationen
[Fel14] |
Ingo Felscher.
Model composition in model-checking.
PhD thesis, RWTH Aachen, 2014. [ pdf | http | Abstract ] |
[Fel12] |
I. Felscher.
LTL-Model-Checking via Model Composition.
In Alain Finkel, Jerome Leroux, and Igor Potapov, editors,
Reachability Problems, 6th International Workshop, RP 2012, Bordeaux, France,
September 17-19, 2012. Proceedings, volume 7550 of Lecture Notes in
Computer Science, pages 42-53. Springer, 2012. [ pdf | http | Abstract ] |
[FT11b] |
I. Felscher and W. Thomas.
On Compositional Failure Detection in Structured
Transition Systems.
Technical Report AIB-2011-12, RWTH Aachen University, 2011.
Full version of [FT11a]. [ pdf | .ps.gz | Abstract ] |
[FT11a] |
I. Felscher and W. Thomas.
Compositional failure detection in structured transition
systems.
In Implementation and Application of Automata, 16th
International Conference, CIAA 2011, Blois, France, July 13-16, 2011.
Proceedings, volume 6807 of Lecture Notes of Computer Science, pages
130-141, 2011. [ http | Abstract ] |
[FT09] |
I. Felscher and W. Thomas.
Compositionality and reachability with conditions on path
lengths.
International Journal of Foundations of Computer Science,
20(5):851-868, 2009.
(c) World Scientific Publishing Company. [ pdf | http | Abstract ] |
[Fel08] |
I. Felscher.
The Compositional Method and Regular Reachability.
In Proceedings of the 2nd Workshop on Reachability Problems,
Liverpool, UK, September 15-17,2008, volume 223 of Electronic Notes in
Theoretical Computer Science, pages 103-117. Elsevier Science Publishers,
2008. [ pdf | http | Abstract ] |