Publicationss

Publications HAL de jean-yves marion

2024

Conference papers

titre
Declassification Policy for Program Complexity Analysis
auteur
Emmanuel Hainry, Bruce M Kapron, Jean-Yves Marion, Romain Péchoux
article
LICS ’24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn Estonia, France. pp.1-14, ⟨10.1145/3661814.3662100⟩
typdoc
Conference papers
DOI
DOI : 10.1145/3661814.3662100
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04742085/file/LICS24-112.pdf BibTex

2023

Conference papers

titre
Scalable program clone search through spectral analysis
auteur
Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
article
ESEC/FSE ’23 – 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Dec 2023, San Francisco, United States. ⟨10.48550/arXiv.2210.13063⟩
typdoc
Conference papers
DOI
DOI : 10.48550/arXiv.2210.13063
Accès au texte intégral et bibtex
https://hal.science/hal-03826726/file/ESEC_FSE_CR_PREPRINT.pdf BibTex
titre
Table ronde inaugurale : 2ème Assises universitaires Droit et Cybersécurité
auteur
Irène Weiss, Lionel Adam, Fabrice Gartner, Christophe Fardet, Jean-Yves Marion, Marc Burg
article
2ème Assises universitaires Droit et Cybersécurité, Faculté de droit et de sciences économiques de Nancy; LORIA, Oct 2023, Nancy (Centre de Congrès), France
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Conclusion 2ème Assises universitaires Droit et Cybersécurité
auteur
Jean-Yves Marion, Marc Burg
article
2ème Assises universitaires Droit et Cybersécurité, Faculté de droit et sciences économiques de Nancy; LORIA, Oct 2023, Nancy (Centre de Congrès), France
typdoc
Conference papers
Accès au bibtex
BibTex

Other publications

titre
Rançongiciel, une plongée dans le monde de la cybercriminalité
auteur
Jean-Yves Marion
article
Rançongiciel, une plongée dans le monde de la cybercriminalité, 2023
typdoc
Other publications
Accès au texte intégral et bibtex
https://hal.science/hal-04547822/file/Ran%C3%A7ongiciel%2C%20une%20plong%C3%A9e%20dans%20le%20monde%20de%20la%20cybercriminalit%C3%A9.pdf BibTex

2022

Journal articles

titre
A tier-based typed programming language characterizing Feasible Functionals
auteur
Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
article
Logical Methods in Computer Science, 2022, 18 (1), pp.31. ⟨10.46298/LMCS-18(1:33)2022⟩
typdoc
Journal articles
DOI
DOI : 10.46298/LMCS-18(1:33)2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03722168/file/hkmplmcs.pdf BibTex

Conference papers

titre
Conclusion
auteur
Mathieu Feuillet, Jean-Yves Marion, Marc Burg
article
Assises universitaires et européennes de la cybersécurité, Faculté de droit de Nancy et le LORIA (CNRS, INRIA, Université de Lorraine), Jul 2022, Nancy, France
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Complete and tractable machine-independent characterizations of second-order polytime
auteur
Emmanuel Hainry, Bruce M Kapron, Jean-Yves Marion, Romain Péchoux
article
FoSSaCS 2022 – 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-030-99253-8_19
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03722245/file/ctcbff.pdf BibTex

Preprints, Working Papers, …

titre
Incremental clustering of malware packers using features based on transformed CFG
auteur
Ludovic Robin, Corentin Jannier, Jean-Yves Marion
article
2022
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.science/hal-03940881/file/Packer_detection%20%283%29.pdf BibTex

2021

Conference papers

titre
Obfuscation-Resilient Executable Payload Extraction From Packed Malware
auteur
Binlin Cheng, Ming Jiang, Erika A Leal, Haotian Zhang, Jianming Fu, Guojun Peng, Jean-Yves Marion
article
30th Usenix Security Sympoisum, Aug 2021, Virtual, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-03549482/file/Marion-Usenix2021.pdf BibTex
titre
Binary level toolchain provenance identification with graph neural networks
auteur
Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
article
SANER 2021 – 28th IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2021, Honolulu / Virtual, United States. pp.131-141, ⟨10.1109/SANER50967.2021.00021⟩
typdoc
Conference papers
DOI
DOI : 10.1109/SANER50967.2021.00021
Accès au texte intégral et bibtex
https://hal.science/hal-03447628/file/SANER_2021_CAMERA_READY_1.pdf BibTex
titre
Compiler and optimization level recognition using graph neural networks
auteur
Sébastien Bardin, Tristan Benoit, Jean-Yves Marion
article
MLPA 2020 – Machine Learning for Program Analysis, Jan 2021, Yokohama / Virtual, Japan
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-03270335/file/Workshop_MLBA_MLPA_2020.pdf BibTex

2020

Journal articles

titre
Primitive recursion in the abstract
auteur
Daniel Leivant, Jean-Yves Marion
article
Mathematical Structures in Computer Science, 2020, 30 (1), pp.33-43. ⟨10.1017/S0960129519000112⟩
typdoc
Journal articles
DOI
DOI : 10.1017/S0960129519000112
Accès au texte intégral et bibtex
https://hal.science/hal-02573188/file/mscs.pdf BibTex

Conference papers

titre
A tier-based typed programming language characterizing Feasible Functionals
auteur
Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
article
LICS ’20 – 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
typdoc
Conference papers
DOI
DOI : 10.1145/3373718.3394768
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02881308/file/bff-lics.pdf BibTex

Book sections

titre
Theoretical Computer Science: Computability, Decidability and Logic
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, S. Tison
article
A Guided Tour of Artificial Intelligence Research – Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩
typdoc
Book sections
DOI
DOI : 10.1007/978-3-030-06170-8_1
Accès au bibtex
BibTex
titre
Theoretical Computer Science: Computational Complexity
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, S. Tison
article
A Guided Tour of Artificial Intelligence Research – Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020
typdoc
Book sections
Accès au bibtex
BibTex

2019

Conference papers

titre
How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections)
auteur
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
article
ACSAC ’19: 2019 Annual Computer Security Applications Conference, Dec 2019, San Juan, Puerto Rico, United States. pp.177-189, ⟨10.1145/3359789.3359812⟩
typdoc
Conference papers
DOI
DOI : 10.1145/3359789.3359812
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-02564103/file/acsac_final.pdf BibTex
titre
Obfuscation: where are we in anti-DSE protections? (a first attempt)
auteur
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
article
the 9th Workshop SSPREW, Dec 2019, San Juan, United States. pp.1-8, ⟨10.1145/3371307.3371309⟩
typdoc
Conference papers
DOI
DOI : 10.1145/3371307.3371309
Accès au bibtex
BibTex
titre
LockerGoga quickly reversed
auteur
Guillaume Bonfante, Corentin Jannier, Jean-Yves Marion, Fabrice Sabatier
article
MALCON 2019 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03178806/file/lockergoga.pdf BibTex
titre
Tiered complexity at higher order
auteur
Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
article
DICE-FOPARA 2019 – Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02499318/file/paper%209.pdf BibTex
titre
Tiered complexity at higher order
auteur
Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
article
MLA’2019 – Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
typdoc
Conference papers
Accès au bibtex
BibTex

2018

Conference papers

titre
Towards Paving the Way for Large-Scale Windows Malware Analysis: Generic Binary Unpacking with Orders-of-Magnitude Performance Boost
auteur
Binlin Cheng, Jiang Ming, Jianmin Fu, Guojun Peng, Ting Chen, Xiaosong Zhang, Jean-Yves Marion
article
CCS ’18: 2018 ACM SIGSAC Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. pp.395-411, ⟨10.1145/3243734.3243771⟩
typdoc
Conference papers
DOI
DOI : 10.1145/3243734.3243771
Accès au bibtex
BibTex

Special issue

titre
Foundations and Practice of Security : 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, revised selected papers
auteur
Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro
article
FPS 2017 – 10th International Symposium on Foundations and Practice of Security, Oct 2017, Nancy, France. Lecture Notes in Computer Science, 10723, pp.319, 2018, FPS: International Symposium on Foundations and Practice of Security, 978-3-319-75649-3. ⟨10.1007/978-3-319-75650-9⟩
typdoc
Special issue
DOI
DOI : 10.1007/978-3-319-75650-9
Accès au bibtex
BibTex

2017

Conference papers

titre
A construction of a self-modifiying language with a formal correction proof
auteur
Guillaume Bonfante, Hubert Godfroy, Jean-Yves Marion
article
2017 12th International Conference on Malicious and Unwanted Software (MALWARE), Oct 2017, Fajardo, United States. pp.99-106, ⟨10.1109/MALWARE.2017.8323962⟩
typdoc
Conference papers
DOI
DOI : 10.1109/MALWARE.2017.8323962
Accès au bibtex
BibTex
titre
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
auteur
Sébastien Bardin, Robin David, Jean-Yves Marion
article
2017 IEEE Symposium on Security and Privacy (SP), May 2017, San Jose, CA, United States. pp.633-651, ⟨10.1109/SP.2017.36⟩
typdoc
Conference papers
DOI
DOI : 10.1109/SP.2017.36
Accès au bibtex
BibTex

2016

Journal articles

titre
Two function algebras defining functions in NC k boolean circuits
auteur
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
article
Information and Computation, 2016, ⟨10.1016/j.ic.2015.12.009⟩
typdoc
Journal articles
DOI
DOI : 10.1016/j.ic.2015.12.009
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01113342/file/nc.pdf BibTex

Conference papers

titre
Specification of Concretization and Symbolization Policies in Symbolic Execution
auteur
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
article
ISSTA 2016 – The International Symposium on Software Testing and Analysis , Jul 2016, Saarland, Germany. pp.1-11
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-01721492/file/issta-2016.pdf BibTex
titre
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis
auteur
Robin David, Sébastien Bardin, Thanh Dinh Ta, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Jean-Yves Marion
article
3rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2016, Osaka, Japan
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-01721502/file/2016-saner.pdf BibTex

Preprints, Working Papers, …

titre
Abstract Self Modifying Machines
auteur
Hubert Godfroy, Jean-Yves Marion
article
2016
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01390838/file/lola.pdf BibTex
titre
A theory of reflexive computation based on soft intuitionistic logic
auteur
Hubert Godfroy, Jean-Yves Marion
article
2016
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01394263/file/SilSC.pdf BibTex

2015

Conference papers

titre
Gorille sniffs code similarities, the case study of Qwerty versus Regin
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier
article
Malware Conference, Oct 2015, Fajardo, Puerto Rico. pp.8
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01263123/file/malware2015.pdf BibTex
titre
CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions
auteur
Guillaume Bonfante, Jose Fernandez, Jean-Yves Marion, Benjamin Rouxel, Fabrice Sabatier, Aurélien Thierry
article
22nd ACM Conference on Computer and Communications Security, Oct 2015, Denver, United States. ⟨10.1145/2810103.2813627⟩
typdoc
Conference papers
DOI
DOI : 10.1145/2810103.2813627
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01257908/file/codisasm.pdf BibTex
titre
WaveAtlas: surfing through the landscape of current malware packers
auteur
Joan Calvet, Lalonde Fanny, José M. Fernandez, Jean-Yves Marion, Traourouder Erwann, Menet François
article
Virus Bulletin, Sep 2015, Prague, Czech Republic
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Sound and quasi-complete detection of infeasible test requirements
auteur
Sebastien Bardin, Mickael Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion
article
ICST 2015 – IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩
typdoc
Conference papers
DOI
DOI : 10.1109/ICST.2015.7102607
Accès au bibtex
BibTex

2014

Conference papers

titre
Malware Message Classification by Dynamic Analysis
auteur
Guillaume Bonfante, Jean-Yves Marion, Thanh Dinh Ta
article
The 7th International Symposium on Foundations and Practice of Security, Nov 2014, Montreal, Canada. pp.16
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Complexity Information Flow in a Multi-threaded Imperative Language
auteur
Jean-Yves Marion, Romain Péchoux
article
TAMC 2014, Apr 2014, Chennai, India. pp.124 – 140, ⟨10.1007/978-3-319-06089-7_9⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-319-06089-7_9
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01084043/file/hulotte.pdf BibTex

Books

titre
Foundations and practice of security : 6th international symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, revised selected papers
auteur
Jean-Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood
article
Springer, 8352, pp.444, 2014, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 978-3-319-05302-8
typdoc
Books
Accès au bibtex
BibTex

2013

Conference papers

titre
Analysis and Diversion of Duqu’s Driver
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
article
Malware 2013 – 8th International Conference on Malicious and Unwanted Software, Oct 2013, Fajardo, Puerto Rico
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00925517/file/malware2013.pdf BibTex
titre
Evolving graph-structures and their implicit computational complexity
auteur
Daniel Leivant, Jean-Yves Marion
article
ICALP, Jul 2013, RIGA, Latvia. pp.349-360
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00939484/file/LeivantMarion.pdf BibTex
titre
Duqu contre Duqu : Analyse et détournement du driver de Duqu
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
article
SSTIC – Symposium sur la sécurité des technologies de l’information et des communications, Jun 2013, Rennes, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00925184/file/SSTIC2013-Duqu-contre-Duqu-papier.pdf BibTex
titre
Type-based complexity analysis for fork processes
auteur
Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux
article
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Mar 2013, Rome, Italy. pp.305-320, ⟨10.1007/978-3-642-37075-5_20⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-37075-5_20
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00755450/file/fossacs.pdf BibTex

Reports

titre
Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation
auteur
Akitoshi Kawamura, Jean-Yves Marion, David Nowak
article
[Technical Report] 2013-13, National Institute of Informatics. 2013, pp.16
typdoc
Reports
Accès au bibtex
BibTex
titre
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
[Research Report] 2013
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00803412/file/pondere-hal.pdf BibTex

2012

Journal articles

titre
Les Mac résistent-ils mieux aux virus que les PC ?
auteur
Jean-Yves Marion
article
Pour la science, 2012, 420
typdoc
Journal articles
Accès au bibtex
BibTex
titre
An Implicit Characterization of PSPACE
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
article
ACM Transactions on Computational Logic, 2012, 13 (2), pp.Article 18. ⟨10.1145/2159531.2159540⟩
typdoc
Journal articles
DOI
DOI : 10.1145/2159531.2159540
Accès au texte intégral et bibtex
https://hal.science/hal-00591868/file/main.pdf BibTex
titre
Theoretical Aspects of Computer Science
auteur
Jean-Yves Marion, Thomas Schwentick
article
Theory of Computing Systems, 2012, 51 (2), pp.123-124. ⟨10.1007/s00224-012-9401-8⟩
typdoc
Journal articles
DOI
DOI : 10.1007/s00224-012-9401-8
Accès au bibtex
BibTex
titre
Viruses in Turing’s Garden
auteur
Jean-Yves Marion
article
ERCIM News, 2012, 2012 (91)
typdoc
Journal articles
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00762918/file/ErcimVirus.pdf BibTex
titre
From Turing machines to computer viruses
auteur
Jean-Yves Marion
article
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2012, 370 (1971), pp.3319-3339. ⟨10.1098/rsta.2011.0332⟩
typdoc
Journal articles
DOI
DOI : 10.1098/rsta.2011.0332
Accès au bibtex
BibTex

Conference papers

titre
Aligot: cryptographic function identification in obfuscated binary programs
auteur
Joan Calvet, José Fernandez, Jean-Yves Marion
article
ACM Conference on Computer and Communications Security, Oct 2012, Raleigh, United States. pp.169-182
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00762924/file/fp008-calvet.pdf BibTex
titre
Code synchronization by morphological analysis
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
article
MALWARE 2012 – 7th International Conference on Malicious and Unwanted Software, Oct 2012, Fajardo, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00764286/file/malware2012.pdf BibTex
titre
Abstraction-based Malware Analysis Using Rewriting and Model Checking
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
ESORICS – 17th European Symposium on Research in Computer Security – 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-33167-1
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00762252/file/esorics-definitif.pdf BibTex

Reports

titre
Complexity Information Flow in a Multi-threaded Imperative Language
auteur
Jean-Yves Marion, Romain Péchoux
article
[Research Report] 2012, pp.16
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00684026/file/hulotte.pdf BibTex

2011

Journal articles

titre
Quasi-interpretations a way to control resources
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
Theoretical Computer Science, 2011, 412 (25), pp.2776-2796. ⟨10.1016/j.tcs.2011.02.007⟩
typdoc
Journal articles
DOI
DOI : 10.1016/j.tcs.2011.02.007
Accès au texte intégral et bibtex
https://hal.science/hal-00591862/file/tcs.pdf BibTex
titre
Informatique et société : Un laboratoire de haute sécurité en informatique : entretien avec Jean-Yves Marion
auteur
Jean-Yves Marion
article
Les Cahiers de l’INRIA – La Recherche, 2011, Les 10 découvertes de l’année, 448 janvier 2011
typdoc
Journal articles
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00591075/file/Un_laboratoire_de_haute_sA_curite_en_informatique.pdf BibTex

Conference papers

titre
A type system for complexity flow analysis
auteur
Jean-Yves Marion
article
Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science – LICS 2011, Jun 2011, Toronto, Canada
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00591853/file/effraie.pdf BibTex

Reports

titre
Behavior Analysis of Malware by Rewriting-based Abstraction – Extended Version
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
[Research Report] 2011
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00594396/file/fmcad-extended.pdf BibTex

2010

Journal articles

titre
À propos de la virologie informatique
auteur
Jean-Yves Marion, Joanna Jongwane
article
Interstices, 2010
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Boulevard du cybercrime
auteur
Jean-Yves Marion, Matthieu Kaczmarek
article
Pour la Science. Dossier, 2010, 66, pp.78-85
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
The case for in-the-lab botnet experimentation: creating and taking down a 3000-node botnet
auteur
Joan Calvet, Carlton R. Davis, José M. Fernandez, Jean-Yves Marion, Pier-Luc St-Onge, Wadie Guizani, Pierre-Marc Bureau, Somayaji Anil
article
Annual Computer Security Applications Conference, Dec 2010, Austin, Texas, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00536706/file/article_acsac04v3.pdf BibTex
titre
Behavior Abstraction in Malware Analysis
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
1st International Conference on Runtime Verification, Howard Barringer, Klaus Havelund, Insup Lee, Nov 2010, St. Julians, Malta. pp.168-182, ⟨10.1007/978-3-642-16612-9_14⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-16612-9_14
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00536500/file/RV-preprint.pdf BibTex
titre
Large-scale Malware Experiments: Why, How, and So What?
auteur
Joan Calvet, José M. Fernandez, Pierre-Marc Bureau, Jean-Yves Marion
article
Virus Bulletin 2010, Sep 2010, Vancouver, Canada. pp.241–247
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Isolated virtualised clusters: testbeds for high-risk security experimentation and training
auteur
Joan Calvet, Carlton Davis, José M. Fernandez, Wadie Guizani, Matthieu Kaczmarek, Jean-Yves Marion, Pier-Luc St-Onge
article
3rd Workshop on Cyber Security Experimentation and Test (CSET ’10), Aug 2010, Washington DC, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00536712/file/article5.pdf BibTex
titre
Analyse de Programmes par Traçage
auteur
Wadie Guizani, Jean-Yves Marion, Daniel Reynaud
article
8ème Symposium sur la Sécurité des Technologies de l’Information et des Communications – SSTIC 2010, Jun 2010, Rennes, France. pp.125-138
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00549418/file/document_actes.pdf BibTex

Book sections

titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
typdoc
Book sections
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00549416/file/Chapitre_DecidabiliteComplexite.pdf BibTex
titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
IA Handbook, Cépaduès, pp.1-63, 2010
typdoc
Book sections
Accès au bibtex
BibTex

Documents associated with scientific events

titre
27th International Symposium on Theoretical Aspects of Computer Science (STACS)
auteur
Jean-Yves Marion, Thomas Schwentick
article
Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, LIPIcs. 27th International Symposium on Theoretical Aspects of Computer Science – STACS 2010, Mar 2010, Nancy, France
typdoc
Documents associated with scientific events
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00549415/file/Foreword.pdf BibTex

Reports

titre
Abstraction by Term Rewriting for Malware Behavior Analysis – Extended Version
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
[Research Report] 2010
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00547884/file/article-extended.pdf BibTex

Preprints, Working Papers, …

titre
Behavior Abstraction in Malware Analysis – Extended Version
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
2010
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00509486/file/rv-HAL-V2.pdf BibTex

2009

Journal articles

titre
Sup-interpretations, a semantic method for static analysis of program resources
auteur
Jean-Yves Marion, Romain Péchoux
article
ACM Transactions on Computational Logic, 2009, 10 (4), 30 p. ⟨10.1145/1555746.1555751⟩
typdoc
Journal articles
DOI
DOI : 10.1145/1555746.1555751
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00446057/file/333pechoux.pdf BibTex
titre
On tiered small jump operators
auteur
Jean-Yves Marion
article
Logical Methods in Computer Science, 2009, 5 (1), pp.1-19. ⟨10.2168/LMCS-5(1:7)2009⟩
typdoc
Journal articles
DOI
DOI : 10.2168/LMCS-5(1:7)2009
Accès au bibtex
https://arxiv.org/pdf/0903.2410 BibTex
titre
Architecture of a Morphological Malware Detector
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Journal in Computer Virology, 2009, 5 (3), pp.263-270. ⟨10.1007/s11416-008-0102-4⟩
typdoc
Journal articles
DOI
DOI : 10.1007/s11416-008-0102-4
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00330022/file/flowgraph.pdf BibTex

Conference papers

titre
A computability perspective on self-modifying programs
auteur
Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud
article
7th IEEE International Conference on Software Engineering and Formal Methods – SEFM 2009, Nov 2009, Hanoi, Vietnam
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00433472/file/automodificateur.pdf BibTex
titre
Dynamic Binary Instrumentation for Deobfuscation and Unpacking
auteur
Daniel Reynaud, Jean-Yves Marion
article
IN-DEPTH SECURITY CONFERENCE 2009 EUROPE, Nov 2009, Vienne, Austria
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Server-Side Dynamic Code Analysis
auteur
Wadie Guizani, Jean-Yves Marion, Daniel Reynaud
article
4th International Conference on Malicious and Unwanted Software – Malware 2009, Fernando C. Colon Osorio, Oct 2009, Montréal, Canada. pp.55-62
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00425554/file/Server-Side_Dynamic_Code_Analysis.pdf BibTex
titre
On behavioral detection
auteur
Philippe Beaucamps, Jean-Yves Marion
article
18th EICAR Annual Conference 2009, May 2009, Berlin, Germany
typdoc
Conference papers
Accès au bibtex
BibTex
titre
On the use of Internet Voting on Compromised Computers
auteur
Philippe Beaucamps, Daniel Reynaud-Plantey, Jean-Yves Marion
article
4th International conference on i-Warfare & Security – ICIW 2009, Mar 2009, Cape Town, South Africa
typdoc
Conference papers
Accès au bibtex
BibTex
titre
On the Impact of Malware on Internet Voting
auteur
Philippe Beaucamps, Eric Filiol, Jean-Yves Marion, Daniel Reynaud
article
1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg, Luxembourg
typdoc
Conference papers
Accès au bibtex
BibTex

Documents associated with scientific events

titre
26th International Symposium on Theoretical Aspects of Computer Science (STACS)
auteur
Susanne Albers, Jean-Yves Marion
article
Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Germany, LIPIcs. STACS – 2009, Feb 2009, FREIBURG, Germany. 090001, pp.1-7, 2009, Dagstuhl Seminar Proceedings
typdoc
Documents associated with scientific events
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00434332/file/09001.SWM.1858.pdf BibTex

Reports

titre
Surfing Code Waves
auteur
Jean-Yves Marion, Daniel Reynaud
article
[Research Report] 2009
typdoc
Reports
Accès au bibtex
BibTex

2008

Journal articles

titre
Soft Linear Logic and Polynomial Complexity Classes
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
article
Electronic Notes in Theoretical Computer Science, 2008, 205 (6), pp.67-87. ⟨10.1016/j.entcs.2008.03.066⟩
typdoc
Journal articles
DOI
DOI : 10.1016/j.entcs.2008.03.066
Accès au texte intégral et bibtex
https://hal.science/hal-00342320/file/GaboardiMarionRonchi08lsfa.pdf BibTex
titre
Learning discrete categorial grammars from structures
auteur
Jérôme Besombes, Jean-Yves Marion
article
RAIRO – Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42 (1), pp.165-182. ⟨10.1051/ita:2007055⟩
typdoc
Journal articles
DOI
DOI : 10.1051/ita:2007055
Accès au texte intégral et bibtex
https://hal.science/hal-00342331/file/BesombesMarion.pdf BibTex

Conference papers

titre
Analyzing the Implicit Computational Complexity of object-oriented programs
auteur
Jean-Yves Marion, Romain Péchoux
article
Annual Conference on Foundations of Software Technology and Theoretical Computer Science – FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00332550/file/paper28.pdf BibTex
titre
Morphological Detection of Malware
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
International Conference on Malicious and Unwanted Software, Fernando C. Colon Osorio, Oct 2008, Alexendria VA, United States
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00330021/file/flowgraph.pdf BibTex
titre
Recursion Schemata for NCk
auteur
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
article
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. pp.49-63, ⟨10.1007/978-3-540-87531-4_6⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-87531-4_6
Accès au texte intégral et bibtex
https://hal.science/hal-00342366/file/CSL08BKMO.pdf BibTex
titre
Characterizations of Polynomial Complexity Classes with a Better Intensionality
auteur
Jean-Yves Marion, Romain Péchoux
article
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⟩
typdoc
Conference papers
DOI
DOI : 10.1145/1389449.1389460
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00332389/file/ppdp09-pechoux.pdf BibTex
titre
An implementation of morphological malware detection
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
EICAR, May 2008, Laval, France. pp.49–62
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A Characterization of NCk by First Order Functional Programs
auteur
Jean-Yves Marion, Romain Péchoux
article
5th International Conference on Theory and Applications of Models of Computation – TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-79228-4
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00332390/file/paper69.pdf BibTex
titre
A Logical Account of PSPACE
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
article
Symposium on Principles of Programming Languages – POPL’08, Jan 2008, San Francisco, United States. pp.121-131
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.science/hal-00342323/file/poplGMR.pdf BibTex
titre
Obfuscation by Interpretation
auteur
Daniel Reynaud, Jean-Yves Marion
article
3rd International Workshop on the Theory of Computer Viruses – TCV 08, 2008, Nancy, France
typdoc
Conference papers
Accès au bibtex
BibTex

2007

Journal articles

titre
On the defence notion
auteur
Anne Bonfante, Jean-Yves Marion
article
Journal in Computer Virology, 2007, 3 (4), pp.247-251. ⟨10.1007/s11416-007-0058-9⟩
typdoc
Journal articles
DOI
DOI : 10.1007/s11416-007-0058-9
Accès au texte intégral et bibtex
https://hal.science/hal-00184985/file/bmg.pdf BibTex
titre
Learning tree languages from positive examples and membership queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
Theoretical Computer Science, 2007, 382 (3), pp.183-197. ⟨10.1016/j.tcs.2007.03.038⟩
typdoc
Journal articles
DOI
DOI : 10.1016/j.tcs.2007.03.038
Accès au bibtex
BibTex
titre
La virologie informatique – les virus, ennemis utiles
auteur
Eric Filiol, Jean-Yves Marion
article
Pour la science, 2007, 55, pp.60-64
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Foreword of WTCV 06
auteur
Guillaume Bonfante, Jean-Yves Marion
article
Journal in Computer Virology, 2007, 3 (1), pp.1-2. ⟨10.1007/s11416-007-0038-0⟩
typdoc
Journal articles
DOI
DOI : 10.1007/s11416-007-0038-0
Accès au bibtex
BibTex

Conference papers

titre
Control Flow to Detect Malware
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Pascal Fontaine; Stephan Merz, Oct 2007, Nancy, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00176241/file/IRWRSDA.pdf BibTex
titre
Quasi-interpretation Synthesis by Decomposition : An application to higher-order programs
auteur
Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
article
ICTAC, Sep 2007, Macao, China
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00130920/file/modu.pdf BibTex
titre
Resource control of object-oriented programs
auteur
Jean-Yves Marion, Romain Péchoux
article
The International Workshop on Logic and Computational Complexity – LCC 2007, Jul 2007, Wroclaw/Poland, Poland
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00155288/file/objet.pdf BibTex
titre
Predicative Analysis of Feasibility and Diagonalization
auteur
Jean-Yves Marion
article
Typed Lambda Calculi and Applications, 8th International Conference – TLCA 2007, Jun 2007, Paris, France. pp.290-304
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A Classification of Viruses through Recursion Theorems
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Computability in Europe, Jun 2007, Sienna, Italy. pp.73-82, ⟨10.1007/978-3-540-73001-9_8⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-73001-9_8
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00175301/file/bonfante.a_classification_of_computer_viruses_through_recursion_theorems.pdf BibTex
titre
Control Flow Graphs as Malware Signatures
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
International Workshop on the Theory of Computer Viruses, Matthieu Kaczmarek; Guillaume Bonfante, May 2007, Nancy, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00176235/file/tcv07b.pdf BibTex

Reports

titre
A characterization of polynomial complexity classes using dependency pairs
auteur
Jean-Yves Marion, Romain Péchoux
article
[Research Report] 2007, pp.12
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00155287/file/dependency.pdf BibTex

2006

Journal articles

titre
Les paradoxes de la défense virale : Le cas bradley
auteur
Jean-Yves Marion, Anne Bonfante
article
MISC – Le journal de la sécurité informatique, 2006, 28, pp.4-7
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Implicit Complexity over an Arbitrary Structure: Quantifier Alternations
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Information and Computation, 2006, 204 (2), pp.210–230
typdoc
Journal articles
Accès au bibtex
BibTex
titre
On Abstract Computer Virology from a Recursion-theoretic Perspective
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Journal in Computer Virology, 2006, 1 (3-4), pp.45–54. ⟨10.1007/s11416-005-0007-4⟩
typdoc
Journal articles
DOI
DOI : 10.1007/s11416-005-0007-4
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00115199/file/jcv06.pdf BibTex

Conference papers

titre
A characterization of Alternating log time by first order functional programs
auteur
Romain Péchoux, Jean-Yves Marion, Guillaume Bonfante
article
13th International Conference on Logic for Programming Artificial Intelligence and Reasoning – LPAR-13, Nov 2006, Phnom Penh/Cambodia
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00110014/file/44.pdf BibTex
titre
Quasi-friendly sup-interpretations
auteur
Jean-Yves Marion, Romain Péchoux
article
8th International Workshop on Logic and Computational Complexity – LCC 2006 – LICS affiliated Workshop, James Royer, Aug 2006, Seattle/Etats-Unis
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00110245/file/lcc2006.pdf BibTex
titre
Resource analysis by sup-interpretation
auteur
Jean-Yves Marion, Romain Péchoux
article
Eighth International Symposium on Functional and Logic Programming – FLOPS 2006, Apr 2006, Fuji Susono, Japan. pp.163–176, ⟨10.1007/11737414_12⟩
typdoc
Conference papers
DOI
DOI : 10.1007/11737414_12
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00000661/file/fullpaper.pdf BibTex
titre
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
auteur
Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu
article
12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS’06, Mar 2006, Vienna/Austria, pp.167-181, ⟨10.1007/11691372_11⟩
typdoc
Conference papers
DOI
DOI : 10.1007/11691372_11
Accès au bibtex
BibTex

Documents associated with scientific events

titre
Special issue on implicit computational complexity
auteur
Patrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca
article
ACM Trans. Comput. Log. (10)4. Workshop on Implicit Computational Complexity – Geometry of Computation (GEOCAL’06), Feb 2006, Marseille, France. 10 (4), 2 p., 2009, ⟨10.1145/1555746.1555747⟩
typdoc
Documents associated with scientific events
DOI
DOI : 10.1145/1555746.1555747
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00434330/file/IntroTOCL.pdf BibTex

Preprints, Working Papers, …

titre
Heap-size analysis for assembly programs
auteur
Jean-Yves Marion, Jean-Yves Moyen
article
2006
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.science/hal-00067838/file/main.pdf BibTex

2005

Journal articles

titre
Implicit Complexity Over an Arbitrary Structure: Sequential and Parallel Polynomial Time.
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Journal of Logic and Computation, 2005, 15 (1), pp.41–58
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Toward an abstract computer virology
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Second International Colloquium on Theoretical Aspects of Computing – ICTAC 2005, Oct 2005, Hanoï/Vietnam, pp.579-593, ⟨10.1007/11560647_38⟩
typdoc
Conference papers
DOI
DOI : 10.1007/11560647_38
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00115208/file/ictac05.pdf BibTex
titre
Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
3rd APPSEM II Workshop – APPSEM’05, Sep 2005, Frauenchiemsee/Germany
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Abstract Detection of Computer Viruses
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Third Workshop on Applied Semantics – APPSEM’05, Sep 2005, Frauenchiemsee, Germany
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00115368/file/APPSEM05.pdf BibTex
titre
Synthesis of Quasi-interpretations
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen, Romain Péchoux
article
Seventh International Workshop on Logic and Computational Complexity – LCC 2005, Jun 2005, Chicago/USA
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00000660/file/LCC05.pdf BibTex

Reports

titre
Quasi-interpretations and small space bounds
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
[Research Report] 2005, pp.19
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00001234/file/A05-R-007.pdf BibTex
titre
Quasi-interpretation: a way to control ressources
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
[Intern report] 2005, pp.35
typdoc
Reports
Accès au bibtex
BibTex

2004

Journal articles

titre
Editorial : Implicit Computational Complexity (ICC)
auteur
Jean-Yves Marion
article
Theoretical Computer Science, 2004, 318 (1-2), pp.1
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
3rd IFIP International Conference on Theoretical Computer Science – TCS’2004, Aug 2004, Toulouse, France, 14 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
In 2nd APPSEM II Workshop – APPSEM’04, Apr 2004, Tallinn/Estonia
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Learning regular trees with queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM’04, 2004, Zakopane, Pologne, pp.181-190
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Learning Tree Languages from Positive Examples and Membership Queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
15th international conference on Algorithmic Learning Theory – ALT’2004, 2004, Padova, Italy, pp.440-453
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Learning Dependency Languages from a Teacher
auteur
Jérôme Besombes, Jean-Yves Marion
article
9th conference on Formal Grammar, 2004, Nancy, France, 7 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Apprentissage des grammaires catégorielles à partir de structures
auteur
Jérôme Besombes, Jean-Yves Marion
article
Conférence Francophone d’Apprentissage – CAp’2004, 2004, Montpellier, France, pp.315-330
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Resource Analysis by Quasi-Interpretations
auteur
Jean-Yves Marion
article
Sixth International Workshop on Logic and Computational Complexity, Neil Jones, 2004, Turku, Finlande, 95 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
On complexity analysis by quasi-interpretation
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
2nd Appsem II workshop – APPSEM’04, 2004, Tallinn, Estonia, pp.85-95
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Learning Reversible Categorial Grammars from Structures
auteur
Jérôme Besombes, Jean-Yves Marion
article
Categorial Grammars, 2004, Montpellier, France, 10 p
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Implicit Complexity over an Arbitrary Structure: Quantifier Alternations
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
[Intern report] A04-R-300 || bournez04e, 2004, 23 p
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107811/file/A04-R-300.pdf BibTex

2003

Journal articles

titre
Apprentissage des langages réguliers d’arbres et applications
auteur
Jérôme Besombes, Jean-Yves Marion
article
Revue TAL : traitement automatique des langues, 2003, 44 (1), pp.121-153
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Analysing the implicit complexity of programs
auteur
Jean-Yves Marion
article
Information and Computation, 2003, 183, pp.2-18
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Apprentissage des langages réguliers d’arbres à l’aide d’un expert
auteur
Jérôme Besombes, Jean-Yves Marion
article
Conférence d’Apprentissage – CAP’2003, Jul 2003, Laval, France, 16 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Fifth International Workshop on Implicit Computational Complexity – ICC’2003, Jun 2003, Ottawa, Canada, 13 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Foundations of Software Science and Computation Structures – FOSSACS’03, Apr 2003, Warsaw, Poland, pp.185-199
typdoc
Conference papers
Accès au bibtex
BibTex
titre
The QSL platform at LORIA
auteur
Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz
article
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00099497/file/A03-R-539.pdf BibTex

Reports

titre
Termination and resource analysis of assembly programs by Petri nets
auteur
Jean-Yves Marion, Jean-Yves Moyen
article
[Research Report] A03-R-348 || marion03a, 2003, 13 p
typdoc
Reports
Accès au bibtex
BibTex

2002

Journal articles

titre
Kolmogorov complexity and non-determinism
auteur
Serge Grigorieff, Jean-Yves Marion
article
Theoretical Computer Science, 2002, 271 (1-2), pp.151-180. ⟨10.1016/S0304-3975(01)00038-X⟩
typdoc
Journal articles
DOI
DOI : 10.1016/S0304-3975(01)00038-X
Accès au bibtex
BibTex

Conference papers

titre
Safe Recursion and Calculus over an Arbitrary Structure
auteur
Olivier Bournez, Paulin de Naurois, Jean-Yves Marion
article
Implicit Computational Complexity – ICC’2002, Jul 2002, Copenhagen, Denmark, 12 p
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Learning regular tree languages with positive samples and queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
[Intern report] A02-R-201 || besombes02a, 2002, 10 p
typdoc
Reports
Accès au bibtex
BibTex
titre
Safe Recursion over an Arbitrary Structure: Deterministic Polynomial Time
auteur
Olivier Bournez, Paulin de Naurois, Jean-Yves Marion
article
[Intern report] A02-R-322 || bournez02d, 2002, 24 p
typdoc
Reports
Accès au bibtex
BibTex

2001

Journal articles

titre
Algorithms with Polynomial Interpretation Termination Proof
auteur
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Helene Touzet
article
Journal of Functional Programming, 2001, 11 (1), pp.33-53
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Identification reversible dependency tree languages
auteur
Jérôme Besombes, Jean-Yves Marion
article
3rd Learning Language in Logic (LLL) Workshop, L. Popelinsky, M. Nepil, Sep 2001, Strasbourg, France, 12 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
On lexicographic termination ordering with space bound certifications
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
International Andrei Ershov Memorial Conference – PSI’01, 2001, Novosibirsk, Russia, pp.482-493
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Actual arithmetic and feasibility
auteur
Jean-Yves Marion
article
International Workshop on Computer Science Logic – CSl’2001, 2001, Paris, France, pp.115–129
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Une théorie informative de l’apprentissage
auteur
Jérôme Besombes, Jean-Yves Marion
article
[Interne] A01-R-014 || besombes01a, 2001, 7 p
typdoc
Reports
Accès au bibtex
BibTex

2000

Journal articles

titre
A characterization of alternating log time by ramified recurrence
auteur
Daniel Leivant, Jean-Yves Marion
article
Theoretical Computer Science, 2000, 236 (1-2), pp.192-208. ⟨10.1016/S0304-3975(99)00209-1⟩
typdoc
Journal articles
DOI
DOI : 10.1016/S0304-3975(99)00209-1
Accès au bibtex
BibTex
titre
Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space
auteur
Daniel Leivant, Jean-Yves Marion
article
Information and Computation, 2000, 12 p
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Efficient first order functional program interpreter with time bound certifications
auteur
Jean-Yves Marion, Jean-Yves Moyen
article
International Conference on Logic Programming & Automated Reasoning – LPAR’2000, Nov 2000, Reunion Island, France, pp.25-42
typdoc
Conference papers
Accès au bibtex
BibTex
titre
The Light Lexicographic path Ordering
auteur
Adam Cichon, Jean-Yves Marion
article
Workshop RULE’2000, Sep 2000, Montréal, Canada, 17 p
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
A proof theoretic approach to feasible computation
auteur
Jean-Yves Marion
article
[Interne] A00-R-375 || marion00d, 2000, 17 p
typdoc
Reports
Accès au bibtex
BibTex

1999

Journal articles

titre
From multiple sequent for Additive Linear Logic to decision procedures for Free Lattices
auteur
Jean-Yves Marion
article
Theoretical Computer Science, 1999, 224 (1-2), pp.157-172. ⟨10.1016/S0304-3975(98)00311-9⟩
typdoc
Journal articles
DOI
DOI : 10.1016/S0304-3975(98)00311-9
Accès au bibtex
BibTex

Reports

titre
Light Multiset path ordering and Ptime – Two is better than one
auteur
Jean-Yves Marion
article
[Intern report] 99-R-106 || marion99b, 1999, 19 p
typdoc
Reports
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00098750/file/99-R-106.pdf BibTex

1998

Conference papers

titre
Complexity classes and rewrite systems with polynomial interpretation
auteur
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet
article
CSl’98, 1998, Brno, République Tchèque, pp.372-384
typdoc
Conference papers
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00098689/file/98-R-060.pdf BibTex

Reports

titre
An hierarchy of terminating algorithms with semantic interpretation termination proofs
auteur
Jean-Yves Marion
article
[Intern report] 98-R-273 || marion98a, 1998, 17 p
typdoc
Reports
Accès au bibtex
BibTex
titre
Kolmogorov complexity and non-determinism
auteur
Serge Grigorieff, Jean-Yves Marion
article
[Intern report] 98-R-274 || grigorieff98a, 1998, 11 p
typdoc
Reports
Accès au bibtex
BibTex