← 返回期刊列表
Review Cycle Records
FORMAL METHODS IN SYSTEM DESIGN
数据更新 2026-07-16 · 完整周期 10 篇 · 日期来源可逐条复核
FORMAL METHODS IN SYSTEM DESIGN已收录10篇完整论文周期样本，平均审稿550.4 天，中位审稿586.5 天。2025中科院4区，非OA，2025发文量24。页面含论文收到日期、录用日期、PDF、DOI和出版社网页溯源入口。
Latest Papers
最新发表论文审稿周期
审稿天数=录用日期-收到日期；保留 PDF/DOI/网页源链接
776
天
Adjointness in property directed reachability analysis
作者Mayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni; Roberta Gori; Ichiro Hasuo
作者单位1. Research Institute for Mathematical Sciences, Kyoto University, Sakyo, Japan; 2. Computer Science Department, University of Pisa, Pisa, Italy; 3. National Institute of Informatics, Chiyoda, Japan; 4. Department of Informatics, SOKENDAI (The Graduate University for Advanced Studies), Hayama, Japan
417
天
Formally verified roundoff error bounds on LogSumExp-based computations
作者Paul Bonnot; Benoît Boyer; Florian Faissole; Claude Marché; Raphaël Rieu-Helft
作者单位1. Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, France; 2. Mitsubishi Electric R&D Centre Europe, Rennes, France; 3. TrustInsoft, Paris, France
295
天
Linear temporal constraints for sketch-based synthesizers
作者Fernando A. Galicia-Mendoza; David A. Rosenblueth; Armando Solar-Lezama
作者单位1. Posgrado en Ciencia e Ingeniería de la Computación, Universidad Nacional Autónoma de México, CDMX, Mexico; 2. Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, Universidad Nacional Autónoma de México, CDMX, Mexico; 3. Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, USA
709
天
A program instrumentation framework for automatic verification
作者Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer; Marten Voorberg
作者单位1. EECS, KTH Royal Institute of Technology, Stockholm, Sweden; 2. IT Department, Uppsala University, Uppsala, Sweden; 3. FM, Fondazione Bruno Kessler, Trento, Italy; 4. FIDS, University of Regensburg, Regensburg, Germany
362
天
242
天
Verifying hybrid automata networks guided by task scenarios
作者Longlong Lu; Yufei Shi; Minxue Pan; Xuandong Li
作者单位1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China; 2. Software Institute, Nanjing University, Nanjing, China; 3. School of Computer Science, Nanjing University, Nanjing, China
558
天
Search and explore: symbiotic policy synthesis in POMDPs
作者Roman Andriushchenko; Alexander Bork; Milan Češka; Sebastian Junges; Joost-Pieter Katoen; Filip Macák
作者单位1. Brno University of Technology, Brno, Czech Republic; 2. RWTH Aachen University, Aachen, Germany; 3. Radboud University, Nijmegen, The Netherlands
868
天
615
天
A scalable anytime algorithm for learning fragments of linear temporal logic
作者Ritam Raha; Rajarshi Roy; Nathanaël Fijalkow; Daniel Neider
作者单位1. Max-Planck Institute for Software Systems, Kaiserslautern, Germany; 2. University of Oxford, Oxford, UK; 3. CNRS, LaBRI, Université de Bordeaux, Bordeaux, France; 4. TU Dortmund University, Dortmund, Germany; 5. Center for Trustworthy Data Science and Security, University Alliance Ruhr, Dortmund, Germany
662
天