Jonas Finnemann Jensen

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Reachability Analysis

Alternating Time Temporal Logic

Top Venues

Trans. Petri Nets Other Model. Concurr.

Int. J. Softw. Tools Technol. Transf.

Publications

Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard
Efficient model-checking of weighted CTL with upper-bound constraints. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Jonas Finnemann Jensen, Thomas Nielsen, Lars Kaerlund Oestergaard, Jirí Srba
TAPAAL and Reachability Analysis of P/T Nets. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard
Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN (2013)