3 papers
cs.SE2026
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…
quant-ph2026
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…
quant-ph2026
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…