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…
Simultaneous photon and phonon lasing in a two-tone driven optomechanical system
Vitalie Eremeev, Hugo Molinares, Luis A. Correa +1
Achieving simultaneous lasing of photons and phonons in optomechanical setups has great potential for applications in quantum information processing, high precision sensing and the…