2024
Preprints, Working Papers, ...
- titre
- On graph rewriting systems termination through language theory
- auteur
- Guillaume Bonfante, Miguel Couceiro
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Preprints, Working Papers, ...
- titre
- THE GENUS OF REGULAR LANGUAGES AND DIRECTED GRAPH EMULATORS
- auteur
- Guillaume Bonfante, Deloup Florian
- article
- 2023
- Accès au texte intégral et bibtex
-
2021
Conference papers
- titre
- At the bottom of binary analysis
- auteur
- Guillaume Bonfante, Alexandre Talon
- article
- 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France. ⟨10.1007/978-3-031-08147-7_21⟩
- Accès au texte intégral et bibtex
-
2020
Conference papers
- titre
- Termination of graph rewriting systems through language theory
- auteur
- Guillaume Bonfante, Miguel Couceiro
- article
- ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- On termination of Graph Rewriting Systems through language theory
- auteur
- Guillaume Bonfante, Miguel Couceiro
- article
- 2020
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- DECIDABILITY OF REGULAR LANGUAGE GENUS COMPUTATION
- auteur
- Guillaume Bonfante, Florian Deloup
- article
- Mathematical Structures in Computer Science, 2019, 29 (9), pp.1428-1443. ⟨10.1017/S0960129519000057⟩
- Accès au texte intégral et bibtex
-
Conference papers
- 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
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- Non-size increasing Graph Rewriting for Natural Language Processing
- auteur
- Guillaume Bonfante, Bruno Guillaume
- article
- Mathematical Structures in Computer Science, 2018, 28 (08), pp.1451 - 1484. ⟨10.1017/S0960129518000178⟩
- Accès au texte intégral et bibtex
-
- titre
- The genus of regular languages
- auteur
- Guillaume Bonfante, Florian Deloup
- article
- Mathematical Structures in Computer Science, 2018, 28 (1), pp.14-44. ⟨10.1017/S0960129516000037⟩
- Accès au texte intégral et bibtex
-
Books
- titre
- Application de la réécriture de graphes au traitement automatique des langues
- auteur
- Guillaume Bonfante, Bruno Guillaume, Guy Perrier
- article
- ISTE editions, 1, pp.242, 2018, Série Logique, linguistique et informatique, Christian Rétoré, 9781784054762
- Accès au bibtex
-
- titre
- Application of Graph Rewriting to Natural Language Processing
- auteur
- Guillaume Bonfante, Bruno Guillaume, Guy Perrier
- article
- ISTE Wiley, 1, pp.272, 2018, Logic, Linguistics and Computer Science Set, Christian Rétoré, 1786300966
- 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⟩
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Function classification for the retro-engineering of malwares
- auteur
- Guillaume Bonfante, Julien Oury--Nogues
- article
- 9th International Symposium Foundations and Practice of Security, Oct 2016, Quebec, Canada
- Accès au texte intégral et bibtex
-
Books
- titre
- Foundations and practice of security : 8th international symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015 : revised selected papers
- auteur
- Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante
- article
- Springer International Publishing, 9482, pp.323, 2016, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 978-3-319-30302-4
- Accès au bibtex
-
2015
Journal articles
- titre
- Real or natural numbers interpretations and their effect on complexity
- auteur
- Guillaume Bonfante, Florian Deloup, Antoine Henrot
- article
- Theoretical Computer Science, 2015, 585, pp.25-40. ⟨10.1016/j.tcs.2015.03.004⟩
- Accès au bibtex
-
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
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- Immune Systems in Computer Virology
- auteur
- Guillaume Bonfante, Mohamed El-Aqqad, Benjamin Greenbaum, Mathieu Hoyrup
- article
- Computability in Europe 2015, Jun 2015, Bucharest, Romania. pp.10, ⟨10.1007/978-3-319-20028-6_13⟩
- 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
- Accès au bibtex
-
Book sections
- titre
- Supertagging with Constraints
- auteur
- Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
- article
- Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Constraint and Language, Cambridge Scholar Publishing, pp.253-297, 2014
- 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
- 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
- Accès au texte intégral et bibtex
-
- titre
- Non-simplifying Graph Rewriting Termination
- auteur
- Guillaume Bonfante, Bruno Guillaume
- article
- TERMGRAPH, Mar 2013, Rome, Italy. pp.4-16
- Accès au texte intégral et bibtex
-
2012
Conference papers
- 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
- Accès au texte intégral et bibtex
-
- titre
- Grew : un outil de réécriture de graphes pour le TAL
- auteur
- Bruno Guillaume, Guillaume Bonfante, Paul Masson, Mathieu Morey, Guy Perrier
- article
- 12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12), ATALA, Jun 2012, Grenoble, France. pp.1-2
- Accès au bibtex
-
Reports
- titre
- A circuit uniformity sharper than DLogTime
- auteur
- Guillaume Bonfante, Virgile Mogbil
- article
- 2012
- 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⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Course of value distinguishes the intentionality of programming languages
- auteur
- Guillaume Bonfante
- article
- 2nd International Symposium on Information and Communication Technology - SoICT 2011, Oct 2011, Hanoi, Vietnam
- Accès au texte intégral et bibtex
-
- titre
- Enrichissement de structures en dépendances par réécriture de graphes
- auteur
- Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
- article
- Traitement Automatique des Langues Naturelles (TALN), Jun 2011, Montpellier, France
- Accès au bibtex
-
- titre
- Modular Graph Rewriting to Compute Semantics
- auteur
- Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
- article
- 9th International Conference on Computational Semantics - IWCS 2011, Jan 2011, Oxford, United Kingdom. pp.65--74
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Complexité implicite des calculs : interprétation de programmes
- auteur
- Guillaume Bonfante
- article
- Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
- Accès au texte intégral et bibtex
-
2010
Conference papers
- titre
- Characterising Space Complexity Classes via Knuth-Bendix Orders
- auteur
- Guillaume Bonfante, Georg Moser
- article
- 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR-17, Oct 2010, Yogyakarta, Indonesia. pp.142--156
- Accès au bibtex
-
- titre
- Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique
- auteur
- Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
- article
- Traitement Automatique des Langues Naturelles - TALN 2010, Jul 2010, Montréal, Canada
- Accès au texte intégral et bibtex
-
- titre
- Complexity invariance of real interpretations
- auteur
- Guillaume Bonfante, Florian Deloup
- article
- 7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010, Jun 2010, Prague, Czech Republic. pp.139-150, ⟨10.1007/978-3-642-13562-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Observation of implicit complexity by non confluence
- auteur
- Guillaume Bonfante
- article
- International Workshop on Developments in Implicit Computational complExity - DICE 2010, Mar 2010, Paphos, Cyprus
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Complexity invariance of real interpretations
- auteur
- Guillaume Bonfante, Florian Deloup
- article
- Theory and applications of models of computation, Springer, p. 139-150, 2010, Lecture Notes in Computer Science, vol. 6108, ⟨10.1007/978-3-642-13562-0_14⟩
- Accès au bibtex
-
2009
Journal articles
- titre
- Polygraphic programs and polynomial-time functions
- auteur
- Guillaume Bonfante, Yves Guiraud
- article
- Logical Methods in Computer Science, 2009, 5 (2:14), pp.1-37. ⟨10.2168/LMCS-5(2:14)2009⟩
- Accès au texte intégral et 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⟩
- 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
- Accès au texte intégral et bibtex
-
- titre
- Polynomials over the reals are safe for program interpretations
- auteur
- Guillaume Bonfante, Florian Deloup, Antoine Henrot
- article
- FOPARA 2009, Nov 2009, Eindhoven, European Union
- Accès au texte intégral et bibtex
-
- titre
- Dependency Constraints for Lexical Disambiguation
- auteur
- Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
- article
- 11th International Conference on Parsing Technologies - IWPT'09, Oct 2009, Paris, France. pp.242-253
- Accès au texte intégral et bibtex
-
- titre
- Word Order Constraints for Lexical Disambiguation of Interaction Grammars
- auteur
- Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
- article
- Workshop on Parsing with Categorial Grammars - ESSLLI, Jul 2009, Bordeaux, France
- Accès au texte intégral et bibtex
-
2008
Conference papers
- 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
- 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⟩
- 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
- Accès au bibtex
-
2007
Journal articles
- 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⟩
- 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
- 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
- Accès au texte intégral et bibtex
-
- titre
- INtersection Optimization is NP-Complete
- auteur
- Guillaume Bonfante, Joseph Le Roux
- article
- Sixth International Workshop on Finite-State Methods and Natural Language Processing - FSMNLP 2007, Sep 2007, Postdam, Germany
- Accès au texte intégral et 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⟩
- 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
- Accès au texte intégral et bibtex
-
- titre
- Intensional properties of polygraphs
- auteur
- Guillaume Bonfante, Yves Guiraud
- article
- 4th International Workshop on Computing with Terms and Graphs - TERMGRAPH 2007, Mar 2007, Braga, Portugal. ⟨10.1016/j.entcs.2008.03.034⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Intersection Optimization is NP Complete
- auteur
- Guillaume Bonfante, Joseph Le Roux
- article
- 2007
- Accès au texte intégral et bibtex
-
Reports
- titre
- Monotone interpretations
- auteur
- Guillaume Bonfante
- article
- [Research Report] 2007, pp.9
- Accès au texte intégral et bibtex
-
2006
Journal articles
- 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⟩
- 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
- Accès au texte intégral et bibtex
-
- titre
- Lexical disambiguation with polarities and automata
- auteur
- Joseph Le Roux, Guillaume Bonfante, Guy Perrier
- article
- 11th International Conference on Implementation and Application of Automata - CIAA 2006, Aug 2006, Taipei/Taiwan
- Accès au texte intégral et bibtex
-
- titre
- Some programming languages for LOGSPACE and PTIME
- auteur
- Guillaume Bonfante
- article
- 11th International Conference on Algebraic Methodology and Software Technology - AMAST'06, Jul 2006, Kuresaare/Estonie
- Accès au texte intégral et bibtex
-
2005
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⟩
- Accès au texte intégral et 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
- 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
- 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
- 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
- Accès au bibtex
-
2004
Conference papers
- titre
- Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation
- auteur
- Guillaume Bonfante, Bruno Guillaume, Guy Perrier
- article
- 20th Conference on Computational Linguistics - CoLing'2004, 2004, Genève, Suisse, pp.303-309
- Accès au texte intégral et 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
- Accès au bibtex
-
2003
Journal articles
- titre
- Analyse syntaxique électrostatique
- auteur
- Guillaume Bonfante, Bruno Guillaume, Guy Perrier
- article
- Revue TAL : traitement automatique des langues, 2003, 44 (3), pp.93-120
- 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
- Accès au bibtex
-
Conference papers
- titre
- Stochastic Lambek Categorial Grammars
- auteur
- Guillaume Bonfante, Philippe de Groote
- article
- Formal Grammars and Mathematics of Langage Conference - FGMOl'01, Lawrence Moss, 2001, Helsinki, Finland, 9 p
- 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
- Accès au bibtex
-
Reports
- titre
- A model of a dependent linear calculus
- auteur
- Guillaume Bonfante, François Lamarche, Thomas Streicher
- article
- [Intern report] A01-R-262 || bonfante01c, 2001, 13 p
- Accès au bibtex
-
2000
Conference papers
- titre
- Complexity characterisation of restrictions of KBO
- auteur
- Guillaume Bonfante
- article
- Implicit computational complexity, J.Y. Marion, May 2000, Santa Barbara, US, pp.12
- Accès au bibtex
-
Reports
- titre
- A monotone lambda-calculus: the example of ordinal terms
- auteur
- Guillaume Bonfante, François Lamarche
- article
- [Intern report] A00-R-180 || bonfante00a, 2000, 15 p
- Accès au bibtex
-
Theses
- titre
- Constructions d'ordres, analyse de la complexité
- auteur
- Guillaume Bonfante
- article
- Informatique [cs]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL102N⟩
- Accès au texte intégral et bibtex
-
1999
Reports
- titre
- Constructing orders by means of inductive definitions
- auteur
- Guillaume Bonfante, François Lamarche
- article
- [Intern report] 99-R-035 || bonfante99a, 1999, 15 p
- 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
- Accès au texte intégral et bibtex
-
Reports
- titre
- A semantics and a syntax for ordinal notations and hierarchies
- auteur
- Guillaume Bonfante, Adam Cichon, François Lamarche
- article
- [Intern report] 98-R-070 || bonfante98b, 1998, 33 p
- Accès au bibtex
-