27 papers:
ASPLOS-2015-ZhaoS #automaton #on the fly #parallel- On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.
ICTSS-2014-El-FakihSY #assessment #automaton #on the #test coverage #testing- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment (KEF, TS, NY), pp. 198–204.
ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification- Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
DAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named- DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
CIAA-2008-El-FakihY #automaton #equation- Progressive Solutions to FSM Equations (KEF, NY), pp. 274–282.
- TestCom-2006-El-FakihPY #automaton
- FSM Test Translation Through Context (KEF, AP, NY), pp. 245–258.
SEFM-2005-DorofeevaYEC #evaluation #testing- Experimental Evaluation of FSM-Based Testing Methods (RD, NY, KEF, ARC), pp. 23–32.
FATES-2005-PetrenkoY #automaton #consistency #nondeterminism #testing- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (AP, NY), pp. 118–133.
- TestCom-2005-PapCD #fault #on the
- On FSM-Based Fault Diagnosis (ZP, GC, SD), pp. 159–174.
SAC-2004-MichaelsonHS #automaton #bound #named #programming #using- FSM-Hume: programming resource-limited systems using bounded automata (GM, KH, JS), pp. 1455–1461.
- TestCom-2004-El-FakihTSY #automaton #multi #testing
- FSM Based Interoperability Testing Methods for Multi Stimuli Model (KEF, VT, NS, NY), pp. 60–75.
DATE-2002-AbkeB #automaton #implementation- A Direct Mapping System for Datapath Module and FSM Implementation into LUT-Based FPGAs (JA, EB), p. 1085.
IFL-2002-HammondM #behaviour #predict- Predictable Space Behaviour in FSM-Hume (KH, GM), pp. 1–16.
- TestCom-2002-El-FakihYB
- FSM-based Re-Testing Methods (KEF, NY, GvB), pp. 373–390.
- DAC-1998-HasteerMB #algorithm #automaton #verification
- An Implicit Algorithm for Finding Steady States and its Application to FSM Verification (GH, AM, PB), pp. 611–614.
- EDTC-1997-SurtiCT #automaton #design #encoding #power management #using
- Low power FSM design using Huffman-style encoding (PS, LFC, AT), pp. 521–525.
- DAC-1996-FerrandiFMPS #automaton #network #optimisation
- Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques (FF, FF, EM, MP, DS), pp. 467–470.
- DAC-1996-KhatriNKMBS #automaton #nondeterminism
- Engineering Change in a Non-Deterministic FSM Setting (SPK, AN, SCK, KLM, RKB, ALSV), pp. 451–456.
- DAC-1994-WangB #automaton #network
- Permissible Observability Relations in FSM Networks (HYW, RKB), pp. 677–683.
- EDAC-1994-ChoHMPS #algorithm #approximate #automaton #composition #traversal
- A State Space Decomposition Algorithm for Approximate FSM Traversal (HC, GDH, EM, MP, FS), pp. 137–141.
- EDAC-1994-WatanabeB #automaton #nondeterminism #pseudo
- State Minimization of Pseudo Non-Deterministic FSM’s (YW, RKB), pp. 184–191.
- DAC-1993-ChoHMPS #algorithm #approximate #automaton #traversal
- Algorithms for Approximate FSM Traversal (HC, GDH, EM, BP, FS), pp. 25–30.
- DAC-1991-CiesielskiSD #approach #automaton #encoding
- A Unified Approach to Input-Output Encoding for FSM State Assignment (MJC, JJS, MD), pp. 176–181.
- DAC-1991-GeigerM #algebra #automaton #benchmark #composition #metric
- FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs (MG, TMW), pp. 182–185.
ICLP-1991-PuchhammerS #automaton #design #prototype- A Rule-oriented FSM Design System with Prototyping Capabilities (MP, RS), p. 891.
- DAC-1990-Wolf #automaton #behaviour #network #synthesis
- The FSM Network Model for Behavioral Synthesis of Control-Dominated Machines (WW), pp. 692–697.
- DAC-1984-MeyerAP #automaton #design
- A VLSI FSM design system (MJM, PA, RGP), pp. 434–440.
