According to our database1, Jari Stenman
Legend:Book In proceedings Article PhD thesis Other
Norn: An SMT Solver for String Constraints.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
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
Zenoness for Timed Pushdown Automata.
Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013
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