SETTA proceedings
Symposium on Dependable Software Engineering: Theories, Tools and Applications
Papers in 2025
19
Papers, all years
188
Years indexed
11
Since
2015
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202519 papers✓ verified
Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
Institution data is still being gathered for this venue; it fills in over the coming days.
Venues like SETTA
Closest by the phrases in their paper titles over the last five complete years.
- TASE Theoretical Aspects of Software Engineering0.28concurrent objectsformalformal verificationcoqverified
- ICFEM International Conference on Formal Engineering Methods0.23formalformal verificationspecificationsverificationautomata
- FM International Symposium on Formal Methods0.18formalverificationlogicautomataformal verification
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.17logicverificationsemanticsspecificationsverified
- APLAS Asian Symposium on Programming Languages and Systems0.16logiccalculusverificationcheckingformal
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.4 in 2025
Papers by an entirely new team
47% in 2025
Most published at SETTA
- Naijun Zhan2015 to 20259
- Lijun Zhang2015 to 20246
- Zhiming Liu2018 to 20246
- Meng Sun2021 to 20246
- Andrea Turrini2015 to 20255
- Shmuel S. Tyszberowicz2015 to 20255
- Shuling Wang2015 to 20255
- Zhilin Wu2016 to 20255
- Yuteng Lu2021 to 20235
- Weidi Sun2021 to 20235