Treffer 1 - 20 von 136 für Suche 'Emmi, Michael', Suchdauer: 0,79s Treffer weiter einschränken
  1. 1
    Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

    Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings von Dragoi, Cezara, Emmi, Michael, Wang, Jingbo

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Detecting Fair Non-termination in Multithreaded Programs

    Detecting Fair Non-termination in Multithreaded Programs von Atig, Mohamed Faouzi, Bouajjani, Ahmed, Emmi, Michael, Lal, Akash


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Weak-consistency specification via visibility relaxation

    Weak-consistency specification via visibility relaxation von Emmi, Michael, Enea, Constantin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Analysis of Recursively Parallel Programs

    Analysis of Recursively Parallel Programs von Bouajjani, Ahmed, Emmi, Michael


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Sound, complete, and tractable linearizability monitoring for concurrent collections

    Sound, complete, and tractable linearizability monitoring for concurrent collections von Emmi, Michael, Enea, Constantin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Bounded phase analysis of message-passing programs

    Bounded phase analysis of message-passing programs von Bouajjani, Ahmed, Emmi, Michael


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

    Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections

    Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections von Emmi, Michael, Enea, Constantin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    SMACK: Decoupling Source Language Details from Verifier Implementations

    SMACK: Decoupling Source Language Details from Verifier Implementations von Rakamarić, Zvonimir, Emmi, Michael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    On reducing linearizability to state reachability

    On reducing linearizability to state reachability von Bouajjani, Ahmed, Emmi, Michael, Enea, Constantin, Hamza, Jad

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Decision Problems for the Verification of Real-Time Software

    Decision Problems for the Verification of Real-Time Software von Emmi, Michael, Majumdar, Rupak


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Satisfiability Modulo Custom Theories in Z3

    Satisfiability Modulo Custom Theories in Z3 von Bjørner, Nikolaj, Eisenhofer, Clemens, Kovács, Laura


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Finding Non-terminating Executions in Distributed Asynchronous Programs

    Finding Non-terminating Executions in Distributed Asynchronous Programs von Emmi, Michael, Lal, Akash


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    On Reducing Linearizability to State Reachability

    On Reducing Linearizability to State Reachability von Bouajjani, Ahmed, Emmi, Michael, Enea, Constantin, Hamza, Jad


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth

    Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth von Goharshady, Amir Kafshdar, Zaher, Ahmed Khaled


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Result Invalidation for Incremental Modular Analyses

    Result Invalidation for Incremental Modular Analyses von Van der Plas, Jens, Stiévenart, Quentin, De Roover, Coen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    ARENA: Enhancing Abstract Refinement for Neural Network Verification

    ARENA: Enhancing Abstract Refinement for Neural Network Verification von Zhong, Yuyi, Ta, Quang-Trung, Khoo, Siau-Cheng


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Synthesizing History and Prophecy Variables for Symbolic Model Checking

    Synthesizing History and Prophecy Variables for Symbolic Model Checking von Vick, Cole, McMillan, Kenneth L.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Compositional Verification of Stigmergic Collective Systems

    Compositional Verification of Stigmergic Collective Systems von Di Stefano, Luca, Lang, Frédéric


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Sound Symbolic Execution via Abstract Interpretation and Its Application to Security

    Sound Symbolic Execution via Abstract Interpretation and Its Application to Security von Tiraboschi, Ignacio, Rezk, Tamara, Rival, Xavier


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: