Thomas Jensen

Thomas Jensen

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4420083
French National Institute for Research in Computer Science and Control
person_outline Thomas Jensen's MOST POPULAR ARTICLES
1-) Verification of control flow based security propertiesT Jensen, D Le Métayer, T ThornProceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No …, 19992081999
2-) Automata-based confidentiality monitoringGL Guernic, A Banerjee, T Jensen, DA SchmidtAnnual Asian Computing Science Conference, 75-89, 20061762006
3-) Homology of higher dimensional automataE Goubault, TP JensenInternational Conference on Concurrency Theory, 254-268, 19921261992
4-) Model checking security properties of control flow graphsF Besson, T Jensen, D Le Métayer, T ThornJournal of computer security 9 (3), 217-250, 20011152001
5-) Strictness analysis in logical formTP JensenConference on Functional Programming Languages and Computer Architecture …, 19911021991