Search results for "state-machines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Sanjiv Ahuja	On communication software testing (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
19	Marek A. Perkowski, William Zhao, Douglas V. Hall	Concurrent Two-Dimensional State Minimization and State Assignment of finite State Machines.	VLSI Design	1992	DBLP DOI BibTeX RDF
18	George Eleftherakis, Petros Kefalas	Formal Verification of Generalised State Machines.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
18	Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz	Transformation of B specifications into UML class diagrams and state machines.	SAC	2006	DBLP DOI BibTeX RDF	UML, state machine, B method, class diagram
18	Olga Grinchtein, Martin Leucker	Learning Finite-State Machines from Inexperienced Teachers.	ICGI	2006	DBLP DOI BibTeX RDF
18	Rajeev Alur, Mihalis Yannakakis	Model Checking of Hierarchical State Machines.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF
18	Luca Benini, Giovanni De Micheli	Automatic synthesis of low-power gated-clock finite-state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
18	Wuxu Peng	Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.	ICCCN	1995	DBLP DOI BibTeX RDF	Communication protocols, reachability analysis, specification and verification
18	Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera	Modeling the execution of LOTOS specifications by cooperating extended finite state machines.	SPDP	1990	DBLP DOI BibTeX RDF
18	Hassan Mountassir	To Correct Communicating Finite State Machines.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
18	Mohamed G. Gouda, Chung-Kuo Chang	Proving Liveness for Networks of Communicating Finite State Machines.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
18	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
18	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Mixing signals and modes in synchronous data-flow systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	mode automata, compilation, synchronous, languages
18	Sreeram Ramakrishnan, Mayur Thakur	An SDS modeling approach for simulation-based control.	WSC	2005	DBLP DOI BibTeX RDF
18	Ganesh Venkataraman, Sudhakar M. Reddy, Irith Pomeranz	GALLOP: Genetic Algorithm based Low Power FSM Synthesis by Simultaneous Partitioning and State Assignment.	VLSI Design	2003	DBLP DOI BibTeX RDF
18	Walter Dosch, Annette Stümpel	Implementing Services by Partial State Machines.	SOFSEM	2009	DBLP DOI BibTeX RDF
18	Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001	Auxiliary state machines + context-triggered properties in verification.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF
18	Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana	Reverse Engineering Finite State Machines from Rich Internet Applications.	WCRE	2008	DBLP DOI BibTeX RDF
18	Brenna D. Argall, Brett Browning, Manuela M. Veloso	Learning to Select State Machines using Expert Advice on an Autonomous Robot.	ICRA	2007	DBLP DOI BibTeX RDF
18	Florentin Ipate	Bounded Sequence Testing from Non-deterministic Finite State Machines.	TestCom	2006	DBLP DOI BibTeX RDF
18	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Implementation Relations for Stochastic Finite State Machines.	EPEW	2006	DBLP DOI BibTeX RDF
18	Anurag Tiwari, Karen A. Tomko	Enhanced reliability of finite-state machines in FPGA through efficient fault detection and correction.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
18	Enrique Vidal 0001, Franck Thollard, Colin de la Higuera, Francisco Casacuberta, Rafael C. Carrasco	Probabilistic Finite-State Machines-Part II.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
18	Enrique Vidal 0001, Franck Thollard, Colin de la Higuera, Francisco Casacuberta, Rafael C. Carrasco	Probabilistic Finite-State Machines-Part I.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
18	Tuba Yavuz-Kahveci, Tevfik Bultan	Verification of parameterized hierarchical state machines using action language verifier.	MEMOCODE	2005	DBLP DOI BibTeX RDF
18	Angelo Furfaro, Libero Nigro	Model checking hierarchical communicating real-time state machines.	ETFA	2005	DBLP DOI BibTeX RDF
18	Jan Jürjens	Algebraic State Machines: Concepts and Applications to Security.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
18	David von Oheimb, Volkmar Lotz	Generic Interacting State Machines and Their Instantiation with Dynamic Features.	ICFEM	2003	DBLP DOI BibTeX RDF
18	Peter Padawitz	Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving.	UML	2000	DBLP DOI BibTeX RDF
18	Andrei Borshchev, Yuri B. Kolesov, Yuri B. Senichenkov	Java engine for UML based hybrid state machines.	WSC	2000	DBLP DOI BibTeX RDF
18	Jorge M. Pena, Arlindo L. Oliveira	A new algorithm for exact reduction of incompletely specified finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
18	Raimund Ubar, Marina Brik	Multi-Level Test Generation and Fault Diagnosis for Finite State Machines.	EDCC	1996	DBLP DOI BibTeX RDF
18	Doron Drusinsky-Yoresh	Decision problems for interacting finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
18	Dan Ashlock, Elizabeth Warner	Classifying synthetic and biological DNA sequences with side effect machines.	CIBCB	2008	DBLP DOI BibTeX RDF
18	Gerald Tripp	A Parallel "String Matching Engine" for use in High Speed Network Intrusion Detection Systems.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF
18	Srinivas Devadas	Approaches to Multi-level Sequential Logic Synthesis.	DAC	1989	DBLP DOI BibTeX RDF
17	Kwang-Ting Cheng, Jing-Yang Jou	A functional fault model for sequential machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
17	Roger L. Haskin, Lee A. Hollaar	Operational Characteristics of a Hardware-Based Pattern Matcher.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	backend processors, computer system architecture, full text retrieval systems, finite state automata, text searching
17	Winfried Nöth, Reiner Kolla	Spanning Tree-based State Encoding for Low Power Dissipation.	DATE	1999	DBLP DOI BibTeX RDF
17	Ivan Llopard	Programming Embedded Manycore : Refinement and Optimizing Compilation of a Parallel Action Language for Hierarchical State Machines. (Programmation de systèmes embarqués many-core : Raffinement et compilation optimisante d'un langage d'action parallèle pour machines à états hiérarchiques).		2016	RDF
17	Pavel Vassiliev	Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time (Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre).		2008	RDF
17	Scott D. Dexter, Patrick Doyle, Yuri Gurevich	Gurevich Abstract State Machines and Schoenhage Storage Modification Machines.	J. Univers. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	G. R. Blakley, George B. Purdy	A necessary and sufficient condition for fundamental periods of cascade machines to be products of the fundamental periods of their constituent finite state machines.	Inf. Sci.	1981	DBLP DOI BibTeX RDF
16	Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko 0001	Distinguing Non-deterministic Timed Finite State Machines.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
16	Nupur Kothari, Todd D. Millstein, Ramesh Govindan	Deriving State Machines from TinyOS Programs Using Symbolic Execution.	IPSN	2008	DBLP DOI BibTeX RDF
16	Egon Börger, Bernhard Thalheim	Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.	ABZ	2008	DBLP DOI BibTeX RDF
16	Hocine El-Habib Daho, Djilali Benhamamouch	Formal Verification of ASM Models Using TLA+.	ABZ	2008	DBLP DOI BibTeX RDF
16	Alexander Pretschner, Wolfgang Prenninger	Computing refactorings of state machines.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
16	Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra	Process State Machines for Behavioral Modeling of Embedded Systems.	SIES	2007	DBLP DOI BibTeX RDF
16	Andreas Glausch, Wolfgang Reisig	A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.	CALCO	2007	DBLP DOI BibTeX RDF
16	Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris	Entropy-driven parity-tree selection for low-overhead concurrent error detection in finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
16	Tony Morgan	Some Features of State Machines in ORM.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
16	Christophe Damas, Bernard Lambeau, Axel van Lamsweerde	Scenarios, goals, and state machines: a win-win partnership for model synthesis.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation
16	Holger Giese, Ingolf Krüger	A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools".	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
16	Jean-Louis Colaço, Bruno Pagano, Marc Pouzet	A conservative extension of synchronous data-flow with state machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	clock calculus, compilation, typing, heterogeneous systems, synchronous languages
16	Vikram Singh Saun, Preeti Ranjan Panda	Extracting Exact Finite State Machines from Behavioral SystemC Descriptions.	VLSI Design	2005	DBLP DOI BibTeX RDF
16	Holger Rasch, Heike Wehrheim	Checking Consistency in UML Diagramms: Classes and State Machines.	FMOODS	2003	DBLP DOI BibTeX RDF
16	Robert Eschbach	A Verification Approach for Distributed Abstract State Machines.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
16	Valery Sklyarov	Synthesis and Implementation of RAM-Based Finite State Machines in FPGAs.	FPL	2000	DBLP DOI BibTeX RDF
16	Marek A. Perkowski, Alan Mishchenko, Anatoli N. Chebotarev	Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints.	Evolvable Hardware	1999	DBLP DOI BibTeX RDF
16	Montek Singh, Steven M. Nowick	Synthesis for Logical Initializability of Synchronous Finite State Machines.	VLSI Design	1997	DBLP DOI BibTeX RDF
16	Hassan Mountassir	Decidability of a Class of Dual Communicating Finite State Machines.	ACM SIGOPS Oper. Syst. Rev.	1996	DBLP DOI BibTeX RDF
16	Hong Liu 0004, Raymond E. Miller	Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines.	ICNP	1996	DBLP DOI BibTeX RDF
16	A. S. Krishnakumar	Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems.	CAV	1993	DBLP DOI BibTeX RDF
16	Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami	A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.	CAV	1992	DBLP DOI BibTeX RDF
16	Patrick Ediger, Rolf Hoffmann	Combining genetic algorithm with time-shuffling in order to evolve agent systems more efficiently.	IPDPS	2009	DBLP DOI BibTeX RDF
16	Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem	An approach for selective state machine based regression testing.	A-MOST	2007	DBLP DOI BibTeX RDF	UML, model based testing, regression testing
16	Alexander Binun, Ehud Gudes	Policy and State Based Secure Wrapper and Its Application to Mobile Agents.	LA-WEB	2003	DBLP DOI BibTeX RDF	state-based fine-grained authorization, Security, mobile agents
16	Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks	Typestate-oriented programming.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	programming language, objects, types, states, permissions, typestate, paradigms
16	Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal	A partition and resynthesis approach to testable design of large circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
16	Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli	Irredundant sequential machines via optimal logic synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
15	Hyunjin Kim, Hong-Sik Kim, Sungho Kang 0001	A Memory-Efficient Bit-Split Parallel String Matching Using Pattern Dividing for Intrusion Detection Systems.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	site security monitoring, finite state machines, string matching, Computer network security
15	André Takeshi Endo, Adenilso da Silva Simão	Model-Based Testing of Service-Oriented Applications via State Models.	IEEE SCC	2011	DBLP DOI BibTeX RDF	web services, service oriented architecture, finite state machines, model based testing
15	Danilo Douradinho Fernandes, Felipe Rafael Motta Cardoso, Denis Ávila Montini, Francisco Supino Marcondes, Paulo Marcelo Tasinaffo, Luiz Alberto Vieira Dias	An Algorithm Model to Mapping Mealy Machines for a Software Manufacture Cell Petri Net.	ITNG	2010	DBLP DOI BibTeX RDF	Formal Methods, Petri Nets, State Machines, Domain Analysis, DSL
15	Denis Ávila Montini, Danilo Douradinho Fernandes, Francisco Supino Marcondes, Paulo Marcelo Tasinaffo, Ítalo Santiago Vega, Luiz Alberto Vieira Dias	Formal Approach Use to Choose a Software Manufactoring Cell's SDLC.	ITNG	2010	DBLP DOI BibTeX RDF	Formal Methods and State Machines, Domain Specific Language, Domain Analysis
15	Jianhua Peng, Feng Liu, Zhenju Zhao, Danqing Huang, Rui Xue	ASM-SPV: A Model Checker for Security Protocols.	IIH-MSP	2010	DBLP DOI BibTeX RDF	model checking, formal methods, security protocols, abstract state machines
15	Danqing Huang, Rui Xue, Feng Liu, Jianhua Peng, Zhenju Zhao, Dongyao Ji	Formal Verification of HMQV Using ASM-SPV.	IIH-MSP	2010	DBLP DOI BibTeX RDF	the HMQV protocol, abstraction of calculation, model checking, security protocols, abstract state machines
15	Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte	Self-stabilizing robot formations over unreliable networks.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	cooperative mobile robotics, replicated state machines, Formal methods, distributed algorithms, self-stabilization, pattern formation
15	Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv	Self-stabilization preserving compiler.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Compilers, self-stabilization, abstract state machines
15	Sujit Kumar Chakrabarti, Srihari Sukumaran	Using spreadsheets for finite state modelling.	ISEC	2009	DBLP DOI BibTeX RDF	finite state machines, spreadsheets, sal
15	Francisco Supino Marcondes, Danilo Douradinho Fernandes, Denis Ávila Montini, Paulo Marcelo Tasinaffo, Ítalo Santiago Vega, Luiz Alberto Vieira Dias	Systematic and Formal Approach to get a Domain Specific Language.	ITNG	2009	DBLP DOI BibTeX RDF	Formal Methods, Domain Specific Language, State Machines, Domain Analysis
15	Paul D. Ezhilchelvan, Dylan Clarke, Isi Mitrani, Santosh K. Shrivastava	Proactive Fortification of Fault-Tolerant Services.	OPODIS	2009	DBLP DOI BibTeX RDF	Primary-Backup, Code randomization, Replication, State machines, Intrusion tolerance, Agreement, Analytical evaluations
15	Nina Yevtushenko 0001, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli	Compositionally Progressive Solutions of Synchronous FSM Equations.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Language equations, Progressive solutions, Synchronous composition, Finite state machines
15	Gérard P. Huet	Formal Structure of Sanskrit Text: Requirements Analysis for a Mechanical Sanskrit Processor.	Sanskrit Computational Linguistics	2008	DBLP DOI BibTeX RDF	morphophonemics, finite-state machines, constraint satisfaction, computational linguistics, dependency grammars, Sanskrit
15	Lihua Duan, Jessica Chen	An Approach to Testing with Embedded Context Using Model Checker.	ICFEM	2008	DBLP DOI BibTeX RDF	context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences
15	Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün	Using adaptive distinguishing sequences in checking sequence constructions.	SAC	2008	DBLP DOI BibTeX RDF	adaptive distinguishing sequences, checking sequence construction, preset distinguishing sequences, finite state machines, model-based testing
15	Uwe Glässer, Mona Vajihollahi	Computational Modeling of Criminal Activity.	EuroISI	2008	DBLP DOI BibTeX RDF	Computational Criminology, Modeling Social Systems, Discrete Event Simulation, Abstract State Machines
15	Ksenia Wahler, Jochen Malte Küster	Predicting Coupling of Object-Centric Business Process Implementations.	BPM	2008	DBLP DOI BibTeX RDF	object-centric and data-driven processes, Coupling, state machines, object life cycle
15	Christopher T. Johnston, Paul J. Lyons, Donald G. Bailey	A Visual Notation for Processor and Resource Scheduling.	DELTA	2008	DBLP DOI BibTeX RDF	Hardware design Languages, FPGA, Image Processing, Finite state machines, Visual Languages
15	Benoit Gaudin, Hervé Marchand	An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems
15	Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan	Integrating software specifications into intrusion detection.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Software specification languages, Intrusion detection, State machines, Attack scenarios
15	A. Johannes Pretorius, Jarke J. van Wijk	Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	user-defined widgets, finite state machines, system analysis, graph visualization, multivariate visualization, state space analysis, state transition graphs
15	Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser 0001	Relating counterexamples to test cases in CTL model checking specifications.	A-MOST	2007	DBLP DOI BibTeX RDF	test coverage criteria, model checking, formal methods, software testing, state machines, counterexamples
15	Matthew Aldridge	A parallel finite state machine implementation of a nearest-eight Hoshen-Kopelman adaptation for landscape analysis.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	Hoshen-Kopelman, landscape analysis, parallelization, finite state machines
15	Jon Whittle 0001, Ana Moreira 0001, João Araújo 0001, Praveen K. Jayaraman, Ahmed M. Elkhodary, Rasheed Rabbi	An Expressive Aspect Composition Language for UML State Diagrams.	MoDELS	2007	DBLP DOI BibTeX RDF	aspect-oriented development, use cases, state machines
15	Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar	Specification of Timed EFSM Fault Models in SDL.	FORTE	2007	DBLP DOI BibTeX RDF	Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines
15	Rüdiger Hoffmann, Matthias Eichner, Matthias Wolff	Analysis of Verbal and Nonverbal Acoustic Signals with the Dresden UASR System.	COST 2102 Workshop (Vietri)	2007	DBLP DOI BibTeX RDF	graph learning, finite state machines, Speech analysis, speech analysis, acoustic signal processing
15	Ashley T. McNeile, Nicholas Simons	Protocol modelling: A modelling approach that supports reusable behavioural abstractions.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Protocols, Reuse, State machines, Executable modelling, Mixins, Behavioural modelling
15	A. Johannes Pretorius, Jarke J. van Wijk	Visual Analysis of Multivariate State Transition Graphs.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	interactive clustering, finite state machines, Graph visualization, transition systems, state spaces, multivariate visualization
15	Kirill Bogdanov 0002, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak	Testing methods for X-machines: a review.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Software testing, Finite state machines, Test set generation, X-machines