Computational cost for certificate and signature verification. par Arun Sekar Rajasekaran (16891500)

“…<p>Computational cost for certificate and signature verification.</p>…”

Formal Specifications and Verification of AUTOSAR-compliant RTOS par Drona Nagarajan (12487381)

“…<p dir="ltr">In this paper we propose a method for formal specification of AUTOSAR SWS_OS and verify that a given implementation adheres to the standard. …”

Real certificate generated. par Abdul Razzaq (762345)

Sujets:

TB notification rates over time. par Sabine Hermans (741528)

Sujets:

An examination test process for the certification and decentralization. par Abdul Razzaq (762345)

Sujets:

Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification par Haiyang Xu (780602)

Sujets: “…Real-Time Reliability Verification…”

Artifact for the CAV 2025 paper "Supermartingale Certificates for Quantitative Omega-regular Verification and Control" par Thomas A. Henzinger (7688426)

Sujets:

Notification. par Siliang Luan (9499924)

Sujets:

Descriptive statistics for certificate generation and blockchain recording. par Abdul Razzaq (762345)

Sujets:

Prevalence of death certification and registration. par Leonard K. Atuhaire (12197549)

Sujets:

Verification of the tissue specificity of RIP. par Gen-cheng Gong (750554)

Incorporating Verification Standards for Security Requirement Generation from Functional Specifications par D F2SRD (19664245)

“…<p dir="ltr">The data used in the paper "Incorporating Verification Standards for Security Requirement Generation from Functional Specifications" is published here. …”

Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications" par Isabel Amaral (22620224)

Sujets:

deltaspec par Renzo Degiovanni (8550231)

Sujets: “…Software testing, verification and validation…”

Determinants of death registration and death certification. par Leonard K. Atuhaire (12197549)

Sujets:

Benchmarks (SMT vs CSP) par Guillaume Voiron (3804220)

Sujets:

Executed smart contract of metaverse certificate test to save the record. par Abdul Razzaq (762345)

Sujets:

Execution time for saving grades and generating certificates on the blockchain ledger. par Abdul Razzaq (762345)

Sujets:

Number of Pregnancy Notifications, Deliveries, and Age-specific Births in Hokkaido. par Naomi Maeda (20760284)

“…<p>This table presents the number of pregnancy notifications, delivery cases, births, and age-specific birth counts of mothers in Hokkaido, based on publicly available data from 2011 to 2019. …”

Verification of changes in SUMOylation in selected cellular and viral proteins. par Carlos F. De La Cruz-Herrera (5489147)

Sujets: