Search results for "state-machines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Sergio Sáez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo	Implementing Reactive Systems with UML State Machines and Ada 2005.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005
30	Andrea Paoli, Stéphane Lafortune	Diagnosability Analysis of a Class of Hierarchical State Machines.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser
30	Klaus-Dieter Schewe, Jane Zhao	Typed Abstract State Machines for data-intensive applications.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Refinement, Data warehouses, Types, Abstract state machines
30	Swarat Chaudhuri	Subcubic algorithms for recursive state machines.	POPL	2008	DBLP DOI BibTeX RDF	CFL-reachability, cubic bottleneck, recursive state machines, transitive closure, interprocedural analysis, context-free languages, pushdown systems
30	Angelo Furfaro, Libero Nigro, Francesco Pupo	Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	real-time constrains, Java, prototyping, assertions, integrated development environment, hierarchical state machines, modular modelling
30	Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden	Synthesizing safe state machines from Esterel.	LCTES	2006	DBLP DOI BibTeX RDF	SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel
30	Jan Trowitzsch, Armin Zimmermann	Using UML state machines and petri nets for the quantitative investigation of ETCS.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	UML state machines, model transformation, stochastic petri nets, ETCS
30	Xiaojun Geng	Solving identification problem for asynchronous finite state machines using genetic algorithms.	GECCO	2006	DBLP DOI BibTeX RDF	asynchronous finite state machines, genetic algorithms, model identification, coding schemes
30	Jon Whittle 0001, Leif Geiger, Michael Meisinger	Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM).	ICSE	2006	DBLP DOI BibTeX RDF	UML, scenarios, state machines, message sequence charts
30	Hui Ma 0001, Klaus-Dieter Schewe, Jane Zhao	View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement.	QSIC	2006	DBLP DOI BibTeX RDF	Design, Refinement, Data Warehouse, Types, Abstract State Machines
30	Antje Nowack	A Guarded Fragment for Abstract State Machines.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment
30	Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha	Testing of Object-Oriented Programs Based on Finite State Machines.	APSEC	1995	DBLP DOI BibTeX RDF	software testing, object-oriented programs, finite state machines, classes
30	Anthony Chung, Deepinder P. Sidhu	On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	progress verification, closed cover, FIFO channels, structural partition technique, protocols, finite automata, lossless, communicating finite state machines
30	Stéphane S. Somé, Xu Cheng	An approach for supporting system-level test scenarios generation from textual use cases.	SAC	2008	DBLP DOI BibTeX RDF	use cases, state machines, system testing
30	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, II.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
30	Piti Piyachon, Yan Luo	Compact State Machines for High Performance Pattern Matching.	DAC	2007	DBLP DOI BibTeX RDF
30	René Klösch, Johannes Weidl, Georg Trausmuth, Harald C. Gall	Facilitating Program Comprehension via Generic Components for State Machines.	WPC	1997	DBLP DOI BibTeX RDF
28	Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff	Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
28	Salvatore La Torre, Gennaro Parlato	On the Complexity of LtlModel-Checking of Recursive State Machines.	ICALP	2007	DBLP DOI BibTeX RDF
28	Wolfgang Grieskamp, Nicolas Kicillof	6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).	ICSE Companion	2007	DBLP DOI BibTeX RDF
28	Caroline Appert, Michel Beaudouin-Lafon	SwingStates: adding state machines to the swing toolkit.	UIST	2006	DBLP DOI BibTeX RDF	java swing, toolkit, state machine, widget
28	Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich	Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.	ABZ	2008	DBLP DOI BibTeX RDF
28	Gefei Zhang, Matthias M. Hölzl, Alexander Knapp	Enhancing UML State Machines with Aspects.	MoDELS	2007	DBLP DOI BibTeX RDF
28	Moez Krichen, Stavros Tripakis	State-Identification Problems for Finite-State Transducers.	FATES/RV	2006	DBLP DOI BibTeX RDF
27	Mahadevan Subramaniam, Zoltán Pap	Analyzing the Impact of Protocol Changes on Tests.	TestCom	2006	DBLP DOI BibTeX RDF	test consistency, protocol, evolution, Changes, communicating finite state machines
27	Mohamed G. Gouda, Khe-Sing The	Modeling physical layer protocols using communicating finite state machines.	SIGCOMM	1985	DBLP DOI BibTeX RDF
27	Neil Walkinshaw, Kirill Bogdanov 0002, Mike Holcombe, Sarah Salahuddin	Reverse Engineering State Machines by Interactive Grammar Inference.	WCRE	2007	DBLP DOI BibTeX RDF
26	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Improved reachability analysis of large finite state machines.	ICCAD	1996	DBLP DOI BibTeX RDF	Sequential Logic Synthesis and Verification
26	Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal	Test function embedding algorithms with application to interconnected finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
26	Srinivas Devadas	General Decomposition of Sequential Machines: Relationships to State Assignment.	DAC	1989	DBLP DOI BibTeX RDF
26	Christoph Meinel, Thorsten Theobald	On the Influence of the State Encoding on OBDD-Representations of Finite State Machines.	MFCS	1997	DBLP DOI BibTeX RDF
26	Gagan Hasteer, Prithviraj Banerjee	Simulated Annealing Based Parallel State Assignment of Finite State Machines.	VLSI Design	1997	DBLP DOI BibTeX RDF
26	Stephan Weißleder	Simulated Satisfaction of Coverage Criteria on UML State Machines.	ICST	2010	DBLP DOI BibTeX RDF	UML State Machines, Testing, Model Transformations, Coverage Criteria
26	Anna Isabel Esparcia-Alcázar, Anaís Martínez-García, Antonio Miguel Mora, Juan Julián Merelo Guervós, Pablo García-Sánchez	Genetic evolution of fuzzy finite state machines to control bots in a first-person shooter game.	GECCO	2010	DBLP DOI BibTeX RDF	fuzzy finite state machines, genetic algorithms, autonomous agents, videogames
26	Stephan Weißleder	Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation.	MoDELS	2009	DBLP DOI BibTeX RDF	Industrial Cooperation, Model-Based Testing, State Machines, Mutation Analysis, Coverage Criteria
26	Tomasz Michal Oliwa, Markus Wagner 0007	Composing Music with Neural Networks and Probabilistic Finite-State Machines.	EvoWorkshops	2008	DBLP DOI BibTeX RDF	Biological Inspired Music, Representation Techniques, Finite State Machines, Inductive Learning, Music Composition, Comparative Analysis, Time Delay Neural Networks
26	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002	Validation of streaming XML documents with abstract state machines.	iiWAS	2008	DBLP DOI BibTeX RDF	XML, validation, abstract state machines
26	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
26	Fred B. Schneider, Lidong Zhou	Implementing Trustworthy Services Using Replicated State Machines.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	trusted systems, cryptography, state machines
26	Kostas N. Oikonomou	Abstractions of Finite-State Machines and Immediately-Detectable Output Faults.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	immediately-detectable output faults, nondeterministic machine, approximately optimal partition, computational complexity, data structures, fault tolerant computing, abstraction, NP-complete, finite-state machines, polynomial-time algorithm, finite automata, set partitioning
26	Maurizio Damiani, Piero Olivo, Bruno Riccò	Analysis and Design of Linear Finite State Machines for Signature Analysis Testing.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	signature analysis testing, aliasing error probability, logic testing, finite automata, signature analysis, linear finite state machines
26	Wuxu Peng, S. Purushothaman	Data Flow Analysis of Communicating Finite State Machines.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	static analysis, communicating finite state machines
26	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, III.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
26	Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz	Attested append-only memory: making adversaries stick to their word.	SOSP	2007	DBLP DOI BibTeX RDF	attested append-only memory, equivocation, replicated state machines, shared storage, byzantine-fault tolerance
26	Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander	Testing Web applications by modeling with FSMs.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Testing of Web applications, Finite state machines, System testing
25	Alessandra Cavarra	Data Flow Analysis and Testing of Abstract State Machines.	ABZ	2008	DBLP DOI BibTeX RDF
25	Qing Wang 0002, Klaus-Dieter Schewe	Towards a Logic for Abstract MetaFinite State Machines.	FoIKS	2008	DBLP DOI BibTeX RDF
25	Rolf Hennicker, Alexander Knapp	Activity-Driven Synthesis of State Machines.	FASE	2007	DBLP DOI BibTeX RDF
25	Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish	Scenarios, state machines and purpose-driven testing.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
25	Tim Schattkowsky, Wolfgang Müller 0003	Transformation of UML State Machines for Direct Execution.	VL/HCC	2005	DBLP DOI BibTeX RDF
25	DaeEun Kim	Analyzing Sensor States and Internal States in the Tartarus Problem with Tree State Machines.	PPSN	2004	DBLP DOI BibTeX RDF
25	Ralf H. Reussner	Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.	SOFSEM	2002	DBLP DOI BibTeX RDF	software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
25	Sabine Kuske	A Formal Semantics of UML State Machines Based on Structured Graph Transformation.	UML	2001	DBLP DOI BibTeX RDF
25	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
25	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
25	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
25	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
25	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
25	Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross	Design, Implementation and Deployment of State Machines Using a Generative Approach.	WADS	2007	DBLP DOI BibTeX RDF
25	Parag K. Lala, Alvernon Walker	A Unified Scheme for Designing Testable State Machines.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
25	Fan Zhang, To-Yat Cheung	Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Average weight, distinguishing tree, nondeterministic finite-state machine, transfer tree, weighted height, testing
25	Vishwani D. Agrawal, Kwang-Ting Cheng	An architecture for synthesis of testable finite state machines.	EURO-DAC	1990	DBLP DOI BibTeX RDF
25	Rui Zhang, Niraj K. Jha	State Encoding of Finite-State Machines Targeting Threshold and Majority Logic Based Implementations with Application to Nanotechnologies.	VLSI Design	2006	DBLP DOI BibTeX RDF
24	Frank Alexander Kraemer, Peter Herrmann	Automated Encapsulation of UML Activities for Incremental Development and Verification.	MoDELS	2009	DBLP DOI BibTeX RDF	UML Activities, UML State Machines, UML Streaming Parameters, Verification, Model Reuse, System Composition
24	Igor Grudenic, Nikola Bogunovic	Modeling and Verification of MPI Based Distributed Software.	PVM/MPI	2006	DBLP DOI BibTeX RDF	MPI software modeling, MPI software verification, abstract state machines (ASMs)
24	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Abstract Operational Semantics for Use Case Maps.	FORTE	2005	DBLP DOI BibTeX RDF	AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps
24	Moon Lee, Noah S. Prywes, Insup Lee 0001	Automation of analysis and simulation for understanding of large real-time Ada software.	ICECCS	1995	DBLP DOI BibTeX RDF	large real-time Ada software, simulation, real-time systems, Ada, digital simulation, state machines, hierarchical structure
24	Yaoxue 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
24	Mohamed G. Gouda, Louis E. Rosier	Communicating Finite State Machines with Priority Channnels.	ICALP	1984	DBLP DOI BibTeX RDF
24	Iouliia Skliarova	Self-correction of FPGA-Based Control Units.	ICESS	2005	DBLP DOI BibTeX RDF	Self-correcting finite state machines, specification in VHDL, Hamming codes
24	Dirk Seifert	Conformance Testing Based on UML State Machines.	ICFEM	2008	DBLP DOI BibTeX RDF
24	Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever	29 New Unclarities in the Semantics of UML 2.0 State Machines.	ICFEM	2005	DBLP DOI BibTeX RDF
24	Wuxu Peng, Kia Makki	Lossy Communicating Finite State Machines.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	concurrency model, verification, specification, communication protocols
24	Alexander Knapp, Stephan Merz, Martin Wirsing	Refining Mobile UML State Machines.	AMAST	2004	DBLP DOI BibTeX RDF
24	Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001	Testing of Autonomous Agents Described as Utility State Machines.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
24	Rajeev Alur	Formal Analysis of Hierarchical State Machines.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
24	Christo Angelov, Krzysztof Sierszecki, Nicolae Marian	Design Models for Reusable and Reconfigurable State Machines.	EUC	2005	DBLP DOI BibTeX RDF
24	Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper	Adding Liveness Properties to Coupled Finite-State Machines.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
23	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli	MUSTANG: state assignment of finite state machines targeting multilevel logic implementations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
23	Jin Li, Xiaoling Sun	Tree-Structured Linear Cellular Automata and Their Applications in BIST.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	linear cellular automata, pseudorandom test pattern generation, delay fault coverage, linear finite state machines
23	Kenneth Y. Yun, David L. Dill	A high-performance asynchronous SCSI controller.	ICCD	1995	DBLP DOI BibTeX RDF	peripheral interfaces, high-performance asynchronous SCSI controller, small computer systems interface, asynchronous pipeline, extended burst-mode machines, CMOS standard cell, data transfer throughput, distributed control scheme, extended burst-mode state machines, synchronisation, distributed control, CMOS integrated circuits, FIFO
23	Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie	Fault-scalable Byzantine fault-tolerant services.	SOSP	2005	DBLP DOI BibTeX RDF	fault-scalability, replicated state machines, services, quorums, byzantine fault-tolerance
23	Yan Jin, Robert Esser, Jörn W. Janneck	A method for describing the syntax and semantics of UML statecharts.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts
23	Jessica Chen	A study on static analysis in network of synchronizing FSMs.	APSEC	2000	DBLP DOI BibTeX RDF	synchronizing FSMs, multithreaded systems, nondeterministic behavior, Java monitors, Java, static analysis, finite state machines, synchronisation, operational semantics, multi-threading, labeled transition systems, thread synchronization, design artifacts
23	Martin Kappes, Chandra M. R. Kintala, Reinhard Klemm	Formal Limits on Determining Reliabilities of Component-Based Software Systems.	ISSRE	2000	DBLP DOI BibTeX RDF	Reliability Approximation, Software Reliability, Component-Based Software, Reliability Computation, Communicating Finite State Machines
23	Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev	Synthesizing Petri nets from state-based models.	ICCAD	1995	DBLP DOI BibTeX RDF	Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems
23	Alfred Spalt	Implementation of Finite-Memory Machines within CAST: FSM.	EUROCAST	1989	DBLP DOI BibTeX RDF
22	Zamira Daw, Marcus Vetter	Deterministic UML Models for Interconnected Activities and State Machines.	MoDELS	2009	DBLP DOI BibTeX RDF	deterministic behavior, state machine, Activity
22	Vincent Hugel, Guillaume Amouroux, Thomas Costis, Patrick Bonnin, Pierre Blazevic	Specifications and Design of Graphical Interface for Hierarchical Finite State Machines.	RoboCup	2005	DBLP DOI BibTeX RDF
22	Oscar H. Ibarra, Tao Jiang 0001, Hui Wang 0008	Parallel Parsing on a One-way Linear Array of Finite-State Machines.	FSTTCS	1989	DBLP DOI BibTeX RDF
22	Srimat T. Chakradhar, Suman Kanjilal, Vishwani D. Agrawal	Finite state machine synthesis with fault tolerant test function.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	Design for combinational test generation, finite state machine synthesis, test function embedding, synthesis for testability, fault-tolerant design
22	Tao Xie 0001, Evan Martin, Hai Yuan	Automatic extraction of abstract-object-state machines from unit-test executions.	ICSE	2006	DBLP DOI BibTeX RDF	software testing, debugging, program understanding
22	Markus Damm	State Assignment for Detecting Erroneous Transitions in Finite State Machines.	DSD	2006	DBLP DOI BibTeX RDF
22	Jerzy Miescicki	Verification of UML State Diagrams Using Concurrent State Machines.	SET	2006	DBLP DOI BibTeX RDF
22	David A. Bader, Kamesh Madduri	A Parallel State Assignment Algorithm for Finite State Machines.	HiPC	2004	DBLP DOI BibTeX RDF
22	Mariusz Chyzy, Witold Kosinski	Evolutionary Algorithm for State Assignment of Finite State Machines.	DSD	2002	DBLP DOI BibTeX RDF
22	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
21	Wuwei Shen, Kevin J. Compton, James Huggins	A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines.	APSEC	2003	DBLP DOI BibTeX RDF
21	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A semantic framework for metamodel-based languages.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics
21	Michael F. Mc Bride, T. Martin McGinnity, Liam P. Maguire	Robospike Sensory Processing for a Mobile Robot Using Spiking Neural Networks.	ICANN (2)	2009	DBLP DOI BibTeX RDF	Sensory Processing, Liquid State Machines, Spiking Neural Network, Cortical Columns