Treffer 1 - 14 von 14 für Suche 'Ferles, Kostas', Suchdauer: 1,00s Treffer weiter einschränken
  1. 1
    SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

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


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Symbolic Reasoning for Automatic Signal Placement

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

    Veröffentlicht in Operating systems review

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Verifying correct usage of context-free API protocols

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Synthesizing fine-grained synchronization protocols for implicit monitors

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain

    Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain von Wang, Yuepeng, Lahiri, Shuvendu K., Chen, Shuo, Pan, Rong, Dillig, Isil, Born, Cody, Naseer, Immad, Ferles, Kostas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Verifying Correct Usage of Context-Free API Protocols (Extended Version)

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Symbolic reasoning for automatic signal placement

    Symbolic reasoning for automatic signal placement von Ferles, Kostas, Van Geffen, Jacob, Dillig, Isil, Smaragdakis, Yannis

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Verifying Correct Usage of Context-Free API Protocols (Extended Version)

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Symbolic Reasoning for Automatic Signal Placement (Extended Version)

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Failure-Directed Program Trimming (Extended Version)

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Symbolic Reasoning for Automatic Signal Placement (Extended Version)

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Failure-Directed Program Trimming (Extended Version)

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: