Search results for "state-machines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio	Weaving concerns in model based development of data-intensive web applications.	SAC	2006	DBLP DOI BibTeX RDF	web applications, model transformations, abstract state machines, model weaving
15	András Balogh, Gergely Varró, Dániel Varró, András Pataricza	Compiling model transformations to EJB3-specific transformer plugins.	SAC	2006	DBLP DOI BibTeX RDF	EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines
15	Andreas Friesen, Egon Börger	A high-level specification for Semantic Web Service Discovery Services.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	semantic web service, abstract state machines, semantic discovery
15	Andrei Kirshin, Dolev Dotan, Alan Hartman	A UML Simulator Based on a Generic Model Execution Engine.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Model Debugger, UML, State Machines, Activities, Model Execution, Model Simulator
15	Michael Breen	Experience of using a lightweight formal specification method for a commercial embedded system product line.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Tabular notations, Embedded systems, Finite state machines, Lightweight formal methods, User interface specification
15	José Juan Pazos-Arias, Jorge García Duque, Martín López Nores	Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	requirements, scenarios, state machines, incremental development
15	José Juan Pazos-Arias, Jorge García Duque, Martín López Nores	Locating crosscutting concerns in the formal specification of distributed reactive systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	requirements, aspects, state machines, crosscutting concerns, incremental development
15	Dimitrios Kagaris	A unified method for phase shifter computation.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	built-in self-test (BIST), cellular automata, linear feedback shift registers, Test pattern generation (TPG), linear finite state machines, phase shifters
15	Florentin Ipate	Complete deterministic stream X-machine testing.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Formal specification, Testing, Finite state machines, Test set generation, Stream X-machines
15	Rajeev Alur, Radu Grosu	Modular refinement of hierarchic reactive machines.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines
15	Mong-Li Lee, Boon Chin Chua, Wynne Hsu, Kian-Lee Tan	Efficient evaluation of multiple queries on streaming XML data.	CIKM	2002	DBLP DOI BibTeX RDF	regular path expressions, streaming XML, finite state machines
15	João Paulo Barros	Specific proposals for the use of petri nets in a concurrent programming course.	ITiCSE	2002	DBLP DOI BibTeX RDF	FSP, process algebra, state machines, introductory course, LTSA
15	Massimiliano Chiodo	Optimization and synthesis for complex reactive embedded systems by incremental collapsing.	CODES	2002	DBLP DOI BibTeX RDF	real-time systems, embedded systems, finite-state machines, software synthesis
15	Uwe Glässer, Yuri Gurevich, Margus Veanes	High-Level Executable Specification of the Universal Plug and Play Architecture.	HICSS	2002	DBLP DOI BibTeX RDF	distributed protocol architectures, abstract state machines, executable specifications
15	Kunihiko Hiraishi	Synthesis of Supervisors Using Learning Algorithm of Regular Languages.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	supervisor synthesis, incompletely specified finite-state machines, learning algorithm, concurrent systems, supervisory control
15	Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele	Generating an action notation environment from Montages descriptions.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Formal specification of programming languages, Generating programming environments and tools, Abstract state machines, Montages, Action semantics
15	Ryszard Janicki, Emil Sekerinski	Foundations of the Trace Assertion Method of Module Interface Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
15	H. G. Mendelbaum, Raphael B. Yehezkael	Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems.	ECBS	2001	DBLP DOI BibTeX RDF	Extended Automata and Finite state Machines, Parallel Automata, CBS methodology, EFSM
15	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
15	Jessica Chen, Suganthan Subramaniam	A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java.	HICSS	2001	DBLP DOI BibTeX RDF	Java AWT and Swing, Finite state machines, Specification-based testing, Capture/Replay
15	Jakka Sairamesh, Ioana Stanoi, Chung-Sheng Li, Brad Topol	Wireless trading in B2B markets: concepts, architecture, and experiences.	Workshop Mobile Commerce	2001	DBLP DOI BibTeX RDF	state-machines and experimentation, performance, architecture, electronic commerce, auctions, WAP, mobile commerce, trading, transcoding proxy
15	Egon Börger, Wolfram Schulte	A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines
15	Florentin Ipate, Mike Holcombe	Generating Test Sets from Non-Deterministic Stream X-Machines.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Testing, Finite state machines, Non-determinism, Test set generation, X-machines
15	Vincenza Carchiolo, Sebastiano D'Ambra, Alessandro Longheu, Michele Malgeri	Issues in object orienting the ST Microelectronics manufacturing model.	APSEC	2000	DBLP DOI BibTeX RDF	semiconductor device manufacture, ST Microelectronics manufacturing model, structured production model, semiconductor device manufacturing, production flow, finite state machines, finite state machine, inheritance, inheritance, object-oriented methods, manufacturing systems, computer integrated manufacturing, object-oriented approach
15	Zhe Dang, Richard A. Kemmerer	Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.	ICSE	2000	DBLP DOI BibTeX RDF	real-time systems, model checking, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL
15	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
15	Zhe Dang, Richard A. Kemmerer	Using the ASTRAL Model Checker to Analyze Mobile IP.	ICSE	1999	DBLP DOI BibTeX RDF	Encryption protocols, real-time systems, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL
15	Leslie Lamport	The Part-Time Parliament.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	three-phase commit, voting, state machines
15	B. Neelakantan, S. V. Raghavan	Scientific foundations to the multilevel method.	IEEE/ACM Trans. Netw.	1998	DBLP DOI BibTeX RDF	finite state machines, black box testing, test sequence, test methods, protocol conformance testing
15	Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli	Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	minimization of logic functions, incompletely specified finite state machines, implicit logic computations, Binary decision diagrams, incompletely specified functions, state minimization
15	Arcot Sowmya, S. Ramesh 0001	Extending Statecharts with Temporal Logic.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
15	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Auxiliary variables for BDD-based representation and manipulation of Boolean functions.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	finite state machines, binary decision diagrams, reachability analysis, functional decompositions
15	Rob L. W. van de Weg, Rolf Engmann	Coordination in information systems based on an object-oriented framework.	SAC	1998	DBLP DOI BibTeX RDF	fault tolerance, object-orientation, coordination, finite state machines
15	Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell 0004	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
15	Luciano Lavagno	System-Level Design Models and Implementation Techniques.	ACSD	1998	DBLP DOI BibTeX RDF	finite state machines, formal models, system-level design, co-simulation, co-synthesis
15	Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha	An Exact Input Encoding Algorithm for BDDs Representing FSMs.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	input encoding, finite state machines, binary decision diagrams, multi-valued decision diagrams
15	Hasan Ural, Xiaolin Wu 0001, Fan Zhang 0001	On Minimizing the Lengths of Checking Sequences.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	testing, Finite state machines, fault detection, checking experiments, checking sequences
15	Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer	Specification of Realtime Systems Using ASTRAL.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
15	Irith Pomeranz, Sudhakar M. Reddy	TEMPLATES: A Test Generation Procedure for Synchronous Sequential Circuits.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	test generation, finite-state machines, templates, synchronous sequential circuits
15	Santonu Sarkar, Anupam Basu, Arun K. Majumdar	Analyzing Controllability of a Hardware Circuit for its Reuse.	VLSI Design	1997	DBLP DOI BibTeX RDF	hardware circuit controllability, external controllability, FSM model, finite state machines, finite state machine model
15	Kwang-Ting Cheng, A. S. Krishnakumar	Automatic generation of functional vectors using the extended finite state machine model.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	functional testing, automatic test generation, design verification, extended finite state machines
15	Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols	A Tool for Practical Reasoning about State Machine Designs.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	verification, formal methods, temporal logic, state machines
15	Luca Benini, Patrick Vuillod, Claudionor José Nunes Coelho Jr., Giovanni De Micheli	Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification.	ISSS	1996	DBLP DOI BibTeX RDF	low power, High level synthesis, finite state machines, gated clocks
15	Li-wei He, Michael F. Cohen, David Salesin	The Virtual Cinematographer: A Paradigm for Automatic Real-Time Camera Control and Directing.	SIGGRAPH	1996	DBLP DOI BibTeX RDF	hierarchical finite state machines, screen acting, virtual environments, virtual worlds, cinematography, camera placement
15	Sofiène Tahar, Zijian Zhou 0001, Xiaoyu Song, Eduard Cerny, Michel Langevin	Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF	ATM Switch Fabric, Safety Property Checking, Abstract State Machines, Hardware Verification, Multiway Decision Graphs
15	Maria J. Avedillo, José M. Quintana, José Luis Huertas	Constrained state assignment of easily testable FSMs.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	Finite state machines, synthesis for testability, state assignment
15	Ilana David, Ran Ginosar, Michael Yoeli	Self-timed is self-checking.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	finite state machines, asynchronous systems, combinational logic, self-checkings, self-timed
15	Jeannette M. Wing, Mandana Vaziri	Model Checking Software Systems: A Case Study.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF	abstraction mappings, distributed systems, model checking, verification, finite state machines, cache coherence protocols
15	Tan-Li Chou, Kaushik Roy 0001	Estimation of sequential circuit activity considering spatial and temporal correlations.	ICCD	1995	DBLP DOI BibTeX RDF	sequential circuit activity estimation, signal activity, internal nodes, sequential logic circuits, logic signals, ESTG, extended state transition graph, exact signal probabilities, large circuits, state logic, logic simulation results, graph theory, finite state machines, finite state machine, sequential circuits, spatial correlations, circuit switching, switching activities, approximate method, temporal correlations
15	Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal	Incremental methods for FSM traversal.	ICCD	1995	DBLP DOI BibTeX RDF	FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods
15	M. Esen Tuna, Kamlesh Rath, Steven D. Johnson	Specification and synthesis of bounded indirection.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
15	Enrico Macii, Massimo Poncino	Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	symbolic Rademacher-Walsh spectral transforms, integer-valued functions, transform matrices, spectral representations, function correlation, ADD-based algorithm, memory occupation, Boolean functions, Boolean functions, finite state machines, logic design, execution time, Walsh functions, transform domain, symbolic techniques
15	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
15	Mandyam-Komar Srinivas, James Jacob, Vishwani D. Agrawal	Functional test generation for non-scan sequential circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	nonscan sequential circuits, functional test vectors, growth and disappearance fault model, complete stuck fault coverage, algebraic transformations, synthesized FSMs, VLSI, fault diagnosis, logic testing, finite state machines, integrated circuit testing, sequential circuits, automatic testing, functional test generation
15	Santanu Paul, Atul Prakash 0001	A Framework for Source Code Search Using Program Patterns.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program patterns, source code fragments, integrated software engineering environments, pattern-based query processors, source programming language, SCRUPLE, source code search tool, source code browser, user interfaces, user interface, formal specification, software maintenance, software maintenance, prototype, software tools, software tools, programming environments, finite state machines, finite state machine, query languages, source code, pattern languages, software reengineering, software understanding, software toolkits, source code search
15	Yabo Wang, David Lorge Parnas	Simulating the Behavior of Software Modules by Trace Rewriting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
15	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
15	Michael K. Reiter, Kenneth P. Birman	How to Securely Replicate Services.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	replication, causality, state machines, threshold cryptography
15	Leonard Pitt, Manfred K. Warmuth	The Minimum Consistent DFA Problem Cannot be Approximated within any Polynomial.	J. ACM	1993	DBLP DOI BibTeX RDF	minimization of finite state machines, approximation algorithms, nonapproximability
15	Bernhard Eschermann	State Assignment for Hardwired VLSI Control Units.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	coding constraints, VLSI, computer-aided design, synthesis, finite-state machines, logic design, sequential circuits, testability, integrated circuits, built-in tests, state assignment, control design
15	George J. Milne	The Formal Description and Verification of Hardware Timing.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	hardware timing, CIRCAL, verification, finite state machines, logic design, finite automata, formal description, modeling framework, verification techniques
15	Rafic Z. Makki, Silvio Bou-Ghazale, Chen Tianshang	Automatic Test Pattern Generation with Branch Testing.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	gate-level input/output lines, simulation, logic testing, finite state machines, automatic testing, fault location, stuck-at faults, design-for-test, scan paths, test algorithm, branch testing
15	Merrill E. Isenman, Dennis E. Shasha	Performance and Architectural Issues for String Matching.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	architectural issues, Knuth-Morris-Pratt algorithm, hardware-based approach, software approaches, Unix system, term-matcher controller, information retrieval, finite-state machines, database management systems, string matching, finite automata, hardware implementation, control logic, performance issues
15	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
15	Anne Condon, Richard J. Lipton	On the Complexity of Space Bounded Interactive Proofs (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	space bounded interactive proofs, finite-state verifiers, Markov chains, finite-state machines, upper bound, undecidable, interactive proof systems, recursively enumerable language
15	Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe	An Acyclic Expansion Algorithm for Fast Protocol Validation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software
15	André Thayse	Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	Algorithmic state machines, factorization of Boolean matrices, implementation of algorithms, microprogrammed structures, parallel program schemata, P-functions, Petri nets, switching theory
15	W. R. English	Synthesis of Finite State Algorithms in a Galois Field GF[pn].	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	sequential networks, Finite-state algorithms, finite-state machines, Galois field arithmetic
15	David Lee 0001, Mihalis Yannakakis	Closed Partition Lattice and Machine Decomposition.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	machine decomposition, closed partition lattice, Finite state machine
15	David Lee 0001, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John	Passive testing and applications to network management.	ICNP	1997	DBLP DOI BibTeX RDF
15	Mathew Hall	Search based hierarchy generation for reverse engineered state machines.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
15	Alessandra Cavarra	Inter-agent Data Flow Analysis of Abstract State Machines.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
15	Khaled El-Fakih, Nina Yevtushenko 0001, Hacène Fouchal	Testing Timed Finite State Machines with Guaranteed Fault Coverage.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
15	Stefan Björnander, Lars Grunske, Kristina Lundqvist	Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.	QoSA	2009	DBLP DOI BibTeX RDF	Behavior Annex, TASM, Translation, AADL
15	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
15	Dumitru Roman, Michael Kifer, Dieter Fensel	WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic.	ESWC	2008	DBLP DOI BibTeX RDF
15	Koen V. Hindriks, Peter Novák 0001	Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines.	MATES	2008	DBLP DOI BibTeX RDF
15	Qing Wang 0002, Klaus-Dieter Schewe, Bernhard Thalheim	XML Database Transformations with Tree Updates.	ABZ	2008	DBLP DOI BibTeX RDF
15	Rubens Fernandes Nunes, Creto Augusto Vidal, Joaquim B. Cavalcante Neto	Sensory state machines for physically-based animation.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Physically-based animation, Motion control
15	Mario Friske, Bernd-Holger Schlingloff	Improving Test Coverage for UML State Machines Using Transition Instrumentation.	SAFECOMP	2007	DBLP DOI BibTeX RDF
15	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
15	Irwin O. Kennedy	Implementation of Low Frequency Finite State Machines Using the VIRTEX SRL16 Primitive.	FPL	2007	DBLP DOI BibTeX RDF
15	Sebastian Schuster, Uwe Brinkschulte	Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks with Abstract State Machines.	SEUS	2007	DBLP DOI BibTeX RDF
15	Rasul Mohammadi, Shahin Hashtrudi-Zad	A recursive algorithm for diagnosis in hierarchical finite-state machines.	SMC	2007	DBLP DOI BibTeX RDF
15	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
15	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
15	Wenhui Sun, Feng Liu, Gang Dai, Honghui Li	Modeling Session Initiation Protocol with Extended Finite State Machines.	PDCAT	2007	DBLP DOI BibTeX RDF
15	Jon Whittle 0001, Leif Geiger, Michael Meisinger	5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM).	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
15	Sebastian Link, Klaus-Dieter Schewe, Jane Zhao	Refinements in Typed Abstract State Machines.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
15	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
15	Yuri Gurevich, Charles Wallace 0001	Can Abstract State Machines Be Useful in Language Theory?.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
15	Daniel Lamch, Roman Wyrzykowski	Specification, Analysis and Testing of Grid Environments Using Abstract State Machines.	PARELEC	2006	DBLP DOI BibTeX RDF
15	David Norton, Dan Ventura	Preparing More Effective Liquid State Machines Using Hebbian Learning.	IJCNN	2006	DBLP DOI BibTeX RDF
15	Minh-Hoang Le, Tu Bao Ho, Yoshiteru Nakamori	Detecting Citation Types Using Finite-State Machines.	PAKDD	2006	DBLP DOI BibTeX RDF
15	Pavel Vasilyev	Simulator for Real-Time Abstract State Machines.	FORMATS	2006	DBLP DOI BibTeX RDF
15	P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan	Test ready UML statechart models.	SCESM	2006	DBLP DOI BibTeX RDF	model based testing, context-free grammar, UML statecharts
15	Yves Bontemps, Alexander Egyed	Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
15	Calvin Kai Fan Tang, Eugenia Ternovska	Model Checking Abstract State Machines with Answer Set Programming.	LPAR	2005	DBLP DOI BibTeX RDF
15	Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán	Formalization of UML state machines using temporal logic.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	UML, specification, formal semantics, interval temporal logic, Statechart diagrams
15		Part I. Testing of Finite State Machines.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF