Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jensen, Thomas J.
137  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Type-directed Program Transformation for Constant-Time Enfo..:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,
Raimondi, Gautier ; Besson, Frédéric ; Jensen, Thomas - p. 1-13 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

MichelsonLiSA: A Static Analyzer for Tezos:

, In: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops),
Olivieri, Luca ; Jensen, Thomas ; Negrini, Luca. - p. 80-85 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Lifting Numeric Relational Domains to Algebraic Data Types:

, In: Static Analysis; Lecture Notes in Computer Science,
Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît - p. 104-134 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Trace-based control-flow analysis:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Montagu, Benoît ; Jensen, Thomas - p. 482-496 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Numeric domains meet algebraic data types:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains,
Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît - p. 12-16 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Galois Connections for Recursive Types:

, In: From Lambda Calculus to Cybersecurity Through Program Analysis; Lecture Notes in Computer Science,
Al-Sibahi, Ahmad Salim ; Jensen, Thomas ; Møgelberg, Rasmus Ejlers. - p. 105-131 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Compiling Sandboxes: Formally Verified Software Fault Isola..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Besson, Frédéric ; Blazy, Sandrine ; Dang, Alexandre.. - p. 499-524 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Navigating Global Online Market Places (GOMPs) – An ADR Per..:

, In: IFIP Advances in Information and Communication Technology; ICT Unbounded, Social Impact of Bright ICT Adoption,
Baiyere, Abayomi ; Jensen, Thomas ; Fischer, Louise... - p. 529-535 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Weight-Mate : Adaptive Training Support for Weight Lifti..:

, In: Proceedings of the 31st Australian Conference on Human-Computer-Interaction,
Paay, Jeni ; Kjeldskov, Jesper ; Sorensen, Frederick.. - p. 95-105 , 2019
Link: https://dl.acm.org/doi/1..
 
?
10

Where to Now? New E-learning Concepts and Co-creation at th..:

, In: Communications in Computer and Information Science; Information Literacy in the Workplace,
Cranfield, Andrew ; Jensen, Thomas - p. 576-584 , 2018
Link: https://doi.org/10.1007/..
 
?
11

Securing Compilation Against Memory Probing:

, In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security,
Besson, Frédéric ; Dang, Alexandre ; Jensen, Thomas - p. 29-40 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Declarative cartography under fine-grained access control:

, In: Proceedings of the 30th International Conference on Scientific and Statistical Database Management,
Jensen, Thomas ; Salles, Marcos Antonio Vaz ; Bang, Michael Vindahl - p. 1-12 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Verifying Higher-Order Functions with Tree Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Genet, Thomas ; Haudebourg, Timothée ; Jensen, Thomas - p. 565-582 , 2018
Link: https://doi.org/10.1007/..
 
?
14

Modular Software Fault Isolation as Abstract Interpretation:

, In: Static Analysis; Lecture Notes in Computer Science,
Besson, Frédéric ; Jensen, Thomas ; Lepiller, Julien - p. 166-186 , 2018
Link: https://doi.org/10.1007/..
 
?
15

Certified Abstract Interpretation with Pretty-Big-Step Sema..:

, In: Proceedings of the 2015 Conference on Certified Programs and Proofs,
Bodin, Martin ; Jensen, Thomas ; Schmitt, Alan - p. 29-40 , 2015
Link: https://dl.acm.org/doi/1..
 
1-15