Search Results - Lallali, Mounir

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems

    Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems by Dridi, Mourad, Rubini, Stéphane, Lallali, Mounir, Sepulveda Florez, Martha Johanna, Singhoff, Frank, Diguet, Jean-Philippe

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems

    Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems by Dridi, Mourad, Rubini, Stéphane, Lallali, Mounir, Flórez, Martha Johanna Sepúlveda, Singhoff, Frank, Diguet, Jean-Philippe

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems

    DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems by Dridi, Mourad, Rubini, Stephane, Lallali, Mounir, Florez, Martha Johanna Sepulveda, Singhoff, Frank, Diguet, Jean-Philippe

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Applying formal methods to PCEP: an industrial case study from modeling to test generation

    Applying formal methods to PCEP: an industrial case study from modeling to test generation by Hwang, Iksoon, Cavalli, Ana R., Lallali, Mounir, Verchere, Dominique

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

    Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints by Cavalli, Ana Rosa, De Oca, Edgardo Montes, Mallouli, Wissam, Lallali, Mounir

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    An Attack-Tolerant Framework for Web Services

    An Attack-Tolerant Framework for Web Services by Ouffoue, Georges L. A., Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Automatic Timed Test Case Generation for Web Services Composition

    Automatic Timed Test Case Generation for Web Services Composition by Lallali, M., Zaidi, F., Cavalli, A., Iksoon Hwang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    A component based testing technique for a MANET routing protocol

    A component based testing technique for a MANET routing protocol by Zaidi, Fatiha, Lallali, Mounir, Maag, Stephane

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Timed Modeling of Web Services Composition for Automatic Testing

    Timed Modeling of Web Services Composition for Automatic Testing by Lallali, M., Zaidi, F., Cavalli, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study

    Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study by Mallouli, W., Lallali, M., Morales, G., Cavalli, A.R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: