Search Results - Sipma, Henny B

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Constructing invariants for hybrid systems

    Constructing invariants for hybrid systems by Sankaranarayanan, Sriram, Sipma, Henny B., Manna, Zohar

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Deductive verification of alternating systems

    Deductive verification of alternating systems by Slanina, Matteo, Sipma, Henny B., Manna, Zohar

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Collecting Statistics Over Runtime Executions

    Collecting Statistics Over Runtime Executions by Finkbeiner, Bernd, Sankaranarayanan, Sriram, Sipma, Henny B.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Verifying temporal properties of reactive systems: a STeP tutorial

    Verifying temporal properties of reactive systems: a STeP tutorial by Bjorner, Nikolaj S, Browne, Anca, Colon, Michael A, Finkbeiner, Bernd, Manna, Zohar, Sipma, Henny B, Uribe, Tomas E

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Deductive verification of real-time systems using STeP

    Deductive verification of real-time systems using STeP by Bjørner, Nikolaj S., Manna, Zohar, Sipma, Henny B., Uribe, Tomás E.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    LOLA: runtime monitoring of synchronous systems

    LOLA: runtime monitoring of synchronous systems by D'Angelo, B., Sankaranarayanan, S., Sanchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Decision procedures for term algebras with integer constraints

    Decision procedures for term algebras with integer constraints by Zhang, Ting, Sipma, Henny B., Manna, Zohar

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Deductive verification of alternating systems: Extended versions of selected contributions from the International Colloquium on Theoretical Aspects of Computing (ICTAC), November 2006, Tunis, Tunisia

    Deductive verification of alternating systems: Extended versions of selected contributions from the International Colloquium on Theoretical Aspects of Computing (ICTAC), November 2... by SLANINA, Matteo, SIPMA, Henny B, MANNA, Zohar

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Decision procedures for term algebras with integer constraints: Combining logical systems

    Decision procedures for term algebras with integer constraints: Combining logical systems by TING ZHANG, SIPMA, Henny B, MANNA, Zohar

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Non-linear loop invariant generation using gröbner bases

    Non-linear loop invariant generation using gröbner bases by SANKARANARAYANAN, Sriram, SIPMA, Henny B, MANNA, Zohar

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Generating Efficient Distributed Deadlock Avoidance Controllers

    Generating Efficient Distributed Deadlock Avoidance Controllers by Sanchez, C., Sipma, H.B., Manna, Z.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    On efficient distributed deadlock avoidance for real-time and embedded systems

    On efficient distributed deadlock avoidance for real-time and embedded systems by Sanchez, C., Sipma, H.B., Manna, Z., Subramonian, V., Gill, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    On efficient distributed deadlock avoidance for real-time and embedded systems

    On efficient distributed deadlock avoidance for real-time and embedded systems by Sánchez, César, Sipma, Henny B., Manna, Zohar, Subramonian, Venkita, Gill, Christopher

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Checking Finite Traces Using Alternating Automata

    Checking Finite Traces Using Alternating Automata by Finkbeiner, Bernd, Sipma, Henny

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

Search Tools: