Search results for "finite state machines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	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
4	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
4	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
4	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. (PDF / PS)	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
4	Irith Pomeranz, Sudhakar M. Reddy	Test generation for multiple state-table faults in finite-state machines. (PDF / PS)	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
3	Lukas König, Sanaz Mostaghim, Hartmut Schmeck	Online and onboard evolution of robotic behavior using finite state machines.	AAMAS	2009	DBLP DOI BibTeX RDF	onboard, finite state machines, collision avoidance, mutation, crossover, online, evolutionary robotics
3	Xiaojun Geng	Solving identification problem for asynchronous finite state machines using genetic algorithms.	GECCO	2006	DBLP DOI BibTeX RDF	asynchronous finite state machines, genetic algorithms, model identification, coding schemes
3	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
3	Marcelo Fantinato, Mario 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
3	Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf 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
3	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
3	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
3	Sue-Hong Chow, Yi-Cheng Ho, TingTing Hwang, C. L. Liu	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
3	K. Vijayananda	Distributed fault detection in communication protocols using extended finite state machines. (PDF / PS)	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
3	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
3	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
3	Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha	Testing of Object-Oriented Programs Based on Finite State Machines.	APSEC	1995	DBLP DOI BibTeX RDF	software testing, object-oriented programs, finite state machines, classes
3	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
3	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
3	Zijian Zhou, 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
3	Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Implicit state minimization of non-deterministic FSMs. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	implicit state minimization, nondeterministic finite state machines, fully implicit algorithm, finite state machines, logic design, minimisation
3	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
3	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
3	Anthony Chung, Deepinder P. Sidhu	On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	progress verification, closed cover, FIFO channels, structural partition technique, protocols, finite automata, lossless, communicating finite state machines
2	Anna Isabel Esparcia-Alcázar, Anaís Martínez-García, Antonio Miguel Mora, Juan Julián Merelo Guervós, Pablo García-Sánchez	Genetic evolution of fuzzy finite state machines to control bots in a first-person shooter game.	GECCO	2010	DBLP DOI BibTeX RDF	fuzzy finite state machines, genetic algorithms, autonomous agents, videogames
2	Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko	Distinguing Non-deterministic Timed Finite State Machines.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal	Testing Timed Finite State Machines with Guaranteed Fault Coverage.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
2	Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt	Control Dependence for Extended Finite State Machines.	FASE	2009	DBLP DOI BibTeX RDF	reactive systems, slicing, control dependence, extended finite state machines
2	Steve Battle, Helen Balinsky	Modelling composite document behaviour with concurrent hierarchical state machines.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	composite documents, document-centric process, finite state machines
2	David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock	Architecture for Hybrid Robotic Behavior.	HAIS	2009	DBLP DOI BibTeX RDF	software engineering, software architecture, finite state machines, software patterns, Non-monotonic logics
2	Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg	Fault Tolerance in Finite State Machines Using Fusion.	ICDCN	2008	DBLP DOI BibTeX RDF
2	Ghaith Hammouri, Kahraman D. Akdemir, Berk Sunar	Novel PUF-Based Error Detection Methods in Finite State Machines.	ICISC	2008	DBLP DOI BibTeX RDF	adversarial-faults, state-machines, PUF, Fault-resilience
2	Tomasz Michal Oliwa, Markus Wagner 0007	Composing Music with Neural Networks and Probabilistic Finite-State Machines.	EvoWorkshops	2008	DBLP DOI BibTeX RDF	Biological Inspired Music, Representation Techniques, Finite State Machines, Inductive Learning, Music Composition, Comparative Analysis, Time Delay Neural Networks
2	Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana	Reverse Engineering Finite State Machines from Rich Internet Applications.	WCRE	2008	DBLP DOI BibTeX RDF
2	Jing Chen, Xinqiao Lu, Qiaoling Luo, Ping Li, Xiaojuan Liu	A Segment Extraction-Combination Algorithm Based on Polygonal Approximation and Finite State Machines for On-Line Chinese Character Recognition.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Andrea Paoli, Stéphane Lafortune	Diagnosability Analysis of a Class of Hierarchical State Machines.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser
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	Rasul Mohammadi, Shahin Hashtrudi-Zad	A recursive algorithm for diagnosis in hierarchical finite-state machines.	SMC	2007	DBLP DOI BibTeX RDF
2	Irwin O. Kennedy	Implementation of Low Frequency Finite State Machines Using the VIRTEX SRL16 Primitive.	FPL	2007	DBLP DOI BibTeX RDF
2	Graema Milligan, Wim Vanderbauwhede	Implementation of Finite State Machines on a Reconfigurable Device.	AHS	2007	DBLP DOI BibTeX RDF
2	Simon M. Lucas	A statistically aligned recombination operator for finite state machines.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
2	Liang Bai, Songyang Lao, Gareth J. F. Jones, Alan F. Smeaton	A Semantic Content Analysis Model for Sports Video Based on Perception Concepts and Finite State Machines.	ICME	2007	DBLP DOI BibTeX RDF
2	El maati Chabbar, Mohamed Bouhdadi	On Verification of Communicating Finite State Machines Using Residual Languages.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
2	Jacques-Olivier Klein, Eric Belhaire, Claude Chappert, Florent Ouchet, Russell Cowburn, Dan Read, Dorothee Petit	Synthesis of Finite State Machines with Magnetic Domain Wall Logic.	ISCAS	2007	DBLP DOI BibTeX RDF
2	Wenhui Sun, Feng Liu, Gang Dai, Honghui Li	Modeling Session Initiation Protocol with Extended Finite State Machines.	PDCAT	2007	DBLP DOI BibTeX RDF
2	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez	Testing Finite State Machines Presenting Stochastic Time and Timeouts.	EPEW	2007	DBLP DOI BibTeX RDF
2	Ali Iranli, Massoud Pedram	Cycle-Based Decomposition of Markov Chains With Applications to Low-Power Synthesis and Sequence Compaction for Finite State Machines.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris	Entropy-driven parity-tree selection for low-overhead concurrent error detection in finite state machines.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Markus Damm	State Assignment for Detecting Erroneous Transitions in Finite State Machines.	DSD	2006	DBLP DOI BibTeX RDF
2	Minh-Hoang Le, Tu Bao Ho, Yoshiteru Nakamori	Detecting Citation Types Using Finite-State Machines.	PAKDD	2006	DBLP DOI BibTeX RDF
2	Florentin Ipate	Bounded Sequence Testing from Non-deterministic Finite State Machines.	TestCom	2006	DBLP DOI BibTeX RDF
2	Rui Zhang, Niraj K. Jha	State Encoding of Finite-State Machines Targeting Threshold and Majority Logic Based Implementations with Application to Nanotechnologies.	VLSI Design	2006	DBLP DOI BibTeX RDF
2	Ali Habibi, Haja Moinudeen, Sofiène Tahar	Generating finite state machines from SystemC.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
2	Olga Grinchtein, Martin Leucker	Learning Finite-State Machines from Inexperienced Teachers.	ICGI	2006	DBLP DOI BibTeX RDF
2	Warren A. Hunt Jr., Erik Reeber	A SAT-based procedure for verifying finite state machines in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	satisfiability solving, theorem proving, hardware verification, ACL2
2	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez	Implementation Relations for Stochastic Finite State Machines.	EPEW	2006	DBLP DOI BibTeX RDF
2	DaeEun Kim	Memory analysis and significance test for agent behaviours.	GECCO	2006	DBLP DOI BibTeX RDF	grid world problem, genetic programming, finite state machines, computational effort, internal states
2	Timothy M. White, Thomas P. Way	jFAST: a java finite automata simulator.	SIGCSE	2006	DBLP DOI BibTeX RDF	theory of computation education, simulation, finite state machines, finite automata, educational software
2	Mahadevan Subramaniam, Zoltán Pap	Analyzing the Impact of Protocol Changes on Tests.	TestCom	2006	DBLP DOI BibTeX RDF	test consistency, protocol, evolution, Changes, communicating finite state machines
2	Anurag Tiwari, Karen A. Tomko	Enhanced reliability of finite-state machines in FPGA through efficient fault detection and correction.	IEEE Transactions on Reliability	2005	DBLP DOI BibTeX RDF
2	Enrique Vidal, Franck Thollard, Colin de la Higuera, Francisco Casacuberta, Rafael C. Carrasco	Probabilistic Finite-State Machines-Part I.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
2	Enrique Vidal, Franck Thollard, Colin de la Higuera, Francisco Casacuberta, Rafael C. Carrasco	Probabilistic Finite-State Machines-Part II.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
2	Vincent Hugel, Guillaume Amouroux, Thomas Costis, Patrick Bonnin, Pierre Blazevic	Specifications and Design of Graphical Interface for Hierarchical Finite State Machines.	RoboCup	2005	DBLP DOI BibTeX RDF
2	Vikram Singh Saun, Preeti Ranjan Panda	Extracting Exact Finite State Machines from Behavioral SystemC Descriptions.	VLSI Design	2005	DBLP DOI BibTeX RDF
2	Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz	Generating optimal distinguishing sequences with a model checker.	A-MOST	2005	DBLP DOI BibTeX RDF	model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification
2	Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz	Generating optimal distinguishing sequences with a model checker.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification
2	Iouliia Skliarova	Self-correction of FPGA-Based Control Units.	ICESS	2005	DBLP DOI BibTeX RDF	Self-correcting finite state machines, specification in VHDL, Hamming codes
2	Robi Malik, Partha S. Roop	Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.	IFM	2005	DBLP DOI BibTeX RDF	embedded systems, Formal verification, finite-state machines, bisimulation, supervisory control, specification matching
2	Florentin Ipate, Mike Holcombe	Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.	XP	2005	DBLP DOI BibTeX RDF	finite state machines, unit testing, functional testing, state diagrams, stream X-machines
2	Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander	Testing Web applications by modeling with FSMs.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	Testing of Web applications, Finite state machines, System testing
2	Wuxu Peng, Kia Makki	Lossy Communicating Finite State Machines.	Telecommunication Systems	2004	DBLP DOI BibTeX RDF	concurrency model, verification, specification, communication protocols
2	David A. Bader, Kamesh Madduri	A Parallel State Assignment Algorithm for Finite State Machines.	HiPC	2004	DBLP DOI BibTeX RDF
2	Youngsik Kim, Shekhar Kopuri, Nazanin Mansouri	Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD).	ISQED	2004	DBLP DOI BibTeX RDF
2	Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo	Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).	GECCO	2004	DBLP DOI BibTeX RDF
2	Nadia Nedjah, Luiza de Macedo Mourelle	Evolutionary State Assignment for Synchronous Finite State Machines.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
2	Maik Boden, Manfred Koegst, José Luis Tiburcio Badía, Steffen Rülke	Cost-Efficient Implementation of Adaptive Finite State Machines.	DSD	2004	DBLP DOI BibTeX RDF
2	Ricardo Nastas Acras, Silvia Regina Vergilio	Splinter: A Generic Framework for Evolving Modular Finite State Machines.	SBIA	2004	DBLP DOI BibTeX RDF	modularity, evolutionary programming
2		Part I. Testing of Finite State Machines.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
2	Anurag Tiwari, Karen A. Tomko	Saving Power by Mapping Finite-State Machines into Embedded Memory Blocks in FPGAs.	DATE	2004	DBLP DOI BibTeX RDF
2	Yun Zhai, Zeeshan Rasheed, Mubarak Shah	A Framework for Semantic Classification of Scenes Using Finite State Machines.	CIVR	2004	DBLP DOI BibTeX RDF
2	Jovan Dj. Golic	A Weakness of the Linear Part of Stream Cipher MUGI.	FSE	2004	DBLP DOI BibTeX RDF	combiners with memory, Stream ciphers, linear cryptanalysis, linear finite-state machines
2	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
2	Christoforos N. Hadjicostis	Encoded finite-state machines for non-concurrent error detection and identification.	ISCAS	2003	DBLP DOI BibTeX RDF
2	Sezer Gören, F. Joel Ferguson	Testing Finite State Machines Based on a Structural Coverage Metric .	ITC	2002	DBLP DOI BibTeX RDF
2	Mariusz Chyzy, Witold Kosinski	Evolutionary Algorithm for State Assignment of Finite State Machines.	DSD	2002	DBLP DOI BibTeX RDF
2	Sezer Gören, F. Joel Ferguson	CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines.	DATE	2002	DBLP DOI BibTeX RDF
2	Jürgen Teich, Markus Köster	(Self-)reconfigurable Finite State Machines: Theory and Implementation.	DATE	2002	DBLP DOI BibTeX RDF
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	Marie-Luce Bourguet	Outil de prototypage pour la conception et l'evaluation d'interfaces utilisateur multimodales.	IHM	2002	DBLP DOI BibTeX RDF	prototyping, finite state machines, interaction models, multimodal inputs
2	Jessica Chen	Expressing Graphical User's Input for Test Specifications.	EDCIS	2002	DBLP DOI BibTeX RDF	Java Swing and AWT, Graphical User's Interface, Finite State Machines, Specification-based Testing, Capture/Replay
2	Jessica Chen, Steve Chovanec	Towards Specification-based Web Testing.	NETWORKING Workshops	2002	DBLP DOI BibTeX RDF	Java AWT and Swing, Web applications, Finite state machines, Specification-based testing, Capture/Replay
2	Jessica Chen, Suganthan Subramaniam	Specification-based Testing for Gui-based Applications.	Software Quality Journal	2002	DBLP DOI BibTeX RDF	java AWT and swing, finite state machines, specification-based testing, capture/replay
2	Werner Hartmann, Jürg Nievergelt, Raimond Reichert	Kara, finite state machines, and the case for programming as part of general education.	HCC	2001	DBLP DOI BibTeX RDF
2	Umberto Cerruti, Mario Giacobini, Pierre Liardet	Prediction of Binary Sequences by Evolving Finite State Machines.	Artificial Evolution	2001	DBLP DOI BibTeX RDF
2	Marco Ottavi, Gian-Carlo Cardarilli, D. Cellitti, Salvatore Pontarelli, Marco Re, Adelio Salsano	Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines. (PDF / PS)	DFT	2001	DBLP DOI BibTeX RDF	SSMM, fault tolerance, finite state machine, VHDL, signature analysis, self checking
2	Rim Belhassine-Cherif, Abderrazak Ghedamsi	Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines.	ISCC	2001	DBLP DOI BibTeX RDF	Communicating Nondetermistic Finite State Machine, Multiple faults, Diagnostic, Symptom
2	Diana Marculescu, Radu Marculescu, Massoud Pedram	Theoretical bounds for switching activity analysis in finite-state machines.	IEEE Trans. VLSI Syst.	2000	DBLP DOI BibTeX RDF
2	Montek Singh, Steven M. Nowick	Synthesis for logical initializability of synchronous finite-state machines.	IEEE Trans. VLSI Syst.	2000	DBLP DOI BibTeX RDF
2	Valery Sklyarov	Synthesis and Implementation of RAM-Based Finite State Machines in FPGAs.	FPL	2000	DBLP DOI BibTeX RDF
2	Jessica Chen	A study on static analysis in network of synchronizing FSMs.	APSEC	2000	DBLP DOI BibTeX RDF	synchronizing FSMs, multithreaded systems, nondeterministic behavior, Java monitors, Java, static analysis, finite state machines, synchronisation, operational semantics, multi-threading, labeled transition systems, thread synchronization, design artifacts