Search Results - Boucheneb, H.

Refine Results
  1. 1
    Exploiting local persistency for reduced state-space generation

    Exploiting local persistency for reduced state-space generation by Barkaoui, K., Boucheneb, H., Li, Z.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Efficient Reachability Analysis for Time Petri Nets

    Efficient Reachability Analysis for Time Petri Nets by Hadjidj, R., Boucheneb, H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    TCTL Model Checking of Time Petri Nets

    TCTL Model Checking of Time Petri Nets by Boucheneb, Hanifa, Gardey, Guillaume, Roux, Olivier H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    On-the-fly TCTL model checking for time Petri nets

    On-the-fly TCTL model checking for time Petri nets by HADJIDJ, Rachid, BOUCHENEB, Hanifa

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    CTL model checking for time Petri nets

    CTL model checking for time Petri nets by Boucheneb, Hanifa, Hadjidj, Rachid

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Much compact Time Petri Net state class spaces useful to restore CTL properties

    Much compact Time Petri Net state class spaces useful to restore CTL properties by Hadjidj, R., Boucheneb, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Reachability Analysis of P-time Petri Nets with Parametric Markings

    Reachability Analysis of P-time Petri Nets with Parametric Markings by Boucheneb, H., Barkaoui, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Time Arc Petri Nets and Their Analysis

    Time Arc Petri Nets and Their Analysis by Rakkay, H., Boucheneb, H., Roux, O.H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    A more efficient time Petri net state space abstraction preserving linear properties

    A more efficient time Petri net state space abstraction preserving linear properties by Boucheneb, H., Rakkay, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Semantics for Model-Based Validation of Continuous/Discrete Systems

    Semantics for Model-Based Validation of Continuous/Discrete Systems by Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    On-the-fly TCTL model checking for Time Petri Nets using state class graphs

    On-the-fly TCTL model checking for Time Petri Nets using state class graphs by Hadjidj, R., Boucheneb, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Contraction of the ITCPN state space

    Contraction of the ITCPN state space by Boucheneb, H., Berthelot, G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    WiseShare: A collaborative environment for knowledge sharing governed by ABAC policies

    WiseShare: A collaborative environment for knowledge sharing governed by ABAC policies by Ould-Slimane, Hakima, Bande, M., Boucheneb, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Semantics for Rollback-Based Continuous/Discrete Simulation

    Semantics for Rollback-Based Continuous/Discrete Simulation by Gheorghe, L., Nicolescu, G., Boucheneb, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool

    Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool by Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Verification of Workflow processes under multilevel security considerations

    Verification of Workflow processes under multilevel security considerations by Barkaoui, K., Ben Ayed, R., Boucheneb, H., Hicheur, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Semantics for model-based validation of continuous/discrete systems

    Semantics for model-based validation of continuous/discrete systems by Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Secure protocol in mobile agent environment

    Secure protocol in mobile agent environment by El Rhazi, A., Pierre, S., Boucheneb, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Towards a simplified building of time Petri Nets reachability graph

    Towards a simplified building of time Petri Nets reachability graph by Boucheneb, H., Alger, U., Berthelot, G.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Experimental Characterization of the Mechanical Properties of Concrete Based on Glass-Powder

    Experimental Characterization of the Mechanical Properties of Concrete Based on Glass-Powder by Boucheneb, Y., Mehaddene, R., Kemer, H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: