8 papers:
TACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
OOPSLA-2010-PurandareDE #monitoring #optimisation- Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
CIAA-2007-KleinB #automaton #on the fly- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (JK, CB), pp. 51–61.
DATE-2006-LaMeresK #encoding #induction- Bus stuttering: an encoding technique to reduce inductive noise in off-chip data transmission (BJL, SPK), pp. 522–527.
SEFM-2005-NejatiGC #abstraction- Stuttering Abstraction for Model Checkin (SN, AG, MC), pp. 311–320.
CSL-2002-KuceraS #logic #ltl- The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL (AK, JS), pp. 276–291.
CAV-1999-Etessami #automaton #invariant #logic- Stutter-Invariant Languages, ω-Automata, and Temporal Logic (KE), pp. 236–248.
ICALP-1990-GrooteV #algorithm #bisimulation #branch #equivalence #performance- An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence (JFG, FWV), pp. 626–638.
