Search results for "state-machines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Diego Alonso, Cristina Vicente-Chicote, Juan Angel Pastor, Bárbara Álvarez	StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Model-To-Text Transformation, Thread-Safe Code Generation, Eclipse platform, Finite State Machines, Model-Driven Engineering
21	Angelo Gargantini	Using Model Checking to Generate Fault Detecting Tests.	TAP	2007	DBLP DOI BibTeX RDF	test, model based testing, Abstract State Machines, fault based testing
21	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, I.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
21	Timothy M. White, Thomas P. Way	jFAST: a java finite automata simulator.	SIGCSE	2006	DBLP DOI BibTeX RDF	theory of computation education, simulation, finite state machines, finite automata, educational software
21	Renaud Blanch, Michel Beaudouin-Lafon	Programming rich interactions using the hierarchical state machine toolkit.	AVI	2006	DBLP DOI BibTeX RDF	advanced interaction techniques, post-WIMP interaction, structured graphics, software architecture, scalable vector graphics, hierarchical state machines
21	Robi Malik, Partha S. Roop	Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.	IFM	2005	DBLP DOI BibTeX RDF	embedded systems, Formal verification, finite-state machines, bisimulation, supervisory control, specification matching
21	Kirsten Winter, Roger Duke	Model Checking Object-Z Using ASM.	IFM	2002	DBLP DOI BibTeX RDF	language transformation, automated tool support, model checking, Abstract State Machines, Object-Z
21	Francis Bordeleau, Jean-Pierre Corriveau, Bran Selic	A Scenario-Based Approach to Hierarchical State Machine Design.	ISORC	2000	DBLP DOI BibTeX RDF	patters, real-time systems, hierarchical state machines, scenario models
21	Frédéric Pétrot, Denis Hommais, Alain Greiner	Cycle precise core based hardware/software system simulation with predictable event propagation.	EUROMICRO	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
21	Ashok Balivada, Yatin Vasant Hoskote, Jacob A. Abraham	Verification of transient response of linear analog circuits.	VTS	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
21	Shmuel S. Tyszberowicz, Amiram Yehudai	OBSERV - A Prototyping Language and Environment.	ACM Trans. Softw. Eng. Methodol.	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
21	Rajeev Alur, Thomas A. Henzinger	Logics and Models of Real Time: A Survey.	REX Workshop	1991	DBLP DOI BibTeX RDF	verification, real time, semantics, Temporal logic, finite-state machines, transition systems
21	Andreas Blass, Yuri Gurevich	Abstract state machines capture parallel algorithms: Correction and extension.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine
21	Darrell R. Raymond	Grail: a C++ library for finite-state machines and regular expressions.	CASCON	1994	DBLP BibTeX RDF	C++
21	Michel Langevin, Eduard Cerny	Comparing Generic State Machines.	CAV	1991	DBLP DOI BibTeX RDF
21	Christoph Beierle, Klaus-Dieter Schewe	Abstract State Machines with Exact Real Arithmetic.	ABZ	2018	DBLP DOI BibTeX RDF
21	Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres	Systematic Refinement of Abstract State Machines with Higher-Order Logic.	ABZ	2018	DBLP DOI BibTeX RDF
21	Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor	AsmetaA: Animator for Abstract State Machines.	ABZ	2018	DBLP DOI BibTeX RDF
21	Egon Börger	Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets.	ABZ	2016	DBLP DOI BibTeX RDF
21	Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier	Unified Syntax for Abstract State Machines.	ABZ	2016	DBLP DOI BibTeX RDF
21	Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy	A Universal Control Construct for Abstract State Machines.	ABZ	2016	DBLP DOI BibTeX RDF
21	Marcel Dausend, Alexander Raschke	Introducing Aspect-Oriented Specification for Abstract State Machines.	ABZ	2014	DBLP DOI BibTeX RDF
21	Ilias Sakellariou	Turtles as State Machines - Agent Programming in NetLogo using State Machines.	ICAART (2)	2012	DBLP BibTeX RDF
21	Paolo Arcaini, Francesco Bolis, Angelo Gargantini	Test Generation for Sequential Nets of Abstract State Machines.	ABZ	2012	DBLP DOI BibTeX RDF
21	Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra	A Reliability Prediction Method for Abstract State Machines.	ABZ	2012	DBLP DOI BibTeX RDF
21	Joëlle Cohen, Anatol Slissenko	Stability of Real-Time Abstract State Machines under Desynchronization.	ABZ	2008	DBLP DOI BibTeX RDF
21	Margus Veanes, Ando Saabas	Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).	ABZ	2008	DBLP DOI BibTeX RDF
21	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
21	Christine Choppy, Gianna Reggio	A method for developing UML state machines.	SAC	2009	DBLP DOI BibTeX RDF	UML, state machine
21	Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko	Symbolic Step Encodings for Object Based Communicating State Machines.	FMOODS	2008	DBLP DOI BibTeX RDF
21	Hooman Shayani, Peter J. Bentley	A more bio-plausible approach to the evolutionary inference of finite state machines.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	bio-plausibility, genetic algorithms, evolutionary algorithms, evolution, finite-state machine, fsm, metaphors, analogies, grammatical inference
21	Laura Bozzelli, Salvatore La Torre, Adriano Peron	Verification of Well-Formed Communicating Recursive State Machines.	VMCAI	2006	DBLP DOI BibTeX RDF
21	Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic	A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.	ISORC	2000	DBLP DOI BibTeX RDF
21	Welf Löwe, Rainer Neumann, Martin Trapp 0002, Wolf Zimmermann	Robust Dynamic Exchange of Implementation Aspects.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	Implementation Exchange, Library Construction, Datastructures, Robustness
21	Graema Milligan, Wim Vanderbauwhede	Implementation of Finite State Machines on a Reconfigurable Device.	AHS	2007	DBLP DOI BibTeX RDF
21	Ali Iranli, Massoud Pedram	Cycle-Based Decomposition of Markov Chains With Applications to Low-Power Synthesis and Sequence Compaction for Finite State Machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
21	Oliver Kasten, Kay Römer	Beyond event handlers: programming wireless sensors with attributed state machines.	IPSN	2005	DBLP DOI BibTeX RDF
21	Christoforos N. Hadjicostis	Encoded finite-state machines for non-concurrent error detection and identification.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
21	Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns	Analysis Problems for Sequential Dynamical Systems and Communicating State Machines.	MFCS	2001	DBLP DOI BibTeX RDF
21	Montek Singh, Steven M. Nowick	Synthesis for logical initializability of synchronous finite-state machines.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
21	Diana Marculescu, Radu Marculescu, Massoud Pedram	Theoretical bounds for switching activity analysis in finite-state machines.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
21	Diana Marculescu, Radu Marculescu, Massoud Pedram	Theoretical bounds for switching activity analysis in finite-state machines.	ISLPED	1998	DBLP DOI BibTeX RDF
21	Tam-Anh Chu	Synthesis of hazard-free control circuits from asynchronous finite state machines specifications.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
20	Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki	Reconfigurable State Machine Components for Embedded Applications.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
20	Sezer Gören 0001, F. Joel Ferguson	CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines.	DATE	2002	DBLP DOI BibTeX RDF
20	Harald Störrle	Model driven development of user interface prototypes: an integrated approach.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	WED, UML, state machines, GUI design
20	David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock	Architecture for Hybrid Robotic Behavior.	HAIS	2009	DBLP DOI BibTeX RDF	software engineering, software architecture, finite state machines, software patterns, Non-monotonic logics
20	Dolev Dotan, Andrei Kirshin	Debugging and testing behavioral UML models.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	UML, software development, debugging, profiles, state machines, activities
20	Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal	TITAN: a Framework for Aspect Oriented System Evolution.	ICSEA	2007	DBLP DOI BibTeX RDF	algebraic descriptions, UML, testing, Aspect-oriented programming, test generation, state machines, sequence diagrams
20	T. K. S. Lakshmi Priya, Ranjani Parthasarathi	An ASM Model for an Autonomous Network-Infrastructure Grid.	ICNS	2007	DBLP DOI BibTeX RDF	network-layer grid, autonomic grid, formal model, Abstract State Machines
20	William Bail	An Approach to Defining Requirements for Exceptions.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF	exception handling, requirements specification, state machines, usage models
20	DaeEun Kim	Memory analysis and significance test for agent behaviours.	GECCO	2006	DBLP DOI BibTeX RDF	grid world problem, genetic programming, finite state machines, computational effort, internal states
20	Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz	Generating optimal distinguishing sequences with a model checker.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification
20	Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz	Generating optimal distinguishing sequences with a model checker.	A-MOST	2005	DBLP DOI BibTeX RDF	model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification
20	Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao	Quality Assurance in the Design of Web Information Systems.	QSIC	2005	DBLP DOI BibTeX RDF	Quality Design, Refinement, Abstract State Machines, Web Information Systems
20	Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag	Deductive Verification of UML Models in TLPVS.	UML	2004	DBLP DOI BibTeX RDF	Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS
20	Jovan Dj. Golic	A Weakness of the Linear Part of Stream Cipher MUGI.	FSE	2004	DBLP DOI BibTeX RDF	combiners with memory, Stream ciphers, linear cryptanalysis, linear finite-state machines
20	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of Message Sequence Charts.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom
20	Ricardo Marcelín-Jiménez, Rolando Esquivel-Villafana, Sergio Rajsbaum	A Flexible Simulator for Distributed Algorithms.	ENC	2003	DBLP DOI BibTeX RDF	distributed algorithms, discrete-event simulations, state machines
20	Jessica Chen, Suganthan Subramaniam	Specification-based Testing for Gui-based Applications.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	java AWT and swing, finite state machines, specification-based testing, capture/replay
20	Jessica Chen, Steve Chovanec	Towards Specification-based Web Testing.	NETWORKING Workshops	2002	DBLP DOI BibTeX RDF	Java AWT and Swing, Web applications, Finite state machines, Specification-based testing, Capture/Replay
20	Marie-Luce Bourguet	Outil de prototypage pour la conception et l'evaluation d'interfaces utilisateur multimodales.	IHM	2002	DBLP DOI BibTeX RDF	prototyping, finite state machines, interaction models, multimodal inputs
20	Renaud Blanch	Programmer I'interaction avec des machines â états hiérarchiques.	IHM	2002	DBLP DOI BibTeX RDF	advanced interaction techniques, software architecture, hierarchical state machines
20	Jessica Chen	Expressing Graphical User's Input for Test Specifications.	EDCIS	2002	DBLP DOI BibTeX RDF	Java Swing and AWT, Graphical User's Interface, Finite State Machines, Specification-based Testing, Capture/Replay
20	M. Tuan Tu, Eberhard Wolff, Winfried Lamersdorf	Genetic Algorithms for Automated Negotiations: A FSM-Based Application.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	FSM based application approach, electronic commerce applications, GA principles, negotiating agents, genetic algorithms, electronic commerce, finite state machines, automated negotiations, negotiation strategy
20	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of message sequence charts.	ICSE	2000	DBLP DOI BibTeX RDF	concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom
20	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
20	Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro	Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.	SCCC	1999	DBLP DOI BibTeX RDF	Software Testing, Tools, Finite State Machines, Reactive Systems, Mutation Testing
20	James K. Huggins, David Van Campenhout	Specification and verification of pipelining in the ARM2 RISC microprocessor.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	ARM processor, formal verification, pipelining, abstract state machines, design verification, pipelined processors
20	Jian-Cheng Dai, Gwo-Dong Chen, Chen-Chung Liu, Baw-Jhiune Liu	A temporal behavioral object model for object-oriented databases.	COMPSAC	1997	DBLP DOI BibTeX RDF	temporal behavioral object model, data history management, data value changes, DSS debugging systems, DSS maintenance systems, database debugging systems, database maintenance systems, method signatures, method invocation network, subtype object substitutability enforcement, class inheritance hierarchy, database application developers, event effect querying, decision support system, policies, finite state machines, object-oriented databases, object-oriented databases, type system, temporal databases, users, procedures, data objects, decision makers
20	Sien-An Ong, Kari Tiensyrjä, Lech Józwiak	Interactive codesign for real-time embedded control systems: task graph generation from SA/VHDL models.	EUROMICRO	1997	DBLP DOI BibTeX RDF	interactive codesign, real-time embedded control systems, task graph generation, InCo, textual functional specification method, linear control structures, static behavioral analysis, graphical functional specification method, high level synthesis, finite-state machines, VHDL, modular design, hierarchical decomposition, hardware software partitioning, cost-efficient
20	X. Wendling, Raphaël Rochet, Régis Leveugle	Standard and ROM-based synthesis of FSMs with control flow checking capabilities.	VTS	1996	DBLP DOI BibTeX RDF	read-only storage, sequencing error detection, ROM architecture, finite state machines, finite state machine, integrated circuit testing, error detection, automatic testing, integrated circuit design, FSM, automatic synthesis, control flow checking
20	P. A. Subrahmanyam, K. J. Singh, Guy A. Story, William M. Schell	Quality Assurance in Scripting.	IEEE Multim.	1995	DBLP DOI BibTeX RDF	formal methods, finite state machines, scripting, interactive television
20	Mark Minas, Gerhard Viehstaedt	DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams.	VL	1995	DBLP DOI BibTeX RDF	diagram editor generator, DiaGen, diagram execution, visual language systems, hypergraph grammar, user interfaces, formal specification, specification, graphical user interfaces, software tools, graphs, programming environments, finite state machines, trees, visual programming, visual languages, direct manipulation, diagrams, graph grammars, hierarchical structures, application specific, flowcharts
20	Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang	Experience with Charlotte: Simplicity and Function in a Distributed Operating System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Charlotte distributed operating system, computation-intensive problems, large-grain parallelism, Crystal multicomputer, VAX-11/750 computers, kernel/process interface, bidirectional communication paths, synchronous nonblocking communications, multitask kernel, absolute distributed information, high-level tools, Lynx distributed programming language, kernal primitives, concurrency, abstraction, finite-state machines, local area network, local area networks, operating systems (computers), software packages, multiprocessing programs, computer communications software
20	Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham	PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation
19	Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans	Object Modelling in the SystemB Industrial Project.	ABZ	2008	DBLP DOI BibTeX RDF
19	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Testing Finite State Machines Presenting Stochastic Time and Timeouts.	EPEW	2007	DBLP DOI BibTeX RDF
19	Simon M. Lucas	A statistically aligned recombination operator for finite state machines.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
19	Hemant Sengar, Duminda Wijesekera, Haining Wang, Sushil Jajodia	VoIP Intrusion Detection Through Interacting Protocol State Machines.	DSN	2006	DBLP DOI BibTeX RDF
19	Ali Habibi, Haja Moinudeen, Sofiène Tahar	Generating finite state machines from SystemC.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
19	Jon Whittle 0001, Praveen K. Jayaraman	Generating Hierarchical State Machines from Use Case Charts.	RE	2006	DBLP DOI BibTeX RDF
19	Frank Alexander Kraemer, Peter Herrmann, Rolv Bræk	Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
19	Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums	Interactive Verification of UML State Machines.	ICFEM	2004	DBLP DOI BibTeX RDF
19	Elvinia Riccobene, Patrizia Scandurra	Modelling SystemC Process Behavior by the UML Method State Machines.	RISE	2004	DBLP DOI BibTeX RDF
19	Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato	Hierarchical and Recursive State Machines with Context-Dependent Properties.	ICALP	2003	DBLP DOI BibTeX RDF	Model Checking, Temporal Logic, Automata
19	Jürgen Teich, Markus Köster	(Self-)reconfigurable Finite State Machines: Theory and Implementation.	DATE	2002	DBLP DOI BibTeX RDF
19	Alexander Knapp, Stephan Merz, Christopher Rauh	Model Checking - Timed UML State Machines and Collaborations.	FTRTFT	2002	DBLP DOI BibTeX RDF
19	Sezer Gören 0001, F. Joel Ferguson	Testing Finite State Machines Based on a Structural Coverage Metric .	ITC	2002	DBLP DOI BibTeX RDF
19	Michael Benedikt, Patrice Godefroid, Thomas W. Reps	Model Checking of Unrestricted Hierarchical State Machines.	ICALP	2001	DBLP DOI BibTeX RDF
19	Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen	On the Effectiveness of Slicing Hierarchical State Machines: A Case Study.	EUROMICRO	1998	DBLP DOI BibTeX RDF
19	Mario Dal Cin	Verifying Fault-Tolerant Behavior of State Machines.	HASE	1997	DBLP DOI BibTeX RDF
19	Abderrahim Benslimane	Deciding Boundedness for Systems of two Linear Communicating Fine State Machines.	CAST	1994	DBLP DOI BibTeX RDF
19	Louis E. Rosier, Hsu-Chun Yen	Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.	STACS	1985	DBLP DOI BibTeX RDF
19	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
19	Aritra Bandyopadhyay, Sudipto Ghosh	Using UML Sequence Diagrams and State Machines for Test Input Generation.	ISSRE	2008	DBLP DOI BibTeX RDF
19	Therese Berg, Bengt Jonsson 0001, Harald Raffelt	Regular Inference for State Machines with Parameters.	FASE	2006	DBLP DOI BibTeX RDF
19	Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan	On-the-Fly Reachability and Cycle Detection for Recursive State Machines.	TACAS	2005	DBLP DOI BibTeX RDF
19	Seung Ho Hwang, A. Richard Newton	An efficient verifier for finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
19	Moez Krichen, Stavros Tripakis	State Identification Problems for Timed Automata.	TestCom	2005	DBLP DOI BibTeX RDF