Search results for "state-machines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Anurag Tiwari, Karen A. Tomko	Saving Power by Mapping Finite-State Machines into Embedded Memory Blocks in FPGAs.	DATE	2004	DBLP DOI BibTeX RDF
15	Maik Boden, Manfred Koegst, José Luis Tiburcio Badía, Steffen Rülke	Cost-Efficient Implementation of Adaptive Finite State Machines.	DSD	2004	DBLP DOI BibTeX RDF
15	Alireza Kaviani	Phase Alignment Using Asynchronous State Machines.	ASYNC	2004	DBLP DOI BibTeX RDF
15	Ricardo Nastas Acras, Silvia Regina Vergilio	Splinter: A Generic Framework for Evolving Modular Finite State Machines.	SBIA	2004	DBLP DOI BibTeX RDF	modularity, evolutionary programming
15	Wojciech Debski, Wojciech Fraczak	Concatenation State Machines and Simple Functions.	CIAA	2004	DBLP DOI BibTeX RDF
15	Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo 0001	Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).	GECCO (2)	2004	DBLP DOI BibTeX RDF
15	Yun Zhai, Zeeshan Rasheed, Mubarak Shah	A Framework for Semantic Classification of Scenes Using Finite State Machines.	CIVR	2004	DBLP DOI BibTeX RDF
15	Barbara Staudt Lerner	Verifying process models built using parameterized state machines.	ISSTA	2004	DBLP DOI BibTeX RDF	Little-JIL, SMC, finite state machine, software process, work flow, LTSA
15	Youngsik Kim, Shekhar Kopuri, Nazanin Mansouri	Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD).	ISQED	2004	DBLP DOI BibTeX RDF
15	Jane Zhao, Hui Ma 0001	Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines.	QSIC	2004	DBLP DOI BibTeX RDF	Quality Design, Data Warehouse, Abstract State Machine, On-Line Analytical Processing
15	Angelo Furfaro, Libero Nigro, Francesco Pupo	Real-Time Systems Development Using Hierarchical State Machines.	JMLC	2003	DBLP DOI BibTeX RDF
15	David von Oheimb	Interacting State Machines: A Stateful Approach to Proving Security.	FASec	2002	DBLP DOI BibTeX RDF
15	David von Oheimb, Volkmar Lotz	Formal Security Analysis with Interacting State Machines.	ESORICS	2002	DBLP DOI BibTeX RDF
15	Rim Belhassine-Cherif, Abderrazak Ghedamsi	Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines.	ISCC	2001	DBLP DOI BibTeX RDF	Communicating Nondetermistic Finite State Machine, Multiple faults, Diagnostic, Symptom
15	Werner Hartmann, Jürg Nievergelt, Raimond Reichert	Kara, finite state machines, and the case for programming as part of general education.	HCC	2001	DBLP DOI BibTeX RDF
15	Marco Ottavi, Gian Carlo Cardarilli, D. Cellitti, Salvatore Pontarelli, Marco Re, Adelio Salsano	Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines.	DFT	2001	DBLP DOI BibTeX RDF	SSMM, fault tolerance, finite state machine, VHDL, signature analysis, self checking
15	Wuwei Shen, Kevin J. Compton, James Huggins	A UML Validation Toolset Based on Abstract State Machines.	ASE	2001	DBLP DOI BibTeX RDF
15	Umberto Cerruti, Mario Giacobini, Pierre Liardet	Prediction of Binary Sequences by Evolving Finite State Machines.	Artificial Evolution	2001	DBLP DOI BibTeX RDF
15	Giancarlo Fortino, Libero Nigro	Prototyping distributed multimedia systems using communicating real-time state machines.	ECRTS	2000	DBLP DOI BibTeX RDF
15	Valery Sklyarov	Hierarchical finite-state machines and their use for digital control.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
15	Alain Girault, Bilung Lee, Edward A. Lee	Hierarchical finite state machines with multiple concurrency models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
15	Marc Spielmann	Automatic Verification of Abstract State Machines.	CAV	1999	DBLP DOI BibTeX RDF
15	Youpyo Hong, Peter A. Beerel	Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares.	DATE	1999	DBLP DOI BibTeX RDF
15	Erich Grädel, Marc Spielmann	Logspace Reducibility via Abstract State Machines.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
15	Egon Börger	High Level System Design and Analysis Using Abstract State Machines.	FM-Trends	1998	DBLP DOI BibTeX RDF
15	Irith Pomeranz, Sudhakar M. Reddy	On the use of reset to increase the testability of interconnected finite-state machines.	ED&TC	1997	DBLP DOI BibTeX RDF
15	Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf	Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic.	HUG	1993	DBLP DOI BibTeX RDF
15	Günter Karjoth	Implementing LOTOS Specifications by Communicating State Machines.	CONCUR	1992	DBLP DOI BibTeX RDF
15	Doron Drusinsky-Yoresh	Symbolic cover minimization of fully I/O specified finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
15	Wuxu Peng, S. Purushothaman	A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.	CAV	1990	DBLP DOI BibTeX RDF
15	Siegfried I. Mensch, Hans Martin Lipp	Fuzzy specification of finite state machines.	EURO-DAC	1990	DBLP DOI BibTeX RDF
15	Jan Van den Bergh 0001, Karin Coninx	From Task to Dialog Model in the UML.	TAMODIA	2007	DBLP DOI BibTeX RDF
15	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
15	Alexandre Petrenko, Nina Yevtushenko 0001	Testing from Partial Deterministic FSM Specifications.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	partially specified FSM, weak conformance testing, test generation, Finite State Machine, fault detection, checking experiment, state identification
15	Soon-Kyeong Kim, Luke Wildman, Roger Duke	A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
15	Peter M. Maurer	Efficient event-driven simulation by exploiting the output observability of gate clusters.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
15	Henry Muccini	Detecting Implied Scenarios Analyzing Non-local Branching Choices.	FASE	2003	DBLP DOI BibTeX RDF
15	Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich	FunState-an internal design representation for codesign.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
15	Markus Stumptner, Michael Schrefl	Behavior Consistent Inheritance in UML.	ER	2000	DBLP DOI BibTeX RDF
15	Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich	FunState - an internal design representation for codesign.	ICCAD	1999	DBLP DOI BibTeX RDF
15	Hwan Wook Sohn, David Chenho Kung, Pei Hsia	CORBA Components Testing with Perception-Based State Behavior.	COMPSAC	1999	DBLP DOI BibTeX RDF	perception-based state machine, program replay, CORBA, deterministic testing, dynamic testing
15	Enrico Macii, Bernard Plessier, Fabio Somenzi	Formal verification of digital systems by automatic reduction of data paths.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
15	Robert P. Kurshan	Analysis of Discrete Event Coordination.	REX Workshop	1989	DBLP DOI BibTeX RDF	coordination analysis, formal verification, refinement, reduction, homomorphism
15	Yongyi Yan, Peiji Xu, Jumei Yue, Zengqiang Chen 0001	Robust Control: From Continuous-State Systems to Finite State Machines.	IEEE Trans Autom. Sci. Eng.	2024	DBLP DOI BibTeX RDF
15	Tairi Chiba, Ren Ohmura, Junya Nakamura 0001	Network bandwidth variation-adapted state transfer for geo-replicated state machines and its application to dynamic replica replacement.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
15	Weiwei Han, Yi Li, Zhipeng Zhang, Chengyi Xia	STP-based verification and synthesis of state opacity for logical finite state machines.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
15	Yongyi Yan, Daizhan Cheng, Jun-e Feng, Haitao Li 0001, Jumei Yue	Survey on applications of algebraic state space theory of logical systems to finite state machines.	Sci. China Inf. Sci.	2023	DBLP DOI BibTeX RDF
15	Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, Marc Pouzet	A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
15	Gowthami Konganapalle, Sonali Shukla, Virendra Singh	SMASh: A State Encoding Methodology Against Attacks on Finite State Machines.	ATS	2023	DBLP DOI BibTeX RDF
15	Tairi Chiba, Ren Ohmura, Junya Nakamura 0001	Network Bandwidth Variation-Adapted State Transfer for Geo-Replicated State Machines and its Application to Dynamic Replica Replacement.	CoRR	2022	DBLP DOI BibTeX RDF
15	Aleksandr S. Tvardovskii, Nina Yevtushenko 0001	Adaptive Experiments for State Identification in Finite State Machines with Timeouts.	MCU	2022	DBLP DOI BibTeX RDF
15	Jumei Yue, Yongyi Yan, Zengqiang Chen 0001, He Deng	State space optimization of finite state machines from the viewpoint of control theory.	Frontiers Inf. Technol. Electron. Eng.	2021	DBLP DOI BibTeX RDF
15	Nan Yang 0009, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik	Single-state state machines in model-driven software engineering: an exploratory study.	Empir. Softw. Eng.	2021	DBLP DOI BibTeX RDF
15	Nicolas Pajot, Mounir Boukadoum	Synchrony-Based State Representation for Classification by Liquid State Machines.	ICCI*CC	2021	DBLP DOI BibTeX RDF
15	Hideyuki Ichihara, Motoi Fukuda, Tsuyoshi Iwagaki, Tomoo Inoue	Transient Fault Tolerant State Assignment for Stochastic Computing Based on Linear Finite State Machines.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2020	DBLP DOI BibTeX RDF
15	Adam Klimowicz	Combined State Splitting and Merging for Implementation of Fast Finite State Machines in FPGA.	CISIM	2020	DBLP DOI BibTeX RDF
15	Nan Yang 0009, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik	Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering.	MSR	2020	DBLP DOI BibTeX RDF
15	Ajinkya Gorad, Vivek Saraswat, Udayan Ganguly	Predicting Performance using Approximate State Space Model for Liquid State Machines.	CoRR	2019	DBLP BibTeX RDF
15	Tiago S. Curtinhas, Duarte Lopes de Oliveira, Gracieth Cavalcanti Batista, Vitor L. V. Torres, Leonardo Romano	A State Assignment Method for Extended Burst-Mode gC Finite State Machines Based on Genetic Algorithm.	LASCAS	2019	DBLP DOI BibTeX RDF
15	Hideyuki Ichihara, Yuki Maeda, Tsuyoshi Iwagaki, Tomoo Inoue	State Encoding with Stochastic Numbers for Transient Fault Tolerant Linear Finite State Machines.	DFT	2019	DBLP DOI BibTeX RDF
15	Ajinkya Gorad, Vivek Saraswat, Udayan Ganguly	Predicting Performance using Approximate State Space Model for Liquid State Machines.	IJCNN	2019	DBLP DOI BibTeX RDF
15	Krzysztof Kajstura, Dariusz Kania	Low Power Synthesis of Finite State Machines - State Assignment Decomposition Algorithm.	J. Circuits Syst. Comput.	2018	DBLP DOI BibTeX RDF
15	Nishat Anjum, Balwant Prajapat	ANN-Based Predictive State Modeling of Finite State Machines.	WIR	2018	DBLP DOI BibTeX RDF
15	Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter	Inferring OpenVPN State Machines Using Protocol State Fuzzing.	EuroS&P Workshops	2018	DBLP DOI BibTeX RDF
15	Tomasz Grzes	Multiple Codes State Assignment and Code Length Reduction for Power Minimization of Finite State Machines.	CISIM	2018	DBLP DOI BibTeX RDF
15	Sahar Mohajerani, Robi Malik, Martin Fabian	Compositional synthesis of supervisors in the form of state machines and state maps.	Autom.	2017	DBLP DOI BibTeX RDF
15	Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti 0001, Pierre-Yves Strub, Jean Karim Zinzindohoue	A messy state of the union: taming the composite state machines of TLS.	Commun. ACM	2017	DBLP DOI BibTeX RDF
15	Matthias Utesch, Andreas Hauer, Robert Heininger, Helmut Krcmar	The Finite State Trading Game: Developing a Serious Game to Teach the Application of Finite State Machines in a Stock Trading Scenario.	REV	2017	DBLP DOI BibTeX RDF
15	Adam Klimowicz	Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design.	CISIM	2017	DBLP DOI BibTeX RDF
15	Valery Salauyou, Michal Ostapczuk	State Assignment of Finite-State Machines by Using the Values of Input Variables.	CISIM	2017	DBLP DOI BibTeX RDF
15	Hideyuki Ichihara, Motoi Fukuda, Tsuyoshi Iwagaki, Tomoo Inoue	State assignment for fault tolerant stochastic computing with linear finite state machines.	ITC-Asia	2017	DBLP DOI BibTeX RDF
15	Adam Klimowicz	On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines.	CISIM	2016	DBLP DOI BibTeX RDF
15	Valery Salauyou	Synthesis of High-Speed Finite State Machines in FPGAs by State Splitting.	CISIM	2016	DBLP DOI BibTeX RDF
15	Shilpa Pendyala, Srinivas Katkoori	State encoding based NBTI optimization in finite state machines.	ISQED	2016	DBLP DOI BibTeX RDF
15	Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat	Inferring Finite State Machines Without Reset Using State Identification Sequences.	ICTSS	2015	DBLP DOI BibTeX RDF
15	Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti 0001, Pierre-Yves Strub, Jean Karim Zinzindohoue	A Messy State of the Union: Taming the Composite State Machines of TLS.	IEEE Symposium on Security and Privacy	2015	DBLP DOI BibTeX RDF
15	Yanyun Tao, Lijun Zhang, Yuzhen Zhang	An Evolutionary Strategy Based State Assignment for Area-Minimization Finite State Machines.	SSCI	2015	DBLP DOI BibTeX RDF
15	Giancarlo Fortino, Francesco Rango	An application-level technique based on recursive hierarchical state machines for agent execution state capture.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
15	Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl	Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.	MoDeVVa@MoDELS	2013	DBLP BibTeX RDF
15	Werner Gabrisch	Decomposition of verification of machine programs based on control-state Abstract State Machines.	BCI (Local)	2013	DBLP BibTeX RDF
15	Priyanka Choudhury, Sambhu Nath Pradhan	An Approach for Low Power Design of Power Gated Finite State Machines Considering Partitioning and State Encoding Together.	J. Low Power Electron.	2012	DBLP DOI BibTeX RDF
15	Tao Yue 0002, Shaukat Ali 0001, Lionel C. Briand	Automated Transition from Use Cases to UML State Machines to Support State-Based Testing.	ECMFA	2011	DBLP DOI BibTeX RDF
15	Giancarlo Fortino, Francesco Rango	A Technique based on Recursive Hierarchical State Machines for Application-level Capture of Agent Execution State.	IMCSIT	2010	DBLP DOI BibTeX RDF
15	Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss	State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.	FM+AM	2010	DBLP BibTeX RDF
15	Manjith Kumar, Samy Boshra-riad, Yasodha Nachimuthu, Marek A. Perkowski	Comparison of state assignment methods for "quantum circuit" model of permutative quantum state machines.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
15	Robert Czerwinski, Dariusz Kania	State assignment and logic optimization for finite state machines.	PDeS	2009	DBLP DOI BibTeX RDF
15	Marcos Paulo Mello Araujo, Nadia Nedjah, Luiza de Macedo Mourelle	Quantum-Inspired Evolutionary State Assignment for Synchronous Finite State Machines.	J. Univers. Comput. Sci.	2008	DBLP DOI BibTeX RDF
15	Martin Ouimet, Kristina Lundqvist	The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering.	J. Univers. Comput. Sci.	2008	DBLP DOI BibTeX RDF
15	Sezer Gören 0001, F. Joel Ferguson	On state reduction of incompletely specified finite state machines.	Comput. Electr. Eng.	2007	DBLP DOI BibTeX RDF
15	Herbert Jaeger, Wolfgang Maass 0001, José Carlos Príncipe	Special issue on echo state networks and liquid state machines.	Neural Networks	2007	DBLP DOI BibTeX RDF
15	Imtiaz Ahmad, Faridah M. Ali, A. Shoba Das	Synthesis of finite state machines for improved state verification.	Comput. Electr. Eng.	2006	DBLP DOI BibTeX RDF
15	Mingtian Ni, Stephen E. Reichenbach	GUI State-based Accessibility Control in Hierarchical State Machines.	Software Engineering Research and Practice	2005	DBLP BibTeX RDF
15	W. L. Yeung	Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML.	IASSE	2004	DBLP BibTeX RDF
15	T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das	Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines.	Comput. Commun.	2003	DBLP DOI BibTeX RDF
15	Imtiaz Ahmad	HARD: A hypercube embedding algorithm for state assignment of finite state machines.	Comput. Electr. Eng.	2003	DBLP DOI BibTeX RDF
15	Christoforos N. Hadjicostis	Probabilistic fault detection in finite-state machines based on state occupancy measurements.	CDC	2002	DBLP DOI BibTeX RDF
15	Dominikus Herzberg, André Marburger	State Machine Modeling: From Synch States to Synchronized State Machines.	OMER	2001	DBLP BibTeX RDF
15	Pabitra Pal Choudhury, Arup Roy Chowdhury	Economic return to the previous state for any nearest neighbourhood reversible autonomous finite state machines.	Inf. Sci.	2000	DBLP DOI BibTeX RDF
15	Riccardo Forth, Paul Molitor	An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines.	ASP-DAC	2000	DBLP DOI BibTeX RDF
15	Dionisis Skias, Th. Haniotakis, Y. Tsiatouhas, Angela Arapoyanni	A state assignment algorithm for finite state machines.	ICECS	2000	DBLP DOI BibTeX RDF