SETTA 2026
Symposium on Dependable Software Engineering: Theories, Tools and Applications
Theory
Cycle closed, awaiting the next call
All deadlines
Paper submissionMay 24, 2026est.
From past proceedings
Papers in SETTA's main DBLP volume each year, not official acceptance counts.
Papers in 2025
19
main DBLP volume
5-year change
+58%
vs 2020
Papers, all years
188
11 years since 2015
Authors per paper
3.4
3.7 in 2015
By an entirely new team
47%
of 2025 papers
Papers per year2015 to 2025
Top keywords, 2025
logicautomatedformalmonitoringprogramspecifications
Venues like SETTA
- TASE Theoretical Aspects of Software Engineering0.28concurrent objectsformalformal verificationcoq
- ICFEM International Conference on Formal Engineering Methods0.23formalformal verificationspecificationsverification
- FM International Symposium on Formal Methods0.18formalverificationlogicautomata
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.17logicverificationsemanticsspecifications
Most published at SETTA
- Naijun Zhan2015 to 20259
- Lijun Zhang2015 to 20246
- Zhiming Liu2018 to 20246
- Meng Sun2021 to 20246
- Andrea Turrini2015 to 20255
Who publishes here
Institution data is still being gathered for this venue; it fills in over the coming days.