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

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

Formal Specifications and Verification of AUTOSAR-compliant RTOS gan 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. gan Abdul Razzaq (762345)

Pynciau:

Reproducible Research, Uncertainty Quantification, and Verification & Validation gan Lorena A. Barba (97553)

Pynciau:

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

Pynciau:

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

Pynciau: “...Real-Time Reliability Verification...”

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

Pynciau:

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

Pynciau:

Detection, quantification, and mitigation of mycotoxins in rice gan Ana Rita Santos (2008729)

Pynciau: “...Food safety, traceability, certification and authenticity...”

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

Incorporating Verification Standards for Security Requirement Generation from Functional Specifications gan 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" gan Isabel Amaral (22620224)

Pynciau:

deltaspec gan Renzo Degiovanni (8550231)

Pynciau: “...Software testing, verification and validation...”

Quantification of carbonylated proteins and peptides and location of the modification. gan Sabine Matallana-Surget (146257)

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

Pynciau:

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

Pynciau:

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

Pynciau:

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

Pynciau:

Site-Specific Quantification of Protein Palmitoylation by Cysteine-Stable Isotope Metabolic Labeling gan Xiaoqin Zhang (517854)

Pynciau: “...protein translational modifications...”

<b>ESG CREDENTIAL LAUNDERING ACROSS MULTI-TIER SUPPLY NETWORKS: A NETWORK LEGITIMACY PERSPECTIVE</b> gan Augustine Okeke (21034832)

Pynciau: