PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Mounier, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
Protocol Verification with the ALDÉBARAN Toolset.

, , , and . STTT, 1 (1-2): 166-184 (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Laurent Helden University of Stuttgart

 

Other publications of authors with the same name

On the Expressiveness of some Runtime Validation Techniques., , and . HOWARD-60, page 112-123. EasyChair, (2014)SDL for Real-Time: What is Missing?, , , , , and . SAM, page 108-. VERIMAG, IRISA, SDL Forum, (2000)LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis., , and . ARES, page 498-505. IEEE Computer Society, (2014)The ARESA Project: Facilitating Research, Development and Commercialization of WSNs., , , , , , , , , and 2 other author(s). SECON, page 590-599. IEEE, (2007)BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis., , , , , , and . SANER, page 653-656. IEEE Computer Society, (2016)CADP - A Protocol Validation and Verification Toolbox., , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 437-440. Springer, (1996)Ön the Fly" Verification of Behavioural Equivalences and Preorders., and . CAV, volume 575 of Lecture Notes in Computer Science, page 181-191. Springer, (1991)Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties., , and . ICISS, volume 5352 of Lecture Notes in Computer Science, page 41-55. Springer, (2008)Timed Extensions for SDL., , , , , and . SDL Forum, volume 2078 of Lecture Notes in Computer Science, page 223-240. Springer, (2001)Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free., , , , and . SSPREW@ACSAC, page 2:1-2:12. ACM, (2016)