4 papers
Integration-First Structural Coverage for Embedded Software:Trace-Based Evidence, Hybrid Runtime Analysis, and Cross-Variant Consolidation
Alexander Weiss, Albert Schulz, Michael Wittner
Structural coverage is widely used as evidence that testing is complete, yet in embedded projects it is predominantly collected at unit level, simply because that is where instrume…
Squeezed Phonon Lasing via Floquet-Controlled Solid-State Defects
Hugo Molinares, Gianluca Rastelli, Victor Montenegro +1
We propose a general Floquet-engineered scheme for squeezed phonon lasing that enables a continuous crossover from conventional phase-diffused phonon lasing to phase-locked squeeze…
Scalable phonon-laser arrays with self-organized synchronization
Hugo Molinares, Guillermo Romero, Victor Montenegro +1
Quantum mechanical oscillators operating at frequencies up to the GHz regime have been predicted to support phonon lasing -- self-sustained coherent vibrational motion emerging whe…
A scaling law in optomechanically induced nonlinear oscillation
Han Xiao Zhang, Vitalie Eremeev, Jinhui Wu +2
Stable limit cycle as a stabilized mechanical oscillation is the primary result of the dynamical evolution of an optomechanical system under sufficiently powerful pump. Because thi…