Skip to contents

Graf, Susanne [Author] ; Mounier, Laurent [Other]

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 2989
Graf, Susanne [Author] ; Mounier, Laurent [Other]

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 298900
Sifakis, Emmanuel [Author] ; Grenoble [Contributor]; Bensalem, Saddek [Contributor]; Mounier, Laurent [Contributor]

Programmation efficace et sécurisé d'applications à mémoire partagée ; Towards efficient and secure shared memory applications

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2013-05-06
Boespflug, Etienne [Author] ; Université Grenoble Alpes [Contributor]; Potet, Marie-Laure [Contributor]; Mounier, Laurent [Contributor]; Ene, Cristian [Contributor]

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

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2023-04-28
Feist, Josselin [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Potet, Marie-Laure [Contributor]; Mounier, Laurent [Contributor]

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

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2017-03-29
Jourdan, Guy-Vincent [Editor]; Mounier, Laurent [Editor]; Adams, Carlisle [Editor]; Sèdes, Florence [Editor]; Garcia-Alfaro, Joaquin [Editor]

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

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

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

Instrumentation et Interdisciplinarité : Capteurs Chimiques et Physiques

View online
Schließen

Access

... to E-book via De Gruyter

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Intégrations des Savoirs et des Savoir-faire
Sifakis, Emmanuel; Mounier, Laurent

Hardware and Software: Verification and Testing: Predictive Taint Analysis for Extended Testing of Parallel Executions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2013

Published in: Hardware and Software: Verification and Testing (2013), Seite 129-144
Mounier, Laurent; Sifakis, Emmanuel

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

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012), Seite 358-371
Garavel, Hubert; Mounier, Laurent

Specification and verification of various distributed leader election algorithms for unidirectional ring networks

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1997

Published in: Science of Computer Programming, 29 (1997) 1-2, Seite 171-197
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

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: Tools and Algorithms for the Construction and Analysis of Systems (2000), Seite 266-282
Krimm, Jean-Pierre; Mounier, Laurent

Tools and Algorithms for the Construction and Analysis of Systems: Compositional state space generation from Lotos programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: Tools and Algorithms for the Construction and Analysis of Systems (1997), Seite 239-258
Fernandez, Jean -Claude; Mounier, Laurent

Computer Aided Verification: “On the fly” verification of behavioural equivalences and preorders

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1992

Published in: Computer Aided Verification (1992), Seite 181-191
Fernandez, Jean-Claude; Mounier, Laurent

Lecture Notes in Computer Science: A tool set for deciding behavioral equivalences

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: Lecture Notes in Computer Science (1991), Seite 23-42
Cristian Ene; Laurent Mounier; Marie-Laure Potet

Output-sensitive Information flow analysis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: Logical Methods in Computer Science (2021)
Ene, Cristian; Mounier, Laurent; Potet, Marie-Laure

Formal Techniques for Distributed Objects, Components, and Systems: Output-Sensitive Information Flow Analysis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2019

Published in: Formal Techniques for Distributed Objects, Components, and Systems (2019), Seite 93-110
Garavel, Hubert; Lang, Frédéric; Mounier, Laurent

Formal Methods for Industrial Critical Systems: Compositional Verification in Action

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Formal Methods for Industrial Critical Systems (2018), Seite 189-210
Feist, Josselin; Mounier, Laurent; Potet, Marie-Laure

Software Engineering and Formal Methods: Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Software Engineering and Formal Methods (2016), Seite 76-81
Feist, Josselin; Mounier, Laurent; Potet, Marie-Laure

Statically detecting use after free on binary code

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2014

Published in: Journal of Computer Virology and Hacking Techniques, 10 (2014) 3, Seite 211-217
Berthier, Nicolas; Maraninchi, Florence; Mounier, Laurent

Synchronous programming of device drivers for global resource control in embedded operating systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2013

Published in: ACM Transactions on Embedded Computing Systems, 12 (2013) 1s, Seite 1-26

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication