Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00724508v1 Conference papers Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
	tel-01751072v1 Theses Philippe Beaucamps. Analyse de programmes malveillants par abstraction de comportements Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL092N⟩
	hal-01055656v1 Journal articles Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon. Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2014, 40, pp.617-632. ⟨10.1109/TSE.2014.2322867⟩
	hal-03028476v1 Conference papers Santiago Bautista, Thomas Jensen, Benoît Montagu. Numeric Domains Meet Algebraic Data Types 9th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020), Nov 2020, Virtual, United States. pp.12-16, ⟨10.1145/3427762.3430178⟩
	hal-00700319v1 Reports Alexandre Bartel, Jacques Klein, Martin Monperrus, Kevin Allix, Yves Le Traon. Improving privacy on android smartphones through in-vivo bytecode instrumentation [Research Report] arXiv:1208.4536, University of Luxembourg. 2012
	hal-00787212v1 Reports Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear relation analysis (extended version) 2013
	hal-01408266v1 Conference papers Krishna Narasimhan, Christoph Reichenbach, Julia Lawall. Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation PEPM 2017 Workshop on Partial Evaluation and Program Manipulation, Jan 2017, Paris, France
	hal-03032244v1 Journal articles Jia-Ju Bai, Julia Lawall, Shi-Min Hu. Effective Detection of Sleep-in-Atomic-Context Bugs in the Linux Kernel ACM Transactions on Computer Systems, Association for Computing Machinery, 2020, 36 (4), pp.10. ⟨10.1145/3381990⟩
	inria-00544957v1 Conference papers Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. Embedding Verifiable Information Flow Analysis Proc. 4th Annual Conference on Privacy, Security and Trust, 2006, Toronto, Canada. pp.343--352
	hal-01110903v1 Conference papers Mark Hills, Paul Klint, Jurgen Vinju. Static, lightweight includes resolution for PHP ASE 29 Proceedings of International Conference on Automated Software Engineering 2014, Sep 2014, Vasteras, Sweden. pp.503 - 514, ⟨10.1145/2642937.2643017⟩
	inria-00332389v1 Conference papers Jean-Yves Marion, Romain Péchoux. Characterizations of Polynomial Complexity Classes with a Better Intensionality Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming - PPDP 2008, Universidad Polytechnica, Jul 2008, Valencia, Spain. pp.79-88, ⟨10.1145/1389449.1389460⟩
	hal-00760917v2 Reports Guillaume Andrieu, Christophe Alias, Laure Gonnord. Modular termination of C programs [Research Report] RR-8166, INRIA. 2012
	inria-00594396v1 Reports Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion. Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version [Research Report] 2011
	tel-00710193v1 Theses Thi Minh Tuyen Nguyen. Taking architecture and compiler into account in formal proofs of numerical programs Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112090⟩
	inria-00081200v2 Reports Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns [Research Report] RR-5937, INRIA. 2006, pp.23
	hal-01829135v1 Conference papers Sarra Habchi, Xavier Blanc, Romain Rouvoy. On Adopting Linters to Deal with Performance Concerns in Android Apps ASE18 - Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering, Sep 2018, Montpellier, France. ⟨10.1145/3238147.3238197⟩
	hal-00780521v2 Reports Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction 2013
	tel-00644079v1 Theses Bas Basten. Ambiguity Detection for Programming Language Grammars Computation and Language [cs.CL]. Universiteit van Amsterdam, 2011. English
	hal-00484906v1 Journal articles Hervé Grall. A Confinement Criterion for Securely Executing Mobile Code Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2006, 1 (11), pp.59-106
	inria-00434037v1 Reports Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord, Clément Quinson. Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions [Research Report] 2009, pp.31
	tel-00133591v3 Theses Pierre Genevès. Logics for XML Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English
	hal-00801571v1 Conference papers Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Rank: a tool to check program termination and computational complexity Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
	hal-01252321v1 Conference papers Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH European MPI Users' Group Meeting , Sep 2015, Bordeaux, France. ⟨10.1145/1235⟩
	hal-00700074v2 Reports Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon. Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android [Research Report] hal-00700074, SnT. 2012
	inria-00464356v1 Reports Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings [Research Report] RR-7235, INRIA. 2010, pp.32
	tel-00870971v1 Theses Benjamin Lesage. Architecture multi-coeurs et temps d'exécution au pire cas Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S034⟩
	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⟩
	inria-00185263v3 Reports Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot. A sound dependency analysis for secure information flow (extended version) [Research Report] RT-0347, INRIA. 2007
	inria-00528632v1 Conference papers Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Static Analysis by Abstract Interpretation of Embedded Critical Software the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
	hal-02399922v1 Journal articles Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang. Towards Verified Stochastic Variational Inference for Probabilistic Programs Proceedings of the ACM on Programming Languages, ACM, In press, 16, ⟨10.1145/3371084⟩
	1 2 3 4 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize