Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|