Roland Kindermann

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Transition Systems

Formal Specification

Linear Temporal Logic

Top Venues

Aalto University, Helsinki, Finland (PHD)

Education History

Aalto University, Helsinki, Finland

PHD

Publications

Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä
Bounded Model Checking of an MITL Fragment for Timed Automata. ACSD (2013)
Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä
Bounded Model Checking of an MITL Fragment for Timed Automata CoRR (2013)
Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä
SMT-Based Induction Methods for Timed Systems. FORMATS (2012)
Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä
SMT-based Induction Methods for Timed Systems CoRR (2012)
Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. FMOODS/FORTE (2012)
Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä
Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks. ACSD (2011)
Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä
Experimental Comparison of Concolic and Random Testing for Java Card Applets. SPIN (2010)