Experimental Comparison of Concolic and Random Testing for Java Card Applets. - Kari Kähkönen; Roland Kindermann; Keijo Heljanko; Ilkka Niemelä (SPIN, 2010)

Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks. - Roland Kindermann; Tommi A. Junttila; Ilkka Niemelä (ACSD, 2011)

SMT-Based Induction Methods for Timed Systems. - Roland Kindermann; Tommi A. Junttila; Ilkka Niemelä (FORMATS, 2012)

Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. - Roland Kindermann; Tommi A. Junttila; Ilkka Niemelä (FMOODS/FORTE, 2012)

Bounded Model Checking of an MITL Fragment for Timed Automata. - Roland Kindermann; Tommi A. Junttila; Ilkka Niemelä (ACSD, 2013)

SMT-based Verification of Timed Systems and Software. - Roland Kindermann (2014)