Journal list Promote Sponsor
verified SJR 0,345 · Q3 • database Scopus / SJR & Web of Science indexed
Formal Methods in System Design
Netherlands · Springer Netherlands
workspace_premium Q3 — Software lock_open Open Access

Formal Methods in System Design

Formal Methods in System Design is a journal indexed in SJR in Software and Theoretical Computer Science with an H index of 58. It has a price of 2490 €. It has an SJR impact factor of 0,345 and it has a best quartile of Q3. It is published in English. It has an SJR impact factor of 0,345.

ISSN: 0925-9856
Publisher: Springer Netherlands
Category: Software
Indexation: verifiedScopus / SJR verifiedWeb of Science
open_in_new Portal NPD menu_book Guidelines NPD
schedule CountryOfPapers database fields
SJR Impact Factor trending_up
0,345 Q3
H-index 58
Acceptance rate pie_chart
30% Selective
Source Acceptance_Rate
Time to publication hourglass_top
NPD
Field NPD
Publication cost (APC) payments
2.490 € Open Access
Non-OA path 0 €

Metrics

Scimago and CountryOfPapers database fields

Scopus / SJR Web of Science

SJR Impact

0,345

H-index

58

Docs (year)

36

Docs 3y

75

Total refs

1794

Cites 3y

73

Citable 3y

66

Cites/Doc 2y

1.03

Ref/Doc

49.83

Immediate OA

2490 €

Embargoed OA

NPD

Non OA / Submission

0 €

shield Researcher voice

Name good journals. Call out predatory ones.

Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.

Fair & fast peer review Clear APC / no surprise fees Suspected predatory Fake impact claims
rate_review Write an honest review

Researcher reviews

sentiment_dissatisfied No reviews yet — be the first to share an honest experience.
User
* Only to validate authenticity — identity is not shown publicly.

Best articles by citations

A Constructive Approach to Hardware/Software Partitioning

View more

Hiding propositional constants in BDDs

View more

Priority scheduling of distributed systems based on model checking

View more

Regrouping parallel processes

View more

FAQs