Folgen
Thomas Jensen
Thomas Jensen
Directeur de recherche INRIA Rennes and IRISA
Bestätigte E-Mail-Adresse bei inria.fr
Titel
Zitiert von
Zitiert von
Jahr
Verification of control flow based security properties
T Jensen, D Le Métayer, T Thorn
Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No …, 1999
2101999
Automata-based confidentiality monitoring
G Le Guernic, A Banerjee, T Jensen, DA Schmidt
Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007
1742007
Homology of higher dimensional automata
E Goubault, TP Jensen
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
1291992
Model checking security properties of control flow graphs
F Besson, T Jensen, D Le Métayer, T Thorn
Journal of computer security 9 (3), 217-250, 2001
1172001
Strictness analysis in logical form
TP Jensen
Functional Programming Languages and Computer Architecture: 5th ACM …, 1991
991991
Proof-carrying code from certified abstract interpretation and fixpoint compression
F Besson, T Jensen, D Pichardie
Theoretical Computer Science 364 (3), 273-291, 2006
812006
Security and dynamic class loading in java: A formalisation
T Jensen, D Le Métayer, T Thorn
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
811998
Extracting a data flow analyser in constructive logic
D Cachera, T Jensen, D Pichardie, V Rusu
Theoretical Computer Science 342 (1), 56-78, 2005
712005
Polyhedral analysis for synchronous languages
F Besson, T Jensen, JP Talpin
Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999
711999
Semantic foundations and inference of non-null annotations
L Hubert, T Jensen, D Pichardie
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008
702008
Rewriting approximations for fast prototyping of static analyzers
Y Boichut, T Genet, T Jensen, L Le Roux
Term Rewriting and Applications: 18th International Conference, RTA 2007 …, 2007
682007
Abstract interpretation in logical form
TP Jensen
PhD Thesis, the Imerial College, 1992
661992
Certified memory usage analysis
D Cachera, T Jensen, D Pichardie, G Schneider
FM 3582, 91-106, 2005
652005
A calculational approach to control-flow analysis by abstract interpretation
J Midtgaard, T Jensen
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008
522008
Certified Result Checking for Polyhedral Analysis of Bytecode Programs.
F Besson, TP Jensen, D Pichardie, T Turpin
TGC 6084, 253-267, 2010
51*2010
Class analyses as abstract interpretations of trace semantics
F Spoto, T Jensen
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (5), 578-630, 2003
492003
Disjunctive strictness analysis
TP Jensen
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
481992
The MOBIUS Proof Carrying Code Infrastructure: (An Overview)
G Barthe, P Crégut, B Grégoire, T Jensen, D Pichardie
Formal Methods for Components and Objects: 6th International Symposium, FMCO …, 2008
452008
UML-CASTING: Test synthesis from UML models using constraint resolution
L Van Aertryck, T Jensen
Proc. AFADL’2003 (Approches Formelles dans l’Assistance au Dévelopment de …, 2003
452003
Sawja: Static Analysis Workshop for Java.
L Hubert, N Barré, F Besson, D Demange, TP Jensen, V Monfort, ...
FoVeOOS 6528, 92-106, 2010
442010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20