Roland Kindermann

According to our database, Roland Kindermann authored at least 6 papers between 2010 and 2014.

Collaborative distances:

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

2014

SMT-based Verification of Timed Systems and Software.

Roland Kindermann

PhD thesis, 2014

2013

Bounded Model Checking of an MITL Fragment for Timed Automata.

Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata.

Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Formal Techniques for Distributed Systems, 2012

SMT-Based Induction Methods for Timed Systems.

Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks.

Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Experimental Comparison of Concolic and Random Testing for Java Card Applets.

Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä

Proceedings of the Model Checking Software, 2010