Key Metrics
2.8
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
< 5
Impact Factor
Impact Factor
Impact factor of a journal is calculated by dividing the number of current year citations to the source items published in that journal during the previous two years.
Q2
Software
SJR
- Q2 Software
- Q2 Hardware and Architecture
- Q1 Theoretical Computer Science
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
1.27
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
15 Mo
Time to Publish
Time to Publish
Based on turnaround time from submission to publication for papers (articles & reviews) published in 2022 and for journals with a sample of more than 10 papers.
Time To Publish
Time to Publish
Based on turnaround time from submission to publication for papers (articles & reviews) published in 2022 and for journals with a sample of more than 10 papers.
Time to Publish
Based on turnaround time from submission to publication for papers (articles & reviews) published in 2022 and for journals with a sample of more than 10 papers.
% of papers by time taken from submission to publication
0 to 3 months
0%
4 to 6 months
6%
7 to 9 months
13%
Above 9 months
81%
Did you find this useful?
Thank you for your feedback.
Topics Covered
- Static analysis
- Satisfiability modulo theories
- Runtime verification
- Formal methods
Journal Specifications
| Overview | |
| Publisher | SPRINGER |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 1992 |
| Publisher URL | Visit website |
| Website URL | Visit website |
Planning to publish in Formal Methods in System Design ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Data-driven invariant learning for probabilistic programs
- 3 Dec 24
- Formal Methods in System Design
-
Full paper
Correction: (Un)Solvable loop analysis
- 20 Nov 24
- Formal Methods in System Design
-
Full paper
SAT solving for variants of first-order subsumption
- 11 Nov 24
- Formal Methods in System Design
-
Full paper
Abstraction Modulo Stability
- 12 Sep 24
- Formal Methods in System Design
-
Full paper
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
- 17 Aug 24
- Formal Methods in System Design
-
Full paper
A verified durable transactional mutex lock for persistent x86-TSO
- 31 Jul 24
- Formal Methods in System Design
Scite analysis
Powered by scite_
782 articles received 11.2k citations see all
- 50 Supporting
- 11,070 Mentioning
- 3 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 2 Corrections
- 0 Errata
- 0 Expression of Concern
FAQs
How long has Formal Methods in System Design been actively publishing?
Formal Methods in System Design has been in operation since 1992 till date.
What is the publishing frequency of Formal Methods in System Design ?
Formal Methods in System Design published with a Bi-monthly frequency.
How many articles did Formal Methods in System Design publish last years ?
In 2023, Formal Methods in System Design published 13 articles.
What is the eISSN & pISSN for Formal Methods in System Design ?
For Formal Methods in System Design,eISSN is 1572-8102 and pISSN is0925-9856.
What is Citescore for Formal Methods in System Design ?
Citescore for Formal Methods in System Design is 2.8.
What is SNIP score for Formal Methods in System Design ?
SNIP score for Formal Methods in System Design is 1.27.
What is the SJR for Formal Methods in System Design ?
SJR for Formal Methods in System Design is Q2.
Who is the publisher of Formal Methods in System Design ?
SPRINGER is the publisher of Formal Methods in System Design.