Search - Archive ouverte HAL Access content directly

Filter your results

77 Results
authFullName_s : Thomas Jensen

Skeletal Muscle–Specific Activation of G q Signaling Maintains Glucose Homeostasis

Derek Bone , Jaroslawna Meister , Jonas Knudsen , Diptadip Dattaroy , Amanda Cohen et al.
Diabetes, 2019, 68 (6), pp.1341-1352. ⟨10.2337/db18-0796⟩
Journal articles hal-02398236v1
Image document

Securing Compilation Against Memory Probing

Frédéric Besson , Alexandre Dang , Thomas Jensen
PLAS '18 - 13th Workshop on Programming Languages and Analysis for Security, Oct 2018, Toronto, Canada. pp.29-40, ⟨10.1145/3264820.3264822⟩
Conference papers hal-01901765v1
Image document

Hybrid Monitoring of Attacker Knowledge

Frédéric Besson , Nataliia Bielova , Thomas Jensen
29th IEEE Computer Security Foundations Symposium, 2016, Lisboa, Portugal
Conference papers hal-01310572v1

Kinetic energy distributions in pionic hydrogen

Thomas Jensen
The European Physical Journal D : Atomic, molecular, optical and plasma physics, 2004, 31, pp.11. ⟨10.1140/epjd/e2004-00125-0⟩
Journal articles istex hal-00003766v1
Image document

A Formal Model of Access Control for Mobile Interactive Devices

Frédéric Besson , Guillaume Dufay , Thomas Jensen
Other publications inria-00083453v1
Image document

Semantic Foundations and Inference of Non-null Annotations

Laurent Hubert , Thomas Jensen , David Pichardie
10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), 2008, Oslo, Norway
Conference papers inria-00332356v1
Image document

Control-flow analysis of function call and returns by abstract interpretation

Jan Midtgaard , Thomas Jensen
ACM International Conference on Functional Programming, Sep 2009, Edinburgh, United Kingdom. ⟨10.1145/1596550.1596592⟩
Conference papers inria-00574944v1
Image document

Building CFA for λ-calculus from Skeletal Semantics

Thomas Jensen , Vincent Rébiscoul , Alan Schmitt
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.152-171
Conference papers hal-03936686v1
Image document

A PCC Architecture based on Certified Abstract Interpretation

Frédéric Besson , Thomas Jensen , David Pichardie
[Research Report] PI 1764, 2005, pp.35
Reports inria-00000866v1

Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. Proceedings

Sandrine Blazy , Thomas Jensen
Sandrine Blazy; Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Aug 2015, Saint-Malo, France. Lecture Notes in Computer Science (LNCS) (9291), Springer, pp.335, 2015, 978-3-662-48287-2
Proceedings hal-01194558v1
Image document

A Provably Correct Stackless Intermediate Representation for Java Bytecode

Delphine Demange , Thomas Jensen , David Pichardie
The 8th Asian Symposium on Programming Languages and Systems (APLAS), 2010, Shangai, China
Conference papers inria-00537815v1
Image document

Hybrid Typing of Secure Information Flow in a JavaScript-like Language

José Fragoso Santos , Thomas Jensen , Tamara Rezk , Alan Schmitt
International Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain
Conference papers hal-01243029v1
Image document

Skeletal Semantics and their Interpretations

Martin Bodin , Philippa Gardner , Thomas Jensen , Alan Schmitt
Proceedings of the ACM on Programming Languages, In press, 44, pp.1-31. ⟨10.1145/3290357⟩
Journal articles hal-01881863v3
Image document

Fast inference of polynomial invariants for imperative programs

David Cachera , Thomas Jensen , Arnaud Jobin , Florent Kirchner
[Research Report] RR-7627, INRIA. 2011, pp.31
Reports inria-00595783v1
Image document

Control-flow analysis of function calls and returns by abstract interpretation

Jan Midtgaard , Thomas Jensen
Information and Computation, 2012, 2012, pp.49-76. ⟨10.1016/j.ic.2011.11.005⟩
Journal articles hal-00758152v1

Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases

David Cachera , Thomas Jensen , Arnaud Jobin , Florent Kirchner
SAS - 19th International Static Analysis Symposium - 2012, Sep 2012, Deauville, France
Conference papers hal-00758890v1
Image document

Termination of Ethereum's Smart Contracts

Thomas Genet , Thomas Jensen , Justine Sauvage
[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2020
Reports hal-02555738v3
Image document

Lifting Numeric Relational Domains to Algebraic Data Types

Santiago Bautista , Thomas Jensen , Benoît Montagu
SAS 2022 - 29th International Symposium on Static Analysis, Dec 2022, Auckland, New Zealand. pp.104-134, ⟨10.1007/978-3-031-22308-2_6⟩
Conference papers hal-03906375v1
Image document

Numeric Domains Meet Algebraic Data Types

Santiago Bautista , Thomas Jensen , Benoît Montagu
NSAD 2020 - 9th International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual, United States. pp.12-16, ⟨10.1145/3427762.3430178⟩
Conference papers hal-03028476v1
Image document

Certified Result Checking for Polyhedral Analysis of Bytecode Programs

Frédéric Besson , Thomas Jensen , David Pichardie , Tiphaine Turpin
The 5th International Symposium on Trustworthy Global Computing (TGC), 2010, Munich, Germany
Conference papers inria-00537816v1
Image document

Verifying Resource Access Control on Mobile Interactive Devices

Frédéric Besson , Guillaume Dufaye , Thomas Jensen , David Pichardie
Journal of Computer Security, 2010, 18 (6), pp.971-998
Journal articles inria-00537821v1
Image document

Hybrid information flow analysis against web tracking (invited talk)

Thomas Jensen
CRiSIS 2017 - 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.1-33
Conference papers hal-01658896v1
Image document

Modeling and Abstraction of Memory Management in a Hypervisor

Pauline Bolignano , Thomas Jensen , Vincent Siles
Fundamental Approaches to Software Engineering (FASE’16), Apr 2016, Eindhoven, Netherlands. pp.214 - 230, ⟨10.1007/978-3-662-49665-7_13⟩
Conference papers hal-01394174v1
Image document

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

David Cachera , Thomas Jensen , Arnaud Jobin , Pascal Sotin
[Research Report] RR-6338, INRIA. 2007, pp.35
Reports inria-00182338v4
Image document


Thomas Jensen
DAFNE 2004: Physics at meson factories, 2004, Frascati, Italy
Conference papers hal-00003765v1
Image document

Computing stack maps with interfaces

Frédéric Besson , Thomas Jensen , Tiphaine Turpin
[Research Report] PI 1879, 2008, pp.39
Reports inria-00200724v2
Image document

Compiling Sandboxes: Formally Verified Software Fault Isolation

Frédéric Besson , Sandrine Blazy , Alexandre Dang , Thomas Jensen , Pierre Wilke et al.
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.499-524, ⟨10.1007/978-3-030-17184-1_18⟩
Conference papers hal-02316189v1
Image document

SawjaCard: A Static Analysis Tool for Certifying Java Card Applications

Frédéric Besson , Thomas Jensen , Pierre Vittet
21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩
Conference papers hal-01093327v1
Image document

Enforcing Secure Object Initialization in Java

Laurent Hubert , Thomas Jensen , Vincent Monfort , David Pichardie
15th European Symposium on Research in Computer Security (ESORICS), 2010, Athènes, Greece. pp.101-115
Conference papers inria-00503953v1
Image document

Sawja: Static Analysis Workshop for Java

Laurent Hubert , Nicolas Barré , Frédéric Besson , Delphine Demange , Thomas Jensen et al.
The International Conference on Formal Verification of Object-Oriented Software, Beckert, Bernhard and Marché, Claude, 2010, Paris, France. pp.253--267
Conference papers inria-00504047v1