Specification and verification of medical monitoring system using petri-nets N Majma, SM Babamir Journal of Medical Signals & Sensors 4 (3), 181-193, 2014 | 14 | 2014 |
Runtime verification of pacemaker functionality using hierarchical fuzzy colored Petri-Nets N Majma, SM Babamir, A Monadjemi Journal of medical systems 41, 1-21, 2017 | 13 | 2017 |
Runtime verification of pacemaker using fuzzy logic and colored petri-nets N Majma, SM Babamir, A Monadjemi 2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS), 1-5, 2015 | 10 | 2015 |
Model-based monitoring and adaptation of pacemaker behavior using hierarchical fuzzy colored petri-nets N Majma, SM Babamir IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (9), 3344-3357, 2018 | 8 | 2018 |
Medical software runtime checking using petri-nets & software agents N Majma, SM Babamir 2014 4th International Conference on Computer and Knowledge Engineering …, 2014 | 6 | 2014 |
Utilizing Fuzzy colored Petri-Nets to monitor cardiac pacemaker behavior N Majma, SM Babamir, A Monadjemi 2016 IEEE 10th International Conference on Application of Information and …, 2016 | 4 | 2016 |
Software test case generation & test oracle design using neural network N Majma, SM Babamir 2014 22nd Iranian Conference on Electrical Engineering (ICEE), 1168-1173, 2014 | 3 | 2014 |
Nephron-2 Meta-Heuristic Algorithm (NOA-2), to Solve Optimization Problems R Behmanesh, N Majma Soft Computing Journal, 2023 | | 2023 |
Detection of plagiarism in scientific texts based on text blocking and cosine similarity criteria N Majma, S Bashtin Soft computing 11 (1001910), 0-0, 2022 | | 2022 |
A CLOUD-BASED LEARNABLE AGENT-ORIENTED APPROACH TO CONTROL AND IMPROVE PACEMAKER OPERATION N MAJMA, SM BABAMIR, A MONADJEMI NASHRIYYAH-I MUHANDISI-I BARQ VA MUHANDISI-I KAMPYUTAR-I IRAN, B-MUHANDISI-I …, 2018 | | 2018 |
Cloud-based runtime verification of health-caring systems using software agents N Majma, SM Babamir Proceedings of the 2015 IEEE International Symposium on Software Reliability …, 2015 | | 2015 |
Neural Network-Based Metaheuristic: A Method to Prioritrizing Software Test Cases N Majma, SM Babamir METAHEURISTICS AND ENGINEERING, 99, 2014 | | 2014 |