Search results for "FSMs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	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
23	Siegfried I. Mensch, Hans Martin Lipp	Fuzzy specification of finite state machines.	EURO-DAC	1990	DBLP DOI BibTeX RDF
23	Abhijit Ghosh, Srinivas Devadas, A. Richard Newton	Verification of Interacting Sequential Circuits.	DAC	1990	DBLP DOI BibTeX RDF
23	Alexandre Bronstein, Carolyn L. Talcott	Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek, Malgorzata Mazurkiewicz	Hardware Reduction for FSMs With Extended State Codes.	IEEE Access	2024	DBLP DOI BibTeX RDF
21	Yongyi Yan, Can Wang, Jumei Yue	Transform Mechanism Between PLMs and Scalars: An Answer to the Open Question on Extension of Method for Reducing Storage Complexity of FSMs.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
21	Uraz Cengiz Türker, Robert M. Hierons, Gerassimos D. Barlas, Khaled El-Fakih	Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
21	Khalil Esper, Stefan Wildermann, Jürgen Teich	Automatic Synthesis of FSMs for Enforcing Non-functional Requirements on MPSoCs Using Multi-objective Evolutionary Algorithms.	ACM Trans. Design Autom. Electr. Syst.	2023	DBLP DOI BibTeX RDF
21	Megan Charity, Dipika Rajesh, Sam Earle, Julian Togelius	Amorphous Fortress: Observing Emergent Behavior in Multi-Agent FSMs.	CoRR	2023	DBLP DOI BibTeX RDF
21	Natalia Kushik, Nina Yevtushenko 0001, Jorge López	Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs.	ICTSS	2023	DBLP DOI BibTeX RDF
21	Justin Deters, Peyton Gozon, Max Camp-Oberhauser, Ron K. Cytron	Feature-Oriented FSMs for FPGAs.	HPEC	2023	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Mazurkiewicz	Improving the LUT Count for Mealy FSMS with Transformation of Output Collections.	Int. J. Appl. Math. Comput. Sci.	2022	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski, Kamil Mielcarek	Improving Characteristics of FSMs With Mixed Codes of Outputs.	IEEE Access	2022	DBLP DOI BibTeX RDF
21	Alexander A. Barkalov, Larysa Titarenko, Kamil Mielcarek	Reducing LUT Count for Mealy FSMs With Transformation of States.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
21	Nina Yevtushenko 0001, Victor V. Kuliamin, Natalia Kushik	Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs.	Softw. Qual. J.	2022	DBLP DOI BibTeX RDF
21	Mike Borowczak, Ranga Vemuri	S*FSMs for Reduced Information Leakage: Power Side Channel Protection Through Secure Encoding.	Behavioral Synthesis for Hardware Security	2022	DBLP DOI BibTeX RDF
21	Khalil Esper, Stefan Wildermann, Jürgen Teich	Multi-Requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study.	NG-RES@HiPEAC	2022	DBLP DOI BibTeX RDF
21	Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker	$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs.	IEEE Trans. Software Eng.	2021	DBLP DOI BibTeX RDF
21	Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa	Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots.	IEICE Trans. Inf. Syst.	2021	DBLP DOI BibTeX RDF
21	Khalil Esper, Stefan Wildermann, Jürgen Teich	Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs.	MEMOCODE	2021	DBLP DOI BibTeX RDF
21	Natalia Kushik, Nina Yevtushenko 0001, Jorge López	Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization.	ICTSS	2021	DBLP DOI BibTeX RDF
21	Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko 0001	Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs.	EWDTS	2021	DBLP DOI BibTeX RDF
21	Muhtadi Choudhury, Domenic Forte, Shahin Tajik	PATRON: A Pragmatic Approach for Encoding Laser Fault Injection Resistant FSMs.	DATE	2021	DBLP DOI BibTeX RDF
21	Hideyuki Ichihara, Takayuki Fukuda, Tomoo Inoue	A Design of Reliable Linear FSMs with Equivalent States in Stochastic Computing.	DFT	2021	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek	Improving characteristics of LUT-based Mealy FSMs.	Int. J. Appl. Math. Comput. Sci.	2020	DBLP DOI BibTeX RDF
21	Kaya Oguz	True scores for tartarus with adaptive GAs that evolve FSMs on GPU.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski	Improving Characteristics of LUT-Based Moore FSMs.	IEEE Access	2020	DBLP DOI BibTeX RDF
21	Evgenii M. Vinarskii, Nina Yevtushenko 0001	Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs.	EWDTS	2020	DBLP DOI BibTeX RDF
21	Marcin Kubica, Dariusz Kania, Józef Kulisz	A Technology Mapping of FSMs Based on a Graph of Excitations and Outputs.	IEEE Access	2019	DBLP DOI BibTeX RDF
21	Chao Peng, Haibo Zeng 0001, Marco Di Natale	A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs.	Real Time Syst.	2019	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski	Mixed Encoding of Collections of Output Variables for LUT-Based Mealy FSMs.	J. Circuits Syst. Comput.	2019	DBLP DOI BibTeX RDF
21	Jeroen Delvaux	Machine-Learning Attacks on PolyPUFs, OB-PUFs, RPUFs, LHS-PUFs, and PUF-FSMs.	IEEE Trans. Inf. Forensics Secur.	2019	DBLP DOI BibTeX RDF
21	Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez 0001	Using Genetic Algorithms to Generate Test Suites for FSMs.	IWANN (1)	2019	DBLP DOI BibTeX RDF
21	Nina Yevtushenko 0001, Victor V. Kuliamin, Natalia Kushik	Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs.	ICTSS	2019	DBLP DOI BibTeX RDF
21	Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko 0001	Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs.	EWDTS	2019	DBLP DOI BibTeX RDF
21	Mariana Soller Ramada, Telma Woerle de Lima, Anderson da Silva Soares, Adenilso Simão	Generating Reduced Tests for FSMs using a Search-Based Testing Approach.	ICTAI	2019	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek, Kazimierz Krzywicki, Wojciech Zajac	Decreasing Number of LUTs for Moore FSMs.	MIXDES	2019	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek	Designing FPGA-Based Mealy FSMs with Two Levels of Logic.	MOCAST	2019	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski, Kamil Mielcarek	Design of FPGA-Based Mealy FSMs with Counters.	MOCAST	2019	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Mazurkiewicz, Kamil Mielcarek	Encoding of Microoperations in FPGA-Based Moore FSMs.	MOCAST	2019	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek	Hardware Reduction for Lut-Based Mealy FSMs.	Int. J. Appl. Math. Comput. Sci.	2018	DBLP DOI BibTeX RDF
21	Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh 0002	Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.	ICTAC	2018	DBLP DOI BibTeX RDF
21	Roland Groz, Nicolas Brémond, Adenilso Simão	Using Adaptive Sequences for Learning Non-Resettable FSMs.	ICGI	2018	DBLP BibTeX RDF
21	Cezary Zielinski, Maksym Figat, René Hexel	Robotic Systems Implementation Based on FSMs.	AUTOMATION	2018	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek	Twofold State Assignment for LUT-based Mealy FSMs.	MIXDES	2018	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek, Slawomir Chmielewski	Design of FPGA-based Mealy FSMs with Counters.	MIXDES	2018	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Mazurkiewicz, Kamil Mielcarek	Encoding of Terms in LUT-based Mealy FSMs.	MIXDES	2018	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek	Twofold state assignment for FPGA-based mealy FSMs.	MOCAST	2018	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski	Design of CPLD-based mealy FSMs with counters.	MOCAST	2018	DBLP DOI BibTeX RDF
21	Hüsnü Yenigün, Nina Yevtushenko 0001, Natalia Kushik	The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs.	Inf. Process. Lett.	2017	DBLP DOI BibTeX RDF
21	Malgorzata Kolopienczyk, Larysa Titarenko, Alexander Barkalov 0001	Design of EMB-Based Moore FSMs.	J. Circuits Syst. Comput.	2017	DBLP DOI BibTeX RDF
21	Robert M. Hierons, Uraz Cengiz Türker	Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs.	ACM Trans. Softw. Eng. Methodol.	2017	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Jacek Bieganowski	Designing HFPGA-based FSMs with counters.	MIXDES	2017	DBLP DOI BibTeX RDF
21	Kamil Mielcarek, Alexander Barkalov 0001, Larysa Titarenko	Designing HFPGA-based Mealy FSMs with transformation of output functions.	MIXDES	2017	DBLP DOI BibTeX RDF
21	Alexander Barkalov 0001, Larysa Titarenko, Jacek Bieganowski	Code sharing in CPLD-based Moore FSMs.	MOCAST	2017	DBLP DOI BibTeX RDF
21	Robert Czerwinski, Dariusz Kania	State Assignment and Optimization of Ultra-High-Speed FSMs Utilizing Tristate Buffers.	ACM Trans. Design Autom. Electr. Syst.	2016	DBLP DOI BibTeX RDF
21	Natalia Kushik, Nina Yevtushenko 0001, Hüsnü Yenigün	Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs.	AMARETTO@MODELSWARD	2016	DBLP DOI BibTeX RDF
21	Armita Abedijaberi, Jennifer L. Leopold	FSMS: A Frequent Subgraph Mining Algorithm Using Mapping Sets.	MLDM	2016	DBLP DOI BibTeX RDF
21	Adib Nahiyan, Kan Xiao, Kun Yang, Yier Jin, Domenic Forte, Mark M. Tehranipoor	AVFSM: a framework for identifying and mitigating vulnerabilities in FSMs.	DAC	2016	DBLP DOI BibTeX RDF
21	Alexandre Petrenko, Adenilso Simão	Generalizing the DS-Methods for Testing Non-Deterministic FSMs.	Comput. J.	2015	DBLP DOI BibTeX RDF
21	Mike Borowczak, Ranga Vemuri	Enabling Side Channel Secure FSMs in the Presence of Low Power Requirements.	ISVLSI	2014	DBLP DOI BibTeX RDF
21	Fu-Chiung Cheng, Yuan-Feng Chen, Shu-Chuan Huang, Ching-Yang Huang	Synthesis of QDI FSMs from Synchronous Specifications.	ASYNC	2014	DBLP DOI BibTeX RDF
21	Robert M. Hierons, Uraz Cengiz Türker	Distinguishing Sequences for Partially Specified FSMs.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
21	Piotr Szotkowski, Mariusz Rawski, Pawel Tomaszewicz	Using Symbolic Functional Decomposition to Implement FSMs in Heterogenous FPGAs.	ICSEng	2014	DBLP DOI BibTeX RDF
21	Malgorzata Kolopienczyk, Alexander Barkalov 0001, Larysa Titarenko	Hardware reduction for RAM-based Moore FSMs.	HSI	2014	DBLP DOI BibTeX RDF
21	Lun-Yao Wang, Zhufei Chu, Yinshui Xia	Low Power State Assignment Algorithm for FSMs Considering Peak Current Optimization.	J. Comput. Sci. Technol.	2013	DBLP DOI BibTeX RDF
21	Natalja Kehl, Wolfgang Rosenstiel	Circuit Level Concurrent Error Detection in FSMs.	J. Electron. Test.	2013	DBLP DOI BibTeX RDF
21	Alexandra Coman, Héctor Muñoz-Avila	Automated Generation of Diverse NPC-Controlling FSMs Using Nondeterministic Planning Techniques.	AIIDE	2013	DBLP BibTeX RDF
21	Stephen Oney, Brad A. Myers, Joel Brandt	Euclase: a live development environment with constraints and FSMs.	LIVE@ICSE	2013	DBLP DOI BibTeX RDF
21	Robert Czerwinski, Dariusz Kania	Area and speed oriented synthesis of FSMs for PAL-based CPLDs.	Microprocess. Microsystems	2012	DBLP DOI BibTeX RDF
21	Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko 0001	On reducing test length for FSMs with extra states.	Softw. Test. Verification Reliab.	2012	DBLP DOI BibTeX RDF
21	Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli	Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.	J. Electron. Test.	2011	DBLP DOI BibTeX RDF
21	Alexandre Petrenko, Nina Yevtushenko 0001	Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs.	ICTSS	2011	DBLP DOI BibTeX RDF
21	Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao 0011	Symbolic Verification and Test Generation for a Network of Communicating FSMs.	ATVA	2011	DBLP DOI BibTeX RDF
21	Ryoichi Inoue, Toshinori Hosokawa, Hideo Fujiwara	A Fault Dependent Test Generation Method for State-Observable FSMs to Increase Defect Coverage under the Test Length Constraint.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
21	E. Akenshina, Natalia Shabaldina, Nina Yevtushenko 0001	Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation.	ICST Workshops	2010	DBLP DOI BibTeX RDF
21	Yiqiong Shi, Chan Wai Ting, Bah-Hwee Gwee, Ye Ren	A highly efficient method for extracting FSMs from flattened gate-level netlist.	ISCAS	2010	DBLP DOI BibTeX RDF
21	Zhen Wang 0001, Mark G. Karpovsky	Robust FSMs for cryptographic devices resilient to strong fault injection attacks.	IOLTS	2010	DBLP DOI BibTeX RDF
21	John M. Espinosa-Duran, Vladimir Trujillo-Olaya, Jaime Velasco-Medina, Raoul Velazco	Bit-flip injection strategies for FSMs modeled in VHDL behavioral level.	LATW	2010	DBLP DOI BibTeX RDF
21	Thomas Arts, Simon J. Thompson	From test cases to FSMs: augmented test-driven development and property inference.	Erlang Workshop	2010	DBLP DOI BibTeX RDF
21	Li Wen-Xiu, Li Hai-Ning	Fuzzy system models (FSMs) for analysis of rock mass displacement caused by underground mining in soft rock strata.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
21	Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko 0001	Generating Reduced Tests for FSMs with Extra States.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
21	Cao Cao, Bengt Oelmann	Low-power state encoding for partitioned FSMs with mixed synchronous/asynchronous state memory.	Integr.	2008	DBLP DOI BibTeX RDF
21	Marcos Paulo Mello Araujo, Nadia Nedjah, Luiza de Macedo Mourelle	Logic Synthesis for FSMs Using Quantum Inspired Evolution.	IDEAL	2008	DBLP DOI BibTeX RDF
21	Ryoichi Inoue, Toshinori Hosokawa, Hideo Fujiwara	A Test Generation Method for State-Observable FSMs to Increase Defect Coverage under the Test Length Constraint.	ATS	2008	DBLP DOI BibTeX RDF
21	Marcos Paulo Mello Araujo, Nadia Nedjah, Luiza de Macedo Mourelle	Optimised State Assignment for FSMs Using Quantum Inspired Evolutionary Algorithm.	ICES	2008	DBLP DOI BibTeX RDF
21	Samara Sudireddy, Jayawant Kakade, Dimitri Kagaris	Deterministic Built-in TPG with Segmented FSMs.	IOLTS	2008	DBLP DOI BibTeX RDF
21	Yoshisato Sakai	A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2007	DBLP DOI BibTeX RDF
21	Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris	A CLP-Based Functional ATPG for Extended FSMs.	MTV	2007	DBLP DOI BibTeX RDF
21	Tae Bok Yoon, Dong Moon Kim, Kyo Hyeon Park, Jee-Hyong Lee 0001, Kwan-Ho You	Game Player Modeling Using D-FSMs.	HCI (9)	2007	DBLP DOI BibTeX RDF
21	Toshinori Hosokawa, Ryoichi Inoue, Hideo Fujiwara	Fault-dependent/independent Test Generation Methods for State Observable FSMs.	ATS	2007	DBLP DOI BibTeX RDF
21	Tae Bok Yoon, Kyo Hyeon Park, Jee-Hyong Lee 0001, Keon-Myung Lee	User Adaptive Game Characters Using Decision Trees and FSMs.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
21	Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo 0001	Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.	Comput. J.	2006	DBLP DOI BibTeX RDF
21	Andrzej Krasniewski	Low-Cost Concurrent Error Detection for FSMs Implemented Using Embedded Memory Blocks of FPGAs.	DDECS	2006	DBLP DOI BibTeX RDF
21	Christoforos N. Hadjicostis	Periodic and non-concurrent error detection and identification in one-hot encoded FSMs.	Autom.	2004	DBLP DOI BibTeX RDF
21	Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001	Applying Occam's Razor to FSMs.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	Occam´s razor, Chomsky´s classification, Cognitive Informatics
21	Petros Drineas, Yiorgos Makris	SPaRe: selective partial replication for concurrent fault-detection in FSMs.	IEEE Trans. Instrum. Meas.	2003	DBLP DOI BibTeX RDF
21	Vadim Trenkaev, Myungchul Kim 0001, Soonuk Seol	Interoperability Testing Based on a Fault Model for a System of Communicating FSMs.	TestCom	2003	DBLP DOI BibTeX RDF
21	Samir Roy, Ujjwal Maulik, Biplab K. Sikdar	Exploiting Ghost-FSMs as a BIST Structure for Sequential Machines.	VLSI Design	2003	DBLP DOI BibTeX RDF
21	Huawei Li 0001, Yinghua Min, Zhongcheng Li	Clustering of behavioral phases in FSMs and its applications to VLSI test.	Sci. China Ser. F Inf. Sci.	2002	DBLP DOI BibTeX RDF