Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Alexander Barkalov 0001, Larysa Titarenko, Raisa Malcheva, Kyryll Soldatov |
Hardware Reduction in FPGA-Based Moore FSM. |
J. Circuits Syst. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | André Takeshi Endo, Adenilso da Silva Simão |
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. |
Inf. Softw. Technol. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jingling Zhao, Shilei Chen, Shurui Liang, Baojiang Cui, Xiaolong Song |
RFSM-Fuzzing a Smart Fuzzing Algorithm Based on Regression FSM. |
3PGCIC |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mike Borowczak, Ranga Vemuri |
Secure controllers: Requirements of S*FSM. |
MWSCAS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Larysa Titarenko, Olena Hebda |
Matrix implementation of Moore FSM with nonstandard presentation of state codes. |
EWDTS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | R. M. Hidalgo-Bermúdez, M. S. Rodríguez-Domingo, Antonio Miguel Mora, Pablo García-Sánchez, Juan Julián Merelo Guervós, Antonio José Fernández Leiva |
Evolutionary FSM-Based Agents for Playing Super Mario Game. |
LION |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jiliang Zhang 0002, Yaping Lin, Yongqiang Lu 0001, Ray C. C. Cheung, Wenjie Che, Qiang Zhou 0001, Jinian Bian |
Binding Hardware IPs to Specific FPGA Device via Inter-twining the PUF Response with the FSM of Sequential Circuits. |
FCCM |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Tomofumi Yuki, Antoine Morvan, Steven Derrien |
Derivation of efficient FSM from loop nests. |
FPT |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Himani Mittal, Dinesh Chandra, Arvind Tiwari |
Design of Low Power FSM Using Verilog in VLSI. |
QSHINE |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy |
Unifying FSM-inference algorithms through declarative specification. |
ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jun Tang, Xiaohong Huang, Jing Qian, César Viho |
A FSM-based Test Sequence Generation Method for RPL Conformance Testing. |
GreenCom/iThings/CPScom |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Pavlos M. Mattheakis, Christos P. Sotiriou |
Polynomial Complexity Asynchronous Control Circuit Synthesis of Concurrent Specifications Based on Burst-Mode FSM Decomposition. |
VLSI Design |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Kolopienczyk |
EMB - Based Design of Mealy FSM. |
PDeS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Larysa Titarenko, Olena Hebda, Alexander Barkalov 0001 |
Synthesis of PLA-Based Moore FSM with Unconventional Presentation of State Codes. |
PDeS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko 0001, Gregor von Bochmann |
FSM-based testing from user defined faults adapted to incremental and mutation testing. |
Program. Comput. Softw. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Hashem Moradmand Ziyabar, Mahnaz Sinaie, Ali Payandeh, Vahid Tabataba Vakili |
Secure FSM- based arithmetic codes |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Luca Blessent |
FSM™ femtocell station modem. |
Hot Chips Symposium |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Aadithya V. Karthik, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag |
A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems. |
ICASSP |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Vojtech Merunka |
FSM-Based Object-Oriented Organization Modeling and Simulation. |
CAiSE Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Maykon Luís Capellari, Itana Maria de Souza Gimenes, Adenilso da Silva Simão, André Takeshi Endo |
Towards Incremental FSM-based Testing of Software Product Lines. |
SBQS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Katayoon Beetarafan (Bitarafan), Nariman Heydari Bateni |
Using Finite Series Model (FSM) and cache techniques for estimating scalability level. |
IST |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Vacius Jusas, Tomas Neverdauskas |
FSM Based Functional Test Generation Framework for VHDL. |
ICIST |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Priyanka Choudhury, Sambhu Nath Pradhan |
Power Modeling of Power Gated FSM and Its Low Power Realization by Simultaneous Partitioning and State Encoding Using Genetic Algorithm. |
VDAT |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Konstantin Septinus |
Design, Compiler-Werkzeuge und Evaluation einer FSM-basierten Prozessoreinheit für hochratige Multistandard-Datenpaketverarbeitung. |
|
2012 |
RDF |
|
17 | Jin Qi, Jie Hu 0002, Ying-hong Peng, Wei-ming Wang, Zhenfei Zhang |
AGFSM: An new FSM based on adapted Gaussian membership in case retrieval model for customer-driven design. |
Expert Syst. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Johann Glaser, Markus Damm, Jan Haase 0001, Christoph Grimm 0001 |
TR-FSM: Transition-Based reconfigurable finite state machine. |
ACM Trans. Reconfigurable Technol. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Aijiao Cui, Chip-Hong Chang, Sofiène Tahar, Amr T. Abdel-Hamid |
A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Yasser Sedaghat, Seyed Ghassem Miremadi |
An FSM-based monitoring technique to differentiate between follow-up and original errors in safety-critical distributed embedded systems. |
Microelectron. J. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Molinero, Manuel Núñez 0001, Robert M. Hierons |
Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. |
ALIFE |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chenjie Gu, Jaijeet S. Roychowdhury |
FSM model abstraction for analog/mixed-signal circuits by learning from I/O trajectories. |
ASP-DAC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda |
A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist. |
ISADS |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chi-Hoon Shin, Myeong-Hoon Oh, Sung Nam Kim, Seongwoon Kim |
Fine-grained power gating of datapath using FSM. |
NESEA |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Masahiro Fujita |
Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ernesto Sánchez 0001, Giovanni Squillero, Alberto Paolo Tonda |
Evolution of Test Programs Exploiting a FSM Processor Model. |
EvoApplications (2) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Dina Sadat Jalali, Alireza Shahrbanoonezhad |
A new intrusion detection method based on FSM and cache memory in ad hoc networks. |
CCIS |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Maxim Zhigulin, Nina Yevtushenko 0001, Stéphane Maag, Ana R. Cavalli |
FSM-Based Test Derivation Strategies for Systems with Time-Outs. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Che-Hua Shih, Ya-Ching Yang, Chia-Chih Yen, Juinn-Dar Huang, Jing-Yang Jou |
FSM-Based Formal Compliance Verification of Interface Protocols. |
J. Inf. Sci. Eng. |
2010 |
DBLP BibTeX RDF |
|
17 | Iksoon Hwang, Ana R. Cavalli |
Testing a probabilistic FSM using interval estimation. |
Comput. Networks |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko 0001 |
FSM-based conformance testing methods: A survey annotated with experimental evaluation. |
Inf. Softw. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Konstantin Septinus, Peter Pirsch, Holger Blume, Ulrich Mayer |
A fully programmable FSM-based Processing Engine for Gigabytes/s header parsing. |
ICSAMOS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Chi Hu, Xiaodan Zhuang, Mark Hasegawa-Johnson |
FSM-based pronunciation modeling using articulatory phonological code. |
INTERSPEECH |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Hui Chen 0005, Chunjie Zhou, Jie Ma, Yuanqing Qing |
FSM model and analysis for reconfigurable protocol stack in networked control system. |
ICCA |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Hardware reduction for FSM - Based control units using PAL technology. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Reduction in the number of PAL macrocells for Moore FSM implemented with CPLD. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Sudnitson, Dmitri Mihhailov, Margus Kruus |
Advanced topics of FSM design using FPGA educational boards and web-based tools. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mikhail M. Chupilko |
Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Xiaokang Zhou, Huaikou Miao |
Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application. |
ACIS-ICIS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yuan Miao 0001, Xuebing Yang |
An FSM based GUI test automation model. |
ICARCV |
2010 |
DBLP DOI BibTeX RDF |
|
17 | NurQamarina MohdNoor, Azilah Saparon, Yusrina Yusof |
Programmable MBIST Merging FSM and Microcode Techniques Using Macro Commands. |
DFT |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Saurabh Chaudhury, Krishna Teja Sistla, Santanu Chattopadhyay |
Genetic algorithm-based FSM synthesis with area-power trade-offs. |
Integr. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou |
Automatic Verification Stimulus Generation for Interface Protocols Modeled With Non-Deterministic Extended FSM. |
IEEE Trans. Very Large Scale Integr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko |
Logic Synthesis for FSM-Based Control Units |
|
2009 |
DBLP DOI BibTeX RDF |
|
17 | Dongkyun Ahn, Gyungho Lee |
StackLock with simple FSM. |
EIT |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Kenneth Lind, Rogardt Heldal |
Estimation of Real-Time Software Code Size using COSMIC FSM. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Sudnitson, Dmitri Mihhailov, Margus Kruus, Konstantin Tarletski |
FSM decomposition with application to FPGA synthesis. |
CompSysTech |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Babiga Birregah, Kondo H. Adjallah |
A framework for FSM based multi-model approach to interconnected components network. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ying Hou, Rong Chen 0003, Zhenjun Du |
Automated GUI Testing for J2ME Software Based on FSM. |
ScalCom-EmbeddedCom |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Muhammad Adeel Pasha, Steven Derrien, Olivier Sentieys |
Ultra Low-power FSM for Control Oriented Applications. |
ISCAS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Samary Baranov, Ilya Levin, Osnat Keren, Mark G. Karpovsky |
Designing fault tolerant FSM by nano-PLA. |
IOLTS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Xinghao Jiang, Tanfeng Sun, Jiaqi Feng, Zhigao Lin, Huan Lu |
A Novel Differential Energy Watermarking Scheme Based on FSM Model against Video Time-Space Tampering. |
PCM |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Xi Wang 0017, Huaikou Miao, Liang Guo |
Towards Automatic Transformation from UML Model to FSM Model for Web Applications. |
J. Softw. Eng. Appl. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sambhu Nath Pradhan, M. Tilak Kumar, Santanu Chattopadhyay |
Integrated Power-Gating and State Assignment for Low Power FSM Synthesis. |
ISVLSI |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ming Li, Shiyi Xu, Enjun Xia, Fayu Wang |
Design of FSM with Concurrent Error Detection Based on Viterbi Decoding. |
ATS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sarah Salahuddin, Kirill Bogdanov 0002, Neil Walkinshaw |
Balanced FSM Generation for Empirical Studies. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yu Zhang 0003, Tao Li, Jia Sun, Renchao Qin |
An FSM-Based Approach for Malicious Code Detection Using the Self-Relocation Gene. |
ICIC (1) |
2008 |
DBLP DOI BibTeX RDF |
self-relocation gene, finite-state machine, malicious code detection |
17 | Tao He 0004, Huaikou Miao |
Modeling and Composition of Web Application Components using Extended FSM. |
ICNC (6) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Danilo Ravotto, Ernesto Sánchez 0001, Massimiliano Schillaci, Giovanni Squillero |
An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction. |
EvoWorkshops |
2008 |
DBLP DOI BibTeX RDF |
Peripheral testing, ?GP3, test generation, approximate methods, evolutionary methods |
17 | Duoli Zhang, Yu-Kun Song, Gaoming Du, Yuanjie Zhai |
A technique of automatic monitor generation based on FSM. |
APCCAS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Reduction in the Number of PAL Macrocells in the Circuit of a Moore FSM. |
Int. J. Appl. Math. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
FSM Encoding for BDD Representations. |
Int. J. Appl. Math. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. |
IET Comput. Digit. Tech. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ke Xu 0014, Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun |
Power-Efficient VLSI Realization of a Complex FSM for H.264/AVC Bitstream Parsing. |
IEEE Trans. Circuits Syst. II Express Briefs |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nainesh Agarwal, Nikitas J. Dimopoulos |
Automated Power Gating of Registers Using CoDeL and FSM Branch Prediction. |
SAMOS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Huaikou Miao, Zhong-sheng Qian, Tao He 0004 |
Modeling Web Browser Interactions Using FSM. |
APSCC |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado |
Experimental Evaluation of Coverage Criteria for FSM-based Testing. |
SBES |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Franz Pichler |
A Highly Nonlinear Cellular FSM-Combiner for Stream Ciphers. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hasan Ural, Zhi Xu, Fan Zhang 0001 |
An Improved Approach to Passive Testing of FSM-based Systems. |
AST |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko 0001 |
FSM Test Translation Through Context. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Joumana Dargham, Sukaina Al Nasrawi |
FSM Behavioral Modeling Approach for Hypermedia Web Applications: FBM-HWA Approach. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Christoforos N. Hadjicostis |
Probabilistic detection of FSM single state-transition faults based on state occupancy measurements. |
IEEE Trans. Autom. Control. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Wen-Tsong Shiue |
Power/area/delay aware FSM synthesis and optimization. |
Microelectron. J. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Mariusz Rawski, Henry Selvaraj, Tadeusz Luba |
An application of functional decomposition in ROM-based FSM implementation in FPGA devices. |
J. Syst. Archit. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Christian Weiss |
FSM and k-nearest-neighbor for corpus based video-realistic audio-visual synthesis. |
INTERSPEECH |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Zoltán Pap, Gyula Csopaki, Sarolta Dibuz |
On FSM-Based Fault Diagnosis. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
output fault, transfer fault, fault diagnosis, Finite state machine, fault localization |
17 | Po-Chang Tsai, Sying-Jyan Wang, Feng-Ming Chang |
FSM-based programmable memory BIST with macro command. |
MTDT |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Arsalan Ali Shah, Zafar I. Malik, Shaukat Ali 0004 |
PP-FSM: Peer to Peer File Share for Multimedia. |
WEC (2) |
2005 |
DBLP BibTeX RDF |
|
17 | Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |
Transition-by-transition FSM traversal for reachability analysis in bounded model checking. |
ICCAD |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz |
Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal. |
GI Jahrestagung (1) |
2005 |
DBLP BibTeX RDF |
|
17 | Rita Dorofeeva, Nina Yevtushenko 0001, Khaled El-Fakih, Ana R. Cavalli |
Experimental Evaluation of FSM-Based Testing Methods. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann |
FSM-Based Incremental Conformance Testing Methods. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger |
Linear time universal coding and time reversal of tree sources via FSM closure. |
IEEE Trans. Inf. Theory |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko 0001 |
FSM Based Interoperability Testing Methods for Multi Stimuli Model. |
TestCom |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger |
Linear time universal coding of tree sources via FSM closure. |
ISIT |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alvaro Martín, Gadiel Seroussi, Marcelo J. Weinberger |
Linear Time Universal Coding of Tree Sources via FSM Closure. |
Data Compression Conference |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Lin Yuan, Pushkin R. Pari, Gang Qu 0001 |
Finding Redundant Constraints for FSM Minimization. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
17 | Sérgio G. Araújo, Antonio Carneiro de Mesquita Filho, Aloysio Pedroza |
Improvements in FSM Evolutions from Partial Input/Output Sequences. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Luca Negri, Mariagiovanna Sami, David Macii, Alessandra Terranegra |
FSM--based power modeling of wireless protocols: the case of bluetooth. |
ISLPED |
2004 |
DBLP DOI BibTeX RDF |
bluetooth, power modeling, wireless protocols |
17 | Ralph Marczynski, Mitchell A. Thornton, Stephen A. Szygenda |
Test vector generation and classification using FSM traversals. |
ISCAS (5) |
2004 |
DBLP BibTeX RDF |
|
17 | Mariusz Rawski, Henry Selvaraj, Tadeusz Luba |
An Application of Functional Decomposition in ROM-Based FSM Implementation in FPGA Devices. |
DSD |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Greg Michaelson, Kevin Hammond, Jocelyn Sérot |
FSM-Hume is finite state. |
Trends in Functional Programming |
2003 |
DBLP BibTeX RDF |
|