Computer Science
Paper Review Records
All Paper Review Records
17 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
RebeCaos: A software artefact for Rebeca
AuthorsJosé Proença; Maurice H. ter Beek
AffiliationsCISTER and University of Porto, Rua do Campo Alegre s/n, Porto, 4169-007, Portugal; CNR–ISTI, Via Giuseppe Moruzzi 1, Pisa, 56124, Italy
An empirical evaluation of a domain-specific language for maintenance scheduling optimization
AuthorsDavid Martínez-Castañón; Vicente García-Díaz; Edward Rolando Núñez-Valdez; Cristian González García; Alberto Gómez Gómez
AffiliationsDepartment of Computer Science, University of Oviedo, Oviedo, Spain; Department of Business Administration, University of Oviedo, Gijõn, Spain
Beyond the hype: Enabling informed LLM adoption in industry through systematic evaluation
AuthorsEneko Pizarro; Maider Azanza; Beatriz Pérez Lamancha
AffiliationsLKS Next, Goiru 7, Arrasate-Mondragón, Spain; University of the Basque Country UPV/EHU, Manuel Lardizabal 1, Donostia-San Sebastián, Spain
An integrated framework for the validation and verification of UML models
AuthorsGustavo Carvalho; José Dihego; Augusto Sampaio
AffiliationsCentro de Informática, Universidade Federal de Pernambuco, Av. Jornalista Aníbal Fernandes, s/n – Cidade Universitária, Recife, 50.740-560, Pernambuco, Brazil; Instituto Federal de Educação, Ciência e Tecnologia da Bahia, Av. Araújo Pinho, n. 39, Salvador, 40.110–150, Bahia, Brazil
SMTQuery: A novel tool for analyzing SMT-LIB string benchmarks
AuthorsMitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-Cahn
AffiliationsDepartment of Computer Science, Kiel University, Kiel, Germany; Department of Computer Science, University of Göttingen, Göttingen, Germany; Department of Computer Science, Aalborg University, Aalborg, Denmark
Chamelon: A delta-debugger for OCaml
AuthorsMilla Valnet; Nathanaëlle Courant; Guillaume Bury; Pierre Chambart; Vincent Laviron
AffiliationsSorbonne Université, Paris, France; OCamlPro, Paris, France
A reliable non-intrusive runtime verification framework for linearizability
AuthorsGilde Valeria Rodríguez; Miguel Piña; Armando Castañeda
AffiliationsPosgrado en Ciencia e Ingeniería de la Computación, UNAM, Mexico City, Mexico; Independent Researcher (Formerly at UNAM), Mexico City, Mexico; Instituto de Matemáticas, UNAM, Mexico City, Mexico
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.