30 results  save search

tel-00011212v1  Habilitation à diriger des recherches
Pascal Fradet. Approches langages pour la conception et la mise en oeuvre de programmes
Génie logiciel [cs.SE]. Université Rennes 1, 2000
inria-00504006v1  Conference papers
Laurent Hubert. A Non-Null Annotation Inferencer for Java Bytecode
PASTE: Program analysis for software tools and engineering, Nov 2008, Atlanta, Georgia, United States. pp.10.1145/1512475.1512484, ⟨10.1145/1512475.1512484⟩
hal-01093388v1  Conference papers
Albert BenvenisteBenoît CaillaudBruno PaganoMarc Pouzet. A Type-Based Analysis of Causality Loops in Hybrid Modelers
HSCC '14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩
dumas-01088788v1  Master thesis
Bertrand Bonnefoy-Claudet. Security analysis of Android applications
Formal Languages and Automata Theory [cs.FL]. 2014
hal-01078386v1  Conference papers
Jacques-Henri JourdanVincent LaporteSandrine BlazyXavier LeroyDavid Pichardie. A formally-verified C static analyzer
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. pp.247-259, ⟨10.1145/2676726.2676966⟩
inria-00589690v1  Conference papers
Adnan BouakazIsabelle PuautErven Rohou. Predictable Binary Code Cache: A First Step Towards Reconciling Predictability and Just-In-Time Compilation
The 17th IEEE Real-Time and Embedded Technology and Applications Symposium, Marco Caccamo, Apr 2011, Chicago, United States
hal-01385196v1  Conference papers
Mariem GraaFrédéric CuppensNora Cuppens-BoulahiaJean-Louis Lanet. Tracking explicit and control flows in Java and native Android apps code,
ICISSP 2016 : 2nd International Conference on Information Systems Security and Privacy,, Feb 2016, Roma, Italy. ⟨10.5220/0005686603070316⟩
hal-01535862v1  Conference papers
Laurent GeorgetMathieu JaumeGuillaume PiolleFrédéric TronelValérie Viet Triem Tong. Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux
5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩
inria-00638698v1  Conference papers
Damien HardyBenjamin LesageIsabelle Puaut. Scalable Fixed-Point Free Instruction Cache Analysis
The 32nd IEEE Real-Time Systems Symposium (RTSS 2011), Nov 2011, Vienne, Austria
hal-01590442v1  Conference papers
Claire MaizaPascal RaymondCatherine Parent-VigourouxArmelle BonenfantFabienne Carrier et al.  The W-SEPT Project: Towards Semantic-Aware WCET Estimation
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
hal-01618360v1  Conference papers
Mounir AssafDavid NaumannJulien SignolesEric TotelFrédéric Tronel. Hypercollecting Semantics and its Application to Static Analysis of Information Flow
POPL 2017 - ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩
hal-01898058v1  Conference papers
Ahmad Salim Al-SibahiAleksandar DimovskiThomas JensenAndrzej Wasowski. Verification of High-Level Transformations with Inductive Refinement Types
GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩
tel-01232388v1  Theses
Valéria Lelli. Testing and maintenance of graphical user interfaces
Computer Science [cs]. INSA Rennes, 2015. English
inria-00504028v2  Journal articles
Laurent HubertDavid Pichardie. Soundly Handling Static Fields: Issues, Semantics and Analysis
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), 253 (5), pp.15 - 30. ⟨10.1016/j.entcs.2009.11.012⟩
tel-00881301v1  Theses
Arnaud Jobin. Dioïdes et idéaux de polynômes en analyse statique
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. Français. ⟨NNT : 2012DENS0004⟩
tel-00846347v1  Theses
Pierre-Emmanuel Cornilleau. Certification of static analysis in many-sorted first-order logic
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0012⟩
tel-01657148v2  Theses
Laurent Georget. Suivi de flux d'information correct pour les systèmes d'exploitation Linux
Système d'exploitation [cs.OS]. Université Rennes 1, 2017. Français. ⟨NNT : 2017REN1S040⟩
tel-02132759v1  Theses
Mourad Leslous. Highlight and execute suspicious paths in Android malware
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S090⟩
tel-01944510v3  Theses
Alix Trieu. Verifying constant-time implementations in a verified compilation toolchain
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S099⟩