Search Results - Steffinlongo, Enrico

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems

    Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems by Calzavara, Stefano, Rabitti, Alvise, Steffinlongo, Enrico, Bugliesi, Michele

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

    SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer by R. Gadelha, Mikhail, Steffinlongo, Enrico, C. Cordeiro, Lucas, Fischer, Bernd, Nicole, Denis

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space

    Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space by Gadelha, Mikhail R, Monteiro, Felipe R, Steffinlongo, Enrico, Cordeiro, Lucas C, Nicole, Denis A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

    SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer by Gadelha, Mikhail R, Steffinlongo, Enrico, Cordeiro, Lucas C, Fischer, Bernd, Nicole, Denis A

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

Search Tools: