Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jari Stenman

dblp:34/11004 · DBLP profile ↗
← Back
7ranked-venue papers
0as first author
0since 2021 · last 2015
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 7Software engineering, systems software and programming languages · 3

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
3 papers
Automated reasoning and model checking · 86% Automata and formal languages · 14%
Software engineering, system software, and programming languages
1 paper
Program verification · 100%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › constraint solving
string constraint solving
0.422015
Norn: An SMT Solver for String Constraints · CAV (1) 2015
String Constraints for Verification · CAV 2014
Automated reasoning and model checking
satisfiability modulo theories
0.212015
Norn: An SMT Solver for String Constraints · CAV (1) 2015
Automated reasoning and model checking › model checking
infinite-state model checking
0.112012
Dense-Timed Pushdown Automata · LICS 2012
Automated reasoning and model checking
reachability
0.112012
Dense-Timed Pushdown Automata · LICS 2012
Automata and formal languages
timed automata
0.112012
Dense-Timed Pushdown Automata · LICS 2012

Methods — techniques the papers use, named apart from their topics

SMT solving · 0.6EXPTIME-completeness · 0.1
YearPublicationVenuePosition
2015 Norn: An SMT Solver for String Constraints
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
CAV (1)7
2014 String Constraints for Verification
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
CAV7
2014 Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
LATA3
2014 Budget-bounded model-checking pushdown systems
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
Formal Methods Syst. Des.4
2012 Multi-pushdown systems with budgets
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
FMCAD4
2012 The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
LATA3
2012 Dense-Timed Pushdown Automata
abstract
We propose a model that captures the behavior of real-time recursive systems. To that end, we introduce dense-timed pushdown automata that extend the classical models of pushdown automata and timed automata, in the sense that the automaton operates on a finite set of real-valued clocks, and each symbol in the stack is equipped with a real-valued clock representing its "age". The model induces a transition system that is infinite in two dimensions, namely it gives rise to a stack with an unbounded number of symbols each of which with a real-valued clock. The main contribution of the paper is an EXPTIME-complete algorithm for solving the reachability problem for dense-timed pushdown automata.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
LICS3