Computer Science
Paper Review Records
All Paper Review Records
19 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
SmartCML: a domain-specific modeling language for implementing smart contracts
AuthorsSimon Curty; Hans-Georg Fill
Affiliations1. Digitalization and Information Systems Group, University of Fribourg, Fribourg, Switzerland
Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
AuthorsAlessandro Cimatti; Thomas M. Grosen; Kim G. Larsen; Stefano Tonetta; Martin Zimmermann
Affiliations1. Fondazione Bruno Kessler, Trento, Italy; 2. Aalborg University, Aalborg, Denmark
Synergic modeling of coherent systems
AuthorsAntonio Bucchiarone; Alfonso Pierantonio; Hans Vangheluwe
Affiliations1. SWEN/DISIM, Università degli Studi dell’Aquila, L’Aquila, Italy; 2. Universiteit Antwerpen and Flanders Make, Antwerp, Belgium
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: a systematic evaluation
AuthorsWeixing Zhang; Bowen Jiang; Yuhong Fu; Anne Koziolek; Regina Hebig; Daniel Strüber
Affiliations1. 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
AuthorsSebastian Ebert; Ferdinand Auerswald; Sebastian Götz; Uwe Aßmann
Affiliations1. 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
2500 years of going meta: from Aristotle to SysML v2
AuthorsEd Seidewitz
Affiliations1. Model Driven Solutions, Frederick, USA
On the consistency of state machines, use cases and block diagrams using dependency graphs and Large Language Models
AuthorsBastien Sultan; Ludovic Apvrille; Sophie Coudert
Affiliations1. LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France
Bridging conceptual models and numerical domains: a semantic integration approach for federated co-simulation in MBSE
AuthorsThomas C. Zimmermann; Johan Cederbladh; Erik Paul Konietzko; Pascal Lünnemann
Affiliations1. Fraunhofer IPK, Berlin, Germany; 2. Volvo Construction Equipment, Eskilstuna, Sweden
Formalizing smart contract design patterns with DCR graphs
AuthorsMojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider
Affiliations1. KTH Royal Institute of Technology, Stockholm, Sweden; 2. Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden; 3. University of Copenhagen, Copenhagen, Denmark
Have model transformation languages failed?
AuthorsJuan de Lara; Esther Guerra; Jesús Sánchez Cuadrado
Affiliations1. Universidad Autónoma de Madrid, Madrid, Spain; 2. Universidad de Murcia, Murcia, Spain
Expert Matching · Case Demo
Turn Your Submission Goalsinto a Verifiable Journal Plan
Share your field, deadline, and author profile. CrushSCI uses real review records to suggest a title direction, shortlist journals, and estimate timelines.