Ingo Felscher

According to our database, Ingo Felscher authored at least 5 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Model composition in model checking.

Ingo Felscher

PhD thesis, 2014

2012

LTL-Model-Checking via Model Composition.

Ingo Felscher

Proceedings of the Reachability Problems - 6th International Workshop, 2012

2011

Compositional Failure Detection in Structured Transition Systems.

Ingo Felscher, Wolfgang Thomas

Proceedings of the Implementation and Application of Automata, 2011

2009

Compositionality and Reachability with Conditions on Path Lengths.

Ingo Felscher, Wolfgang Thomas

Int. J. Found. Comput. Sci., 2009

2008

The Compositional Method and Regular Reachability.

Ingo Felscher

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008