Paper Review Records
All Paper Review Records
22 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
354
days
LeanMachines: State-based Modeling with Refinement (a Lean4 Framework)
Authors
Danaël Carbonneau; Frederic PeschanskiShow moreShow less
Affiliations
1. Sorbonne Universite; 2. LIP6Show moreShow less
382
days
Malware Analysis through Behavior Formalization
Authors
Andrei Mogage; Dorel LucanuShow moreShow less
Affiliations
1. Computer Science, Alexandru Ioan Cuza University; 2. BitdefenderShow moreShow less
576
days
On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity
Authors
Hao Wu; Yuxi Fu; Huan Long; Xian Xu; Wenbo ZhangShow moreShow less
Affiliations
1. College of Information Engineering, Shanghai Maritime University; 2. BASICS, Shanghai Jiao Tong University; 3. East China University of Science and Technology; 4. Shanghai Ocean UniversityShow moreShow less
152
days
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
Authors
Martin Fränzle; Thomas Møller Grosen; Kim Guldstrand Larsen; Martin ZimmermannShow moreShow less
Affiliations
1. Carl von Ossietzky Universitat Oldenburg; 2. Aalborg UniversityShow 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.
