Zum Inhalt springen

  1. Roussanaly, Victor [VerfasserIn]; Falcone, Yliès [VerfasserIn] ; Victor Roussanaly and Yliès Falcone [MitwirkendeR]

    Decentralised Runtime Verification of Timed Regular Expressions

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  3. Falcone, Ylies [HerausgeberIn]; Sánchez, César [HerausgeberIn]

    Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 10012

  4. Bartocci, Ezio [HerausgeberIn]; Falcone, Yliès [HerausgeberIn]; Leucker, Martin [HerausgeberIn]

    Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday - [1st ed. 2021.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Programming and Software Engineering ; 13065

  5. Amiar, Azzeddine [VerfasserIn] ; Grenoble [MitwirkendeR]; Bousquet, Lydie du [MitwirkendeR]; Falcone, Yliès Carlo [MitwirkendeR]

    Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits ; Assit to execution trace analysis in the microcontrollers 32 bits context

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-11-27

  6. El hokayem, Antoine [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Falcone, Yliès Carlo [MitwirkendeR]

    Vérification à l'exécution de spécifications décentralisées hiérarchiques ; Runtime Verification of Hierarchical Decentralized Specifications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-18

  7. Jakse, Raphaël [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Méhaut, Jean-François [MitwirkendeR]; Falcone, Yliès Carlo [MitwirkendeR]

    Vérification interactive de propriétés à l'exécution ; Interactive Runtime Verification

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-12-18

  8. Barringer, Howard [VerfasserIn] ; Falcone, Ylies [Sonstige Person, Familie und Körperschaft]; Finkbeiner, Bernd [Sonstige Person, Familie und Körperschaft]; Havelund, Klaus [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Pace, Gordon J. [Sonstige Person, Familie und Körperschaft]; Rosu, Grigore [Sonstige Person, Familie und Körperschaft]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]; Tillmann, Nikolai [Sonstige Person, Familie und Körperschaft]

    Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6418

  10. Falcone, Yliès

    Runtime Verification: Second School on Runtime Verification, as Part of the ArVi COST Action 1402 : Overview and Reflections : Overview and Reflections

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2018

    Erschienen in: Runtime Verification

  17. Gallay, Florian; Falcone, Yliès

    Decentralized LTL Enforcement

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Open Publishing Association, 2021

    Erschienen in: Electronic Proceedings in Theoretical Computer Science