MounierS12

Laurent Mounier, Emmanuel Sifakis. Dynamic Information-Flow Analysis for Multi-threaded Applications. In Proceedings of ISoLA, Tiziana Margaria, Bernhard Steffen (eds.), Lecture Notes in Computer Science, Volume 7609, Pages 358-371, Heraklion, Greece, 2012.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@InProceedings{MounierS12,
   Author = {Mounier, Laurent and Sifakis, Emmanuel},
   Title = {Dynamic Information-Flow Analysis for Multi-threaded Applications},
   BookTitle = {Proceedings of ISoLA},
   editor = {Margaria, Tiziana and Steffen, Bernhard},
   Volume = {7609},
   Pages = {358--371},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Address = {Heraklion, Greece},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)