Refinement-based modeling of the ErbB signaling pathway
Sign Up to like & getrecommendations! Published in 2019 at "Computers in biology and medicine"
DOI: 10.1016/j.compbiomed.2019.01.016
Abstract: The construction of large scale biological models is a laborious task, which is often addressed by adopting iterative routines for model augmentation, adding certain details to an initial high level abstraction of the biological phenomenon… read more here.
Keywords: step; based modeling; model; modeling erbb ... See more keywords
A Refinement-Based Approach to Spectre Invulnerability Verification
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3195508
Abstract: Several mitigations to thwart Spectre attacks have been proposed. However, design errors or trojans can be exploited to circumvent these mitigations. We have developed a highly-automated formal verification methodology that can detect if modern microprocessor… read more here.
Keywords: spectre invulnerability; refinement based; verification; methodology ... See more keywords