Zobrazeno 1 - 10
of 546
pro vyhledávání: '"Manino"'
Autor:
Maninová, Miloslava
The establishment of cellular polarity is first critical step of directional cell migration. The process of cellular polarization requires many signaling pathways that are differently regulated at the cell front and at the rear side and enables creat
Externí odkaz:
http://www.nusl.cz/ntk/nusl-353555
Training large language models (LLMs) requires a substantial investment of time and money. To get a good return on investment, the developers spend considerable effort ensuring that the model never produces harmful and offensive outputs. However, bad
Externí odkaz:
http://arxiv.org/abs/2407.11059
Autor:
Menezes, Rafael Sá, Manino, Edoardo, Shmarov, Fedor, Aldughaim, Mohannad, de Freitas, Rosiane, Cordeiro, Lucas C.
Bounded Model Checking (BMC) is a widely used software verification technique. Despite its successes, the technique has several limiting factors, from state-space explosion to lack of completeness. Over the years, interval analysis has repeatedly bee
Externí odkaz:
http://arxiv.org/abs/2406.15281
Realm Management Monitor (RMM) is an essential firmware component within the recent Arm Confidential Computing Architecture (Arm CCA). Previous work applies formal techniques to verify the specification and prototype reference implementation of RMM.
Externí odkaz:
http://arxiv.org/abs/2406.04375
The next generation of AI systems requires strong safety guarantees. This report looks at the software implementation of neural networks and related memory safety properties, including NULL pointer deference, out-of-bound access, double-free, and mem
Externí odkaz:
http://arxiv.org/abs/2405.08848
Autor:
Menezes, Rafael, Aldughaim, Mohannad, Farias, Bruno, Li, Xianzhiyu, Manino, Edoardo, Shmarov, Fedor, Song, Kunjian, Brauße, Franz, Gadelha, Mikhail R., Tihanyi, Norbert, Korovin, Konstantin, Cordeiro, Lucas C.
ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for previously unsupported programs and properties. ESBMC employs a new static interval analysis
Externí odkaz:
http://arxiv.org/abs/2312.14746
Safety-critical systems with neural network components require strong guarantees. While existing neural network verification techniques have shown great progress towards this goal, they cannot prove the absence of software faults in the network imple
Externí odkaz:
http://arxiv.org/abs/2309.03617
Publikováno v:
Journal of Apicultural Science, Vol 59, Iss 2, Pp 27-36 (2015)
While observing: non-acceptance, frequent replacements, and reduced performance in honey bee (Apis mellifera ligustica) queens, we were induced to analyse a certain number of queens to detect the causes. For this purpose, 99 newly mated queens were b
Externí odkaz:
https://doaj.org/article/068d45b6e40347be9852c43a8b15deac
We describe and evaluate LF-checker, a metaverifier tool based on machine learning. It extracts multiple features of the program under test and predicts the optimal configuration (flags) of a bounded model checker with a decision tree. Our current wo
Externí odkaz:
http://arxiv.org/abs/2301.09142