Thomas Jensen - PDFSEARCH.IO - Document Search Engine

Thomas Jensen
Results: 78

#	Item
1	Small Witnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, FRennes, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:30
2	Result Certification of Static Program Analysers with Automated Theorem Provers∗ Frédéric Besson, Pierre-Emmanuel Cornilleau, and Thomas Jensen Inria Rennes – Bretagne Atlantique Campus de Beaulieu, 35042, Rennes C Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:29
3	Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA/CNRS Campus de Beaulieu FRennes Cedex Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:28
4	Hybrid Information Flow Monitoring Against Web Tracking Frédéric Besson, Nataliia Bielova, and Thomas Jensen Inria Rennes, France Abstract—Motivated by the problem of stateless Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:28
5	Under consideration for publication in J. Functional Programming 1 Interfaces for stack inspection Fr´ed´eric Besson and Thomas de Grenier de Latour and Thomas Jensen∗ Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:28
6	Polyhedral Analysis for Synchronous Languages Frdric Besson, Thomas Jensen, and Jean-Pierre Talpin Irisa/Cnrs/Inria Campus de Beaulieu, FRennes Cedex, France {fbesson,jensen,talpin}@irisa.fr Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20
7	Modular Class Analysis with datalog Fr d ric Besson and Thomas Jensen IRISA/INRIA/CNRS Campus de Beaulieu FRennes, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:28
8	Hybrid Monitoring of Attacker Knowledge Frédéric Besson, Nataliia Bielova and Thomas Jensen Inria, France Abstract—Enforcement of noninterference requires proving that an attacker’s knowledge about the initial Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-07-18 05:18:35
9	Options on Energy Portfolios in an HJM Framework Thomas Lyse Hansen SNG Consult Bjarne Astrup Jensen Department of Finance Add to Reading List Source URL: www.bbk.ac.uk Language: English - Date: 2007-03-27 13:46:59 Economy Finance Money Futures contract Financial markets Exchange Forward contract Commodity Option Spot contract
10	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action