Treffer 1 - 20 von 67 für Suche 'Saïdi, Hassen', Suchdauer: 0,94s Treffer weiter einschränken
  1. 1
    Using model checking to assess the dependability of agent-based systems

    Using model checking to assess the dependability of agent-based systems von Riemenschneider, R.A., Saidi, H., Dutertre, B.

    Veröffentlicht in IEEE intelligent systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Logical foundation for static analysis: application to binary static analysis for security

    Logical foundation for static analysis: application to binary static analysis for security von Saïdi, Hassen

    Veröffentlicht in ACM SIGAda Ada Letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Model Checking Guided Abstraction and Analysis

    Model Checking Guided Abstraction and Analysis von Saïdi, Hassen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Verifying invariants using theorem proving

    Verifying invariants using theorem proving von Graf, Susanne, Saïdi, Hassen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A tool for proving invariance properties of concurrent systems automatically

    A tool for proving invariance properties of concurrent systems automatically von SaÏdi, Hassen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Construction of abstract state graphs with PVS

    Construction of abstract state graphs with PVS von Graf, Susanne, Saidi, Hassen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Unicontainers

    Unicontainers von Saidi, Hassen

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel

    Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel von Li, Wenchao, Saidi, Hassen, Sanchez, Huascar, Schäf, Martin, Schweitzer, Pascal


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement

    Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement von Fredrikson, Matthew, Joiner, Richard, Jha, Somesh, Reps, Thomas, Porras, Phillip, Saïdi, Hassen, Yegneswaran, Vinod


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Wholly!: A Build System For The Modern Software Stack

    Wholly!: A Build System For The Modern Software Stack von Gelle, Loic, Saidi, Hassen, Gehani, Ashish


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables

    Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables von Eldefrawy, Karim, Locasto, Michael, Rattanavipanon, Norrathep, Saidi, Hassen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories

    math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories von Saidi, Hassen, Jha, Susmit, Sahai, Tuhin

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Protocol Codesign

    Protocol Codesign von Saïdi, Hassen, Stavridou, Victoria, Duterte, Bruno


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Powerful techniques for the automatic generation of invariants

    Powerful techniques for the automatic generation of invariants von Bensalem, Saddek, Lakhnech, Yassine, Saidi, Hassen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Intelligent collaborative project management

    Intelligent collaborative project management von Sanchez, Daniel J, Saidi, Hassen, Sanchez, Huascar

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Intrusion-Tolerant Group Management in Enclaves: Transcript of Discussion

    Intrusion-Tolerant Group Management in Enclaves: Transcript of Discussion von Saïdi, Hassen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version

    Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version von Eldefrawy, Karim, Locasto, Michael, Rattanavipanon, Norrathep, Saidi, Hassen

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Combining Monitors for Runtime System Verification

    Combining Monitors for Runtime System Verification von Levy, Joshua, Saïdi, Hassen, Uribe, Tomás E.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Synthesizing Self-Contained Scientific Software - 2018

    Synthesizing Self-Contained Scientific Software - 2018 von Hassen Saidi, Gehani, Ashish

    Volltext bestellen
    Bild

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Abstraction of parameterized networks

    Abstraction of parameterized networks von Lesens, David, Saïdi, Hassen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: