Explore All Access
Check if your research matches the topics covered in Formal Methods in System Design?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Formal Methods in System Design : Impact Factor & More
eISSN: 1572-8102pISSN: 0925-9856
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Formal Methods in System Design Key Metrics
CiteScore 
2.8
Impact Factor
< 5
SJR
Q2Software
SNIP
1.27
Time to Publish
View Chart Mo
Topics Covered on Formal Methods in System Design
Static analysis
Satisfiability modulo theories
Runtime verification
Formal methods
Formal Methods in System Design 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 |
View less
One subscription packed with expert publication services and AI tools to get you published
Brought to you by 
Journal Selection Service
Benefit from our experts' recommendations of 3-5 best-suited journals, accompanied by a detailed Journal Selection report explaining the choices. Make informed decisions.
Journal Submission Service
Streamline your submission process with meticulous manuscript formatting to meet journal guidelines, crafting a tailored cover letter for the editor, and hassle-free account creation and submission
Bundle of AI tools for your research needs
Journal Finder, Paperpal, R Discovery, MindTheGraph and more
Time to Publish
% of papers by time taken from submission to publication
0 to 3 months0%
4 to 6 months0%
7 to 9 months0%
Above 9 months100%
Did you find this useful?
Planning to publish in Formal Methods in System Design ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Formal Methods in System Design
Porous invariants for linear systems
- 28 Feb 2024
- Formal Methods in System Design
Parameter synthesis for Markov models: covering the parameter space
- 17 Feb 2024
- Formal Methods in System Design
Termination of triangular polynomial loops
- 4 Dec 2023
- Formal Methods in System Design
Extending rely-guarantee thinking to handle real-time scheduling
- 30 Nov 2023
- Formal Methods in System Design
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
- 6 Oct 2023
- Formal Methods in System Design
Certified SAT solving with GPU accelerated inprocessing
- 2 Aug 2023
- Formal Methods in System Design
Porous invariants for linear systems
- 28 Feb 2024
- Formal Methods in System Design
Parameter synthesis for Markov models: covering the parameter space
- 17 Feb 2024
- Formal Methods in System Design
Termination of triangular polynomial loops
- 4 Dec 2023
- Formal Methods in System Design
Extending rely-guarantee thinking to handle real-time scheduling
- 30 Nov 2023
- Formal Methods in System Design
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
- 6 Oct 2023
- Formal Methods in System Design
Certified SAT solving with GPU accelerated inprocessing
- 2 Aug 2023
- Formal Methods in System Design
Compare Similar Journals with Formal Methods in System Design
Select Journals to Compare with Formal Methods in System Design
Total journals - 10
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
Science of Computer Programming
Publisher: ELSEVIER
Journal of Computer Languages
Publisher: Elsevier
International Journal on Software Tools for Technology Transfer
Publisher: SPRINGER HEIDELBERG
Software Quality Journal
Publisher: SPRINGER
Production and Operations Management
Publisher: WILEY
Software - Practice and Experience
Publisher: WILEY
Big Data
Publisher: MARY ANN LIEBERT, INC
International Transactions in Operational Research
Publisher: WILEY
History of Science
Publisher: SAGE PUBLICATIONS LTD
0 Journals Selected to compare with
Formal Methods in System Design
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Formal Methods in System Design
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 year?
In 2023, Formal Methods in System Design publsihed 11 articles.
What is the eISSN & pISSN for Formal Methods in System Design?
For Formal Methods in System Design, eISSN is 1572-8102 and pISSN is 0925-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.
