《Formal Methods In System Design》重点专注发布工程技术-计算机：理论方法领域的新研究，旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今，在工程技术-计算机：理论方法领域，有较高影响力，对来稿文章质量要求较高，稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。
| CiteScore | SJR | SNIP | CiteScore排名 | |||
|---|---|---|---|---|---|---|
| 2 | 0.4 | 0.666 | 学科类别 | 分区 | 排名 | 百分位 |
|
大类：大类：Mathematics
小类：小类：TheoreticalComputerScience
|
Q3 | 92/130 | 29% | |||
|
大类：大类：Mathematics
小类：小类：HardwareandArchitecture
|
Q4 | 136/177 | 23% | |||
|
大类：大类：Mathematics
小类：小类：Software
|
Q4 | 314/407 | 22% | |||
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 | 27.6% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 120 / 143 | 16.43% |
文章名称
引用次数
Monitoring hyperproperties
3
TeLEx: learning signal temporal logic from positive examples using tightness metric
3
A survey of challenges for runtime verification from advanced application domains (beyond software)
2
Probabilistic black-box reachability checking (extended version)
1
Incrementally closing octagons
1
An improved algorithm for the control synthesis of nonlinear sampled switched systems
1
Conditions of contracts for separating responsibilities in heterogeneous systems
1
Solving parity games via priority promotion
1
Validating numerical semidefinite programming solvers for polynomial invariants
1
Efficient verification of railway infrastructure designs against standard regulations
1
国家/地区
发文量
TUSA
22
TFrance
16
TGERMANY (FED REP GER)
9
TEngland
7
TAustria
6
TSwitzerland
6
TIsrael
4
TItaly
4
TSweden
4
TCanada
3
