# Jari Stenman

According to our database

^{1}, Jari Stenman## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

Norn: An SMT Solver for String Constraints.

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Budget-bounded model-checking pushdown systems.

Formal Methods in System Design, 2014

Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.

Proceedings of the Language and Automata Theory and Applications, 2014

String Constraints for Verification.

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Zenoness for Timed Pushdown Automata.

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

2012

Adding Time to Pushdown Automata

Proceedings of the Proceedings Quantities in Formal Methods, 2012

Dense-Timed Pushdown Automata.

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems.

Proceedings of the Language and Automata Theory and Applications, 2012

Multi-pushdown systems with budgets.

Proceedings of the Formal Methods in Computer-Aided Design, 2012