Treffer 1 - 15 von 15 für Suche 'Soueidi, Chukri', Suchdauer: 0,78s Treffer weiter einschränken
  1. 1
    Ingénierie de l'instrumentation pour la vérification de l'exécution

    Ingénierie de l'instrumentation pour la vérification de l'exécution von Soueidi, Chukri

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Efficient and expressive bytecode-level instrumentation for Java programs

    Efficient and expressive bytecode-level instrumentation for Java programs von Soueidi, Chukri, Monnier, Marius, Falcone, Yliès


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM

    Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM von Soueidi, Chukri, Falcone, Yliès


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Instrumentation for RV: From Basic Monitoring to Advanced Use Cases

    Instrumentation for RV: From Basic Monitoring to Advanced Use Cases von Soueidi, Chukri, Falcone, Yliès


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Sound Concurrent Traces for Online Monitoring

    Sound Concurrent Traces for Online Monitoring von Soueidi, Chukri, Falcone, Yliès


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Residual Runtime Verification via Reachability Analysis

    Residual Runtime Verification via Reachability Analysis von Soueidi, Chukri, Falcone, Yliès


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Monitoring Business Process Compliance Across Multiple Executions with Stream Processing

    Monitoring Business Process Compliance Across Multiple Executions with Stream Processing von Soueidi, Chukri, Falcone, Yliès, Hallé, Sylvain


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Sound Concurrent Traces for Online Monitoring Technical Report

    Sound Concurrent Traces for Online Monitoring Technical Report von Soueidi, Chukri, Falcone, Ylies

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    BISM: Bytecode-Level Instrumentation for Software Monitoring

    BISM: Bytecode-Level Instrumentation for Software Monitoring von Soueidi, Chukri, Kassem, Ali, Falcone, Yliès


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Sound Concurrent Traces for Online Monitoring Technical Report

    Sound Concurrent Traces for Online Monitoring Technical Report von Soueidi, Chukri, Falcone, Ylies

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    BISM: Bytecode-Level Instrumentation for Software Monitoring

    BISM: Bytecode-Level Instrumentation for Software Monitoring von Soueidi, Chukri, Kassem, Ali, Falcone, Yliès

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Efficient and Expressive Bytecode-Level Instrumentation for Java Programs

    Efficient and Expressive Bytecode-Level Instrumentation for Java Programs von Soueidi, Chukri, Monnier, Marius, Kassem, Ali, Falcone, Yliès

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    BISM: Bytecode-Level Instrumentation for Software Monitoring

    BISM: Bytecode-Level Instrumentation for Software Monitoring von Soueidi, Chukri, Kassem, Ali, Falcone, Yliès

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Efficient and Expressive Bytecode-Level Instrumentation for Java Programs

    Efficient and Expressive Bytecode-Level Instrumentation for Java Programs von Soueidi, Chukri, Monnier, Marius, Kassem, Ali, Falcone, Yliès

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins

    Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins von Hallé, Sylvain, Soueidi, Chukri, Falcone, Yliès, Kamburjan, Eduard, Klungre, Vidar, Tapia Tarifa, Silvia Lizeth, Schlatte, Rudolf, Giese, Martin, Cameron, David, Johnsen, Einar Broch, Schiff, Jonas, Weigl, Alexander, Leucker, Martin, Sachenbacher, Martin, Vosteen, Lars Bernd, Thoma, Daniel, Ali, Aliyu Tanko, Pferscher, Andrea, Wunderling, Benjamin, Aichernig, Bernhard K, Muskardin, Edi

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: