Zum Inhalt springen

  1. Graf, Susanne [Verfasser:in] ; Mounier, Laurent [Sonstige Person, Familie und Körperschaft]

    Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, 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, 2004

    Erschienen in: Lecture notes in computer science ; 2989

  4. Boespflug, Etienne [Verfasser:in] ; Université Grenoble Alpes [Mitwirkende:r]; Potet, Marie-Laure [Mitwirkende:r]; Mounier, Laurent [Mitwirkende:r]; Ene, Cristian [Mitwirkende:r]

    Outils pour l'analyse de code et de contre-mesures pour l'injection de fautes multiples ; Tools for code and countermeasures analysis against multiple faults attacks

    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, 2023-04-28

  5. Feist, Josselin [Verfasser:in] ; Université Grenoble Alpes (ComUE) [Mitwirkende:r]; Potet, Marie-Laure [Mitwirkende:r]; Mounier, Laurent [Mitwirkende:r]

    Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free ; Analyses de code binaire pour la détection et le déclenchement de use-after-free

    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, 2017-03-29

  6. Jourdan, Guy-Vincent [Herausgeber:in]; Mounier, Laurent [Herausgeber:in]; Adams, Carlisle [Herausgeber:in]; Sèdes, Florence [Herausgeber:in]; Garcia-Alfaro, Joaquin [Herausgeber:in]

    Foundations and Practice of Security : 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12–14, 2022, Revised Selected Papers - [1st ed. 2023.]

    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 Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Erschienen in: Lecture Notes in Computer Science ; 13877

  7. Jaffrezic-Renault, Nicole [Verfasser:in] ; Agouzoul, Mohamed [Mitwirkende:r]; Alhaj, Omar [Mitwirkende:r]; Allain, Pierre Etienne [Mitwirkende:r]; Allain, Pierre-Etienne [Mitwirkende:r]; Anguy, Yannick [Mitwirkende:r]; Antoine, Rodolphe [Mitwirkende:r]; Apaolaza, Xabier [Mitwirkende:r]; Assaad, Jamal [Mitwirkende:r]; Audouard, E [Mitwirkende:r]; Auger, F [Mitwirkende:r]; Balleyguier, L [Mitwirkende:r]; Baraket, Abdoullatif [Mitwirkende:r]; Barthel, Etienne [Mitwirkende:r]; Baudot, J [Mitwirkende:r]; Bausells, Joan [Mitwirkende:r]; Belin, Étienne [Mitwirkende:r]; Bertin, Maxime [Mitwirkende:r]; Betatache, Amina [Mitwirkende:r]; Bongiovanni, Eric [Mitwirkende:r]; Bonhommé, Anne [Mitwirkende:r]; Bonnet, Stéphanie [Mitwirkende:r]; Bore, Thierry [Mitwirkende:r]; Bosseboeuf, Alain [Mitwirkende:r]; Bouazaze, Hanane [Mitwirkende:r]; [...]

    Instrumentation et Interdisciplinarité : Capteurs Chimiques et Physiques

    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.

    Les Ulis: EDP Sciences, [2021] ; [Online-Ausgabe]

    Erschienen in: Intégrations des Savoirs et des Savoir-faire

  9. Mounier, Laurent; Sifakis, Emmanuel

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Dynamic Information-Flow Analysis for Multi-threaded Applications

    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.

    Springer Berlin Heidelberg, 2012

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012), Seite 358-371

  11. Krimm, Jean-Pierre; Mounier, Laurent

    Tools and Algorithms for the Construction and Analysis of Systems: Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems

    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.

    Springer Berlin Heidelberg, 2000

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems (2000), Seite 266-282