Formal Methods in System Design

ISSN 0925-9856Springer Netherlands
ScopusSCImagoMatched via identifier

Journal overview

Journal identity
Titles
Formal Methods in System Design
Key identifiers
ISSN
0925-9856
eISSN
1572-8102
NLM ID
Not available
Publisher / basic metadata
Publisher
Springer Netherlands
Country
Language
Not available

Indexing & coverage

Current indexing summary
Scopus
Currently indexed

Scopus's Sources record lists this journal as active.

Indexing history
Coverage
2024–2026, 1992–2022
Indexing services (MEDLINE, Embase)
Not available
Bibliographic inclusion (PubMed)
Not available
Full-text availability (PMC — not an indexing service)
Not available

Metrics

JIF
Not available
SCImago Journal Rank (SJR) — 2025

Source: SCImago Journal & Country Rank — 2025 dataset. SJR is a metric published by SCImago, presented here as reported.

SJR
0.29
Best Quartile
Q3
H-index
59
Subject categories (quartile varies by category)
  • Hardware and Architecture — Q3
  • Software — Q3
  • Theoretical Computer Science — Q4
More metrics
Coverage
1992–2022, 2024–2026
Country
Netherlands
Region
Western Europe
Publisher
Springer Netherlands
Open Access
No
Open Access (Diamond)
No
Total documents (current year)
36
Total documents (3 years)
56
Total references
1587
Total citations (3 years)
78
Citable documents (3 years)
51
Citations per document (2 years)
1.32
References per document
44.08
Source details
Match confidence
Confirmed — two independent ISSNs agree
Matched via ISSN(s)
1572-8102, 0925-9856
SCImago Source ID
12262
SCImago Rank (across all SCImago source types)
17543

Publication activity

Publication activity
SCImago
2025
36 observed publications
Latest publication activity observed
2025
Current-year activity
Recent publication activity observed

Evidence sources: SCImago. SCImago's count is a source-reported aggregate figure; Crossref/OpenAlex/PubMed counts are distinct article records JCF Labs observed via each provider's own free API — none is guaranteed to be that journal's complete output for the year, and providers may disagree (this is expected, not an error). See this journal's own source evidence above for full context.

Subjects & categories

Subjects / categories
Subject area (SCImago)
MeSH (PubMed)
Not available
Coverage / history
Scopus:2024-2026; 1992-2022