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
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
- 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
- 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
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
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
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
- 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
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
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
- 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
- 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
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
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
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
- 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
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
- 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
- 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
- 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
- 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
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
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
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
- 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
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
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
- 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
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
- 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
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
- 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
- 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
- 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
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
- 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
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
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
- 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
- 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
- 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
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
- 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
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
- 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
- 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
- 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
- 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
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
- 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
- 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
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
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
- 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
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
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
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
- 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
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
- 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
- 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
- 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
- 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
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
- 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
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
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
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
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
- 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
- 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
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
- 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
- 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
- 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
- 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
- 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
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
Reports
- titre
- Surfing Code Waves
- auteur
- Jean-Yves Marion, Daniel Reynaud
- article
- [Research Report] 2009
- typdoc
- Reports
- Accès au 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
- 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
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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
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
- 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
- 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
- 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
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
- 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
- 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
- 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
- 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
- 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
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
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
- 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
- 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
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
- 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
- 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
- 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
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
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
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
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
- 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
- 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
- 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
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
- 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
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
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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
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
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
- 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
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
- 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
- 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
- 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
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
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
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
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
- 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
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
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
- 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
- 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
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
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
- 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
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
- 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
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
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
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
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
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
- 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