Get an email when this journal's indexing changes
Added to or removed from Scopus, Web of Science, ABDC, DOAJ, FT50, UT Dallas or ONOS. One confirmation click; unsubscribe anytime.
Formal Methods in System Design is Scopus-indexed (Q3, CiteScore 2.1), WoS SCIE. It is covered by India's One Nation One Subscription scheme for reading access. Published by Springer Netherlands.
Checked against the index lists dated .
ISSN 0925-9856Verify ISSN ↗1572-8102Verify ISSN ↗
Publisher: Springer Netherlands
Cost to publish: About US$2,390 to publish open access (publisher list price, via OpenAlex) — subscription publishing may be free
| Subject area | Rank | Pctile | Q |
|---|---|---|---|
| Theoretical Computer Science | 87 / 135 | 35th | Q3 |
| Hardware and Architecture | 162 / 245 | 34th | Q3 |
| Software | 342 / 503 | 32nd | Q3 |
Not listed in: DOAJ, ABDC, ABS / AJG, FT50, UT Dallas, ONOS (APC covered)
Yes — actively indexed in Scopus, coverage 2024–present (also 1992–2022), best quartile Q3, CiteScore 2.1.
Formal Methods in System Design is Q3 in Theoretical Computer Science (rank 87 of 135), Q3 in Hardware and Architecture (rank 162 of 245) and Q3 in Software (rank 342 of 503), by CiteScore 2025.
Formal Methods in System Design is indexed in the Science Citation Index Expanded, so it may have a Journal Impact Factor in Clarivate's Journal Citation Reports. JCR is paid, so check it for the current value. The closest free measure is its Scopus CiteScore 2.1, which places it in quartile Q3 at the 35th percentile of its subject. Its SCImago Journal Rank (SJR, a free Scopus-based metric) is 0.290, quartile Q3, with an H-index of 59.
The publisher lists an article processing charge of about US$2,390 for open access (source: OpenAlex). Many journals also publish by the subscription route at no cost to the author, so confirm on the journal's own website.
Formal Methods in System Design is published by Springer Netherlands. Its print ISSN is 0925-9856 and its online ISSN is 1572-8102.
Yes. It is part of the One Nation One Subscription (ONOS) national subscription, so readers at participating Indian institutions get its full text. ONOS does not cover its article processing charge.
Yes — indexed in the Science Citation Index Expanded.
No — it is not registered as an open-access journal in DOAJ or Scopus.
Formal Methods in System Design has an h-index of 76 and a 2-year mean of 1.13 citations per paper (OpenAlex). Its Scopus CiteScore is 2.1, quartile Q3. On 2-year citations it ranks #66 of 125 Scopus journals in Theoretical Computer Science.
Formal Methods in System Design published 27 papers in 2025; its busiest recent year was 2017 with 49. 2026* is the year so far.
h-index, i10-index and 2-year mean citedness are open, licence-clear metrics from OpenAlex — not a proprietary impact factor. The subject rank counts only journals that OpenAlex has a figure for; it is not a Scopus or Clarivate ranking. Updated 2026-10-14.
In its latest 98 research articles (2021–2026), authors are most often from Germany (17%), United States (12.7%) and France (11.8%).
Countries are counted fractionally, so a paper by authors from two countries counts half to each.
Scopus status: Active. No retracted papers are recorded. The Problematic Paper Screener flags none of its papers. These are indicators to check, not findings against the journal.
Retractions from OpenAlex; flags from the Problematic Paper Screener (Cabanac, Labbé & Magazinov, CC BY), 2026-09-21 export. A flag marks a paper for a closer look; it is not a finding against the journal.
Index data is curated from public sources (Scopus, Web of Science, ABDC, FT50, UT Dallas, DOAJ). CiteScore and quartiles reflect the latest available Scopus release. Always verify a journal's current status on its official source before submitting.
Comments load as you scroll here.