Search results for "finite state machine"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Amir Teymourian, Thorsten Lüth, Axel Graeser, Torsten Felzer, Rainer Nordmann	Brain-controlled finite state machine for wheelchair navigation.	ASSETS	2008	DBLP DOI BibTeX RDF	stea dy-state visual evoked potentials (ssvep), human-computer interaction, finite state machine (fsm), brain-computer interface (bci)
3	David Obdrzálek, Jan Benda	GFE - Graphical Finite State Machine Editor for Parallel Execution.	ICEC	2007	DBLP DOI BibTeX RDF	automatic finite state machine generation, graphical control design, robot control
3	John T. Feddema, Rush D. Robinett, Brian J. Driessen	Designing Stable Finite State Machine Behaviors Using Phase Plane Analysis and Variable Structure Control.	Journal of Intelligent and Robotic Systems	2003	DBLP DOI BibTeX RDF	decentralized variable structure control, finite state machine, autonomous robots, sliding mode control, distributed robots
3	Shuo Chen, Zbigniew Kalbarczyk, Jun Xu, Ravishankar K. Iyer	A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities.	DSN	2003	DBLP DOI BibTeX RDF	data analysis, security vulnerabilities, finite state machine modeling
3	Robert M. Hierons, T.-H. Kim, Hasan Ural	Expanding an Extended Finite State Machine to aid Testability.	COMPSAC	2002	DBLP DOI BibTeX RDF	testability, extended finite state machine, infeasible paths
3	Tatiana Figueiredo Evers, Soraia Raupp Musse	Building Artificial Memory to Autonomous Agents using Dynamic and Hierarchical Finite State Machine.	CA	2002	DBLP DOI BibTeX RDF	Artificial memory, Finite State Machine, Behavioral animation
3	Ioan Tabus, Jorma Rissanen, Jaakko Astola	Adaptive L-Predictors Based on Finite State Machine Context Selection. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	adaptive L-predictors, finite state machine context selection, adaptive nonlinear predictors, FSM context modeller, adaptive design, FSM-context L-predictor, image coding, lossless compression, gray level images
3	Niranjan L. Cooray, Edward W. Czeck	Guaranteed fault detection sequences for single transition faults in finite state machine models using concurrent fault simulation.	J. Electronic Testing	1996	DBLP DOI BibTeX RDF	sequential logic test generation, finite state machine testing, transition fault, distinguishing sequences
3	Srimat T. Chakradhar, Suman Kanjilal, Vishwani D. Agrawal	Finite state machine synthesis with fault tolerant test function.	J. Electronic Testing	1993	DBLP DOI BibTeX RDF	Design for combinational test generation, finite state machine synthesis, test function embedding, synthesis for testability, fault-tolerant design
2	M. L. Aldridge, M. W. Berry	Performance of a Finite-State Machine Implementation of Iterative Cluster Labeling on Desktop and Mobile Computing Platforms.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
2	Shengfa Gao, Xin Li, Ruihua Zhang	The Extended Finite State Machine and Fault Tolerant Mechanism in Distributed Systems.	SERA	2009	DBLP DOI BibTeX RDF	Events classification, checkpoint, Extended Finite State Machine
2	Yong Tao, Hongxing Wei, Tianmiao Wang	A Speech Interaction System Based on Finite State Machine for Service Robot.	CSSE	2008	DBLP DOI BibTeX RDF
2	Daniel Fernández, Jordi Madrenas, Eduard Alarcón	An asynchronous finite state machine controller for integrated buck-boost power converters in wideband signal-tracking applications.	ISCAS	2008	DBLP DOI BibTeX RDF
2	Jaeseung Chang, Marie-Luce Bourguet	Usability framework for the design and evaluation of multimodal interaction.	BCS HCI	2008	DBLP DOI BibTeX RDF	modelling, interaction design, finite state machine, multimodality, usability evaluation
2	Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci	The architecture and design of a malleable object-oriented prolog engine.	SAC	2008	DBLP DOI BibTeX RDF	prolog, finite state machine, object-oriented design
2	K. R. Subramanian, T. Cassen	A cross-domain visual learning engine for interactive generation of instructional materials.	SIGCSE	2008	DBLP DOI BibTeX RDF	cross-disciplinary, algorithm, finite state machine, signal
2	M. Ümit Uyar, Samrat S. Batth, Yu Wang 0012, Mariusz A. Fecko	Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Finite State Machine (FSM), Extended Finite State Machine (EFSM), Timed EFSM, Fault Modeling, Conformance Testing, Timers
2	Yu Zhang, Tao Li, Jia Sun, Renchao Qin	An FSM-Based Approach for Malicious Code Detection Using the Self-Relocation Gene.	ICIC	2008	DBLP DOI BibTeX RDF	self-relocation gene, finite-state machine, malicious code detection
2	Yanlong Wang, Zhanhuai Li, Wei Lin, Minglei Hei, Jianhua Hao	The Design of Finite State Machine for Asynchronous Replication Protocol.	ICIC	2007	DBLP DOI BibTeX RDF
2	Li Li, Yun Yang	E-Business Process Modelling with Finite State Machine Based Service Agents.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Ontology, Multi-agent systems, Finite state machine, Process automation
2	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
2	Nutchakorn Ngamsaowaros, Peraphon Sophatsathit	A Novel Framework for Test Domain Reduction using Extended Finite State Machine.	ICSEA	2007	DBLP DOI BibTeX RDF
2	Brian J. d'Auriol, John Kim, Sungyoung Lee, Young-Koo Lee	Orthogonal Organized Finite State Machine Application to Sensor Acquired Information.	PaCT	2007	DBLP DOI BibTeX RDF
2	Nathalie Harder, Felipe Mora-Bermúdez, William J. Godinez, Jan Ellenberg, Roland Eils, Karl Rohr	Determination of Mitotic Delays in 3D Fluorescence Microscopy Images of Human Cells Using an Error-Correcting Finite State Machine.	Bildverarbeitung für die Medizin	2007	DBLP DOI BibTeX RDF
2	Nathalie Harder, Felipe Mora-Bermúdez, William J. Godinez, Jan Ellenberg, Roland Eils, Karl Rohr	Determination of Mitotic Delays in 3d Fluorescence Microscopy Images of Human Cells Using an Error-Correcting Finite State Machine.	ISBI	2007	DBLP DOI BibTeX RDF
2	Yanping Chen, Robert L. Probert, Hasan Ural	Model-based regression test suite generation using dependence analysis.	A-MOST	2007	DBLP DOI BibTeX RDF	regression test suite construction, regression testing, data dependence, control dependence, extended finite state machine
2	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
2	Yanping Chen, Robert L. Probert, Hasan Ural	Regression test suite reduction using extended dependence analysis.	SOQUA	2007	DBLP DOI BibTeX RDF	regression test suite reduction, regression testing, data dependence, control dependence, extended finite state machine
2	Lihua Duan, Jessica Chen	Alternative B-Sequences.	QSIC	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, distinguishing sequence, checking sequence
2	Trevor D. Jones, Shaun W. Lawson, David Benyon, Alistair Armitage	Comparison of Human and Machine Recognition of Everyday Human Actions.	HCI	2007	DBLP DOI BibTeX RDF	moving light display, human biological motion, Neural network, finite state machine
2	Lihua Duan, Jessica Chen	Reducing Test Sequence Length Using Invertible Sequences.	ICFEM	2007	DBLP DOI BibTeX RDF	UIO sequence, finite state machine, conformance testing, test sequence
2	Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh	A Bounded Incremental Test Generation Algorithm for Finite State Machines.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, incremental algorithms, test generation algorithms
2	Woon Kang, Yong-Bin Kim, T. Doyle	A high-efficiency fully digital synchronous buck converter power delivery system based on a finite-state machine.	IEEE Trans. VLSI Syst.	2006	DBLP DOI BibTeX RDF
2	Chidamber Kulkarni, Gordon J. Brebner	Micro-Coded Datapaths: Populating the Space Between Finite State Machine and Processor.	FPL	2006	DBLP DOI BibTeX RDF
2	Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid	Finite State Machine IP Watermarking: A Tutorial.	AHS	2006	DBLP DOI BibTeX RDF
2	ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi	Generating Test Cases for Web Services Using Extended Finite State Machine.	TestCom	2006	DBLP DOI BibTeX RDF
2	Zhenyu Liu, Tughrul Arslan, Ahmet T. Erdogan	An embedded low power reconfigurable fabric for finite state machine operations.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Shih-Hsu Huang, Chia-Ming Chang, Yow-Tyng Nieh	State re-encoding for peak current minimization.	ICCAD	2006	DBLP DOI BibTeX RDF	peak current, sequential circuit synthesis, finite state machine
2	Jessica Chen, Lihua Duan	Optimal Synchronizable Test Sequence from Test Segments.	QSIC	2006	DBLP DOI BibTeX RDF	unique input/output sequence, finite state machine, conformance testing, test sequence, distributed testing
2	Robert M. Hierons, Hasan Ural	Optimizing the Length of Checking Sequences.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Finite state machine, distinguishing sequence, checking sequence, test minimization
2	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
2	Samira Tasharofi, Sepand Ansari, Marjan Sirjani	Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.	ICFEM	2006	DBLP DOI BibTeX RDF	finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata
2	Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener	Application of Two Test Generation Tools to an Industrial Case Study.	TestCom	2006	DBLP DOI BibTeX RDF	telephonic service, service testing, test generation tools, formal specification, conformance testing, Case study, automatic test generation, extended finite state machine
2	Jessica Chen, Hasan Ural	Detecting Observability Problems in Distributed Testing.	TestCom	2006	DBLP DOI BibTeX RDF	distributed test architecture, testing, controllability, Finite state machine, observability
2	Robert M. Hierons	Separating sequence overlap for automated test sequence generation.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Separating sequence, Characterizing set, Finite state machine, Overlap, Test sequence generation
2	Hasan Ural, Craig Williams	Constructing checking sequences for distributed testing.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence
2	Shaohua Yang, Aleksandar Kavcic, Sekhar Tatikonda	Feedback capacity of finite-state machine channels.	IEEE Transactions on Information Theory	2005	DBLP DOI BibTeX RDF
2	Mohammad Zib Beiroumi, Villy Bæk Iversen	Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications.	ICECCS	2005	DBLP DOI BibTeX RDF
2	Sabu Emmanuel, Chee Kiang Heng, Amitabha Das	A Reversible Watermarking Scheme for JPEG-2000 Compressed Images.	ICME	2005	DBLP DOI BibTeX RDF	Finite State Machine Based Watermarking, Image Authentication, JPEG-2000, Reversible Watermarking
2	Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor	Disciplined Methods of Software Specification: A Case Study.	ITCC	2005	DBLP DOI BibTeX RDF	tabular specifications, trace specifications, software, finite state machine, traces
2	Jessica Chen, Robert M. Hierons, Hasan Ural	Resolving Observability Problems in Distributed Test Architectures.	FORTE	2005	DBLP DOI BibTeX RDF	testing, controllability, Finite state machine, observability, test architecture
2	Sachoun Park, Gihwon Kwon, Soonhoi Ha	Formalization of fFSM Model and Its Verification.	ICESS	2005	DBLP DOI BibTeX RDF	Step semantics, Model checking, Formal verification, Finite state machine
2	Zoltán Pap, Gyula Csopaki, Sarolta Dibuz	On FSM-Based Fault Diagnosis.	TestCom	2005	DBLP DOI BibTeX RDF	output fault, transfer fault, fault diagnosis, Finite state machine, fault localization
2	Frank J. Seinstra, Dennis Koelma, Andrew D. Bagdanov	Finite State Machine-Based Optimization of Data Parallel Regular Domain Problems Applied in Low-Level Image Processing.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF	data communications aspects, image processing software, optimization, Parallel processing
2	Robert M. Hierons	Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
2	Lin Yuan, Gang Qu	Information Hiding in Finite State Machine.	Information Hiding	2004	DBLP DOI BibTeX RDF
2	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
2	Batsayan Das, Dipankar Sarkar, Santanu Chattopadhyay	Model checking on state transition diagram.	ASP-DAC	2004	DBLP DOI BibTeX RDF	CTL model checking, Finite State Machine (FSM), State Transition Diagram (STD), Kripke structure
2	Frank J. Seinstra, Dennis Koelma	Lazy Parallelization: A Finite State Machine Based Optimization Approach for Data Parallel Image Processing Applications.	IPDPS	2003	DBLP DOI BibTeX RDF
2	Sunwoong Yang, MoonJoon Kim, JaeHeung Park, Hoon Chang	A Study on Insuring the Full Reliability of Finite State Machine.	ICCSA	2003	DBLP DOI BibTeX RDF
2	Robert Kelly, Julie Carson-Berndsen	Computational Linguistic Motivations for a Finite-State Machine Hierarchy.	CIAA	2003	DBLP DOI BibTeX RDF
2	Feng Gao, John P. Hayes	ILP-based optimization of sequential circuits for low power.	ISLPED	2003	DBLP DOI BibTeX RDF	low power, finite-state machine, decomposition, integer linear programming
2	Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava	Model Checking Correctness Properties of Electronic Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF	contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract
2	J. I. Estévez, Silvia Alayón, Lorenzo Moreno, R. M. Aguilar, José F. Sigut	Cytological Breast Fine Needle Aspirate Images Analysis with a Genetic Fuzzy Finite State Machine.	CBMS	2002	DBLP DOI BibTeX RDF
2	Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha	Construction of global finite state machine for testing task interactions written in message sequence charts.	SEKE	2002	DBLP DOI BibTeX RDF	task interaction, message sequence charts, integration testing
2	G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran	Projected state machine coverage for software testing.	ISSTA	2002	DBLP DOI BibTeX RDF	state machine projection., validation, automated test generation, finite state machine modeling
2	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
2	Ling Liu, Huaikou Miao, Xuede Zhan	A Framework for Specification-Based Class Testing.	ICECCS	2002	DBLP DOI BibTeX RDF	test class framework, finite state machine (FSM), state transition tree, Object-Z, class testing
2	Ana R. Cavalli, Stéphane Maag	A New Algorithm for Service Interaction Detection.	ICFEM	2002	DBLP DOI BibTeX RDF	Finite State Machine, Feature interaction, Intelligent Network, Telecommunication service
2	Gustavo Sutter, Elias Todorovich, Sergio López-Buedo, Eduardo I. Boemo	Low-Power FSMs in FPGA: Encoding Alternatives.	PATMOS	2002	DBLP DOI BibTeX RDF	One-Hot, State Encod-ing, FPGA, Low-Power, Finite State Machine
2	Ralf 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
2	Ho-Yen Chang, Shyhtsun Felix Wu, Y. Frank Jou	Real-time protocol analysis for detecting link-state routing protocol attacks.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	OSPF attacks, knowledge-based IDS, link-state routing protocol security, real-time misuse intrusion detection, real-time network protocol analysis, timed finite state machine, event correlation
2	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
2	Cristiana Bolchini, R. Montandon, Fabio Salice, Donatella Sciuto	Design of VHDL-based totally self-checking finite-state machine and data-path descriptions.	IEEE Trans. VLSI Syst.	2000	DBLP DOI BibTeX RDF
2	William M. Spears, Diana F. Gordon	Evolving Finite-State Machine Strategies for Protecting Resources.	ISMIS	2000	DBLP BibTeX RDF
2	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
2	J. Jenny Li, Joseph Robert Horgan	Simulation-Trace-Based Component Performance Prediction.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	software slicing, Communicating extended finite state machine (CEFSM), stochastic-EFSM and Specification and Description Language (SDL), Software architectural design
2	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
2	Prabhas Chongstitvatana, Chatchawit Aporntewan	Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences.	Evolvable Hardware	1999	DBLP DOI BibTeX RDF
2	Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel	Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG.	IEEE Trans. on CAD of Integrated Circuits and Systems	1998	DBLP DOI BibTeX RDF
2	José C. Monteiro, Arlindo L. Oliveira	Finite State Machine Decomposition For Low Power.	DAC	1998	DBLP DOI BibTeX RDF	system-on-chip test, testing embedded core, intellectual property test
2	Bilung Lee, Edward A. Lee	Hierarchical Concurrent Finite State Machines in Ptolemy.	ACSD	1998	DBLP DOI BibTeX RDF	concurrency, finite state machine, heterogeneity, hierarchy
2	Christiane Frougny	On-the-Fly Algorithms and Sequential Machines.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	on-the-fly algorithms, subsequential finite state machine, on-line arithmetic
2	Dragan Milicev, Zoran Jovanovic	A Formal Model of Software Pipelining Loops with Conditions. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	software pipelining loops, PSP model, parallel programming, finite state machine, formal model, software pipelining, parallelizing loops, conditional branches
2	Norman I. Badler	Real-time virtual humans.	Pacific Conference on Computer Graphics and Applications	1997	DBLP DOI BibTeX RDF	real-time 3D virtual humans, computation speed, sense-control-act structure, autonomous actions, multiple individuals, locally adaptive behavior, PaT-Net, parallel transition network, parallel-finite-state machine controller, language instructions, animated actions, Jack Presenter, JackMOO, lambdaMOO, parameterized action representation, virtual reality, virtual reality, computer graphics, gestures, computer animation, motion, avatars, attention, autonomous agents, locomotion, human modeling, appearance, interactive control, reactive behaviors
2	Shashank K. Mehta, Kent L. Einspahr, Sharad C. Seth	Synthesis for Testability by Two-Clock Control.	VLSI Design	1997	DBLP DOI BibTeX RDF	two-clock control scheme, split coding system, FSM benchmark, timing, finite state machine, sequential circuit, encoding, logic synthesis, Hamiltonian cycle, synthesis for testability, state transition graph
2	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
2	Franco Fummi, Donatella Sciuto	Implicit test pattern generation constrained to cellular automata embedding.	VTS	1997	DBLP DOI BibTeX RDF	implicit test pattern generation, cellular automata embedding, test sequence identification, autonomous finite state machine, off-line self-testable circuit, BIST strategy, deterministic test sequences, MCNC benchmarks, controller, built-in self test, stuck-at faults, ASIC design, circuit under test
2	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
2	Balakrishnan Iyer, Maciej J. Ciesielski	Metamorphosis: state assignment by retiming and re-encoding.	ICCAD	1996	DBLP DOI BibTeX RDF	Sequential Logic, Finite State Machine, Logic Synthesis, State Assignment, State Encoding
2	Shaz Qadeer, Robert K. Brayton, Vigyan Singhal	Latch Redundancy Removal Without Global Reset. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	global reset assumption, latch redundancy, safe replacement, delayed replacement, Finite state machine, core, strongly connected components
2	Jun Bi, Jianping Wu	A STREAMS based high performance IP/X.25 router.	ISPAN	1996	DBLP DOI BibTeX RDF	IP/X.25, TCP/IP networks, connection oriented subnetwork, performance evaluation, STREAMS, finite state machine, interconnection, Unix, transport protocols, high performance, internetworking, internetworking, interoperability testing, communication software
2	Tan-Li Chou, Kaushik Roy	Estimation of sequential circuit activity considering spatial and temporal correlations. (PDF / PS)	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
2	Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal	Incremental methods for FSM traversal. (PDF / PS)	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
2	Fong Pong, Michel Dubois	A New Approach for the Verification of Cache Coherence Protocols.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF	symbolic expansion, formal verification, finite state machine, shared-memory multiprocessor, Cache coherence protocol
2	Santanu Paul, Atul Prakash	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
2	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
2	Gilbert Babin, François Lustman, Peretz Shoval	Specification and Design of Transactions in Information Systems: A Formal Approach.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	conventional information systems development, manual checking, transformational paradigm, ADISSA notation, transaction-oriented refinement, structured systems analysis, hierarchical set, formal specification, formal specification, data integrity, finite state machine, systems analysis, transaction processing, requirements specifications, finite automata, FSM, structured programming, formal approach
2	Sylvia C. Boyd, Hasan Ural	On the Complexity of Generating Optimal Test Sequences.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	maximal overlapping, test subsequences, optimal test sequence generation, OTSG problem, computational complexity, protocols, NP-complete, finite state machine, program testing, communications protocols, finite automata, polynomial time, FSM, protocol testing
2	Vishwani D. Agrawal, Kwang-Ting Cheng	Finite state machine synthesis with embedded test function.	J. Electronic Testing	1990	DBLP DOI BibTeX RDF	VLSI, Computer-Aided Design, Test Generation, Logic Synthesis, Synthesis for Testability