Search Results - Ferles, Kostas

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

    SmartPulse: Automated Checking of Temporal Properties in Smart Contracts by Stephens, Jon, Ferles, Kostas, Mariano, Benjamin, Lahiri, Shuvendu, Dillig, Isil

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Symbolic Reasoning for Automatic Signal Placement

    Symbolic Reasoning for Automatic Signal Placement by Ferles, Kostas, Van Geffen, Jacob, Dillig, Isil, Smaragdakis, Yannis

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Verifying correct usage of context-free API protocols

    Verifying correct usage of context-free API protocols by Ferles, Kostas, Stephens, Jon, Dillig, Isil

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Synthesizing fine-grained synchronization protocols for implicit monitors

    Synthesizing fine-grained synchronization protocols for implicit monitors by Ferles, Kostas, Sepanski, Benjamin, Krishnan, Rahul, Bornholt, James, Dillig, Işil

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Verifying Correct Usage of Context-Free API Protocols (Extended Version)

    Verifying Correct Usage of Context-Free API Protocols (Extended Version) by Ferles, Kostas, Stephens, Jon, Dillig, Isil

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)

    Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version) by Ferles, Kostas, Sepanski, Benjamin, Krishnan, Rahul, Bornholt, James, Dillig, Isil

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Symbolic Reasoning for Automatic Signal Placement (Extended Version)

    Symbolic Reasoning for Automatic Signal Placement (Extended Version) by Ferles, Kostas, Jacob Van Geffen, Dillig, Isil, Smaragdakis, Yannis

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Failure-Directed Program Trimming (Extended Version)

    Failure-Directed Program Trimming (Extended Version) by Ferles, Kostas, Wüstholz, Valentin, Christakis, Maria, Dillig, Isil

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

Search Tools: