Local Model Checking of Weighted CTL with Upper-Bound Constraints. - Jonas Finnemann Jensen; Kim Guldstrand Larsen; Jirí Srba; Lars Kaerlund Oestergaard (SPIN, 2013)

Efficient model-checking of weighted CTL with upper-bound constraints. - Jonas Finnemann Jensen; Kim Guldstrand Larsen; Jirí Srba; Lars Kaerlund Oestergaard (Int. J. Softw. Tools Technol. Transf., 2016)

TAPAAL and Reachability Analysis of P/T Nets. - Jonas Finnemann Jensen; Thomas Nielsen; Lars Kaerlund Oestergaard; Jirí Srba (Trans. Petri Nets Other Model. Concurr., 2016)