计算机科学
Paper Review Records
全部论文审稿周期
19 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期;保留 PDF/DOI/网页源链接
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: a systematic evaluation
作者Weixing Zhang; Bowen Jiang; Yuhong Fu; Anne Koziolek; Regina Hebig; Daniel Strüber
作者单位1. MCSE Group, Karlsruhe Institute of Technology, Karlsruhe, Germany; 2. Engineering and Information Technology, Adelaide University, Adelaide, Australia; 3. Institute of Computer Science, University of Rostock, Rostock, Germany; 4. Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden; 5. Department of Software Science, Radboud University, Nijmegen, The Netherlands
Enabling concurrency issue detection for ROS 2 using Timed Petri nets
作者Sebastian Ebert; Ferdinand Auerswald; Sebastian Götz; Uwe Aßmann
作者单位1. Centre for Tactile Internet with Human-in-the-Loop (CeTI), Dresden, Germany; 2. Chair of Software Technology, Technische Universität Dresden, Dresden, Germany; 3. Bosch Sensortec GmbH, Reutlingen, Germany
Bridging conceptual models and numerical domains: a semantic integration approach for federated co-simulation in MBSE
作者Thomas C. Zimmermann; Johan Cederbladh; Erik Paul Konietzko; Pascal Lünnemann
作者单位1. Fraunhofer IPK, Berlin, Germany; 2. Volvo Construction Equipment, Eskilstuna, Sweden
Formalizing smart contract design patterns with DCR graphs
作者Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider
作者单位1. KTH Royal Institute of Technology, Stockholm, Sweden; 2. Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden; 3. University of Copenhagen, Copenhagen, Denmark
Expert Matching · Case Demo
把投稿要求,转成可验证的期刊方案
说清专业、时限和作者背景,CrushSCI 结合真实审稿样本,给出拟题方向、期刊初筛与周期判断。