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 ]