4 citations · 4 across the 1 of their papers we have counts for
3 papers
Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors
Mohannad Aldughaim, Kaled Alshmrany, Rafael Menezes +2
Bounded model checking (BMC) is vital for finding program property violations. For unsafe programs, BMC can quickly find an execution path from an initial state to the violated sta…
doFORC tool for calculating first-order reversal curve diagrams of noisy scattered data
Dorin Cimpoesu, Ioan Dumitru, Alexandru Stancu
First-order reversal curves (FORC) diagram method is one of the most successful characterization techniques used to characterize complex hysteretic phenomena not only in magnetism,…
Kinetic effects observed in dynamic FORCs of magnetic wires: Experiment and theoretical description
Dorin Cimpoesu, Ioan Dumitru, Alexandru Stancu
This study is focused on the possibility to extend the use of the first-order reversal curve (FORC) diagram method to rate-dependent hysteresis. The FORCs for an amorphous magnetic…