Search results for "state-machines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	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
69	Robert M. Fuhrer, Bill Lin 0001, 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
65	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
61	Gang Luo, Anindya Das, Gregor von Bochmann	Software Testing Based on SDL Specifications with Save.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification
57	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
56	Irith Pomeranz, Sudhakar M. Reddy	Test generation for multiple state-table faults in finite-state machines.	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
55	Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore	Abstract State Machines: Designing Distributed Systems with State Machines and B.	B	1998	DBLP DOI BibTeX RDF
52	Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis	Analysis of recursive state machines.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
50	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
49	Erich Grädel, Antje Nowack	Quantum Computing and Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
49	Egon Börger, Alessandra Cavarra, Elvinia Riccobene	Modeling the Dynamics of UML State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
48	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
48	Noah Pywes, Paul Rehmet	Recovery of Software Design, State-Machines, and Specifications from Source Code.	ICECCS	1996	DBLP DOI BibTeX RDF	hierarchical software architecture, specifications entities, software engineering, specifications, software design, source code, state-machines
48	Antje Nowack	Slicing Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
48	Stanislas Nanchen, Robert F. Stärk	A Security Logic for Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
48	Marianna Nicolosi Asmundo, Elvinia Riccobene	Consistent Integration for Sequential Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
48	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
48	Nicu G. Fruja, Robert F. Stärk	The Hidden Computation Stepsof Turbo Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
48	Wolfram Schulte	Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
48	Angelo Gargantini, Elvinia Riccobene	Encoding Abstract State Machines in PVS.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
48	Michael Barnett 0001, 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
48	Andreas Blass, Yuri Gurevich, Jan Van den Bussche	Abstract State Machines and Computationally Complete Query Languages.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
47	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
47	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.	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
46	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
45	Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick	Symbolic hazard-free minimization and encoding of asynchronous finite state machines.	ICCAD	1995	DBLP DOI BibTeX RDF	optimal state assignment, asynchronous state machines, hazards, sequential synthesis, sequential optimization
44	Mathew Hall, Phil McMinn, Neil Walkinshaw	Superstate identification for state machines using search-based clustering.	GECCO	2010	DBLP DOI BibTeX RDF	bunch, search-based clustering, state machines, hill-climbing
44	Susanne Graf, Andreas Prinz 0001	Time in State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
44	Calvin Kai Fan Tang, Eugenia Ternovska	Model Checking Abstract State Machines with Answer Set Programming.	Abstract State Machines	2005	DBLP BibTeX RDF
44	Seshadhri Comandur, Anil Seth, Somenath Biswas	RAM Simulation of BGS Model of Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
44	Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi	Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
44	Egon Börger	Design Pattern Abstractions and Abstract State Machines.	Abstract State Machines	2005	DBLP BibTeX RDF
44	Christoph Beierle, Gabriele Kern-Isberner	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
44	Antje Nowack	Deciding the Verification Problem for Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
44	Yuri Gurevich, Wolfram Schulte, Charles Wallace 0001	Investigating Java Concurrency Using Abstract State Machines.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
44	Andreas Blass	Abstract State Machines and Pure Mathematics.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
44	Marc Spielmann	Model Checking Abstract State Machines and Beyond.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
44	Egon Börger	Abstract State Machines at the Cusp of the Millenium.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
44	Giuseppe Del Castillo	The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
44	Wolfgang Schönfeld	Interacting Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
44	Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha	Interacting Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
44	Alexandre V. Zamulin	Object-Oriented Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
44	Hans Tonino	A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines.	Workshop on Abstract State Machines	1998	DBLP BibTeX RDF
43	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
43	Tommaso Bolognesi, Egon Börger	Abstract State Processes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
41	Harald Fecher, Jens Schönborn	UML 2.0 State Machines: Complete Formal Semantics Via core state machine.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
41	K. Vijayananda	Distributed fault detection in communication protocols using extended finite state machines.	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
41	Ting-Yu Kuo, Chun-Yeh Liu, Kewal K. Saluja	An optimized testable architecture for finite state machines.	VTS	1995	DBLP DOI BibTeX RDF	optimized testable architecture, FSM synthesis, testable machine, transfer sequences, synthesis benchmark circuits, logic testing, finite state machines, finite state machines, sequential circuits, logic CAD, sequences, circuit optimisation, distinguishing sequences, synchronizing sequence
41	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
41	Bo Ingvar Sandén	A Design Pattern for State Machines and Concurrent Activities.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Entity-Life Modeling, Design Patterns, State Machines, Protected Objects
40	Flavio Bonomi, Michael Mitzenmacher, Rina Panigrahy, Sushil Singh, George Varghese	Beyond bloom filters: from approximate membership checks to approximate state machines.	SIGCOMM	2006	DBLP DOI BibTeX RDF	network flows, bloom filters, state machines
40	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
40	Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi	Markovian analysis of large finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
39	Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Implicit state minimization of non-deterministic FSMs.	ICCD	1995	DBLP DOI BibTeX RDF	implicit state minimization, nondeterministic finite state machines, fully implicit algorithm, finite state machines, logic design, minimisation
39	Steve Battle, Helen Balinsky	Modelling composite document behaviour with concurrent hierarchical state machines.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	composite documents, document-centric process, finite state machines
39	Sue-Hong Chow, Yi-Cheng Ho, TingTing Hwang, C. L. Liu 0001	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
39	Rajeev Alur, Sampath Kannan, Mihalis Yannakakis	Communicating Hierarchical State Machines.	ICALP	1999	DBLP DOI BibTeX RDF
39	David M. Cohen, Michael L. Fredman	Products of Finite State Machines with Full Coverage.	ICALP	1993	DBLP DOI BibTeX RDF
38	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
38	Zijian Zhou 0001, 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
38	Samy Makar, Edward J. McCluskey	Checking experiments to test latches.	VTS	1995	DBLP DOI BibTeX RDF	exhaustive functional tests, 2-state latches, minimum-length checking, D-latch, HSpice implementation, transmission gate latch, detectable shorted interconnects, open interconnects, short-to-power faults, short-to-ground faults, pin fault test set, multiplexer-based test set, sequential elements, 2-state state machines, simulation, fault diagnosis, logic testing, finite state machines, integrated circuit testing, sequential circuits, CMOS, circuit analysis computing, CMOS logic circuits, SPICE, stuck open faults, checking experiments, stuck-on faults
38	James F. Cremer, Joseph K. Kearney, Yiannis E. Papelis	HCSM: A Framework for Behavior and Scenario in Virtual Environments.	ACM Trans. Model. Comput. Simul.	1995	DBLP DOI BibTeX RDF	scenario control, virtual environments, autonomous agents, reactive systems, behavior modeling, state machines, real-time simulation, interactive simulation
38	Alessandra Cavarra, Juliana Küster Filipe	Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
38	Sabine Glesner	An ASM Semantics for SSA Intermediate Representations.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
38	Yuri Gurevich, Nikolai Tillmann	Partial Updates Exploration II.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Dean Rosenzweig, Davor Runje, Neva Slani	Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Varsha Awhad, Charles Wallace 0001	A Unified Formal Specification and Analysis of the New Java Memory Models.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter	Interfacing ASM with the MDG Tool.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Sabine Glesner	ASMs versus Natural Semantics: A Comparison with New Insights.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes	Test Case Generation from AsmL Specifications.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
38	Joëlle Cohen, Anatol Slissenko	On Verification of Refinements of Timed Distributed Algorithms.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
38	Martin Odersky	Objects + Views = Components?	Abstract State Machines	2000	DBLP DOI BibTeX RDF
38	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
38	Wolfgang Reisig	Towards an ASM Thesis for Unconventional Algorithms.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
38	Gerhard Goos, Wolf Zimmermann	Verifying Compilers and ASMs.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
38	Steven C. Cater, James K. Huggins	An ASM Dynamic Semantics for Standard ML.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
38	Jürgen Teich, Philipp W. Kutter, Ralph Weper	Description and Simulation of Microprocessor Instruction Sets Using ASMs.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
38	Kirsten Winter	Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
38	Ghaith Hammouri, Kahraman D. Akdemir, Berk Sunar	Novel PUF-Based Error Detection Methods in Finite State Machines.	ICISC	2008	DBLP DOI BibTeX RDF	adversarial-faults, state-machines, PUF, Fault-resilience
38	Bikram Sengupta, Rance Cleaveland	An Integrated Framework for Scenarios and State Machines.	IFM	2005	DBLP DOI BibTeX RDF	refinement orderings, scenarios, state-machines, heterogeneous specifications
37	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Analysis of Recursive State Machines.	CAV	2001	DBLP DOI BibTeX RDF
37	Norman H. Cohen, Apratim Purakayastha	Toward interoperable data synchronization with COSMOS.	WMCSA	2000	DBLP DOI BibTeX RDF	interoperable data synchronization, cooperative state machines, object synchronization, synchronizable data store behaviour specification, message sequence, conforming system, adapter, formal specification, concurrency control, finite state machines, synchronisation, open systems, cooperative systems, catalog, COSMOS
37	Frank F. Hsu, Janak H. Patel	A distance reduction approach to design for testability.	VTS	1995	DBLP DOI BibTeX RDF	distance reduction approach, center state, test function embedding technique, SFT techniques, logic testing, finite state machines, finite state machines, design for testability, design for testability, sequential circuits, sequential circuits, flip-flops, flip-flops, synthesis for testability, test function, average distance, DFT techniques
36	Jon Whittle 0001, Leif Geiger, Michael Meisinger	Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM).	SCESM	2006	DBLP DOI BibTeX RDF	UML, scenarios, state machines, message sequence charts
36	Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner	Predictable Component Architectures Using Dependent Finite State Machines.	RISSEF	2002	DBLP DOI BibTeX RDF	automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines
35	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications.	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
35	In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon	Applying Conventional Testing Techniques for Class Testing.	COMPSAC	1996	DBLP DOI BibTeX RDF	program testing techniques, class member function testing, code-based testing, formal specification, object-oriented programming, object oriented programming, finite state machines, finite state machines, program testing, symbolic execution, programming theory, specification-based testing, class testing, branch coverage
35	Preeti Ranjan Panda, Nikil D. Dutt	1995 high level synthesis design repository.	ISSS	1995	DBLP DOI BibTeX RDF	1995 high level synthesis design repository, VHDL language, behavioral finite state machines, behavioral level, computational complexity, high level synthesis, finite state machines, VHDL, microprocessors, hardware description languages, microprocessor chips, floating point units
35	Anna Derezinska, Romuald Pilitowski	Interpretation of History Pseudostates in Orthogonal States of UML State Machines.	NGITS	2009	DBLP DOI BibTeX RDF	UML state machines, orthogonal regions, semantic variation points, UML code execution, statecharts, history
35	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
35	Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva	Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic.	TACAS	2004	DBLP DOI BibTeX RDF	IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification
35	Marcelo Fantinato, Mário Jino	Applying Extended Finite State Machines in Software Testing of Interactive Systems.	DSV-IS	2003	DBLP DOI BibTeX RDF	Finite State Machines, Model Based Testing, Functional Testing, Testing Criteria
35	Robert F. Stärk, Stanislas Nanchen	A Logic for Abstract State Machines.	CSL	2001	DBLP DOI BibTeX RDF	logical foundations of specification languages, modal logic, dynamic logic, Abstract State Machines
35	Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra	A framework to simulate UML models: moving from a semi-formal to a formal environment.	SAC	2004	DBLP DOI BibTeX RDF	UML models simulation, UML, Abstract State Machines, model mapping
35	Rainer Amann, Utz G. Baitinger	Optimal state chains and state codes in finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
34	Dave Thomas, Andy Hunt	State Machines.	IEEE Softw.	2002	DBLP DOI BibTeX RDF
34	Roland Knor, Georg Trausmuth, Johannes Weidl	Reengineering C/C++ Source Code by Transforming State Machines.	ESPRIT ARES Workshop	1998	DBLP DOI BibTeX RDF
33	Rajeev Alur, Mihalis Yannakakis	Model checking of hierarchical state machines.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	model checking, temporal logic, statecharts, Hierarchical state machines
33	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
33		Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France	Abstract State Machines	2005	DBLP BibTeX RDF