The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase finite state machines (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-1970 (17) 1972-1981 (17) 1983-1985 (19) 1986-1988 (24) 1989 (19) 1990 (24) 1991 (31) 1992 (29) 1993 (35) 1994 (31) 1995 (51) 1996 (53) 1997 (52) 1998 (43) 1999 (36) 2000 (54) 2001 (48) 2002 (65) 2003 (51) 2004 (63) 2005 (73) 2006 (82) 2007 (92) 2008 (70) 2009 (53) 2010 (21) 2011 (17) 2012 (29) 2013 (33) 2014 (20) 2015 (24) 2016 (26) 2017 (30) 2018 (35) 2019 (4)
Publication types (Num. hits)
article(430) incollection(4) inproceedings(933) phdthesis(4)
Venues (Conferences, Journals, ...)
IEEE Trans. on CAD of Integrat...(61) IEEE Trans. Computers(42) VLSI Design(24) ICCD(20) IEEE Trans. Software Eng.(20) CoRR(18) DAC(18) DATE(18) CAV(14) ICCAD(13) CIAA(12) J. Electronic Testing(12) DSD(11) EUROCAST(11) ICALP(11) TestCom(10) More (+10 of total 609)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1336 occurrences of 724 keywords

Results
Found 1371 publication records. Showing 1371 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
120Gang Luo, Gregor von Bochmann, Alexandre Petrenko Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
92Gang Luo, Anindya Das, Gregor von Bochmann Software Testing Based on SDL Specifications with Save. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
80Irith Pomeranz, Sudhakar M. Reddy Test generation for multiple state-table faults in finite-state machines. Search on Bibsonomy ICCD The full citation details ... 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
77Christoph Siegelin, Ciaran O'Donnell, Ulrich Finger Efficient Simulation of Multiprocessors through Finite State Machines. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF event-driven multiprocessor simulators, memory behaviour, cache behaviour, simulation, multiprocessors, finite state machines, finite state machines
72Tomoo Inoue, Toshimitsu Masuzawa, Hiroshi Youra, Hideo Fujiwara An Approach To The Synthesis Of Synchronizable Finite State Machines With Partial Scan. Search on Bibsonomy Asian Test Symposium The full citation details ... 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
71Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain Extraction of finite state machines from transistor netlists by symbolic simulation. Search on Bibsonomy ICCD The full citation details ... 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
67Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi Markovian analysis of large finite state machines. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
65Sue-Hong Chow, Yi-Cheng Ho, TingTing Hwang, C. L. Liu 0001 Low power realization of finite state machines - a decomposition approach. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF decomposition of finite state machines, lower power design, state assignment
65Rupesh S. Shelar, Madhav P. Desai, H. Narayanan Decomposition of Finite State Machines for Area, Delay Minimization. Search on Bibsonomy ICCD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Orthogonal Partitioning, Finite State Machines, Decomposition, State Assignment, Area Minimization
63David M. Cohen, Michael L. Fredman Products of Finite State Machines with Full Coverage. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
61K. Vijayananda Distributed fault detection in communication protocols using extended finite state machines. Search on Bibsonomy ICPADS The full citation details ... 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
61Ting-Yu Kuo, Chun-Yeh Liu, Kewal K. Saluja An optimized testable architecture for finite state machines. Search on Bibsonomy VTS The full citation details ... 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
59Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli Implicit state minimization of non-deterministic FSMs. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF implicit state minimization, nondeterministic finite state machines, fully implicit algorithm, finite state machines, logic design, minimisation
57J. W. J. M. Rutten, Michel R. C. M. Berkelaar Improved State Assignment for Burst Mode Finite State Machines. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF finite state machines, state assignment, asynchronous logic
57Shing-Chi Cheung, Jeff Kramer Checking Subsystem Safety Properties in Compositional Reachability Analysis. Search on Bibsonomy ICSE The full citation details ... 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
57Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin Partitioning transition relations efficiently and automatically. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 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
56Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner Predictable Component Architectures Using Dependent Finite State Machines. Search on Bibsonomy RISSEF The full citation details ... 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
55Frank F. Hsu, Janak H. Patel A distance reduction approach to design for testability. Search on Bibsonomy VTS The full citation details ... 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
54Alexis Nasr, Alexandra Volanschi Integrating a POS Tagger and a Chunker Implemented as Weighted Finite State Machines. Search on Bibsonomy FSMNLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF weighted finite state machines, chunking, Part-of-speech tagging
54Marcelo Fantinato, Mario Jino Applying Extended Finite State Machines in Software Testing of Interactive Systems. Search on Bibsonomy DSV-IS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Finite State Machines, Model Based Testing, Functional Testing, Testing Criteria
54In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon Applying Conventional Testing Techniques for Class Testing. Search on Bibsonomy COMPSAC The full citation details ... 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
54Preeti Ranjan Panda, Nikil D. Dutt 1995 high level synthesis design repository. Search on Bibsonomy ISSS The full citation details ... 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
52Florentin Ipate, Mike Holcombe Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. Search on Bibsonomy XP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF finite state machines, unit testing, functional testing, state diagrams, stream X-machines
52Irith Pomeranz, Sudhakar M. Reddy On Finding a Minimal Functional Description of a Finite-State Machine for Test Generation for Adjacent Machines. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF minimal descriptions, test generation, Finite-state machines
49Nadia Nedjah, Luiza de Macedo Mourelle Evolutionary State Assignment for Synchronous Finite State Machines. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Rainer Amann, Utz G. Baitinger Optimal state chains and state codes in finite state machines. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
46Alfred Spalt Implementation of Finite-Memory Machines within CAST: FSM. Search on Bibsonomy EUROCAST The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
46Lukas König, Sanaz Mostaghim, Hartmut Schmeck Online and onboard evolution of robotic behavior using finite state machines. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF onboard, finite state machines, collision avoidance, mutation, crossover, online, evolutionary robotics
46Xiaojun Geng Solving identification problem for asynchronous finite state machines using genetic algorithms. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF asynchronous finite state machines, genetic algorithms, model identification, coding schemes
46Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha Testing of Object-Oriented Programs Based on Finite State Machines. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF software testing, object-oriented programs, finite state machines, classes
46Anthony Chung, Deepinder P. Sidhu On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF progress verification, closed cover, FIFO channels, structural partition technique, protocols, finite automata, lossless, communicating finite state machines
46Gérard Cécé, Alain Finkel, S. Purushothaman Iyer Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF insertion and lossiness errors, model-checking against CTL, verification problems, finite state machines, decidability, duplication, communication channels
46Raj S. Mitra, Partha S. Roop, Anupam Basu Implementation of design functions by available devices: a new algorithm. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF design functions, available devices, function behaviors, mapping process, VLSI, VLSI, CAD, finite state machines, finite state machines, logic CAD, circuit CAD, logic partitioning, logic partitioning
46Soumitra Bose, Vishwani D. Agrawal Sequential logic path delay test generation by symbolic analysis. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions
46Franco Fummi, Donatella Sciuto, M. Serro Synthesis for testability of large complexity controllers. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF large complexity controllers, industrial design environments, top-down methodology, hierarchical descriptions, irredundant circuits, optimized gate-level descriptions, testable descriptions, specification, high level synthesis, finite state machines, finite state machines, design for testability, design for testability, VHDL, automatic testing, logic CAD, hardware description languages, FSM, synthesis for testability, logic gates
46Ajay J. Daga, William P. Birmingham A symbolic-simulation approach to the timing verification of interacting FSMs. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF symbolic-simulation approach, interacting FSMs, timing verifier, complex sequential circuit verification, combinational paths, inherently modular nature, symbolic simulation verification methodology, formal verification, logic testing, finite state machines, finite state machines, sequential circuits, circuit analysis computing, timing verification
45Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper Adding Liveness Properties to Coupled Finite-State Machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
44Maurizio Damiani The state reduction of nondeterministic finite-state machines. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
44Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg Fault Tolerance in Finite State Machines Using Fusion. Search on Bibsonomy ICDCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Ralf H. Reussner Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. Search on Bibsonomy SOFSEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
43Mohamed G. Gouda, Khe-Sing The Modeling physical layer protocols using communicating finite state machines. Search on Bibsonomy SIGCOMM The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
43Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal Test function embedding algorithms with application to interconnected finite state machines. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
42Mahadevan Subramaniam, Zoltán Pap Analyzing the Impact of Protocol Changes on Tests. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF test consistency, protocol, evolution, Changes, communicating finite state machines
42Moez Krichen, Stavros Tripakis State-Identification Problems for Finite-State Transducers. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Steve Battle, Helen Balinsky Modelling composite document behaviour with concurrent hierarchical state machines. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2009 DBLP  DOI  BibTeX  RDF composite documents, document-centric process, finite state machines
41Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander Testing Web applications by modeling with FSMs. Search on Bibsonomy Software and System Modeling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Testing of Web applications, Finite state machines, System testing
40Oscar H. Ibarra, Tao Jiang 0001, Hui Wang 0008 Parallel Parsing on a One-way Linear Array of Finite-State Machines. Search on Bibsonomy FSTTCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
40Robert Kelly, Julie Carson-Berndsen Computational Linguistic Motivations for a Finite-State Machine Hierarchy. Search on Bibsonomy CIAA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Martin Kappes, Chandra M. R. Kintala, Reinhard Klemm Formal Limits on Determining Reliabilities of Component-Based Software Systems. Search on Bibsonomy ISSRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Reliability Approximation, Software Reliability, Component-Based Software, Reliability Computation, Communicating Finite State Machines
40Jessica Chen A study on static analysis in network of synchronizing FSMs. Search on Bibsonomy APSEC The full citation details ... 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
40Gianpiero Cabodi, Paolo Camurati, Stefano Quer Improved reachability analysis of large finite state machines. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Sequential Logic Synthesis and Verification
40Srinivas Devadas General Decomposition of Sequential Machines: Relationships to State Assignment. Search on Bibsonomy DAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
39Wuxu Peng, Kia Makki Lossy Communicating Finite State Machines. Search on Bibsonomy Telecommunication Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrency model, verification, specification, communication protocols
39Christoph Meinel, Thorsten Theobald On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Rajeev Alur, Sampath Kannan, Mihalis Yannakakis Communicating Hierarchical State Machines. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Iouliia Skliarova Self-correction of FPGA-Based Control Units. Search on Bibsonomy ICESS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Self-correcting finite state machines, specification in VHDL, Hamming codes
39Hooman Shayani, Peter J. Bentley A more bio-plausible approach to the evolutionary inference of finite state machines. Search on Bibsonomy GECCO (Companion) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bio-plausibility, genetic algorithms, evolutionary algorithms, evolution, finite-state machine, fsm, metaphors, analogies, grammatical inference
38Gerald Tripp A Parallel "String Matching Engine" for use in High Speed Network Intrusion Detection Systems. Search on Bibsonomy Journal in Computer Virology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Anna 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. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fuzzy finite state machines, genetic algorithms, autonomous agents, videogames
38Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li 0002, Laurence Tratt Control Dependence for Extended Finite State Machines. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reactive systems, slicing, control dependence, extended finite state machines
38Tomasz Michal Oliwa, Markus Wagner 0007 Composing Music with Neural Networks and Probabilistic Finite-State Machines. Search on Bibsonomy EvoWorkshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Biological Inspired Music, Representation Techniques, Finite State Machines, Inductive Learning, Music Composition, Comparative Analysis, Time Delay Neural Networks
38Kostas N. Oikonomou Abstractions of Finite-State Machines and Immediately-Detectable Output Faults. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF immediately-detectable output faults, nondeterministic machine, approximately optimal partition, computational complexity, data structures, fault tolerant computing, abstraction, NP-complete, finite-state machines, polynomial-time algorithm, finite automata, set partitioning
38Maurizio Damiani, Piero Olivo, Bruno Riccò Analysis and Design of Linear Finite State Machines for Signature Analysis Testing. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF signature analysis testing, aliasing error probability, logic testing, finite automata, signature analysis, linear finite state machines
38Wuxu Peng, S. Purushothaman Data Flow Analysis of Communicating Finite State Machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF static analysis, communicating finite state machines
38Robert M. Fuhrer, Steven M. Nowick OPTIMIST: state minimization for optimal 2-level logic implementation. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF sequential logic synthesis, symbolic logic minimization, incompletely-specified state machines, finite state machines, state minimization, state reduction
36Gagan Hasteer, Prithviraj Banerjee Simulated Annealing Based Parallel State Assignment of Finite State Machines. Search on Bibsonomy VLSI Design The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness
35Timothy M. White, Thomas P. Way jFAST: a java finite automata simulator. Search on Bibsonomy SIGCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF theory of computation education, simulation, finite state machines, finite automata, educational software
35Rajeev Alur, Thomas A. Henzinger Logics and Models of Real Time: A Survey. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF verification, real time, semantics, Temporal logic, finite-state machines, transition systems
35Fan Zhang, To-Yat Cheung Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Average weight, distinguishing tree, nondeterministic finite-state machine, transfer tree, weighted height, testing
35Vishwani D. Agrawal, Kwang-Ting Cheng An architecture for synthesis of testable finite state machines. Search on Bibsonomy EURO-DAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
35Vincent Hugel, Guillaume Amouroux, Thomas Costis, Patrick Bonnin, Pierre Blazevic Specifications and Design of Graphical Interface for Hierarchical Finite State Machines. Search on Bibsonomy RoboCup The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Srimat T. Chakradhar, Suman Kanjilal, Vishwani D. Agrawal Finite state machine synthesis with fault tolerant test function. Search on Bibsonomy J. Electronic Testing The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Design for combinational test generation, finite state machine synthesis, test function embedding, synthesis for testability, fault-tolerant design
34Rui Zhang, Niraj K. Jha State Encoding of Finite-State Machines Targeting Threshold and Majority Logic Based Implementations with Application to Nanotechnologies. Search on Bibsonomy VLSI Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Jin Li, Xiaoling Sun Tree-Structured Linear Cellular Automata and Their Applications in BIST. Search on Bibsonomy J. Electronic Testing The full citation details ... 1999 DBLP  DOI  BibTeX  RDF linear cellular automata, pseudorandom test pattern generation, delay fault coverage, linear finite state machines
34Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev Synthesizing Petri nets from state-based models. Search on Bibsonomy ICCAD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems
34Seung Ho Hwang, A. Richard Newton An efficient verifier for finite state machines. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
34Mohamed G. Gouda, Louis E. Rosier Communicating Finite State Machines with Priority Channnels. Search on Bibsonomy ICALP The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
33Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli MUSTANG: state assignment of finite state machines targeting multilevel logic implementations. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
33Robi Malik, Partha S. Roop Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF embedded systems, Formal verification, finite-state machines, bisimulation, supervisory control, specification matching
33Frédéric Pétrot, Denis Hommais, Alain Greiner Cycle precise core based hardware/software system simulation with predictable event propagation. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF hardware software system simulation, predictable event propagation, cycle precise core based system simulator, digital embedded systems, Mealy signals, combinational signals, MIPS R3000, microprocessor core, PI-Bus, Pentium 120, communication, graph, C, high level synthesis, memories, directed graph, FSM, topological sort, compile-time, communicating finite state machines
33Ashok Balivada, Yatin Vasant Hoskote, Jacob A. Abraham Verification of transient response of linear analog circuits. Search on Bibsonomy VTS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF linear network analysis, circuit behavior, operational amplifier macro circuits, input waveforms, extracted state equations, Z-domain, digital representation, finite state machines, active networks, transfer functions, transfer function, transient analysis, operational amplifiers, frequency-domain analysis, formal techniques, state-space methods, analogue circuits, transient response, transient response, linear analog circuits, equivalent circuits
33Shmuel S. Tyszberowicz, Amiram Yehudai OBSERV - A Prototyping Language and Environment. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF CRUISE, interactive programming environments, modeling with finite state machines, static checker, simulator, real time systems, embedded systems, concurrency, logic programming, graphical user interface, software reuse, OBSERV, OBSERV, browsers, object-oriented approach
32Ghaith Hammouri, Kahraman D. Akdemir, Berk Sunar Novel PUF-Based Error Detection Methods in Finite State Machines. Search on Bibsonomy ICISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF adversarial-faults, state-machines, PUF, Fault-resilience
31Simon M. Lucas A statistically aligned recombination operator for finite state machines. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez Testing Finite State Machines Presenting Stochastic Time and Timeouts. Search on Bibsonomy EPEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Sezer Gören, F. Joel Ferguson Testing Finite State Machines Based on a Structural Coverage Metric . Search on Bibsonomy ITC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Louis E. Rosier, Hsu-Chun Yen Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. Search on Bibsonomy STACS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
31Moez Krichen, Stavros Tripakis State Identification Problems for Timed Automata. Search on Bibsonomy TestCom The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Sanjiv Ahuja On communication software testing (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
31Markus Damm State Assignment for Detecting Erroneous Transitions in Finite State Machines. Search on Bibsonomy DSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31David A. Bader, Kamesh Madduri A Parallel State Assignment Algorithm for Finite State Machines. Search on Bibsonomy HiPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Mariusz Chyzy, Witold Kosinski Evolutionary Algorithm for State Assignment of Finite State Machines. Search on Bibsonomy DSD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Imtiaz Ahmad, Raza Ul-Mustafa On State Assignment of Finite State Machines Using Hypercube Embedding Approach. Search on Bibsonomy ICCD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF hypercube embedding, gradient projection method, Kernighan Lin algorithm, finite state machine, state assignment
31David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock Architecture for Hybrid Robotic Behavior. Search on Bibsonomy HAIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software engineering, software architecture, finite state machines, software patterns, Non-monotonic logics
31Andrea Paoli, Stéphane Lafortune Diagnosability Analysis of a Class of Hierarchical State Machines. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser
31DaeEun Kim Memory analysis and significance test for agent behaviours. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF grid world problem, genetic programming, finite state machines, computational effort, internal states
31Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz Generating optimal distinguishing sequences with a model checker. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification
31Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz Generating optimal distinguishing sequences with a model checker. Search on Bibsonomy A-MOST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification
31Jovan Dj. Golic A Weakness of the Linear Part of Stream Cipher MUGI. Search on Bibsonomy FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF combiners with memory, Stream ciphers, linear cryptanalysis, linear finite-state machines
Displaying result #1 - #100 of 1371 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license