Jari Stenman

According to our database1, Jari Stenman authored at least 9 papers between 2012 and 2015.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...