Paper Review Records
All Paper Review Records
20 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
206
days
ArithHomFA: A toolkit for oblivious online STL monitoring
Authors
Masaki Waga; Kotaro Matsuoka; Takashi SuwaShow moreShow less
Affiliations
Graduate School of Informatics, Kyoto University, Kyoto, Japan; National Institute of Informatics, Tokyo, Japan; Imiron Co., Ltd., Tokyo, JapanShow moreShow less
153
days
RebeCaos: A software artefact for Rebeca
Authors
José Proença; Maurice H. ter BeekShow moreShow less
Affiliations
CISTER and University of Porto, Rua do Campo Alegre s/n, Porto, 4169-007, Portugal; CNR–ISTI, Via Giuseppe Moruzzi 1, Pisa, 56124, ItalyShow moreShow less
183
days
An empirical evaluation of a domain-specific language for maintenance scheduling optimization
Authors
David Martínez-Castañón; Vicente García-Díaz; Edward Rolando Núñez-Valdez; Cristian González García; Alberto Gómez GómezShow moreShow less
Affiliations
Department of Computer Science, University of Oviedo, Oviedo, Spain; Department of Business Administration, University of Oviedo, Gijõn, SpainShow moreShow less
226
days
Beyond the hype: Enabling informed LLM adoption in industry through systematic evaluation
Authors
Eneko Pizarro; Maider Azanza; Beatriz Pérez LamanchaShow moreShow less
Affiliations
LKS Next, Goiru 7, Arrasate-Mondragón, Spain; University of the Basque Country UPV/EHU, Manuel Lardizabal 1, Donostia-San Sebastián, SpainShow moreShow less
266
days
An integrated framework for the validation and verification of UML models
Authors
Gustavo Carvalho; José Dihego; Augusto SampaioShow moreShow less
Affiliations
Centro 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, BrazilShow moreShow less
280
days
SMTQuery: A novel tool for analyzing SMT-LIB string benchmarks
Authors
Mitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-CahnShow moreShow less
Affiliations
Department 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, DenmarkShow moreShow less
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.
