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

Documentation
Français (FR)

Anglais (EN)

9 résultats

	Pour les 9 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		A Survey on Secure Android Apps Development Life-Cycle: Vulnerabilities and Tools Mohammed El Amin Tebib , Mariem Graa , Pascal Andre , Oum-El-Kheir Aktouf International Journal On Advances in Security, 2023, 16 (1 & 2), pp.54-71 Article dans une revue hal-04181107v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs Virginia Papailiopoulou , Ajitha Rajan , Ioannis Parissis Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101 Communication dans un congrès hal-00680688v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On Confluence of Parallel-Innermost Term Rewriting Thaïs Baudon , Carsten Fuhs , Laure Gonnord IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel Communication dans un congrès hal-03710007v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		PermDroid: Handling over-privileged Android applications based on the minimum permissions set identification Mohammed El Amin Tebib , Pascal Andre , Mariem Graa , Oum-El-Kheir Aktouf RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), May 2022, Chambon-sur-Lac, France Poster de conférence hal-03864899v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		IDE Plugins for Secure Android Applications Development: Analysis & Classification Study Mohammed El Amin Tebib , Pascal Andre , Mariem Graa , Oum-El-Kheir Aktouf SECURWARE 2022 : The Sixteenth International Conference on Emerging Security Information, Systems and Technologies, IARIA, Oct 2022, Lisbonne, Portugal Communication dans un congrès hal-03865020v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Compiling pattern matching to in-place modifications Paul Iannetta , Laure Gonnord , Gabriel Radanne GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩ Communication dans un congrès hal-03355377v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		When spectro-imaging meets machine learning Clément Douarre , Laure Tougne , Carlos F Crispim-Junior , Anthony Gelibert , David Rousseau Workshop on Machine Learning Assisted Image Formation, Jul 2019, Nice, France Communication dans un congrès hal-02514988v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automatic Test of Lustre/SCADE Programs Virginia Papailiopoulou , Besnik Seljimi , Ioannis Parissis Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9 Chapitre d'ouvrage hal-00680696v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Analysing Parallel Complexity of Term Rewriting Thaïs Baudon , Carsten Fuhs , Laure Gonnord LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia Communication dans un congrès hal-03749679v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More