Jari Stenman

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Norn: An SMT Solver for String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman

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

2014

Budget-bounded model-checking pushdown systems.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman

Formal Methods Syst. Des., 2014

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

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Proceedings of the Language and Automata Theory and Applications, 2014

String Constraints for Verification.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman

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

2013

Zenoness for Timed Pushdown Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

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

2012

Adding Time to Pushdown Automata

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Proceedings of the Proceedings Quantities in Formal Methods, 2012

Dense-Timed Pushdown Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

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

The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Proceedings of the Language and Automata Theory and Applications, 2012

Multi-pushdown systems with budgets.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman

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