Publications de l'équipe CARTE

2012

Articles dans des revues avec comité de lecture

Titre

Synthesis of sup-interpretations: a survey

Auteurs

Romain Péchoux

Détail

Theoretical Computer Science, Elsevier, 2012, pp. 24

Accès au texte intégral et bibtex

Titre

Computability of the ergodic decomposition

Auteurs

Mathieu Hoyrup

Détail

Annals of Pure and Applied Logic, Elsevier, 2012

Accès au texte intégral et bibtex

Titre

Statistical properties of dynamical systems - simulation and abstract computation.

Auteurs

Stefano Galatolo; Mathieu Hoyrup; Cristobal Rojas

Détail

Chaos, Solitons and Fractals, Elsevier, 2012, 45 (1), pp. 1-14

Accès au texte intégral et bibtex

Titre

Computability of the Radon-Nikodym derivative.

Auteurs

Mathieu Hoyrup; Cristobal Rojas; Klaus Weihrauch

Détail

Computability, IOS Press, 2012, 1 (1), pp. 3-13

Accès au bibtex

Titre

A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points

Auteurs

Laurent Bienvenu; Adam Day; Mathieu Hoyrup; Ilya Mezhirov; Alexander Shen

Détail

Information and Computation, Elsevier, 2012, 210, pp. 21-30

Accès au texte intégral et bibtex

Communications avec actes

Titre

The dimension of ergodic random sequences

Auteurs

Mathieu Hoyrup

Détail

Christoph Dürr, Thomas Wilke. STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. LIPIcs, 14, pp. 567-576

Accès au texte intégral et bibtex

Rapports

Titre

On the inversion of computable functions

Auteurs

Mathieu Hoyrup

Détail

[Research Report], 2012

Accès au texte intégral et bibtex

Titre

A circuit uniformity sharper than DLogTime

Auteurs

Guillaume Bonfante; Virgile Mogbil

Détail

[Report], 2012. rapport interne LIPN

Accès au texte intégral et bibtex

Titre

Complexity Information Flow in a Multi-threaded Imperative Language

Auteurs

Jean-Yves Marion; Romain Péchoux

Détail

[Research Report], 2012, pp. 16

Accès au texte intégral et bibtex

Titre

Type-based complexity analysis for concurrent programs

Auteurs

Emmanuel Hainry ; Jean-Yves Marion; Romain Péchoux

Détail

[Research Report], 2012, pp. 15

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Algorithmic tests and randomness with respect to a class of measures

Auteurs

Laurent Bienvenu; Peter Gacs; Mathieu Hoyrup; Cristobal Rojas; Alexander Shen

Détail

Proceedings of the Steklov Institute of Mathematics, Steklov Institute of Mathematics, 2011, 274 (1), pp. 34-89

Accès au texte intégral et bibtex

Titre

Quasi-interpretations a way to control resources

Auteurs

Guillaume Bonfante; Jean-Yves Marion; Jean-Yves Moyen

Détail

Theoretical Computer Science, 2011, 412 (25), pp. 2776-2796

Accès au texte intégral et bibtex

Titre

An Implicit Characterization of PSPACE

Auteurs

Marco Gaboardi; Jean-Yves Marion; Simona Ronchi Della Rocca

Détail

ACM Transactions on Computational Logic, 2011

Accès au texte intégral et bibtex

Titre

Dynamics and abstract computability: computing invariant measures

Auteurs

Stefano Galatolo; Mathieu Hoyrup; Cristobal Rojas

Détail

Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2011, 29 (1), pp. 193-212

Accès au texte intégral et bibtex

Titre

Randomness on Computable Probability Spaces—A Dynamical Point of View

Auteurs

Peter Gacs; Mathieu Hoyrup; Cristobal Rojas

Détail

Theory of Computing Systems, Springer, 2011, 48 (3), pp. 465-485

Accès au texte intégral et bibtex

Titre

Proving Weak Properties of Rewriting

Auteurs

Isabelle Gnaedig; Hélène Kirchner

Détail

Theoretical Computer Science, Elsevier, 2011, 412, pp. 4405-4438

Accès au bibtex

Articles de vulgarisation scientifique

Titre

Informatique et société : Un laboratoire de haute sécurité en informatique : entretien avec Jean-Yves Marion

Auteurs

Jean-Yves Marion

Détail

La Recherche Les Cahiers de l'Inria, Société d'éditions scientifiques, 2011, Les 10 découvertes de l'année, 448 janvier 2011

Accès au texte intégral et bibtex

Communications avec actes

Titre

Course of value distinguishes the intentionality of programming languages

Auteurs

Guillaume Bonfante

Détail

2nd International Symposium on Information and Communication Technology - SoICT 2011, Oct 2011, Hanoi, Viet Nam.

Accès au texte intégral et bibtex

Titre

The dimension of ergodic random sequences

Auteurs

Mathieu Hoyrup

Détail

STACS, Feb 2012, Paris, France. 2011

Accès au texte intégral et bibtex

Titre

Randomness and the ergodic decomposition

Auteurs

Mathieu Hoyrup

Détail

Computability in Europe, Jun 2011, Sofia, Bulgaria. 6735, pp. 122-131, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Computability of the Radon-Nikodym derivative

Auteurs

Mathieu Hoyrup; Cristobal Rojas; Klaus Weihrauch

Détail

Benedikt Löwe and Dag Normann and Ivan Soskov and Alexandra Soskova. Computability in Europe, Jun 2011, Sofia, Bulgaria. Springer-Verlag, Models of Computation in Context, 6735, pp. 132-141, LNCS

Accès au texte intégral et bibtex

Titre

A type system for complexity flow analysis

Auteurs

Jean-Yves Marion

Détail

Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science - LICS 2011, Jun 2011, Toronto, Canada. ACM

Accès au texte intégral et bibtex

Titre

Modular Graph Rewriting to Compute Semantics

Auteurs

Guillaume Bonfante; Bruno Guillaume; Mathieu Morey; Guy Perrier

Détail

Johan Bos and Stephen Pulman. 9th International Conference on Computational Semantics - IWCS 2011, Jan 2011, Oxford, United Kingdom. pp. 65-74

Accès au texte intégral et bibtex

Titre

Enrichissement de structures en dépendances par réécriture de graphes

Auteurs

Guillaume Bonfante; Bruno Guillaume; Mathieu Morey; Guy Perrier

Détail

Traitement Automatique des Langues Naturelles (TALN), Jun 2011, Montpellier, France.

Accès au bibtex

HDR

Titre

Complexité implicite des calculs : interprétation de programmes

Auteurs

Guillaume Bonfante

Détail

Institut National Polytechnique de Lorraine - INPL, Dec. 2011. French

Accès au texte intégral et bibtex

Rapports

Titre

Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version

Auteurs

Philippe Beaucamps; Isabelle Gnaedig; Jean-Yves Marion

Détail

[Research Report], 2011

Accès au texte intégral et bibtex

Thèses

Titre

Analyse de Programmes Malveillants par Abstraction de Comportements

Auteurs

Philippe Beaucamps

Détail

informatique. Institut National Polytechnique de Lorraine - INPL, Nov. 2011. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Computation with perturbed dynamical systems

Auteurs

Olivier Bournez; Daniel Graça; Emmanuel Hainry

Détail

May. 2011. Soumis

Accès au texte intégral et bibtex

Titre

Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions

Auteurs

Olivier Bournez; Walid Gomaa; Emmanuel Hainry

Détail

Apr. 2011. Accepted for publication in International Journal of Unconventional Computing

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Effective symbolic dynamics, random points, statistical behavior, complexity and entropy

Auteurs

Stefano Galatolo; Mathieu Hoyrup; Cristobal Rojas

Détail

Information and Computation, Elsevier, 2010, 208 (1), pp. 23-41

Accès au texte intégral et bibtex

Articles de vulgarisation scientifique

Titre

Boulevard du cybercrime

Auteurs

Jean-Yves Marion; Matthieu Kaczmarek

Détail

Dossier Pour la Science, Pour La Science, 2010, 66, pp. 78-85

Accès au bibtex

Titre

Une brève introduction à la théorie effective de l'aléatoire

Auteurs

Laurent Bienvenu; Mathieu Hoyrup

Détail

Gazette des Mathématiciens, Société Mathématique de France, 2010, 123, pp. 35-47

Accès au texte intégral et bibtex

Communications avec actes

Titre

The case for in-the-lab botnet experimentation: creating and taking down a 3000-node botnet

Auteurs

Joan Calvet; Carlton R. Davis; José M. Fernandez; Jean-Yves Marion; Pier-Luc St-Onge; Wadie Guizani; Pierre-Marc Bureau; Somayaji Anil

Détail

Annual Computer Security Applications Conference, Dec 2010, Austin, Texas, United States.

Accès au texte intégral et bibtex

Titre

Interpretation of stream programs: characterizing type 2 polynomial time complexity

Auteurs

Hugo Férée; Emmanuel Hainry; Mathieu Hoyrup; Romain Péchoux

Détail

21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, Korea, Republic Of. Springer

Accès au texte intégral et bibtex

Titre

Characterising Space Complexity Classes via Knuth-Bendix Orders

Auteurs

Guillaume Bonfante; Georg Moser

Détail

Christian G. Fermüller and Andrei Voronkov. 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR-17, Oct 2010, Yogyakarta, Indonesia. Springer, Logic for Programming, Artificial Intelligence, and Reasoning, 6397, pp. 142-156, Lecture Notes in Computer Science

Accès au bibtex

Titre

Large-scale Malware Experiments: Why, How, and So What?

Auteurs

Joan Calvet; José M. Fernandez; Pierre-Marc Bureau; Jean-Yves Marion

Détail

Virus Bulletin 2010, Sep 2010, Vancouver, Canada. pp. 241-247

Accès au bibtex

Titre

Behavior Abstraction in Malware Analysis

Auteurs

Philippe Beaucamps; Isabelle Gnaedig; Jean-Yves Marion

Détail

Grigore Rosu, Oleg Sokolsky. 1st International Conference on Runtime Verification, Nov 2010, St. Julians, Malta. Springer-Verlag, Runtime Verification, 6418, pp. 168-182, Lecture Notes in Computer Science

Accès au bibtex

Titre

Isolated virtualised clusters: testbeds for high-risk security experimentation and training

Auteurs

Joan Calvet; Carlton Davis; José M. Fernandez; Wadie Guizani; Matthieu Kaczmarek; Jean-Yves Marion; Pier-Luc St-Onge

Détail

3rd Workshop on Cyber Security Experimentation and Test (CSET '10), Aug 2010, Washington DC, United States.

Accès au texte intégral et bibtex

Titre

Unconditional self-modifying code elimination with dynamic compiler optimizations

Auteurs

Isabelle Gnaedig; Matthieu Kaczmarek; Daniel Reynaud; Stéphane Wloka

Détail

Fernando C. Colón Osorio. 5th International Conference on Malicious and Unwanted Software, Oct 2010, Nancy, France. IEEE, Proceedings of the 5th International Conference on Malicious and Unwanted Software, CFP1059F-PRT

Accès au texte intégral et bibtex

Titre

Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique

Auteurs

Guillaume Bonfante; Bruno Guillaume; Mathieu Morey; Guy Perrier

Détail

Traitement Automatique des Langues Naturelles - TALN 2010, Jul 2010, Montréal, Canada.

Accès au texte intégral et bibtex

Titre

Analyse de Programmes par Traçage

Auteurs

Wadie Guizani; Jean-Yves Marion; Daniel Reynaud

Détail

8ème Symposium sur la Sécurité des Technologies de l'Information et des Communications - SSTIC 2010, Jun 2010, Rennes, France. pp. 125-138

Accès au texte intégral et bibtex

Titre

Global and local space properties of stream programs

Auteurs

Marco Gaboardi; Romain Péchoux

Détail

Marko van Eekelen and Olha Shkaravska. First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009, Nov 2009, Eindhoven, Netherlands. Springer, Foundational and Practical Aspects of Resource Analysis, 6324, pp. 51-66, 2010, Lecture notes in computer science

Accès au texte intégral et bibtex

Titre

Complexity invariance of real interpretations

Auteurs

Guillaume Bonfante; Florian Deloup

Détail

Jan Kratochvi, Angsheng Li, Jiri Fiala and Petr Kolman. 7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010, Jun 2010, Prague, Czech Republic. Springer, Theory and applications of models of computation, 6108, pp. 139-150, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Observation of implicit complexity by non confluence

Auteurs

Guillaume Bonfante

Détail

International Workshop on Developments in Implicit Computational complExity - DICE 2010, Mar 2010, Paphos, Cyprus.

Accès au texte intégral et bibtex

Titre

Polynomial time computation in the context of recursive analysis

Auteurs

Walid Gomaa

Détail

Marko van Eekelen and Olha Shkaravska. First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009, Nov 2009, Eindhoven, Netherlands. Springer, 6324, pp. 146-162, 2010, Lecture Notes in Computer Science

Accès au bibtex

Titre

Robust computations with dynamical systems

Auteurs

Olivier Bournez; Daniel Graça; Emmanuel Hainry

Détail

Petr Hlineny and Antonin Kucera. 35th international symposium on Mathematical Foundations of Computer Science - MFCS 2010, Aug 2010, Brno, Czech Republic. Springer-Verlag, 6281, pp. 198-208, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Communications sans actes

Titre

Tripoux: Reverse Engineering of malware packers for dummies!

Auteurs

Joan Calvet

Détail

DeepSec 2010, Nov 2010, Vienna, Austria.

Accès au bibtex

Titre

Understanding Swizzor's Obfuscation Scheme

Auteurs

Joan Calvet; Pierre-Marc Bureau

Détail

REcon, Jul 2010, Montréal, Canada.

Accès au bibtex

Conférences invitées

Titre

Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems

Auteurs

Stefano Galatolo; Mathieu Hoyrup; Cristobal Rojas

Détail

Xizhong Zheng and Ning Zhong. Computability and Complexity in Analysis (CCA), Jun 2010, Zhenjiang, China. Proceedings Seventh International Conference on Computability and Complexity in Analysis, 24, pp. 7-18, Electronic Proceedings in Theoretical Computer Science

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Décidabilité et Complexité

Auteurs

Olivier Bournez; Gilles Dowek; Rémi Gilleron; Serge Grigorieff; Jean-Yves Marion; Simon Perdrix; Sophie Tison

Détail

Pierre Marquis, Odile Papini and Henri Prade.. IA Handbook, Cépaduès, pp. 1-63, Jan. 2010

Accès au texte intégral et bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre

27th International Symposium on Theoretical Aspects of Computer Science (STACS)

Auteurs

Jean-Yves Marion; Thomas Schwentick

Détail

[Preface]. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France

Accès au texte intégral et bibtex

Rapports

Titre

Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version

Auteurs

Philippe Beaucamps; Isabelle Gnaedig; Jean-Yves Marion

Détail

[Research Report], 2010

Accès au texte intégral et bibtex

Thèses

Titre

Application de la théorie des jeux à l'optimisation du routage réseau - solutions algorithmiques

Auteurs

Octave Boussaton

Détail

information cognition et apprentissages. Université Henri Poincaré - Nancy I, Feb. 2010. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Behavior Abstraction in Malware Analysis - Extended Version

Auteurs

Philippe Beaucamps; Isabelle Gnaedig; Jean-Yves Marion

Détail

Aug. 2010

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Distributed Learning of Equilibria in a Routing Game

Auteurs

Dominique Barth; Johanne Cohen; Olivier Bournez; Octave Boussaton

Détail

Parallel Processing Letters, World Scientific, 2009, 19 (2), pp. 189-204

Accès au bibtex

Titre

On tiered small jump operators

Auteurs

Jean-Yves Marion

Détail

Logical Methods in Computer Science, 2009, 5 (1), pp. 1-19

Accès au bibtex

Titre

Polygraphic programs and polynomial-time functions

Auteurs

Guillaume Bonfante; Yves Guiraud

Détail

Logical Methods in Computer Science (LMCS), International Federation for Computational Logic, 2009, 5 (2:14), pp. 1-37

Accès au texte intégral et bibtex

Titre

Termination of Rewriting under Strategies

Auteurs

Isabelle Gnaedig; Hélène Kirchner

Détail

ACM Transactions on Computational Logic, ACM, 2009, 10 (2), pp. 1-52

Accès au bibtex

Titre

Architecture of a Morphological Malware Detector

Auteurs

Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion

Détail

Journal in Computer Virology, Springer-Verlag, 2009, 5 (3), pp. 263-270

Accès au texte intégral et bibtex

Titre

Sup-interpretations, a semantic method for static analysis of program resources

Auteurs

Jean-Yves Marion; Romain Péchoux

Détail

ACM Transactions on Computational Logic, ACM, 2009, 10 (4), 30 p.

Accès au texte intégral et bibtex

Communications avec actes

Titre

A computability perspective on self-modifying programs

Auteurs

Guillaume Bonfante; Jean-Yves Marion; Daniel Reynaud

Détail

7th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2009, Nov 2009, Hanoi, Viet Nam.

Accès au texte intégral et bibtex

Titre

An Application of Martin-Löf Randomness to Effective Probability Theory

Auteurs

Mathieu Hoyrup; Cristobal Rojas

Détail

Klaus Ambos-Spies and Benedikt Löwe and Wolfgang Merkle. 5th Conference on Computability in Europe - CiE 2009, Jul 2009, Heidelberg, Germany. Springer Berlin / Heidelberg, 5635, pp. 260-269, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Applications of Effective Probability Theory to Martin-Löf Randomness

Auteurs

Mathieu Hoyrup; Cristobal Rojas

Détail

Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas and Wolfgang Thomas. 36th International Colloquium on Automata, Languages and Programming - ICALP 2009, Jul 2009, Rhodes, Greece. Springer Berlin / Heidelberg, 5555, pp. 549-561, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Characterizing Polynomial Time Computability of Rational and Real Functions

Auteurs

Walid Gomaa

Détail

S. Barry Cooper and Vincent Danos. Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, Jul 2009, Rhodes, Greece. pp. 54-64

Accès au bibtex

Titre

On behavioral detection

Auteurs

Philippe Beaucamps; Jean-Yves Marion

Détail

18th EICAR Annual Conference 2009, May 2009, Berlin, Germany.

Accès au bibtex

Titre

On the use of Internet Voting on Compromised Computers

Auteurs

Philippe Beaucamps; Daniel Reynaud-Plantey; Jean-Yves Marion

Détail

4th International conference on i-Warfare & Security - ICIW 2009, Mar 2009, Cape Town, South Africa.

Accès au bibtex

Titre

Randomness on Computable Probability Spaces - A Dynamical Point of View

Auteurs

Peter Gacs; Mathieu Hoyrup; Cristobal Rojas

Détail

Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, Proceedings of the 26th Annual Symposium on the Theoretical Aspects of Computer Science, pp. 469-480

Accès au texte intégral et bibtex

Titre

Server-Side Dynamic Code Analysis

Auteurs

Wadie Guizani; Jean-Yves Marion; Daniel Reynaud

Détail

4th International Conference on Malicious and Unwanted Software - Malware 2009, Oct 2009, Montréal, Canada. IEEE, pp. 55-62

Accès au texte intégral et bibtex

Titre

Termination of Priority Rewriting

Auteurs

Isabelle Gnaedig

Détail

Adrian Horia Dediu and Armand Mihai Ionescu and Carlos Martin-Vide. Third International Conference on Language and Automata Theory and Applications - LATA 2009, Apr 2009, Tarragona, Spain. Springer, 5457, pp. 386-397, Lecture Notes in Computer Science

Accès au bibtex

Titre

Upper Bounds on Stream I/O Using Semantic Interpretations

Auteurs

Marco Gaboardi; Romain Péchoux

Détail

Erich Grädel and Reinhard Kahle. 23rd international Workshop on Computer Science Logic, CSL 2009, 18th Annual Conference of the EACSL, Sep 2009, Coimbra, Portugal. Springer, Computer Science Logic, 5771, pp. 271-286, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Dependency Constraints for Lexical Disambiguation

Auteurs

Guillaume Bonfante; Bruno Guillaume; Mathieu Morey

Détail

11th International Conference on Parsing Technologies - IWPT'09, Oct 2009, Paris, France. Association for Computational Linguistics, pp. 242-253

Accès au texte intégral et bibtex

Titre

Analog Computation and Function Algebras

Auteurs

Walid Gomaa

Détail

The Science and Philosophy of Unconventional Computing, Mar 2009, Cambridge, United Kingdom.

Accès au bibtex

Communications sans actes

Titre

Polynomials over the reals are safe for program interpretations

Auteurs

Guillaume Bonfante; Florian Deloup; Antoine Henrot

Détail

FOPARA 2009, Nov 2009, Eindhoven, Europe.

Accès au texte intégral et bibtex

Titre

Implicit complexity in recursive analysis

Auteurs

Olivier Bournez; Walid Gomaa; Emmanuel Hainry

Détail

Tenth International Workshop on Logic and Computational Complexity - LCC'09, Aug 2009, Los Angeles, United States.

Accès au texte intégral et bibtex

Titre

On the Impact of Malware on Internet Voting

Auteurs

Philippe Beaucamps; Eric Filiol; Jean-Yves Marion; Daniel Reynaud

Détail

1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg, Luxembourg.

Accès au bibtex

Titre

Dynamic Binary Instrumentation for Deobfuscation and Unpacking

Auteurs

Daniel Reynaud; Jean-Yves Marion

Détail

IN-DEPTH SECURITY CONFERENCE 2009 EUROPE, Nov 2009, Vienne, Austria.

Accès au bibtex

Titre

Word Order Constraints for Lexical Disambiguation of Interaction Grammars

Auteurs

Guillaume Bonfante; Bruno Guillaume; Mathieu Morey

Détail

Workshop on Parsing with Categorial Grammars - ESSLLI, Jul 2009, Bordeaux, France.

Accès au texte intégral et bibtex

Conférences invitées

Titre

A dynamic approach for load balancing

Auteurs

Dominique Barth; Olivier Bournez; Octave Boussaton; Johanne Cohen

Détail

The Third International Workshop on Game Theory in Communication Networks - GAMECOMM 2009, Oct 2009, Pise, Italy.

Accès au texte intégral et bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre

26th International Symposium on Theoretical Aspects of Computer Science (STACS)

Auteurs

Susanne Albers; Jean-Yves Marion

Détail

[Preface]. STACS - 2009, Feb 2009, FREIBURG, Germany, pp. 1-7

Accès au texte intégral et bibtex

Rapports

Titre

Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions

Auteurs

Olivier Bournez; Walid Gomaa; Emmanuel Hainry

Détail

[Research Report], 2009

Accès au texte intégral et bibtex

Titre

Proving weak properties of rewriting

Auteurs

Isabelle Gnaedig; Hélène Kirchner

Détail

[Research Report], 2009, pp. 50

Accès au bibtex

Titre

Surfing Code Waves

Auteurs

Jean-Yves Marion; Daniel Reynaud

Détail

[Research Report], 2009

Accès au bibtex

Titre

Modeling reducibility on ground terms using constraints

Auteurs

Isabelle Gnaedig; Hélène Kirchner

Détail

[Research Report], 2009, pp. 9

Accès au texte intégral et bibtex

Titre

Decidability and Undecidability in Dynamical Systems

Auteurs

Emmanuel Hainry

Détail

[Research Report], 2009, pp. 27

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

Soft Linear Logic and Polynomial Complexity Classes

Auteurs

Marco Gaboardi; Jean-Yves Marion; Simona Ronchi Della Rocca

Détail

Electronic Notes in Theoretical Computer Science, 2008, 205 (6), pp. 67-87

Accès au texte intégral et bibtex

Titre

Learning discrete categorial grammars from structures

Auteurs

Jérôme Besombes; Jean-Yves Marion

Détail

RAIRO - Theoretical Informatics and Applications, 2008, 42 (1), pp. 165-182

Accès au texte intégral et bibtex

Titre

An Exercise in Selfish Stabilization

Auteurs

Johanne Cohen; Anurag Dasgupta; Sukumar Ghosh; Sébastien Tixeuil

Détail

ACM Transactions on Autonomous and Adaptive Systems (TAAS), ACM, 2008, 3 (4), pp. Article 15

Accès au bibtex

Communications avec actes

Titre

A Logical Account of PSPACE

Auteurs

Marco Gaboardi; Jean-Yves Marion; Simona Ronchi Della Rocca

Détail

Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. ACM, 43, pp. 121-131, ACM SIGPLAN Notices

Accès au texte intégral et bibtex

Titre

Recursion Schemata for NCk

Auteurs

Guillaume Bonfante; Reinhard Kahle; Jean-Yves Marion; Isabel Oitavem

Détail

Michael Kaminski and Simone Martini. 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. Springer, 5213, pp. 49-63, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Intensional properties of polygraphs

Auteurs

Guillaume Bonfante; Yves Guiraud

Détail

4th International Workshop on Computing with Terms and Graphs - TERMGRAPH 2007, Mar 2007, Braga, Portugal. 203(1):65-77, 2008, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Reachability in linear dynamical systems

Auteurs

Emmanuel Hainry

Détail

Beckmann, Arnold and Dimitracopoulos, Costas and L{ö}we, Benedikt. Computability in Europe, Jun 2008, Athènes, Greece. Springer, Logic and Theory of Algorithms, 5028, pp. 241-250, Lecture Notes in Computer Sciences

Accès au texte intégral et bibtex

Titre

Computing omega-limit Sets in Linear Dynamical Systems

Auteurs

Emmanuel Hainry

Détail

Calude, Cristian S. and Costa, José Félix and Freund, Rudolf and Oswald, Marion and Rozenberg, Grzegorz. Unconventional Computation, Aug 2008, Vienne, Austria. Springer, 5204, pp. 83-95, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Distributed Learning of Wardrop Equilibria

Auteurs

Dominique Barth; Olivier Bournez; Octave Boussaton; Johanne Cohen

Détail

7th International Conference on Unconventional Computation - UC 2008), Aug 2008, Vienne, Austria. 5204, pp. 19-32, Lecture Notes in Computer Science

Accès au bibtex

Titre

Arrangement linéaire minimal des graphes d'intervalles

Auteurs

Karine Deschinkel; Johanne Cohen

Détail

congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la décision, Feb 2008, Clermont Ferrand, France.

Accès au bibtex

Titre

Morphological Detection of Malware

Auteurs

Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion

Détail

International Conference on Malicious and Unwanted Software, Oct 2008, Alexendria VA, United States. IEEE, MALWARE 2008

Accès au texte intégral et bibtex

Titre

Characterizations of Polynomial Complexity Classes with a Better Intensionality

Auteurs

Jean-Yves Marion; Romain Péchoux

Détail

Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming - PPDP 2008, Jul 2008, Valencia, Spain. ACM, pp. 79-88

Accès au texte intégral et bibtex

Titre

A Characterization of NCk by First Order Functional Programs

Auteurs

Jean-Yves Marion; Romain Péchoux

Détail

Manindra Agrawal, Dingzhu Du, Zhenhua Duan and Angsheng Li. 5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Apr 2008, Xian, China. Springer Berlin / Heidelberg, Theory and Applications of Models of Computation, 4978, pp. 136-147, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Analyzing the Implicit Computational Complexity of object-oriented programs

Auteurs

Jean-Yves Marion; Romain Péchoux

Détail

R. Hariharan, M. Mukund, V. Vinay. Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, Dec 2008, Bangalore, India. Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License: Creative Commons-NC-ND

Accès au texte intégral et bibtex

Titre

An implementation of morphological malware detection

Auteurs

Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion

Détail

EICAR, May 2008, Laval, France. pp. 49-62

Accès au bibtex

Titre

Extended Recursion-Based Formalization of Virus Mutation

Auteurs

Philippe Beaucamps

Détail

EICAR'08, Jun 2008, Laval, France. Proceedings of EICAR'08

Accès au texte intégral et bibtex

Communications sans actes

Titre

On the Convergence of a Population Protocol When Population Goes to Infinity

Auteurs

Olivier Bournez; Philippe Chassaing; Johanne Cohen; Lucas Gerin; Xavier Koegler

Détail

Physics and Computations, Worshop of Unconventional Computation - UC 2008, Aug 2008, Vienne, Austria.

Accès au bibtex

Titre

GPU Powered Malware

Auteurs

Daniel Reynaud

Détail

Ruxcon, Nov 2008, Sydney, Australia.

Accès au bibtex

Titre

A Survey on Virtual Machines for Malware Analysis

Auteurs

Daniel Reynaud

Détail

3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France.

Accès au bibtex

Titre

Obfuscation by Interpretation

Auteurs

Daniel Reynaud; Jean-Yves Marion

Détail

3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France.

Accès au bibtex

Titre

Malicious Firefox Extensions

Auteurs

Philippe Beaucamps; Daniel Reynaud

Détail

Symposium sur la sécurité des techniques d'information et de communication, Jun 2008, Rennes, France.

Accès au bibtex

Conférences invitées

Titre

Playing With Population Protocols

Auteurs

Olivier Bournez; Jérémie Chalopin; Johanne Cohen

Détail

International Workshop on The Complexity of Simple Programs, Dec 2008, Cork, Ireland.

Accès au bibtex

Rapports

Titre

Termination of Priority Rewriting

Auteurs

Isabelle Gnaedig

Détail

[Research Report], 2008, pp. 13

Accès au texte intégral et bibtex

Titre

Termination of Priority Rewriting - Extended version

Auteurs

Isabelle Gnaedig

Détail

[Research Report], 2008

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

On the defence notion

Auteurs

Anne Bonfante; Jean-Yves Marion

Détail

Journal in Computer Virology, 2007, 3 (4), pp. 247-251

Accès au texte intégral et bibtex

Titre

Learning tree languages from positive examples and membership queries

Auteurs

Jérôme Besombes; Jean-Yves Marion

Détail

Theoretical Computer Science, 2007, 382 (3), pp. 183-197

Accès au bibtex

Titre

La virologie informatique - les virus, ennemis utiles

Auteurs

Eric Filiol; Jean-Yves Marion

Détail

Pour la Science, 2007, 55, pp. 60-64

Accès au bibtex

Titre

Foreword of WTCV 06

Auteurs

Guillaume Bonfante; Jean-Yves Marion

Détail

Journal in Computer Virology, 2007, 3 (1), pp. 1-2

Accès au bibtex

Titre

On the B-Continuity Property of Graphs

Auteurs

Dominique Barth; Johanne Cohen; Taoufik Faik

Détail

Discrete Applied Mathematics, 2007, 155 (13), pp. 1761 – 1768

Accès au bibtex

Titre

Polynomial differential equations compute all real computable functions on computable compact intervals

Auteurs

Olivier Bournez; Manuel L. Campagnolo; Daniel S. Graça; Emmanuel Hainry

Détail

Journal of Complexity, Elsevier, 2007, 23 (3), pp. 317-335

Accès au bibtex

Titre

ELF et virologie informatique

Auteurs

Matthieu Kaczmarek

Détail

GNU Linux Magasine France, DIAMOND EDITIONS, 2007, Septembre - Octobre, HS 32, pp. 12-19

Accès au bibtex

Titre

Shuffling biological sequences with motif constraints.

Auteurs

Dominique Barth; Johanne Cohen; Alain Denise; Romain Rivière

Détail

Journal of Discrete Algorithms, Elsevier, 2007

Accès au bibtex

Titre

On the possibility of practically obfuscating programs - Towards a unified perspective of code protection

Auteurs

Philippe Beaucamps; Eric Filiol

Détail

Journal in Computer Virology, Springer Verlag, 2007, 3 (1), pp. 3-21

Accès au texte intégral et bibtex

Articles dans des revues sans comité de lecture

Titre

Polymorphisme Viral sous Linux (Viral Polymorphism in Linux)

Auteurs

Philippe Beaucamps

Détail

GNU/Linux Magazine France, Diamond Editions, 2007, Hors Série 32

Accès au bibtex

Communications avec actes

Titre

Resource control of object-oriented programs

Auteurs

Jean-Yves Marion; Romain Péchoux

Détail

The International Workshop on Logic and Computational Complexity - LCC 2007, Jul 2007, Wroclaw/Poland, Poland.

Accès au texte intégral et bibtex

Titre

Predicative Analysis of Feasibility and Diagonalization

Auteurs

Jean-Yves Marion

Détail

Simona Ronchi Della Rocca. Typed Lambda Calculi and Applications, 8th International Conference - TLCA 2007, Jun 2007, Paris, France. Springer, 4583, pp. 290-304, Lecture Notes in Computer Science

Accès au bibtex

Titre

Optimisation du temps de broadcast dans un modèle de communication en ligne pondéré

Auteurs

Pascal Berthomé; Johanne Cohen; Thierry Mautor

Détail

Programme de la conférence conjointe Francoro V / Roadef 2007, Feb 2007, Grenoble, France. pp. xxxx

Accès au bibtex

Titre

Quasi-interpretation Synthesis by Decomposition : An application to higher-order programs

Auteurs

Guillaume Bonfante; Jean-Yves Marion; Romain Péchoux

Détail

ICTAC, Sep 2007, Macao, China. Springer, LNCS

Accès au texte intégral et bibtex

Titre

A Classification of Viruses through Recursion Theorems

Auteurs

Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion

Détail

S. Barry Cooper and Benedikt Löwe and Andrea Sorbi. Computability in Europe, Jun 2007, Sienna, Italy. Springer, Computation and Logic in the Real World, Third Conference on Computability in Europe, 4497, pp. 73-82, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Control Flow Graphs as Malware Signatures

Auteurs

Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion

Détail

Eric Filiol and Jean-Yves Marion and Guillaume Bonfante. International Workshop on the Theory of Computer Viruses, May 2007, Nancy, France. TCV'07

Accès au texte intégral et bibtex

Titre

Transit prices negotiation: Combined repeated game and distributed algorithmic approach

Auteurs

Dominique Barth; Johanne Cohen; Loubna Echabbi; Chahinez Hamlaoui

Détail

Tijani Chahed et Bruno Tuffin. First EuroFGI International Conference on Network Control and Optimization - NET-COOP 2007, Jun 2007, Avignon, France. Springer Berlin / Heidelberg, Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings, 4465, pp. 266-275, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations

Auteurs

Isabelle Gnaedig; Hélène Kirchner

Détail

Hubert Comon and Claude Kirchner and Hélène Kirchner. Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, Jun 2007, Paris, France. Springer, 4600, pp. 44-67, Lecture Notes in Computer Science

Accès au bibtex

Titre

Induction for Positive Almost Sure Termination

Auteurs

Isabelle Gnaedig

Détail

9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming - PPDP 2007, Jul 2007, Wroclaw, Poland. ACM, pp. 167-177

Accès au bibtex

Titre

On the Computational Capabilities of Several Models

Auteurs

Olivier Bournez; Emmanuel Hainry

Détail

Jérôme Durand-Lose et Maurice Margenstern. 5th International Conference on Machines, Computations and Universality - MCU 2007, Sep 2007, Orléans, France. Springer Berlin / Heidelberg, 4664, pp. 12-23, Lecture Notes in Computer Science

Accès au bibtex

Titre

Advanced Metamorphic Techniques in Computer Viruses

Auteurs

Philippe Beaucamps

Détail

International Conference on Computer, Electrical, and Systems Science, and Engineering - CESSE'07, Nov 2007, Venice, Italy.

Accès au texte intégral et bibtex

Communications sans actes

Titre

Control Flow to Detect Malware

Auteurs

Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion

Détail

Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France.

Accès au texte intégral et bibtex

Titre

Convergences et dynamiques du routage dans les réseaux

Auteurs

Dominique Barth; Olivier Bournez; Octave Boussaton; Johanne Cohen

Détail

Journées Pôle ResCom, Sep 2007, Toulouse, France.

Accès au bibtex

Autres publications

Titre

Intersection Optimization is NP Complete

Auteurs

Guillaume Bonfante; Joseph Le Roux

Détail

May. 2007. Rapport technique

Accès au texte intégral et bibtex

Rapports

Titre

Monotone interpretations

Auteurs

Guillaume Bonfante

Détail

[Research Report], 2007, pp. 9

Accès au texte intégral et bibtex

Titre

Induction for Positive Almost Sure Termination - Extended version -

Auteurs

Isabelle Gnaedig

Détail

[Research Report], 2007, pp. 16

Accès au texte intégral et bibtex

Titre

A characterization of polynomial complexity classes using dependency pairs

Auteurs

Jean-Yves Marion; Romain Péchoux

Détail

[Research Report], 2007, pp. 12

Accès au texte intégral et bibtex

Thèses

Titre

Analyse de la complexité des programmes par interprétation sémantique

Auteurs

Romain Pechoux

Détail

informatique. Institut National Polytechnique de Lorraine - INPL, Nov. 2007. French

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Les paradoxes de la défense virale : Le cas bradley

Auteurs

Jean-Yves Marion; Anne Bonfante

Détail

MISC - Le journal de la sécurité informatique, 2006, 28, pp. 4-7

Accès au bibtex

Titre

On Abstract Computer Virology from a Recursion-theoretic Perspective

Auteurs

Guillaume Bonfante; Matthieu Kaczmarek; Jean-Yves Marion

Détail

Journal in Computer Virology, Springer, 2006, 1 (3-4), pp. 45-54

Accès au texte intégral et bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre

Special issue on implicit computational complexity

Auteurs

Patrick Baillot; Jean-Yves Marion; Simona Ronchi Della Rocca

Détail

[Guest Editorial]. Workshop on Implicit Computational Complexity - Geometry of Computation (GEOCAL'06), Feb 2006, Marseille, France, 2 p.

Accès au texte intégral et bibtex

Thèses

Titre

Modèles de calcul sur les réels, résultats de comparaison

Auteurs

Emmanuel Hainry

Détail

Institut National Polytechnique de Lorraine - INPL, Dec. 2006. French

Accès au texte intégral et bibtex