Search Results - Sutre, Grégoire

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Occam's Razor applied to the Petri net coverability problem

    Occam's Razor applied to the Petri net coverability problem by Geffroy, Thomas, Leroux, Jérôme, Sutre, Grégoire

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    On Functions Weakly Computable by Pushdown Petri Nets and Related Systems

    On Functions Weakly Computable by Pushdown Petri Nets and Related Systems by Leroux, Jérôme, Praveen, M., Schnoebelen, Philippe, Sutre, Grégoire

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Reachability Analysis of Communicating Pushdown Systems

    Reachability Analysis of Communicating Pushdown Systems by Heussner, Alexander, Leroux, Jérôme, Muscholl, Anca, Sutre, Grégoire

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    On the Context-Freeness Problem for Vector Addition Systems

    On the Context-Freeness Problem for Vector Addition Systems by Leroux, Jérôme, Vincent, Sutre, Grégoire

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    An automata-based approach for synchronizable mailbox communication

    An automata-based approach for synchronizable mailbox communication by Delpy, Romain, Muscholl, Anca, Sutre, Grégoire

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free

    Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free by Leroux, Jérôme, Sutre, Grégoire

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Well-abstracted transition systems: application to FIFO automata

    Well-abstracted transition systems: application to FIFO automata by Finkel, Alain, Purushothaman Iyer, S., Sutre, Grégoire

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Accelerated Data-Flow Analysis

    Accelerated Data-Flow Analysis by Leroux, Jérôme, Gregoire Sutre

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Occam's Razor Applied to the Petri Net Coverability Problem

    Occam's Razor Applied to the Petri Net Coverability Problem by Geffroy, Thomas, Leroux, Jérôme, Sutre, Grégoire

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    On Boundedness Problems for Pushdown Vector Addition Systems

    On Boundedness Problems for Pushdown Vector Addition Systems by Leroux, Jérôme, Sutre, Grégoire, Totzke, Patrick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension

    On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension by Leroux, Jérôme, Sutre, Grégoire, Totzke, Patrick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Reachability Analysis of Communicating Pushdown Systems

    Reachability Analysis of Communicating Pushdown Systems by Heussner, Alexander, Leroux, Jérôme, Muscholl, Anca, Sutre, Grégoire

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Reachability of Communicating Timed Processes

    Reachability of Communicating Timed Processes by Clemente, Lorenzo, Herbreteau, Frédéric, Stainer, Amélie, Sutre, Grégoire

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Lazy abstraction

    Lazy abstraction by HENZINGER, Thomas A, JHALA, Ranjit, MAJUMDAR, Rupak, SUTRE, Grégoire

    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: