Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation by Haitao Wang, Lihua Song

Subjects: Get full text

Experiences With Deep Learning Enhanced Steering Mechanisms for Debugging of Fundamental Cloud Services by Robert Lovas, Erno Rigo, Daniel Unyi, Balint Gyires-Toth

Subjects: Get full text

Formal performance analysis of optimal relays-based protection scheme for automated distribution networks by Sobia Ashraf, Osman Hasan

Subjects: Get full text

Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model by Robin Mross, Aron Schnakenbeck, Marcus Volker, Alexander Fay, Stefan Kowalewski

Subjects: Get full text

Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles by Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan Aitken, Sandor Veres

Subjects: Get full text

Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts by Iqra Mustafa, Alan McGibney, Susan Rea

Subjects: “…formal verification…”
Get full text

Model Checking for Real-Time Attack Detection in Water Distribution Systems by Francesco Mercaldo, Fabio Martinelli, Antonella Santone

Subjects: Get full text

Authentication and Key Agreement Protocol for UAV Communication by JIAN Qi-rui, CHEN Ze-mao, WU Xiao-kang

Subjects: “…unmanned aerial vehicle|mutual authentication|key agreement|communication security|security protocol|formal verification…”
Get full text

Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes by Fawad Ali Mangi, Guoxin Su, Minjie Zhang

Subjects: “…formal verification…”
Get full text

Data-Driven Model Discrimination of Switched Nonlinear Systems With Temporal Logic Inference by Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong

Subjects: Get full text

Model‐based validation of diagnostic software with application in automotive systems by Jun Chen, Ramesh S

Subjects: Get full text

Verification of serialising instructions for security against transient execution attacks by Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure

Subjects: Get full text

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver by Konstantin Chukharev, Daniil Chivilikhin

Subjects: Get full text

Security challenges and defense approaches for blockchain-based services from a full-stack architecture perspective by Hongsong Chen, Xietian Luo, Lei Shi, Yongrui Cao, Yongpeng Zhang

Subjects: Get full text

Vehicle Following Control via V2V SIMO Communications Using MBD Approach by Jerawat Sopajarn, Apidet Booranawong, Surachate Chumpol, Nattha Jindapetch

Subjects: Get full text

RTL development of a parameterizable Reed–Solomon Codec by Mateus G. Silva, Guilherme L. Silvano, Ricardo O. Duarte

Subjects: Get full text

Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review by Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini

Subjects: Get full text

Bayesian verification of stochastic models in systems biology by Molyneux, GW

Subjects:

Advancing verification of process mining models with quantitative model checking in stochastic environment by Mangi Fawad Ali, Su Guoxin, Zhang Minjie

Subjects: “…formal verification…”
Get full text

Light-Weight Security Protocol and Data Model for Chip-to-Chip Zero-Trust by Ashfaq Ahmed, Abdulhadi Shoufan, Kais Belwafi

Subjects: Get full text