Search results for "State"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Robert M. Fuhrer, Bill Lin, Steven M. Nowick	Algorithms for the optimal state assignment of asynchronous state machines.	ARVLSI	1995	DBLP DOI BibTeX RDF	optimal state assignment, asynchronous state machines, state codes, race-free state assignment, hazard-free state assignment, input encoding problem, sum-of-products implementations, finite state machines, asynchronous circuits, state assignment, minimisation of switching nets, hazards and race conditions, asynchronous sequential logic
8	M. Molla-Hosseini, R. M. Kerr, R. B. Randall, R. B. Platfoot	An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm
7	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
7	Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen	Object state testing for object-oriented programs. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	object state testing, class objects, behavior testing, object state diagram, OO features, communicating state machine, object state hierarchy, complex class object, object state test strategy, object-oriented programming, object oriented programs, object-oriented programs, test generation, aggregation, program testing, inheritance, abstract data types, functional testing, structure testing, overloading, dynamic behavior, test criteria, OO programs
7	Chantal Ykman-Couvreur, Bill Lin	Efficient state assignment framework for asynchronous state graphs. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	state assignment framework, asynchronous state graphs, state graph level, complete state coding problem, circuit area, logic design, encoding, asynchronous circuits, asynchronous circuits, computation time, state assignment
7	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
6	Robert M. Fuhrer, Steven M. Nowick	OPTIMIST: state minimization for optimal 2-level logic implementation.	ICCAD	1997	DBLP DOI BibTeX RDF	sequential logic synthesis, symbolic logic minimization, incompletely-specified state machines, finite state machines, state minimization, state reduction
6	Chantal Ykman-Couvreur, Bill Lin	Optimised state assignment for asynchronous circuit synthesis.	ASYNC	1995	DBLP DOI BibTeX RDF	optimised state assignment, asynchronous circuit synthesis, complete state coding, state graph level, asynchronous benchmarks, circuit area, logic design, encoding, asynchronous circuits, computation time, state assignment
6	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
6	Mitchell Flatebo, Ajoy Kumar Datta	Two-State Self-Stabilizing Algorithms for Token Rings.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	two-state self-stabilizing algorithms, legal state, illegal state, infrequent errors, randomized central demon, asynchronous unidirectional ring, binary state machines, distributed system, reliability, distributed algorithms, distributed algorithms, fault tolerant computing, probability, local area networks, probabilistic algorithm, network connections, token rings, token networks, mutual exclusion algorithms
5	Il-Yeol Song, Ki Jung Lee	Developing State Diagrams Using a State Specialization Technique.	ER Workshops	2007	DBLP DOI BibTeX RDF	State Specialization, State Identification Methods, Unified Modeling Language, Statecharts, State Diagram
5	Tina Wong, Randy H. Katz	An Analysis of Multicast Forwarding State Scalability. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	multicast forwarding state scalability, inter-domain multicast deployment, state reduction research, multicast application characteristics, Internet backbone networks, core domains, session size, nonbranching multicast forwarding state elimination, Internet, transport protocols, packet switching, network topology, network topologies, power law, multicast communication, IP multicast, simulation experiments, packet transmission
5	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
5	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
5	Tuyen V. Nguyen, Anirudh Devgan	State transformation in event driven explicit simulation.	ICCAD	1997	DBLP DOI BibTeX RDF	event driven explicit simulation, state equation, state representation, state transformation, circuit analysis computing, simulation algorithm, similarity transformation
5	Robert Rönngren, Michael Liljenstam, Rassul Ayani, Johan Montagnat	A comparative study of state saving mechanisms for time warp synchronized parallel discrete event simulation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	state saving mechanisms, time warp synchronized simulation, state saving overhead, cellular communication simulation, state restoration mechanism, performance, parallel processing, discrete event simulation, synchronisation, error, software performance evaluation, parallel discrete event simulation, telecommunication computing, cellular radio, time warp simulation, PDES
5	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
5	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
5	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
5	Chunduri Rama Mohan, Partha Pratim Chakrabarti	Combined optimization of area and testability during state assignment of PLA-based FSM's.	VLSI Design	1995	DBLP DOI BibTeX RDF	combined optimization, testability optimisation, PLA-based FSM, EARTH algorithm, single cross-point faults, redundancy checker, fault diagnosis, logic testing, redundancy, finite state machines, integrated circuit testing, design for testability, fault model, logic CAD, programmable logic arrays, circuit layout CAD, circuit optimisation, integrated circuit layout, state assignment, state assignment, minimisation of switching nets, single stuck-at faults, area minimization
5	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
5	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
5	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
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
5	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
5	Alan C. Shaw	Communicating Real-Time State Machines.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	communicating real-time state machines, executable notation, concurrent real-time systems, controlled physical environment, CRSMs, CRSM language, real-time systems, formal specification, finite state machines, parallel machines, requirements specification, state machines, communicating sequential processes, timing properties
5	Yao-Xue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi	An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.	IEEE Trans. Software Eng.	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
4	Jiang Ji, Kaizhi Huang, Liang Jin, LiZhi Zhang, Meng Zhang	Controllable single accumulated state-sequential acquisition with low signal noise ratio.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	pseudo-noise (PN) sequence, single accumulated state, sequential acquisition, control state
4	Fahrettin Özdemirci, Özlem (Gökkurt) Bayram	Approaches of E-Records Management in E-State Transformation Process in Turkey.	WSKS	2009	DBLP DOI BibTeX RDF	e-state management, e-state transformation, national e-records management, Turkey
4	Xiao-Yu Hu, Evangelos Eleftheriou, Robert Haas, Ilias Iliadis, Roman Pletka	Write amplification analysis in flash-based solid state drives.	SYSTOR	2009	DBLP DOI BibTeX RDF	solid state storage systems, write amplification, flash memory, solid state drives
4	Andreas Riener, Alois Ferscha, Mohamed Aly	Heart on the road: HRV analysis for monitoring a driver's affective state.	AutomotiveUI	2009	DBLP DOI BibTeX RDF	HRV analysis, affective state recognition, driver-vehicle interface, emotional state recognition, on-the-road studies, user-centered design, electrocardiography (ECG)
4	Sami Evangelista, Michael Westergaard, Lars Michael Kristensen	The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	explicit state model checking, hash compaction, delayed duplicate detection, state space reduction, state explosion problem
4	Hanifa Boucheneb	Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Interval timed coloured Petri nets, State class graph, Linear properties, State space
4	Farn Wang, Chih-Hong Cheng	Program Repair Suggestions from Graphical State-Transition Specifications.	FORTE	2008	DBLP DOI BibTeX RDF	state graph, state transition relation, evaluation, graph theory, cost, bisimulation, equivalence, repair
4	Zhanshan (Sam) Ma, Axel W. Krings, Robert E. Hiromoto	Multivariate Survival Analysis (II): An Overview of Multi-State Models in Biomedicine and Engineering Reliability.	BMEI	2008	DBLP DOI BibTeX RDF	Multivariate Survival Analysis, Multi-State Modeling, Flowgraph Model, Multi-state Reliability Model, Markov Chain
4	Yuka Obu, Kazuhiro Maruo, Tatsuhiro Yonekura, Masaru Kamada, Shusuke Okamoto	State-Transition Diagram for Visual Programming Tool GUEST.	WEBIST (Selected Papers)	2008	DBLP DOI BibTeX RDF	Web programming for non-programmers, GUEST (Graphical User interface Editor by State-transition Diagram), New user interface design concept, Visual programming, State-transition diagram
4	Bernard Berthomieu, Florent Peres, François Vernadat	Abstract State Spaces for Time Petri Nets Analysis.	ISORC	2008	DBLP DOI BibTeX RDF	Abstract State Spaces, State Classes, Time Petri Nets
4	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)
4	Monalisa Sarma, Rajib Mall	Synthesis of system state models.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	system state model, test coverage analysis, transition coverage, UML, UML, automatic test case generation, state coverage
4	Ping Ji, Zihui Ge, Jim Kurose, Donald F. Towsley	A comparison of hard-state and soft-state signaling protocols.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	communication system signaling, hard-state, performance evaluation, soft-state
4	Hanifa Boucheneb, Hind Rakkay	A more efficient time Petri net state space abstraction preserving linear properties.	ACSD	2007	DBLP DOI BibTeX RDF	state class graph, partial order techniques, independent transitions, relevant execution path, Time Petri nets, state explosion problem
4	Prashant Doshi	Approximate state estimation in multiagent settings with continuous or large discrete state spaces.	AAMAS	2007	DBLP DOI BibTeX RDF	continuous state spaces, multiagent state estimation, particle filters
4	A. Johannes Pretorius, Jarke J. van Wijk	Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	user-defined widgets, finite state machines, system analysis, graph visualization, multivariate visualization, state space analysis, state transition graphs
4	K. Subramani, C. Tauras	An approximation algorithm for state minimization in 2-MDFAs.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	2-MDFA, Finite state automata, State minimization
4	Jennifer Tenzer, Perdita Stevens	On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Protocol state machines, UML, Recursion, Object-oriented modelling, State machines, Callbacks
4	Onno Zoeter, Tom Heskes	Deterministic approximate inference techniques for conditionally Gaussian state space models.	Statistics and Computing	2006	DBLP DOI BibTeX RDF	Conditionally Gaussian state space models, Switching linear dynamical systems, Expectation propagation, Assumed density filtering, State space models, Approximate inference
4	Jan Friso Groote, Frank van Ham	Interactive visualization of large state spaces.	STTT	2006	DBLP DOI BibTeX RDF	Visualization, Graph drawing, Transition systems, State space, State transition graphs
4	A. Johannes Pretorius, Jarke J. van Wijk	Visual Analysis of Multivariate State Transition Graphs.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	interactive clustering, finite state machines, Graph visualization, transition systems, state spaces, multivariate visualization
4	Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari	Question-guided stubborn set methods for state properties.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem
4	Dianxiang Xu, Weifeng Xu	State-based incremental testing of aspect-oriented programs.	AOSD	2006	DBLP DOI BibTeX RDF	aspect-oriented state model, incremental testing, aspect-oriented programming, model-based testing, state model
4	Hongzhi Liang, Jürgen Dingel, Zinovy Diskin	A comparative survey of scenario-based to state-based model synthesis approaches.	SCESM	2006	DBLP DOI BibTeX RDF	model, UML, petri nets, synthesis, scenario, SDL, state machines, MSC
4	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
4	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
4	Dong Xiang, Janak H. Patel	Partial Scan Design Based on Circuit State Information and Functional Analysis.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Valid state, invalid state, testability improvement potential, conflict, testability measure, partial scan design
4	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
4	Stanislas Nanchen, Robert F. Stärk	A Security Logic for Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
4	Antje Nowack	Slicing Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
4	Thomas Mailund, Michael Westergaard	Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.	TACAS	2004	DBLP DOI BibTeX RDF	memory efficient state representation, the sweep-line method, Verification, state space reduction, state space methods
4	Laurette Pretorius, Sonja E. Bosch	Finite-State Computational Morphology: An Analyzer Prototype For Zulu.	Machine Translation	2003	DBLP DOI BibTeX RDF	agglutinating morphological structures, analyzer prototype, finite state morphology, Xerox finite state tools, Zulu
4	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
4	Ping Ji, Zihui Ge, James F. Kurose, Donald F. Towsley	A comparison of hard-state and soft-state signaling protocols.	SIGCOMM	2003	DBLP DOI BibTeX RDF	hard-state, signaling, soft-state
4	Wolf Zimmermann, Axel Dold	A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
4	Nicu G. Fruja, Robert F. Stärk	The Hidden Computation Stepsof Turbo Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
4	Erich Grädel, Antje Nowack	Quantum Computing and Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
4	Marianna Nicolosi Asmundo, Elvinia Riccobene	Consistent Integration for Sequential Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
4	Tommaso Bolognesi, Egon Börger	Abstract State Processes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
4	Wolfram Schulte	Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
4	Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra	Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
4	Thomas Mailund	Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.	ICATPN	2002	DBLP DOI BibTeX RDF	Timed Coloured Petri Nets, Infinite-State Systems, State Space Analysis, Reduction Techniques
4	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
4	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
4	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
4	Frank van Ham, Huub van de Wetering, Jarke J. van Wijk	Visualization of State Transition Graphs.	INFOVIS	2001	DBLP DOI BibTeX RDF	Clustering, Finite State Machines, Symmetry, Graph Visualization, Finite Automaton, State Transition Diagrams, Cone Trees
4	S. Kazem Lellahi, Alexandre V. Zamulin	Object-Oriented Database as a Dynamic System with Implicit State.	ADBIS	2001	DBLP DOI BibTeX RDF	implicit state, object-oriented database, dynamic system, object modeling, state update
4	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
4	Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwani D. Agrawal	Compaction-based test generation using state and fault information.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	compaction-based test generation, newly-traversed state information, newly-detected fault information, vector compaction iterations, vector sequence bias, biased vectors, compacted test set extension, intelligent vector selection, state analysis, fault diagnosis, fault detection, sequential circuits, sequential circuits, automatic test pattern generation, iterative methods, vectors, fault coverage, circuit analysis computing, fault analysis, benchmark circuits, computing resources, vector generation
4	Andreas Blass, Yuri Gurevich, Jan Van den Bussche	Abstract State Machines and Computationally Complete Query Languages.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
4	Egon Börger, Alessandra Cavarra, Elvinia Riccobene	Modeling the Dynamics of UML State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
4	Yuri Gurevich, Wolfram Schulte, Charles Wallace	Investigating Java Concurrency Using Abstract State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
4	Angelo Gargantini, Elvinia Riccobene	Encoding Abstract State Machines in PVS.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
4	Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Using Abstract State Machines at Microsoft: A Case Study.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
4	Ilia Bider, Maxim Khomyakov	Is It Possible to Make Workflow Management Systems Flexible? Dynamical Systems Approach to Business Processes. (PDF / PS)	CRIWG	2000	DBLP DOI BibTeX RDF	dynamical systems approach, WFMS, flow of work, office processes, state flow, state-oriented presentation, flexibility problem, valid state, business processes, workflow management systems, workflow management software, execution control
4	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
4	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
4	Fong Pong, Michel Dubois	Formal Verification of Complex Coherence Protocols Using Symbolic State Models.	J. ACM	1998	DBLP DOI BibTeX RDF	state abstraction, state enumeration methods, formal methods, shared-memory multiprocessors, cache coherence protocols
4	Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell	An Automatic Test Case Generator Derived from State-Based Testing.	APSEC	1998	DBLP DOI BibTeX RDF	State Machines, Test Cases Generator, State-Based Testing, Class Testing
4	Frank F. Hsu, Janak H. Patel	Design for Testability Using State Distances.	J. Electronic Testing	1997	DBLP DOI BibTeX RDF	state distance, finite-state-machine, design-for-testability, synthesis-for-testability
4	Francis Bordeleau, Raymond J. A. Buhr	UCM-ROOM modelling: from use case maps to communicating state machines.	ECBS	1997	DBLP DOI BibTeX RDF	UCM-ROOM modelling, communicating state machines, internal state machines, intercomponent messages, UCM models, message sequence charts, communicating sequential processes, modelling methodology, computer-based systems, use case maps
4	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
4	Mats Per Erik Heimdahl, David J. Keenan	Generating Code from Hierarchical State-Based Requirements. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, formal specification, code generation, system complexity, RSML
4	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
4	Bart Preneel	Cryptographic Primitives for Information Authentication - State of the Art.	State of the Art in Applied Cryptography	1997	DBLP DOI BibTeX RDF
4	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
4	J. Q. Ni, K. Ho, K. Tse, J. S. Ni, M. H. Shen	Multirate Kalman Filtering Approach for Optimal Two-Dimensional Signal Reconstruction from Noisy Subband Systems. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	multirate Kalman filtering, optimal two-dimensional signal reconstruction, noisy subband systems, synthesis filters, signal quantization, subband components, multichannel representation, subband signal, multirate state-space model, filter bank system, optimal state estimation, state vector, minimum-variance reconstruction, vector dynamical model, subband image, 2D multirate Kalman filter, statistical model, computer simulation, Kronecker product, additive noise, two-dimensional digital filters, input signal
4	Brian Tung, Leonard Kleinrock	Using Finite State Automata to Produce Self-Optimization and Self-Control.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	optimization, robotics, Approximation, decomposition, random walk, finite state automata, state aggregation
4	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
4	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	A new compositional method for condensed state-space verification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion
4	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
4	Darrin West, Kiran S. Panesar	Automatic Incremental State Saving.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	Incremental State Saving, Checkpointing, Time Warp, Parallel Discrete Event Simulation, State Saving
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