Gurvan Le Guernic

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

5EEGurvan Le Guernic: Precise Dynamic Verification of Confidentiality. VERIFY 2008
4EEGurvan Le Guernic, Julien Perret: FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. Electr. Notes Theor. Comput. Sci. 219: 3-18 (2008)
3EEGurvan Le Guernic: Information Flow Testing. ASIAN 2007: 33-47
2EEGurvan Le Guernic: Automaton-based Confidentiality Monitoring of Concurrent Programs. CSF 2007: 218-232
1EEGurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt: Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89

Coauthor Index

1Anindya Banerjee [1]
2Thomas P. Jensen [1]
3Julien Perret [4]
4David A. Schmidt [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)