Search Results - Hamel, Lazhar

  • Showing 1 - 20 results of 20
Refine Results
  1. 1
    An optimization approach for cloud composite services

    An optimization approach for cloud composite services by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Formal modelling and verification of scalable service composition in IoT environment

    Formal modelling and verification of scalable service composition in IoT environment by Toman, Sarah Hussein, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed, Ouchani, Samir

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    An Event-B model for dynamically managing cloud resources

    An Event-B model for dynamically managing cloud resources by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Formal verification for security and attacks in IoT physical layer

    Formal verification for security and attacks in IoT physical layer by Toman, Zinah Hussein, Hamel, Lazhar, Toman, Sarah Hussein, Graiet, Mohamed, Valadares, Dalton Cézane Gomes

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Formal reconfiguration model for cloud resources

    Formal reconfiguration model for cloud resources by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications

    An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications by Mammar, Amel, Hamel, Lazhar, Graiet, Mohamed

    Published in Computer journal
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Service to service communication based on CBPS system: refinement and verification

    Service to service communication based on CBPS system: refinement and verification by Toman, Sarah Hussein, Lahouij, Aida, Kotel, Sonia, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    A Blockchain-based approach for secure IoT

    A Blockchain-based approach for secure IoT by Kotel, Sonia, Sbiaa, Fatma, Kamoun, Raouda Maraoui, Hamel, Lazhar

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Correct-by-Construction Approach for Formal Verification of IoT Architecture

    Correct-by-Construction Approach for Formal Verification of IoT Architecture by Toman, Zinah Hussein, Hamel, Lazhar, Toman, Sarah Hussein, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Refinement and Verification for IoT Service Composition

    Refinement and Verification for IoT Service Composition by Toman, Sarah Hussein, Hamel, Lazhar, Graiet, Mohamed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    An Event-B based approach for cloudcomposite services verification

    An Event-B based approach for cloudcomposite services verification by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed, el Ayeb, Béchir

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    An Event-B based approach for cloud composite services verification

    An Event-B based approach for cloud composite services verification by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed, el Ayeb, Béchir

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    Ensuring the Correctness and Reliability of CBPS System Using Event‐B

    Ensuring the Correctness and Reliability of CBPS System Using Event‐B by Hussein Toman, Sarah, Hamel, Lazhar, Lahouij, Aida, Hussein Toman, Zinah, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    A verification and deployment approach for elastic component-based applications

    A verification and deployment approach for elastic component-based applications by Graiet, Mohamed, Hamel, Lazhar, Mammar, Amel, Tata, Samir

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    A Correct by Construction Model for CBPS Systems Verification

    A Correct by Construction Model for CBPS Systems Verification by Toman, Sarah Hussein, Lahouij, Aida, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Formal Modeling for Verifying SCA Dynamic Composition with Event-B

    Formal Modeling for Verifying SCA Dynamic Composition with Event-B by Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Formal modeling for verifying SCA composition

    Formal modeling for verifying SCA composition by Hamel, Lazhar, Graiet, Mohamed, Kmimech, Mourad

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Event-B Formalisation of Web Services for Dynamic Composition

    Event-B Formalisation of Web Services for Dynamic Composition by Hamel, L., Graiet, M., Gaaloul, W.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Towards an Approach of Formal Verification of Web Service Composition

    Towards an Approach of Formal Verification of Web Service Composition by Graiet, Mohamed, Kmimech, Mourad, Hamel, Lazhar, Bhiri, Mohamed Tahar, Gaaloul, Walid, Maraoui, Raoudha

    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Verifying Composite Service Transactional Behavior with EVENT-B

    Verifying Composite Service Transactional Behavior with EVENT-B by Hamel, L., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: