Search Results - "Fakih, K"

Refine Results
  1. 1

    Assessing test suites of extended finite state machines against model‐ and code‐based faults by El‐Fakih, K., Alzaatreh, Ayman, Türker, Uraz Cengiz

    “…Summary Tests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single‐transfer faults, all transitions using…”
    Get full text
    Journal Article
  2. 2
  3. 3

    NADPH-diaphorase-positive neurons in the human inferior colliculus: morphology, distribution and clinical implications by Hinova-Palova, D., Landzhov, B., Dzhambazova, E., Edelstein, L., Minkov, M., Fakih, K., Minkov, R., Paloff, A., Ovtscharoff, W.

    Published in Brain Structure and Function (01-05-2017)
    “…Using the nicotinamide adenine dinucleotide phosphate-diaphorase (NADPH-d) reaction with nitroblue tetrazolium, we provided a detailed investigation of the…”
    Get full text
    Journal Article
  4. 4

    FSM-based incremental conformance testing methods by EI-Fakih, K., Yevtushenko, N., Bochmann, Gv

    Published in IEEE transactions on software engineering (01-07-2004)
    “…The development of appropriate test cases is an important issue for conformance testing of protocol implementations and other reactive software systems. A…”
    Get full text
    Journal Article
  5. 5

    FSM-based testing from user defined faults adapted to incremental and mutation testing by El-Fakih, K. A., Dorofeeva, R., Yevtushenko, N. V., Bochmann, G. V.

    Published in Programming and computer software (01-07-2012)
    “…We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user…”
    Get full text
    Journal Article
  6. 6

    On the Cooperative and Non-Cooperative Relaying in WiMAX Communication Systems by Fakih, K, Belhouji, A, Mouhamadou, M, Decroze, C, Carsenat, D

    “…This paper deals with relaying techniques in WiMAX communication system. Different cooperative and non-cooperative schemes are investigated and compared over a…”
    Get full text
    Conference Proceeding
  7. 7

    Exercise induced coronary inflammation in masters athletes by Papatheodorou, E, Kissel, C, Merghani, A, Hughes, R, Torlasco, C, Bakalakos, A, Downs, E, Parry-Williams, G, Finocchiaro, G, Malhotra, A, Moon, J C, Papadakis, M, Al Fakih, K, Dey, D, Sharma, S

    Published in European heart journal (03-10-2022)
    “…Abstract Background Chronic endurance exercise has been linked to increased prevalence of coronary artery disease (CAD) in male master athletes. Data are…”
    Get full text
    Journal Article
  8. 8

    CT fractional flow reserve: an alternative to stress ECHO for gatekeeping to invasive coronary angiography by Rasoul, H, Fyyaz, S, Noakes, D, Shakespeare, C, David, S, Khawaja, Z, Papamichael, N, Al-Fakih, K

    “…Abstract Funding Acknowledgements Type of funding sources: None. Introduction Stress echocardiography (SE) can assess the significance of moderate/severe…”
    Get full text
    Journal Article
  9. 9

    Left ventricular remodelling in masters athletes by Papatheodorou, E, Merghani, A, Bakalakos, A, Hughes, R, Torlasco, C, Downs, E, D"silva, A, Finocchiaro, G, Malhotra, A, Tome, M, Moon, JC, Al Fakih, K, Papadakis, M, Sharma, S

    “…Abstract Funding Acknowledgements Type of funding sources: Other. Main funding source(s): I have received a research fellowship grant from the UK based charity…”
    Get full text
    Journal Article
  10. 10

    Automatic derivation of Petri net based distributed specification with optimal allocation of resources by El-Fakih, K., Yamaguchi, H., v. Bochmann, G., Higashino, T.

    “…In this paper, we present a method for the synthesis of extended Petri net-based distributed specifications. Our method finds an optimal allocation of…”
    Get full text
    Conference Proceeding
  11. 11

    A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices by Bhanpurawala, A, El-Fakih, K, Zualkernan, I

    Published 11-10-2022
    “…With the rapid growth in the number of IoT devices being added to the network, a major concern that arises is the security of these systems. As these devices…”
    Get full text
    Journal Article
  12. 12

    Experimental evaluation of FSM-based testing methods by Dorofeeva, R., El-Fakih, K., Maag, S., Cavalli, A.R., Yevtushenko, N.

    “…The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for…”
    Get full text
    Conference Proceeding
  13. 13
  14. 14

    Repair of artificial bone defects using guided bone regeneration with Bio Oss and enamel matrix derivative. I. Light microscopic study on long bones in rabbits by Indjova J, Sivrev D, Fakih Kh, Paskalev M, Chaprazov Ts

    “…Guided bone regeneration (GBR) is most effective when the material used has osteogenic, osteoinductive and osteoconductive properties. Xenografts have limited…”
    Get full text
    Journal Article
  15. 15

    Outdoor to Indoor Channel Characterization by Simulations and Measurements for Optimising WiMAX Relay Network Deployment by Reynaud, S., Mouhamadou, M., Fakih, K., Akhdar, O., Decroze, C., Carsenat, D., Douzon, E., Monediere, T.

    “…This paper deals with channel characterization in Outdoor to Indoor (021) context. Particularly, we propose an original approach using both numerical…”
    Get full text
    Conference Proceeding
  16. 16

    On the Capacity Optimization for MIMO Ad Hoc Networks by Fakih, K., Diouris, J.-F., Andrieux, G.

    “…Maximizing the system mutual information for MIMO ad hoc networks is considered in this paper. We first give a brief overview of the non-linear optimization…”
    Get full text
    Conference Proceeding
  17. 17

    Analytical Evaluation on the Performance of Ad Hoc Networks When Using Beamforming Techniques by Fakih, K., Diouris, J.-F., Andrieux, G.

    “…In this paper, we evaluate through analytical modeling, the performance of ad hoc networks when the nodes are endowed with M-element antenna array. We first…”
    Get full text
    Conference Proceeding
  18. 18
  19. 19

    Modeling and Throughput Analysis for Wireless Ad Hoc Networks by Yang Su, Fakih, K., Diouris, J.-F., Yu Zhang

    “…This paper presents a novel analytical model for wireless ad hoc networks. Based on the strong points in the literature, an accurate performance model for IEEE…”
    Get full text
    Conference Proceeding
  20. 20