Stem ses$ (all stems)

4 papers:

SAT-2014-Marques-SilvaP #on the

On Computing Preferred MUSes and MCSes (JMS, AP), pp. 58–74.

SAT-2012-BelovIMM #on the #performance

On Efficient Computation of Variable MUSes (AB, AI, AM, JMS), pp. 298–311.

SAT-2008-MaarenW #performance

Finding Guaranteed MUSes Fast (HvM, SW), pp. 291–304.

SOSP-2007-SeshadriLQP #kernel #named

SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (AS, ML, NQ, AP), pp. 335–350.