Formal Methods in System Design
Journal metrics
Annual Clarivate and SCImago indicators.
| Year | JCR | SJR | ||||
|---|---|---|---|---|---|---|
| IF | IF quartile | Rank (percentile) | SJR | SJR quartile | Rank (percentile) | |
| 2025 | 1.0 | Q3 | 27.9% | 0.290 | Q3 | 42.3% |
| 2024 | 0.8 | Q4 | 25.2% | 0.345 | Q3 | 50.1% |
| 2023 | 0.7 | Q3 | 22.7% | 0.400 | Q3 | 57.7% |
| 2022 | 0.8 | Q4 | 14.6% | 0.320 | Q3 | 52.7% |
| 2021 | 1.1 | Q4 | 46.3% | 0.502 | Q3 | 67.2% |
| 2020 | — | — | 0.334 | Q3 | 53.8% | |
| 2019 | — | — | 0.516 | Q2 | 68.5% | |
| 2018 | — | — | 0.308 | Q2 | 50.9% | |
Impact history
Annual SJR and Impact Factor trend.
SJRIF
Journal record
eISSN
0925-9856
ISSN
1572-8102
region
Western Europe
coverage
1992-2022, 2024-2026