Search results for "finite-state"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Gang Luo, Gregor von Bochmann, Alexandre Petrenko	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing
58	Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain	Extraction of finite state machines from transistor netlists by symbolic simulation.	ICCD	1995	DBLP DOI BibTeX RDF	finite state machine extraction, transistor netlists, clock level finite state machines, gate level representation, circuit clocking, output timing, simulation patterns, next state, output function, equivalent FSM, static storage structures, time multiplexed inputs, time multiplexed outputs, finite state machines, logic design, logic CAD, circuit analysis computing, FSMs, symbolic simulation, symbolic simulator, Ordered Binary Decision Diagrams
52	Attila Kondacs, John Watrous	On the Power of Quantum Finite State Automata.	FOCS	1997	DBLP DOI BibTeX RDF	quantum finite state automata, non-regular language, finite automata, finite state automata, regular languages
50	Sukhamay Kundu	Modeling Complex Systems by A Set of Interacting Finite-State Models.	APSEC	2003	DBLP DOI BibTeX RDF	communication among finite-state models, design optimization, finite-state models
49	Irith Pomeranz, Sudhakar M. Reddy	Test generation for multiple state-table faults in finite-state machines.	ICCD	1995	DBLP DOI BibTeX RDF	multiple state-table faults, incompletely specified faulty machines, implicit fault enumeration, fault diagnosis, logic testing, test generation, finite state machines, finite-state machines
46	David L. Dill	Timing Assumptions and Verification of Finite-State Concurrent Systems.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
46	K. Vijayananda	Distributed fault detection in communication protocols using extended finite state machines.	ICPADS	1996	DBLP DOI BibTeX RDF	distributed fault detection, run-time fault detection, coding defects, memory problems, protocol faults, vocabulary faults, sequencing faults, parallel decomposition method, multiple observers, distributed fault detection mechanism, fault tolerant computing, finite state machines, transport protocols, encoding, communication protocols, fault coverage, extended finite state machines
46	Christoph Siegelin, Ciaran O'Donnell, Ulrich Finger	Efficient Simulation of Multiprocessors through Finite State Machines.	EUROMICRO	1996	DBLP DOI BibTeX RDF	event-driven multiprocessor simulators, memory behaviour, cache behaviour, simulation, multiprocessors, finite state machines, finite state machines
45	Tomoo Inoue, Toshimitsu Masuzawa, Hiroshi Youra, Hideo Fujiwara	An Approach To The Synthesis Of Synchronizable Finite State Machines With Partial Scan.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	synchronizable finite state machines, sequential circuits synthesis, extended synchronizing sequence, scan inputs, normal inputs, MCNC'91 benchmark FSM, minimum-length extended synchronizing sequence, test generation, finite state machines, DFT, heuristic algorithm, minimization, partial scan, synthesis for testability, state assignment, state transition, state encoding
45	Gang Luo, Anindya Das, Gregor von Bochmann	Software Testing Based on SDL Specifications with Save.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification
44	K. Subramani 0001, C. Tauras	An approximation algorithm for state minimization in 2-MDFAs.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	2-MDFA, Finite state automata, State minimization
43	Parosh Aziz Abdulla, Mats Kindahl	Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
42	Irith Pomeranz, Sudhakar M. Reddy	On Finding a Minimal Functional Description of a Finite-State Machine for Test Generation for Adjacent Machines.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	minimal descriptions, test generation, Finite-state machines
42	Laurette Pretorius, Sonja E. Bosch	Finite-State Computational Morphology: An Analyzer Prototype For Zulu.	Mach. Transl.	2003	DBLP DOI BibTeX RDF	agglutinating morphological structures, analyzer prototype, finite state morphology, Xerox finite state tools, Zulu
42	Ajit Narayanan, Lama Hashem	Finite-state abstractions on Arabic morphology.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	finite-state morphology, two-level morphology, Arabic morphology, finite-state transition networks
41	Gary E. Kopec, Philip A. Chou	Document Image Decoding Using Markov Source Models.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	document image decoding, Markov source models, document image recognition, stochastic finite state automaton, message source, 1D message string, 2D bitmap, Viterbi-like dynamic programming, dynamic programming, hidden Markov models, image coding, decoder, document image processing, channel models, communication theory, finite state model
41	Srimat T. Chakradhar, Suman Kanjilal, Vishwani D. Agrawal	Finite state machine synthesis with fault tolerant test function.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	Design for combinational test generation, finite state machine synthesis, test function embedding, synthesis for testability, fault-tolerant design
40	James C. Corbett	Using shape analysis to reduce finite-state models of concurrent Java programs.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	Java, modeling, shape analysis, concurrent systems, state-space reductions, finite-state verification, model extraction
40	Sue-Hong Chow, Yi-Cheng Ho, TingTing Hwang, C. L. Liu 0001	Low power realization of finite state machines - a decomposition approach.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	decomposition of finite state machines, lower power design, state assignment
40	Alexis Nasr, Alexandra Volanschi	Integrating a POS Tagger and a Chunker Implemented as Weighted Finite State Machines.	FSMNLP	2005	DBLP DOI BibTeX RDF	weighted finite state machines, chunking, Part-of-speech tagging
40	Pradeepa Yahampath, Mirek Pawlak	On finite-state vector quantization for noisy channels.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
40	Robert Kelly, Julie Carson-Berndsen	Computational Linguistic Motivations for a Finite-State Machine Hierarchy.	CIAA	2003	DBLP DOI BibTeX RDF
39	Francisco Casacuberta, Enrique Vidal 0001	Learning finite-state models for machine translation.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Stochastic finite-state transducers, Machine translation, Grammatical inference
39	Jan W. Amtrup	Morphology in Machine Translation Systems: Efficient Integration of Finite State Transducers and Feature Structure Descriptions.	Mach. Transl.	2003	DBLP DOI BibTeX RDF	finite state morphology, feature structures, Persian, semiring
39	Ralf H. Reussner	Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.	SOFSEM	2002	DBLP DOI BibTeX RDF	software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
39	Andrew W. Eckford, Frank R. Kschischang, Subbarayan Pasupathy	A Partial Ordering of General Finite-State Markov Channels Under LDPC Decoding.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
38	Yang Zhao	Finite State Automata in Compilers.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
38	Jan Daciuk	Incremental Construction of Finite-State Automata.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
38	Nadia Nedjah, Luiza de Macedo Mourelle	Optimal Adaptive Pattern-Matching Using Finite State Automata.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
38	Murali Mani	Finite State Models for XML Processing.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
38	Javier Baliosian, Dina Wonsever	Finite State Transducers.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
38	Ting-Yu Kuo, Chun-Yeh Liu, Kewal K. Saluja	An optimized testable architecture for finite state machines.	VTS	1995	DBLP DOI BibTeX RDF	optimized testable architecture, FSM synthesis, testable machine, transfer sequences, synthesis benchmark circuits, logic testing, finite state machines, finite state machines, sequential circuits, logic CAD, sequences, circuit optimisation, distinguishing sequences, synchronizing sequence
38	W. R. English	Synthesis of Finite State Algorithms in a Galois Field GF[pn].	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	sequential networks, Finite-state algorithms, finite-state machines, Galois field arithmetic
38	Walter L. Johnson, James H. Porter, Stephanie I. Ackley, Douglas T. Ross	Automatic generation of efficient lexical processors using finite state techniques.	Commun. ACM	1968	DBLP DOI BibTeX RDF	lexical processor, nondeterministic machine, plex structure, syntatic analysis, compiler, finite-state machine, parsing, regular expressions, finite-state automata, sequential machine, character string
38	Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi	Markovian analysis of large finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
37	Hooman Shayani, Peter J. Bentley	A more bio-plausible approach to the evolutionary inference of finite state machines.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	bio-plausibility, genetic algorithms, evolutionary algorithms, evolution, finite-state machine, fsm, metaphors, analogies, grammatical inference
37	Tan-Li Chou, Kaushik Roy 0001	Estimation of sequential circuit activity considering spatial and temporal correlations.	ICCD	1995	DBLP DOI BibTeX RDF	sequential circuit activity estimation, signal activity, internal nodes, sequential logic circuits, logic signals, ESTG, extended state transition graph, exact signal probabilities, large circuits, state logic, logic simulation results, graph theory, finite state machines, finite state machine, sequential circuits, spatial correlations, circuit switching, switching activities, approximate method, temporal correlations
37	Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Implicit state minimization of non-deterministic FSMs.	ICCD	1995	DBLP DOI BibTeX RDF	implicit state minimization, nondeterministic finite state machines, fully implicit algorithm, finite state machines, logic design, minimisation
37	Fan Zhang, To-Yat Cheung	Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Average weight, distinguishing tree, nondeterministic finite-state machine, transfer tree, weighted height, testing
37	Ali R. Hurson, Behrooz A. Shirazi	The design of a hardware recognizer for utilization in scanning operations.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF	associative processing, finite state automation, parallel finite state automation, performance evaluation, pattern matching, VLSI design, text retrieval, hardware architecture
37	Rupesh S. Shelar, Madhav P. Desai, H. Narayanan	Decomposition of Finite State Machines for Area, Delay Minimization.	ICCD	1999	DBLP DOI BibTeX RDF	Orthogonal Partitioning, Finite State Machines, Decomposition, State Assignment, Area Minimization
36	Sujit Kumar Chakrabarti, Srihari Sukumaran	Using spreadsheets for finite state modelling.	ISEC	2009	DBLP DOI BibTeX RDF	finite state machines, spreadsheets, sal
36	Alexandre Bronstein, Carolyn L. Talcott	Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
36	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
36	Zijian Zhou 0001, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin	Partitioning transition relations efficiently and automatically.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automatic partitioning, state transition relations, abstract implicit state enumeration procedure, automatic verification method, graph theory, finite state machines, logic CAD, state estimation, logic partitioning, extended finite state machines, register transfer level designs, multiway decision graphs
35	Srinivas Bangalore, Giuseppe Riccardi	Stochastic Finite-State Models for Spoken Language Machine Translation.	Mach. Transl.	2002	DBLP DOI BibTeX RDF	stochastic finite-state transducers, spoken language dialog systems, speech-to-speech translation
35	Rainer Amann, Utz G. Baitinger	Optimal state chains and state codes in finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
35	Helmut Seidl	Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers Is Decidable.	CAAP	1990	DBLP DOI BibTeX RDF
34	Frank F. Hsu, Janak H. Patel	A distance reduction approach to design for testability.	VTS	1995	DBLP DOI BibTeX RDF	distance reduction approach, center state, test function embedding technique, SFT techniques, logic testing, finite state machines, finite state machines, design for testability, design for testability, sequential circuits, sequential circuits, flip-flops, flip-flops, synthesis for testability, test function, average distance, DFT techniques
34	Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Generating finite state machines from abstract state machines.	ISSTA	2002	DBLP DOI BibTeX RDF	finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM
34	Imtiaz Ahmad, Raza Ul-Mustafa	On State Assignment of Finite State Machines Using Hypercube Embedding Approach.	ICCD	1999	DBLP DOI BibTeX RDF	hypercube embedding, gradient projection method, Kernighan Lin algorithm, finite state machine, state assignment
34	J. W. J. M. Rutten, Michel R. C. M. Berkelaar	Improved State Assignment for Burst Mode Finite State Machines.	ASYNC	1997	DBLP DOI BibTeX RDF	finite state machines, state assignment, asynchronous logic
34	Keunyong Lee, Ki-Soen Park, Yong-Seok Lee	Multi-word Expression Recognition Integrated with Two-Level Finite State Transducer.	HCI (3)	2007	DBLP DOI BibTeX RDF	Multi-word Expression, Two-level morphological parsing, Finite State Transducer
34	Niranjan L. Cooray, Edward W. Czeck	Guaranteed fault detection sequences for single transition faults in finite state machine models using concurrent fault simulation.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	sequential logic test generation, finite state machine testing, transition fault, distinguishing sequences
34	Yu Wang 0015	An FSM model for situation-aware mobile application software systems.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	finite finite state machine, mobile computing, context, situation-awareness, situation
34	Wojciech Skut, Stefan Ulrich, Kathrine Hammervold	A Generic Finite State Compiler for Tagging Rules.	Mach. Transl.	2003	DBLP DOI BibTeX RDF	bimachine, finite state acceptors, speech synthesis
33	Jonathan S. Ostroff	Automated Verification of Timed Transition Models.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
33	William G. Wood	Temporal Logic Case Study.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
33	Rance Cleaveland, Matthew Hennessy	Testing Equivalence as a Bisimulation Equivalence.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
33	Rance Cleaveland, Joachim Parrow, Bernhard Steffen	The Concurrency Workbench.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
33	Howard Barringer, Michael Fisher 0001, Graham Gough	Fair SMG and Linear Time Model Checking.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
33	Roger L. Haskin, Lee A. Hollaar	Operational Characteristics of a Hardware-Based Pattern Matcher.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	backend processors, computer system architecture, full text retrieval systems, finite state automata, text searching
33	Moez Krichen, Stavros Tripakis	State-Identification Problems for Finite-State Transducers.	FATES/RV	2006	DBLP DOI BibTeX RDF
33	Vincenza Carchiolo, Sebastiano D'Ambra, Alessandro Longheu, Michele Malgeri	Issues in object orienting the ST Microelectronics manufacturing model.	APSEC	2000	DBLP DOI BibTeX RDF	semiconductor device manufacture, ST Microelectronics manufacturing model, structured production model, semiconductor device manufacturing, production flow, finite state machines, finite state machine, inheritance, inheritance, object-oriented methods, manufacturing systems, computer integrated manufacturing, object-oriented approach
33	Christoph C. Michael, Anup K. Ghosh	Two State-based Approaches to Program-based Anomaly Detection.	ACSAC	2000	DBLP DOI BibTeX RDF	state-based approaches, program-based anomaly detection, intrusion detection algorithms, execution audit data, statistical deviation monitoring, finite state machines, finite-state machine, security of data, software performance evaluation, experimental results, auditing, n-grams, algorithm performance
33	Santonu Sarkar, Anupam Basu, Arun K. Majumdar	Analyzing Controllability of a Hardware Circuit for its Reuse.	VLSI Design	1997	DBLP DOI BibTeX RDF	hardware circuit controllability, external controllability, FSM model, finite state machines, finite state machine model
33	In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon	Applying Conventional Testing Techniques for Class Testing.	COMPSAC	1996	DBLP DOI BibTeX RDF	program testing techniques, class member function testing, code-based testing, formal specification, object-oriented programming, object oriented programming, finite state machines, finite state machines, program testing, symbolic execution, programming theory, specification-based testing, class testing, branch coverage
33	X. Wendling, Raphaël Rochet, Régis Leveugle	Standard and ROM-based synthesis of FSMs with control flow checking capabilities.	VTS	1996	DBLP DOI BibTeX RDF	read-only storage, sequencing error detection, ROM architecture, finite state machines, finite state machine, integrated circuit testing, error detection, automatic testing, integrated circuit design, FSM, automatic synthesis, control flow checking
33	Preeti Ranjan Panda, Nikil D. Dutt	1995 high level synthesis design repository.	ISSS	1995	DBLP DOI BibTeX RDF	1995 high level synthesis design repository, VHDL language, behavioral finite state machines, behavioral level, computational complexity, high level synthesis, finite state machines, VHDL, microprocessors, hardware description languages, microprocessor chips, floating point units
33	Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal	Incremental methods for FSM traversal.	ICCD	1995	DBLP DOI BibTeX RDF	FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods
33	Santanu Paul, Atul Prakash 0001	A Framework for Source Code Search Using Program Patterns.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program patterns, source code fragments, integrated software engineering environments, pattern-based query processors, source programming language, SCRUPLE, source code search tool, source code browser, user interfaces, user interface, formal specification, software maintenance, software maintenance, prototype, software tools, software tools, programming environments, finite state machines, finite state machine, query languages, source code, pattern languages, software reengineering, software understanding, software toolkits, source code search
33	Yabo Wang, David Lorge Parnas	Simulating the Behavior of Software Modules by Trace Rewriting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
33	Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner	Predictable Component Architectures Using Dependent Finite State Machines.	RISSEF	2002	DBLP DOI BibTeX RDF	automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines
32	Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo	Finite-State Dimension.	ICALP	2001	DBLP DOI BibTeX RDF
32	Gertjan van Noord, Dale Gerdemann	An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing.	WIA	1999	DBLP DOI BibTeX RDF
32	Jianbin Tan, George S. Avrunin, Lori A. Clarke	Managing space for finite-state verification.	ICSE	2006	DBLP DOI BibTeX RDF	FLAVERS, ZDD, BDD, finite-state verification, LTSA
31	Nitin 0001, Durg Singh Chauhan, Vivek Kumar Sehgal, Ankit Mahanot, Pallavi Singh, Sohit Ahuja, Utkarsh Shrivastava, Manisha Rana, Vineet Punjabi, Shivam Vinay, Nakul Sharma	Finite-State Modeling and Testing of Image Based Authentication System.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Image based authentication system, Completed finite state automata, Legal interaction pairs, Faulty interaction pairs, Regular expression
31	Tamás Váradi	Rule-Based Partial MT Using Enhanced Finite-State Grammars in NooJ.	NLDB	2007	DBLP DOI BibTeX RDF	multilingual information systems, finite-state language processing, NooJ system, machine translation, local grammars
31	Matthew Aldridge	A parallel finite state machine implementation of a nearest-eight Hoshen-Kopelman adaptation for landscape analysis.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	Hoshen-Kopelman, landscape analysis, parallelization, finite state machines
31	Elaine Uí Dhonnchadha, Caoilfhionn Nic Pháidín, Josef van Genabith	Design, Implementation and Evaluation of an Inflectional Morphology Finite State Transducer for Irish.	Mach. Transl.	2003	DBLP DOI BibTeX RDF	computational morphology, Irish, Celtic languages, minority languages, finite state transducer
31	Marcelo Fantinato, Mário Jino	Applying Extended Finite State Machines in Software Testing of Interactive Systems.	DSV-IS	2003	DBLP DOI BibTeX RDF	Finite State Machines, Model Based Testing, Functional Testing, Testing Criteria
31	George S. Avrunin, James C. Corbett, Matthew B. Dwyer	Benchmarking Finite-State Verifiers.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Model checking, Benchmarking, Empirical evaluation, Finite-state verification
31	David M. Cohen, Michael L. Fredman	Products of Finite State Machines with Full Coverage.	ICALP	1993	DBLP DOI BibTeX RDF
31	Anca Muscholl, Doron A. Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
30	Kwang-Ting Cheng, A. S. Krishnakumar	Automatic generation of functional vectors using the extended finite state machine model.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	functional testing, automatic test generation, design verification, extended finite state machines
30	Jessica Chen, Lihua Duan	Conditions for Avoiding Controllability Problems in Distributed Testing.	ICFEM	2006	DBLP DOI BibTeX RDF	unique input/output sequence, controllability, finite state machine, Conformance testing, test sequence
30	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating Transducers.	CAV	2001	DBLP DOI BibTeX RDF
30	Dana Angluin, James Aspnes, Zoë Diamadi, Michael J. Fischer, René Peralta 0001	Computation in networks of passively mobile finite-state sensors.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Finite-state agent, Intermittent communication, Stable computation, Mobile agent, Diffuse computation, Sensor net
30	Dana Angluin, James Aspnes, Zoë Diamadi, Michael J. Fischer, René Peralta 0001	Computation in networks of passively mobile finite-state sensors.	PODC	2004	DBLP DOI BibTeX RDF	finite-state agent, intermittent communication, stable computation, mobile agent, diffuse computation, sensor net
30	John T. Feddema, Rush D. Robinett, Brian J. Driessen	Designing Stable Finite State Machine Behaviors Using Phase Plane Analysis and Variable Structure Control.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	decentralized variable structure control, finite state machine, autonomous robots, sliding mode control, distributed robots
30	Tim Holliday, Andrea J. Goldsmith, Peter W. Glynn	Capacity of Finite State Channels Based on Lyapunov Exponents of Random Matrices.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
30	Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Timed Automata.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
30	Omar el Ariss, Dianxiang Xu	System Modeling with UML State Machines.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
30	Zhenhua Duan, Cong Tian	Model Checking.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
30		Petri Nets.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
30	Miroslaw Kurkowski, Wojciech Penczek	Applying Timed Automata to Model Checking of Security Protocols.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
30	Yi-Hua E. Yang, Viktor K. Prasanna	Large-Scale Regular Expression Matching on FPGA.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
30	Olivier Gauwin	Tree Automata.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
30	Hanlin Lu, Sheng Yu 0001	Statecharts.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
30	Marco Almeida, Nelma Moreira, Rogério Reis	Finite Automata Minimization.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF