Jari Stenman

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Finite State Machines

Top Venues

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
Norn: An SMT Solver for String Constraints. CAV (1) (2015)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
Budget-bounded model-checking pushdown systems. Formal Methods Syst. Des. 45 (2) (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
String Constraints for Verification. CAV (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. LATA (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
Zenoness for Timed Pushdown Automata. INFINITY (2013)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
Adding Time to Pushdown Automata QFM (2012)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. LATA (2012)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
Multi-pushdown systems with budgets. FMCAD (2012)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
Dense-Timed Pushdown Automata. LICS (2012)