Search results for "FSM"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Sara Hsaini, Salma Azzouzi, My El Hassan Charaf	FSM Modeling of Testing Security Policies for MapReduce Frameworks.	CoDIT	2019	DBLP DOI BibTeX RDF
17	Zhongzhou Liu, Wenbin Hu	FSM: A Fast Similarity Measurement for Gene Regulatory Networks via Genes' Influence Power.	IJCAI	2019	DBLP DOI BibTeX RDF
17	Vandana Bhatia, Rinkle Rani	Ap-FSM: A parallel algorithm for approximate frequent subgraph mining using Pregel.	Expert Syst. Appl.	2018	DBLP DOI BibTeX RDF
17	Raja Muthalagu, Subeen Jain	Application of FSM Machine and S-Box in KASUMI Block Cipher to Improve Its Resistance Against Attack.	Int. J. Netw. Secur.	2018	DBLP BibTeX RDF
17	Keonsoo Lee, Yang Sun Lee 0001, Yunyoung Nam	A model of FSM-based planner and dialogue supporting system for emergency call services.	J. Supercomput.	2018	DBLP DOI BibTeX RDF
17	Yanyun Tao, Yuzhen Zhang, Qinyu Wang, Jian Cao 0001	MPGA: an evolutionary state assignment for dynamic and leakage power reduction in FSM synthesis.	IET Comput. Digit. Tech.	2018	DBLP DOI BibTeX RDF
17	Yansong Gao, Hua Ma, Said F. Al-Sarawi, Derek Abbott, Damith Chinthana Ranasinghe	PUF-FSM: A Controlled Strong PUF.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2018	DBLP DOI BibTeX RDF
17	Vijaypal Singh Rathor, Bharat Garg, G. K. Sharma 0001	New Lightweight Architectures for Secure FSM Design to Thwart Fault Injection and Trojan Attacks.	J. Electron. Test.	2018	DBLP DOI BibTeX RDF
17	Marco T. Morazán, Josephine A. Des Rosiers	FSM Error Messages.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
17	Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda	Fault Detection for Timed FSM with Timeouts by Constraint Solving.	CoRR	2018	DBLP BibTeX RDF
17	Yanyun Tao, Yuzhen Zhang, Qinyu Wang	Fuzzy c-mean clustering-based decomposition with GA optimizer for FSM synthesis targeting to low power.	Eng. Appl. Artif. Intell.	2018	DBLP DOI BibTeX RDF
17	Marc Fyrbiak, Sebastian Wallat, Jonathan Déchelotte, Nils Albartus, Sinan Böcker, Russell Tessier, Christof Paar	On the Difficulty of FSM-based Hardware Obfuscation.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2018	DBLP DOI BibTeX RDF
17	Byung-Su Kim, Tae Hee Han, Joon-Sung Yang, Jaeyong Chung	New library development method by FSM based cell pattern extraction.	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
17	Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat	Inferring FSM Models of Systems Without Reset.	Machine Learning for Dynamic Software Analysis	2018	DBLP DOI BibTeX RDF
17	Ahmad Patooghy, Ehsan Aerabi, Hamidreza Rezaei, Miguel Mark, Mahdi Fazeli, Michel A. Kinsy	Mystic: Mystifying IP Cores Using an Always-ON FSM Obfuscation Method.	ISVLSI	2018	DBLP DOI BibTeX RDF
17	Rihab Ayed, Mohand-Saïd Hacid, Rafiqul Haque, Abderrazek Jemai	An Intra-algorithm Comparison Study of Complete Search FSM Implementations in Centralized Graph Transaction Databases.	ISMIS	2018	DBLP DOI BibTeX RDF
17	Sergey Ostanin, Valentina Andreeva, Natalia Butorina, D. Tretyakov	Fault-Tolerant Synchronous FSM Network Design for Path Delay Faults.	EWDTS	2018	DBLP DOI BibTeX RDF
17	Wiem Khlif, Asma Sellami, Mariem Haoues, Hanêne Ben-Abdallah	Using COSMIC FSM Method to Analyze the Impact of Functional Changes in Business Process Models.	ENASE	2018	DBLP DOI BibTeX RDF
17	Florent Avellaneda, Alexandre Petrenko	FSM Inference from Long Traces.	FM	2018	DBLP DOI BibTeX RDF
17	Alexia Toumpa, Alexandros Kouris, Fotios Dimeas, Nikos A. Aspragathos	Control of a line following robot based on FSM estimation.	SyRoCo	2018	DBLP DOI BibTeX RDF
17	Su-Fu Kuo, Cheng-Wen Wu	Symbiotic Controller Design Using a Memory-Based FSM Model.	ISIE	2018	DBLP DOI BibTeX RDF
17	Thandar Zaw, Swe Zin Hlaing, Myint Myint Lwin, Koichiro Ochimizu	Automated Size Measurement of Embedded System based on XML using COSMIC FSM.	IWSM-Mensura	2018	DBLP BibTeX RDF
17	Asma Sellami, Mariem Haoues, Nour Borchani, Nadia Bouassida	Orchestrating Functional Change Decisions in Scrum Process using COSMIC FSM Method.	ICSOFT	2018	DBLP DOI BibTeX RDF
17	Muhammad Sajjad, Muhammad Wasim, Muzammil Shahbaz, Kashif Saghar, Muhammad Usman Ghani Khan	Dynamic Testing of C Program Interfaces Based on FSM Modeling.	FIT	2018	DBLP DOI BibTeX RDF
17	Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat	Revisiting AI and testing methods to infer FSM models of black-box systems.	AST@ICSE	2018	DBLP DOI BibTeX RDF
17	Leihang Chen, Jiang Du	An Audit Model Based On FSM for Offline Synchronization System.	ICCSP	2018	DBLP DOI BibTeX RDF
17	Allal Tiberkak, Abdelfetah Hentout, Abdelkader Belkhir, Tayeb Lemlouma, Ahmed Bouabdallah	Set Theory-based FSM for Managing Home Emergencies Concept, Properties and Process Algebra.	PAIS	2018	DBLP DOI BibTeX RDF
17	Vijaypal Singh Rathor, Bharat Garg, G. K. Sharma 0001	An Energy-Efficient Trusted FSM Design Technique to Thwart Fault Injection and Trojan Attacks.	VLSID	2018	DBLP DOI BibTeX RDF
17	Nesa Asoudeh, Yvan Labiche	Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing.	ECMFA	2018	DBLP DOI BibTeX RDF
17	Lihong Yao, Junmin Li	Input-output finite-time stabilization of a class of nonlinear hybrid systems based on FSM with MDADT.	J. Frankl. Inst.	2017	DBLP DOI BibTeX RDF
17	Yansong Gao, Damith Chinthana Ranasinghe	PUF-FSM: A Controlled Strong PUF.	CoRR	2017	DBLP BibTeX RDF
17	Carole Adam, Patrick Taillandier, Julie Dugdale, Benoit Gaudou	BDI vs FSM Agents in Social Simulations for Raising Awareness in Disasters: A Case Study in Melbourne Bushfires.	Int. J. Inf. Syst. Crisis Response Manag.	2017	DBLP DOI BibTeX RDF
17	Jianxin Xu 0004, Dongqin Feng	Identification of ICS Security Risks toward the Analysis of Packet Interaction Characteristics Using State Sequence Matching Based on SF-FSM.	Secur. Commun. Networks	2017	DBLP DOI BibTeX RDF
17	Jeroen Delvaux	Machine Learning Attacks on PolyPUF, OB-PUF, RPUF, and PUF-FSM.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
17	Sambhu Nath Pradhan, Priyanka Choudhury, Debanjali Nath	Transistor level realisation of power gated FSM.	Int. J. Comput. Aided Eng. Technol.	2017	DBLP DOI BibTeX RDF
17	Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat	From Passive to Active FSM Inference via Checking Sequence Construction.	ICTSS	2017	DBLP DOI BibTeX RDF
17	Aleksandr S. Tvardovskii	Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation.	ICTSS	2017	DBLP DOI BibTeX RDF
17	Sergey Ostanin	Self-checking synchronous FSM network design for path delay faults.	EWDTS	2017	DBLP DOI BibTeX RDF
17	Yanyun Tao, Qinyu Wang, Yuzhen Zhang	Genetic Fuzzy c-mean clustering-based decomposition for low power FSM synthesis.	CEC	2017	DBLP DOI BibTeX RDF
17	Maksym Figat, Cezary Zielinski, René Hexel	FSM based specification of robot control system activities.	RoMoCo	2017	DBLP DOI BibTeX RDF
17	Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi 0001	Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines.	ICST Workshops	2017	DBLP DOI BibTeX RDF
17	Ralf Stemmer, Maher Fakih	Towards Timing and Power Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication.	MBMV	2017	DBLP BibTeX RDF
17	Hoda Khalil, Yvan Labiche	On FSM-Based Testing: An Empirical Study: Complete Round-Trip Versus Transition Trees.	ISSRE	2017	DBLP DOI BibTeX RDF
17	Ralf Stemmer, Maher Fakih, Kim Grüttner, Wolfgang Nebel	Towards State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication.	RAPIDO	2017	DBLP BibTeX RDF
17	Junqiao Qiu, Zhijia Zhao 0001, Bo Wu 0002, Abhinav Vishnu, Shuaiwen Leon Song	Enabling scalability-sensitive speculative parallelization for FSM computations.	ICS	2017	DBLP DOI BibTeX RDF
17	Yanyun Tao, Yuzhen Zhang, Qinyu Wang	Low-power FSM synthesis using a fuzzy c-mean clustering-based decomposition.	GECCO (Companion)	2017	DBLP DOI BibTeX RDF
17	Kamil Mielcarek, Alexander Barkalov 0001, Larisa Titarenko	Designing Moore FSM with Transformation of State Codes.	CISIM	2017	DBLP DOI BibTeX RDF
17	Erdir Ungan, Sylvie Trudel, Luc Poulin	Using FSM patterns to size security non-functional requirements with COSMIC.	IWSM-Mensura	2017	DBLP DOI BibTeX RDF
17	Mariem Haoues, Asma Sellami, Hanêne Ben-Abdallah	A rapid measurement procedure for sizing web and mobile applications based on COSMIC FSM method.	IWSM-Mensura	2017	DBLP DOI BibTeX RDF
17	Farimah Farahmandi, Prabhat Mishra 0001	FSM Anomaly Detection Using Formal Analysis.	ICCD	2017	DBLP DOI BibTeX RDF
17	Maiada M. Shabaan, Haitham S. Hamza, Yasser M. K. Omar	Effects of FSM minimization techniques on number of test paths in mobile applications MBT.	SERA	2017	DBLP DOI BibTeX RDF
17	Yun Kae Law, Ing-Chao Lin, Cheng-Chien Lin	Reducing aging on scratchpad memory using temporal- and FSM-based power management.	VLSI-DAT	2017	DBLP DOI BibTeX RDF
17	Kamil Mielcarek, Alexander Barkalov 0001, Larysa Titarenko	Designing Moore FSM with extended class codes.	MOCAST	2017	DBLP DOI BibTeX RDF
17	Jiliang Zhang 0002, Gang Qu 0001	Rebuttal to "Comments on 'A PUF-FSM Binding Scheme for FPGA IP Protection and Pay-Per-Device Licensing"'.	IEEE Trans. Inf. Forensics Secur.	2016	DBLP DOI BibTeX RDF
17	Lilian Bossuet, Brice Colombier	Comments on "A PUF-FSM Binding Scheme for FPGA IP Protection and Pay-per-Device Licensing".	IEEE Trans. Inf. Forensics Secur.	2016	DBLP DOI BibTeX RDF
17	Yuanping Li, Hua Li, Junlan Zhao	有限状态机模型测试序列生成算法研究 (Research about FSM Test Sequence Generation Algorithm).	计算机科学	2016	DBLP DOI BibTeX RDF
17	Jorge Francisco Cutigi, Adenilso da Silva Simão, Simone R. S. Souza	Reducing FSM-Based Test Suites with Guaranteed Fault Coverage.	Comput. J.	2016	DBLP DOI BibTeX RDF
17	J. Kavya, M. Geetha	An FSM based methodology for interleaved and concurrent activity recognition.	ICACCI	2016	DBLP DOI BibTeX RDF
17	Junqiao Qiu, Zhijia Zhao 0001, Bin Ren	MicroSpec: Speculation-Centric Fine-Grained Parallelization for FSM Computations.	PACT	2016	DBLP DOI BibTeX RDF
17	Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh 0002	Test Generation by Constraint Solving and FSM Mutant Killing.	ICTSS	2016	DBLP DOI BibTeX RDF
17	Carlos Diego Nascimento Damasceno, Paulo César Masiero, Adenilso Simão	Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems.	SBES	2016	DBLP DOI BibTeX RDF
17	Xin Ren, Jiong Zhang, Ying Li, Jianwei Niu 0002	Application of a Parallel FSM Parsing Algorithm for Web Engines.	SmartCom	2016	DBLP DOI BibTeX RDF
17	Jurn-Gyu Park, Nikil D. Dutt, Hoyeonjiki Kim, Sung-Soo Lim	HiCAP: Hierarchical FSM-based Dynamic Integrated CPU-GPU Frequency Capping Governor for Energy-Efficient Mobile Gaming.	ISLPED	2016	DBLP DOI BibTeX RDF
17	Ayça Tarhan, Baris Özkan, Gonca Canan Icoz	A Proposal on Requirements for COSMIC FSM Automation from Source Code.	IWSM-Mensura	2016	DBLP DOI BibTeX RDF
17	Pritam Bhattacharjee, Alak Majumder	LECTOR Based Gated Clock Approach to Design Low Power FSM for Serial Adder.	iNIS	2016	DBLP DOI BibTeX RDF
17	Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh 0002	Multiple Mutation Testing from FSM.	FORTE	2016	DBLP DOI BibTeX RDF
17	Sabyasachi Deyati, Barry John Muldrey, Abhijit Chatterjee	Adaptive testing of analog/RF circuits using hardware extracted FSM models.	VTS	2016	DBLP DOI BibTeX RDF
17	Rahul Ratnakumar, Satyasai Jagannath Nanda	A FSM based approach for efficient implementation of K-means algorithm.	VDAT	2016	DBLP DOI BibTeX RDF
17	Andrei Alexandru, Gabriel Ciobanu	Generalized Multisets: From ZF to FSM.	Comput. Informatics	2015	DBLP BibTeX RDF
17	K. Chakrapani, P. Neelamegam	Reconfigurable wrapper architecture for UART CORE testing using FSM approach.	Int. J. Adv. Intell. Paradigms	2015	DBLP DOI BibTeX RDF
17	Jiliang Zhang 0002, Yaping Lin, Yongqiang Lyu 0001, Gang Qu 0001	A PUF-FSM Binding Scheme for FPGA IP Protection and Pay-Per-Device Licensing.	IEEE Trans. Inf. Forensics Secur.	2015	DBLP DOI BibTeX RDF
17	Jian Li 0024, Jin Xiao, James Won-Ki Hong, Raouf Boutaba	FSM-based Wi-Fi power estimation method for smart devices.	IM	2015	DBLP DOI BibTeX RDF
17	João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal	Modeling resource sharing using FSM-SADF.	MEMOCODE	2015	DBLP DOI BibTeX RDF
17	Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi 0001	Delta-Oriented FSM-Based Testing.	ICFEM	2015	DBLP DOI BibTeX RDF
17	Vasily G. Moshnyaga, Hideki Nita	STG-based detection of power virus inputs in FSM.	MWSCAS	2015	DBLP DOI BibTeX RDF
17	Mingfu Xue, Jian Wang 0038, Youdong Wang, Aiqun Hu	Security Against Hardware Trojan Attacks Through a Novel Chaos FSM and Delay Chains Array PUF Based Design Obfuscation Scheme.	ICCCS	2015	DBLP DOI BibTeX RDF
17	Anzhela Yu. Matrosova, Valentina Andreeva, V. Tomkov	Fully delay and multiple stuck-at faults testable FSM design.	EWDTS	2015	DBLP DOI BibTeX RDF
17	M. Forostyanova	Experimental evaluation of FSM-based test derivation strategy for telecommunication protocols.	EWDTS	2015	DBLP DOI BibTeX RDF
17	Sabrine Jandoubi, Afef Bahri, Nadia Yacoubi Ayadi, Salem Chakhar, Ashraf Labib	Enhanced Fuzzy Object-Relational database Model for efficient implementation of the FSM.	FUZZ-IEEE	2015	DBLP DOI BibTeX RDF
17	Md. Zarafi Ahmad, Erwan Sulaiman, Takashi Kosaka	Optimization of outer-rotor hybrid excitation FSM for in-wheel direct drive electric vehicle.	ICM	2015	DBLP DOI BibTeX RDF
17	Pavel O. Abaev, Konstantin E. Samouylov, Ivan Sinitsyn, Sergey Shorgin	FSM Based Simulation For Performance Evaluation Of SIP Server Loss-Based Overload Control.	ECMS	2015	DBLP DOI BibTeX RDF
17	Roger Trullo, Duber Martinez	Detecting Human Falls: A Vision-FSM Approach.	CAIP (1)	2015	DBLP DOI BibTeX RDF
17	Rujiao Duan, Renyang He, Tianyu Shan, Zhongfang Zhang, Weijun Zhou, Yao Zhang	Theory and simulation analysis of FSM used in internal corrosion monitoring for oil&gas pipeline.	ICCAIS	2015	DBLP DOI BibTeX RDF
17	Zhijia Zhao 0001, Xipeng Shen	On-the-Fly Principled Speculation for FSM Parallelization.	ASPLOS	2015	DBLP DOI BibTeX RDF
17	Olga Kondratyeva	Timed FSM strategy for optimizing web service compositions w.r.t. the quality and safety issues. (Stratégie basée sur les machines à états finis temporisées pour optimiser la composition de services web à l'égard de la qualité et de la sécurité).		2015	RDF
17	Hashem Moradmand Ziyabar, Mahnaz Sinaie, Ali Payandeh, Vahid Tabataba Vakili	Secure FSM-based arithmetic codes.	Signal Image Video Process.	2014	DBLP DOI BibTeX RDF
17	Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski	Hardware Reduction in CPLD-Based Moore FSM.	J. Circuits Syst. Comput.	2014	DBLP DOI BibTeX RDF
17	Bilal Kanso, Omar Chebaro	Compositional Testing For FSM-Based Models.	CoRR	2014	DBLP BibTeX RDF
17	Alexandre Petrenko, Nina Yevtushenko 0001	Adaptive Testing of Nondeterministic Systems with FSM.	HASE	2014	DBLP DOI BibTeX RDF
17	Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko 0001	On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment.	ICTSS	2014	DBLP DOI BibTeX RDF
17	Jorge Echavarria, Alicia Morales-Reyes, René Cumplido, Miguel A. Salido	FSM merging and reduction for IP cores watermarking using Genetic Algorithms.	ReConFig	2014	DBLP DOI BibTeX RDF
17	Alexander Frolov, Alexander Vinnikov	FSM Simulation of Cryptographic Protocols Using Algebraic Processor.	DepCoS-RELCOMEX	2014	DBLP DOI BibTeX RDF
17	Edward Jung, Chih-Cheng Hung, Seonho Choi	FSM watermarks based on ordering of flip flops.	RACS	2014	DBLP DOI BibTeX RDF
17	Tiago S. Curtinhas, Duarte Lopes de Oliveira, Lester de Abreu Faria, Osamu Saotome	A novel State Assignment method for Extended Burst-Mode FSM design using Genetic Algorithm.	SBCCI	2014	DBLP DOI BibTeX RDF
17	Mansurul Bhuiyan, Mohammad Al Hasan	FSM-H: Frequent Subgraph Mining Algorithm in Hadoop.	BigData Congress	2014	DBLP DOI BibTeX RDF
17	Xiaomei Wan, Guohua Liu	Complexity of Constructing FSM Model of Artifact Lifecycle.	SKG	2014	DBLP DOI BibTeX RDF
17	Syed Hussein Syed Alwi, Emmanuelle Encrenaz	FSM-based properties and abstraction of components.	RSP	2014	DBLP DOI BibTeX RDF
17	Ali Mert Ertugrul, Gökçen Yilmaz, Murat Salmanoglu, Onur Demirörs	The Effect of Highlighting Error Categories in FSM Training on the Accuracy of Measurement.	IWSM/Mensura	2014	DBLP DOI BibTeX RDF
17	Jing Han, Lun Xie, Xin Liu, Zhiliang Wang	Emotional state transfer model based on FSM.	MFI	2014	DBLP DOI BibTeX RDF
17	Jakub Tuma, Vojtech Merunka, Robert Pergl	Object-Oriented FSM-Based Approach to Process Modelling.	CSOC	2014	DBLP DOI BibTeX RDF