Sites Inria

English version

Equipe de recherche LANDE

Publications de l'équipe LANDE

2008

Article dans une revue

titre
Le protocole cryptographique de paiement par carte bancaire
auteur
Thomas Genet
article
Interstices, INRIA, 2008
Accès au bibtex
BibTex

Communication dans un congrès

titre
Towards an Efficient Implementation of Tree Automata Completion
auteur
Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
article
12th International Conference on Algebraic Methodology and Software Technology - AMAST'08, Jul 2008, Urbana, Illinois, United States. pp.67-82
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00304010/file/finalversion.pdf BibTex
titre
Raisonnement à contraintes pour le test de bytecode Java
auteur
Florence Charreteur, Arnaud Gotlieb
article
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.11-20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00290579/file/pages-011-20-article27.pdf BibTex
titre
Computing stack maps with interfaces
auteur
Frédéric Besson, Thomas Jensen, Tiphaine Turpin
article
ECOOP'08, 2008, Paphos, Cyprus
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332526/file/BessonJensenTurpinEcoop2008.pdf BibTex
titre
Preservation of proof obligations for hybrid verification methods
auteur
Gilles Barthe, César Kunz, David Pichardie, Julian Samborski-Forlese
article
6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM'08), 2008, Cape Town, South Africa
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332718/file/main.pdf BibTex
titre
Semantic Foundations and Inference of Non-null Annotations
auteur
Laurent Hubert, Thomas Jensen, David Pichardie
article
10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), 2008, Oslo, Norway
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332356/file/fmoods08.pdf BibTex
titre
Building certified static analysers by modular construction of well-founded lattices
auteur
David Pichardie
article
Proc. of the 1st International Conference on Foundations of Informatics, Computing and Software (FICS'08), 2008, Shangai, China
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332365/file/paper.pdf BibTex

Rapport

titre
Certifying a Tree Automata Completion Checker
auteur
Benoît Boyer, Thomas Genet, Thomas Jensen
article
[Research Report] RR-6462, INRIA. 2008, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00258275/file/report.pdf BibTex
titre
Semantic foundations and inference of non-null annotations
auteur
Laurent Hubert, Thomas Jensen, David Pichardie
article
[Research Report] RR-6482, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00266171/file/RR-6482.pdf BibTex
titre
Computing stack maps with interfaces
auteur
Frédéric Besson, Thomas Jensen, Tiphaine Turpin
article
[Research Report] PI 1879, 2008, pp.39
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00200724/file/PI-1879-V2.pdf BibTex

2007

Article dans une revue

titre
Goal-oriented test data generation for pointer programs
auteur
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
article
Information and Software Technology, Elsevier, 2007, 49 (9-10), pp.1030-1044. ⟨10.1016/j.infsof.2006.10.016⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540297/file/GDB07.pdf BibTex

Communication dans un congrès

titre
Information Flow Testing
auteur
Gurvan Le Guernic
article
Annual Asian Computing Science Conference, Carnegie Mellon University Qatar Campus, Dec 2007, Doha, Qatar. ⟨10.1007/978-3-540-76929-3_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00198595/file/noninterferenceTesting.pdf BibTex
titre
Aspects of Availability
auteur
Pascal Fradet, Stéphane Hong Tuan Ha
article
Proc. of the Sixth International Conference on Generative Programming and Component Engineering, GPCE'07, Oct 2007, Salzburg, Austria. pp.165-174, 2007, 〈10.1145/1289971.1289999〉
Accès au bibtex
BibTex
titre
An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint Programming
auteur
Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
article
the 13th International Conference on Principles and Practice of Constraint Programming (CP'07), Sep 2007, France. pp.00-00
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180548/file/final.pdf BibTex
titre
Automaton-based Confidentiality Monitoring of Concurrent Programs
auteur
Gurvan Le Guernic
article
Computer Security Foundations Symposium, Jul 2007, S. Servolo island, Venice, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00161019/file/abnim_concurrent.pdf BibTex
titre
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS
auteur
Gurvan Le Guernic, Julien Perret
article
International Workshop on Rule-Based Programming, Jun 2007, Paris/France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00159267/file/flic_pre-vRULE.pdf BibTex
titre
Rewriting Approximations for Fast Prototyping of Static Analyzers
auteur
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux
article
Rewriting Techniques and Applications, 2007, France. pp.48-62
Accès au bibtex
BibTex
titre
Using Animation to Improve Formal Specifications of Security Protocols
auteur
Yohan Boichut, Thomas Genet, Olivier Heen, Yann Glouche
article
The 2nd National Conference on Security in Network Architectures and Information Systems, 2007, France
Accès au bibtex
BibTex

Autre publication

titre
A Certified Lightweight Non-Interference Java Bytecode Verifier
auteur
Gilles Barthe, David Pichardie, Tamara Rezk
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00106182/file/main.pdf BibTex

Rapport

titre
Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem
auteur
Matthieu Petit, Arnaud Gotlieb
article
[Research Report] RR-6223, INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00156049/file/RR-6223.pdf BibTex
titre
Result certification for relational program analysis
auteur
Frédéric Besson, Thomas Jensen, David Pichardie, Tiphaine Turpin
article
[Research Report] RR-6333, INRIA. 2007, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00166930/file/RR-6333.pdf BibTex
titre
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
auteur
David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin
article
[Research Report] RR-6338, INRIA. 2007, pp.35
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00182338/file/RR-6338.pdf BibTex
titre
Automaton-based Non-interference Monitoring of Concurrent Programs
auteur
Gurvan Le Guernic
article
[Research Report] 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00159987/file/abnimConcurrent_report.pdf BibTex
titre
Constraint-Based Reasoning on Probabilistic Choice Operators
auteur
Matthieu Petit, Arnaud Gotlieb
article
[Research Report] RR-6165, INRIA. 2007, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00140886/file/RR-6165.pdf BibTex

Thèse

titre
Confidentiality Enforcement Using Dynamic Information Flow Analyses
auteur
Gurvan Le Guernic
article
Software Engineering [cs.SE]. Kansas State University, 2007. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00198621/file/thesis_report.pdf BibTex

Pré-publication, Document de travail

titre
Safe Reactive Programming: The FunLoft Proposal
auteur
Frédéric Boussinot, Frederic Dabrowski
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00184100/file/safe-react-funloft.pdf BibTex
titre
Formalisation of FunLoft
auteur
Frédéric Boussinot, Frederic Dabrowski
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00183242/file/fl_formal.pdf BibTex

2006

Article dans une revue

titre
Symbolic execution of floating-point computations
auteur
Bernard Botella, Arnaud Gotlieb, Claude Michel
article
Software Testing Verification and Reliability, John Wiley & Sons, Ltd, 2006, 16 (2), pp.97-121. ⟨10.1002/stvr.333⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540299/file/stvr.pdf BibTex

Communication dans un congrès

titre
Automata-based Confidentiality Monitoring
auteur
Gurvan Le Guernic, Anindya Banerjee, Thomas Jensen, David Schmidt
article
ASIAN'06: 11th Annual Asian Computing Science Conference, National Institute of Informatics, Dec 2006, Tokyo/Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00130210/file/automatonBasedNiMonitoring.pdf BibTex
titre
Système de recherche de méthodes Java basé sur leur signature
auteur
Nicolas Bonnel, Gurvan Le Guernic
article
4e Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (MajecSTIC), Nov 2006, Lorient, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00113231/file/Bonnel_MajecSTIC06_web.pdf BibTex
titre
Feasible Trace Reconstruction for Rewriting Approximations
auteur
Yohan Boichut, Thomas Genet
article
RTA'2006, Aug 2006, Seattle, United States. pp.123-135
Accès au bibtex
BibTex
titre
Raisonner et filtrer avec un choix probabiliste partiellement connu
auteur
Matthieu Petit, Arnaud Gotlieb
article
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00085780/file/12.pdf BibTex
titre
Designing parallel programs and integrated circuits
auteur
Patrice Quinton, Tanguy Risset, Katell Morin-Allory, David Cachera
article
2006, 13 p
Accès au bibtex
BibTex

Autre publication

titre
A Formal Model of Access Control for Mobile Interactive Devices
auteur
Frédéric Besson, Guillaume Dufay, Thomas Jensen
article
2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00083453/file/main.pdf BibTex

Rapport

titre
Automaton-based Non-interference Monitoring
auteur
Gurvan Le Guernic, Anindya Banerjee, David Schmidt
article
[Technical Report] KSU Report 2006-1, 2006, pp.49
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001221/file/leGuernic06techReport-automatonBasedNiMonitoring.pdf BibTex
titre
Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users
auteur
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
article
[Research Report] RR-6039, INRIA. 2006, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00116918/file/RR-6039.pdf BibTex
titre
Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics
auteur
Sébastien Ferré, Olivier Ridoux
article
[Research Report] RR-5871, INRIA. 2006, pp.103
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070155/file/RR-5871.pdf BibTex
titre
Rewriting for Fast Prototyping of Static Analyzers
auteur
Yohan Boichut, Thomas Genet, Thomas Jensen, Luka Leroux
article
[Research Report] RR-5997, INRIA. 2006, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00106330/file/RR-5997.pdf BibTex

2005

Article dans une revue

titre
Extracting a data flow analyser in constructive logic
auteur
David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu
article
Theoretical Computer Science, Elsevier, 2005, 342 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00564611/file/extract-tcs.pdf BibTex

Communication dans un congrès

titre
FL-system's Intelligent Cache
auteur
Gurvan Le Guernic, Julien Perret
article
MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, pp.79-88
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000709/file/43.pdf BibTex
titre
Systèmes de gestion de ressources et aspects de disponibilité
auteur
Pascal Fradet, Stéphane Hong Tuan Ha
article
2ème Journée Francophone sur le Développement de Logiciels Par Aspects, Sep 2005, Lille, pp.183-210
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000944/file/JFDLPA05.pdf BibTex
titre
Monitoring Information Flow
auteur
Gurvan Le Guernic, Thomas Jensen
article
Workshop on Foundations of Computer Security - FCS'05, Jul 2005, Chicago/USA, pp.19--30
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001218/file/le-guernic05monitoringInformationFlow.pdf BibTex
titre
Utilisation des CHRs pour générer des cas de test fonctionnel pour la Machine Virtuelle Java Card
auteur
Sandrine-Dominique Gouraud, Arnaud Gotlieb
article
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.383-392
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000075/file/44.pdf BibTex

Rapport

titre
Data Mining and Cross-checking of Execution Traces: A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version)
auteur
Tristan Denmat, Mireille Ducassé, Olivier Ridoux
article
[Research Report] PI 1743, 2005, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000566/file/PI-1743.pdf BibTex
titre
A PCC Architecture based on Certified Abstract Interpretation
auteur
Frédéric Besson, Thomas Jensen, David Pichardie
article
[Research Report] PI 1764, 2005, pp.35
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000866/file/PI-1764.pdf BibTex
titre
Defining and Reasoning About General Recursive Functions in Type Theory: a Practical Method
auteur
David Pichardie, Vlad Rusu
article
[Research Report] PI 1766, 2005, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000910/file/PI-1766.pdf BibTex
titre
Using CHRs to generate functional test cases for the Java Card Virtual Machine
auteur
Sandrine-Dominique Gouraud, Arnaud Gotlieb
article
[Research Report] PI 1725, 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000114/file/PI-1725.pdf BibTex
titre
A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs
auteur
Arnaud Gotlieb, Patrick Bernard
article
[Research Report] RR-5675, INRIA. 2005, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070338/file/RR-5675.pdf BibTex
titre
Data Mining and Cross-checking of Execution Traces : A re-intepretation of Jones, Harrold and Stasko test information visualization (Long version)
auteur
Tristan Denmat, Mireille Ducassé, Olivier Ridoux
article
[Research Report] RR-5661, INRIA. 2005, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070347/file/RR-5661.pdf BibTex
titre
Goal-oriented test data generation for programs with pointer variables
auteur
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
article
[Research Report] RR-5528, INRIA. 2005, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070479/file/RR-5528.pdf BibTex
titre
A PCC Architecture based on Certified Abstract Interpretation
auteur
Frédéric Besson, Thomas Jensen, David Pichardie
article
[Research Report] RR-5751, INRIA. 2005, pp.35
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070268/file/RR-5751.pdf BibTex
titre
A Tracer Driver to Enable Concurrent Dynamic Analyses
auteur
Ludovic Langevine, Mireille Ducassé
article
[Research Report] RR-5611, INRIA. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071235/file/RR-5611.pdf BibTex

2004

Communication dans un congrès

titre
Network Fusion
auteur
Pascal Fradet, Stéphane Hong Tuan Ha
article
Asian Symposium on Programming Languages and Systems, Nov 2004, Taipei, Taiwan
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000945/file/APLAS04.pdf BibTex
titre
Extracting a Data Flow Analyser in Constructive Logic
auteur
David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu
article
ESOP, 2004, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00564633/file/extractDataFlow-ESOP-nospringerlogo.pdf BibTex

Rapport

titre
A constraint-based algorithm for analysing memory usage on Java cards
auteur
Gerardo Schneider
article
[Research Report] RR-5440, INRIA. 2004, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070567/file/RR-5440.pdf BibTex
titre
Building efficient tools to query execution traces
auteur
Mireille Ducassé, Benjamin Sigonneau
article
[Research Report] RR-5280, INRIA. 2004, pp.52
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070720/file/RR-5280.pdf BibTex
titre
Correct Handling of Floating-Point Computations in Symbolic Execution
auteur
Bernard Botella, Arnaud Gotlieb, Claude Michel
article
[Research Report] RR-5150, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071433/file/RR-5150.pdf BibTex

Thèse

titre
Vérification Formelle dans le Modèle Polyédrique
auteur
Katell Morin-Allory
article
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00011522/file/theseKatell.pdf BibTex

2003

Rapport

titre
Verification of Control Properties in the Polyhedral Model
auteur
David Cachera, Katell Morin-Allory
article
[Research Report] RR-4756, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071830/file/RR-4756.pdf BibTex
titre
The Parts-of-file File System
auteur
Yoann Padioleau, Olivier Ridoux
article
[Research Report] RR-4783, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071803/file/RR-4783.pdf BibTex
titre
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
auteur
Bertrand Jeannet, Wendelin Serwe
article
[Research Report] RR-4904, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071678/file/RR-4904.pdf BibTex
titre
Reachability Analysis over Term Rewriting Systems
auteur
Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong
article
[Research Report] RR-4970, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071609/file/RR-4970.pdf BibTex
titre
Exploiting Symmetries to Test Programs
auteur
Arnaud Gotlieb
article
[Research Report] RR-4810, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071776/file/RR-4810.pdf BibTex

2002

Communication dans un congrès

titre
A framework for the detection and resolution of aspect interactions
auteur
Rémi Douence, Pascal Fradet, Mario Südholt
article
Conference on Generative Programming and Component Engineering, Oct 2002, Pittsburgh, PA, USA
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000950/file/GPCE02.pdf BibTex

Rapport

titre
Logic Functors : a Framework for Developing Embeddable Customized Logics
auteur
Sébastien Ferré, Olivier Ridoux
article
[Research Report] RR-4457, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072131/file/RR-4457.pdf BibTex
titre
Detection and resolution of aspect interactions
auteur
Rémi Douence, Pascal Fradet, Mario Südholt
article
[Research Report] RR-4435, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072153/file/RR-4435.pdf BibTex
titre
Introduction to Logical Information Systems
auteur
Sébastien Ferré, Olivier Ridoux
article
[Research Report] RR-4540, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072048/file/RR-4540.pdf BibTex
titre
Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation
auteur
Thomas Genet, Valérie Viet Triem Tong
article
[Research Report] RR-4576, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072012/file/RR-4576.pdf BibTex
titre
Incremental Concept Formation made More Efficient by the Use of Associative Concepts
auteur
Sébastien Ferré
article
[Research Report] RR-4569, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072019/file/RR-4569.pdf BibTex
titre
A Logic File System
auteur
Yoann Padioleau, Olivier Ridoux
article
[Research Report] RR-4656, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071929/file/RR-4656.pdf BibTex

2001

Communication dans un congrès

titre
Formalizing Convex Hulls Algorithms
auteur
David Pichardie, Yves Bertot
article
TPHOLs 2001 - 14th International Conference Theorem Proving in Higher Order Logics, Sep 2001, Edinburgh, United Kingdom. pp.346-361, ⟨10.1007/3-540-44755-5_24⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01702679/file/hulls.pdf BibTex

Rapport

titre
Reachability Analysis of Term Rewriting Systems with Timbuk
auteur
Thomas Genet, Valérie Viet Triem Tong
article
[Research Report] RR-4266, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072321/file/RR-4266.pdf BibTex
titre
Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment
auteur
Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
article
[Research Report] RR-4342, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072246/file/RR-4342.pdf BibTex
titre
Generic Program Monitoring by Trace Analysis
auteur
Erwan Jahier, Mireille Ducassé
article
[Research Report] RR-4323, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072264/file/RR-4323.pdf BibTex
titre
Construction de services distribués : une approche à base d'agents mobiles
auteur
Siegfried Rouvrais
article
[Rapport de recherche] RR-4315, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072272/file/RR-4315.pdf BibTex

2000

Communication dans un congrès

titre
Gamma and the chemical reaction model: fifteen years after
auteur
Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer
article
Multiset Processing, Aug 2000, Curtea de Arges, Romania
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000949/file/Gamma15.pdf BibTex
titre
Enforcing trace properties by program transformation
auteur
Thomas Colcombet, Pascal Fradet
article
Principles of Programming Languages, Jan 2000, Boston
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000937/file/POPL00.pdf BibTex

HDR

titre
Approches langages pour la conception et la mise en oeuvre de programmes
auteur
Pascal Fradet
article
Génie logiciel [cs.SE]. Université Rennes 1, 2000
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00011212/file/HDR-PF.pdf BibTex

Rapport

titre
Compilation of a Specialized Functional Language for Massively Parallel Computers
auteur
Pascal Fradet, Julien Mallet
article
[Research Report] RR-3894, INRIA. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072760/file/RR-3894.pdf BibTex
titre
Rewriting for Cryptographic Protocol Verification - Extended Version
auteur
Thomas Genet, Francis Klay
article
[Research Report] RR-3921, INRIA. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072731/file/RR-3921.pdf BibTex
titre
A File System Based on Concept Analysis
auteur
Sébastien Ferré, Olivier Ridoux
article
[Research Report] RR-3942, INRIA. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072708/file/RR-3942.pdf BibTex

1999

Article dans une revue

titre
Dynamic slicing : a generic analysis based on a natural semantics format
auteur
Valérie Gouranton, Daniel Le Métayer
article
Journal of Logic and Computation, Oxford University Press (OUP), 1999, 9, pp 835-871, number 6
Accès au bibtex
BibTex

Communication dans un congrès

titre
Generating deductive database explanations
auteur
Sarah Mallet, Mireille Ducassé
article
International Conference on Logic Programming, 1999, Las Cruces, United States
Accès au bibtex
BibTex

Rapport

titre
An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals
auteur
Mireille Ducassé, Erwan Jahier
article
[Research Report] RT-0231, INRIA. 1999, pp.104
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00069941/file/RT-0231.pdf BibTex
titre
Correctness of Java Card Tokenisation
auteur
Ewen Denney
article
[Research Report] RR-3831, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072826/file/RR-3831.pdf BibTex
titre
Une généralisation logique de l'analyse de concepts formels
auteur
Sébastien Ferré, Olivier Ridoux
article
[Rapport de recherche] RR-3820, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072838/file/RR-3820.pdf BibTex
titre
Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations
auteur
David Mentré, Daniel Le Métayer, Thierry Priol
article
[Research Report] RR-3765, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072897/file/RR-3765.pdf BibTex
titre
Myrtle : A Set-Oriented Meta-Interpreter Driven by a «Relational» Trace for Deductive Databases Debugging
auteur
Sarah Mallet, Mireille Ducassé
article
[Research Report] RR-3598, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073081/file/RR-3598.pdf BibTex

1998

Communication dans un congrès

titre
Deriving analysers by folding/unfolding of natural semantics and a case study: slicing
auteur
Valérie Gouranton
article
Sep 1998, pp 115-133
Accès au bibtex
BibTex

Rapport

titre
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing
auteur
Valérie Gouranton
article
[Research Report] RR-3413, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073277/file/RR-3413.pdf BibTex
titre
Dynamic Slicing: a Generic Analysis Based on a Natural Semantics Format
auteur
Valérie Gouranton, Daniel Le Métayer
article
[Research Report] RR-3375, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073314/file/RR-3375.pdf BibTex
titre
Compilation of a Skeleton-Based Parallel Language Through Symbolic Cost Analysis and Automatic Data Distribution
auteur
Julien Mallet
article
[Research Report] RR-3436, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073254/file/RR-3436.pdf BibTex
titre
Abstract Views of Prolog Executions in Opium
auteur
Mireille Ducassé
article
[Research Report] RR-3531, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073154/file/RR-3531.pdf BibTex
titre
Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events
auteur
Mireille Ducassé
article
[Research Report] RR-3489, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073198/file/RR-3489.pdf BibTex

Thèse

titre
Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test
auteur
Valérie-Anne Nicolas
article
Génie logiciel [cs.SE]. Université Rennes 1, 1998. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00607401/file/these_VAN.pdf BibTex

1997

Communication dans un congrès

titre
Formal development of static program analysers
auteur
Valérie Gouranton, Daniel Le Métayer
article
Jun 1997, pp 100-110
Accès au bibtex
BibTex

Rapport

titre
Modeling Railway Control Systems Using Graph Grammars: a Case Study
auteur
Anne-Alexandra Holzbacher, Michaël Périn, Mario Südholt
article
[Research Report] RR-3210, INRIA. 1997
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073479/file/RR-3210.pdf BibTex
titre
OPIUM: An Extendable Trace Analyser for Prolog
auteur
Mireille Ducassé
article
[Research Report] RR-3257, INRIA. 1997
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073432/file/RR-3257.pdf BibTex
titre
Static Debugging of C Programs: Detection of Pointer Errors in Recursive Data Structures
auteur
Ronan Gaugne
article
[Research Report] RR-3232, INRIA. 1997
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073457/file/RR-3232.pdf BibTex
titre
Programming Languages for Mobile Code
auteur
Tommy Thorn
article
[Research Report] RR-3134, INRIA. 1997
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073555/file/RR-3134.pdf BibTex

1996

Rapport

titre
A Taxonomy of Functional Language Implementations Part II : Call-by-Name, Call-by-Need and Graph Reduction
auteur
Rémi Douence, Pascal Fradet
article
[Research Report] RR-3050, INRIA. 1996
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073642/file/RR-3050.pdf BibTex
titre
A Framework of Application Generator Design
auteur
Scott Thibault, Charles Consel
article
[Research Report] RR-3005, INRIA. 1996
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073690/file/RR-3005.pdf BibTex
titre
A Uniform Approach for Compile-time and Run-time Specialization
auteur
Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Eugen-Nicolae Volanschi
article
[Research Report] RR-2775, INRIA. 1996
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073917/file/RR-2775.pdf BibTex
titre
A Taxonomy of Functional Language Implementations : Part I : Call by Value
auteur
Rémi Douence, Pascal Fradet
article
[Research Report] RR-2783, INRIA. 1996
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073908/file/RR-2783.pdf BibTex
titre
A Uniform and Automatic Approach to Copy Elimination in System Extensions via Program Specialization
auteur
Eugen-Nicolae Volanschi, Gilles Muller, Charles Consel, Luke Hornof, Jacques Noyé, Calton Pu
article
[Research Report] RR-2903, INRIA. 1996
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073789/file/RR-2903.pdf BibTex
titre
An Inference Algorithm for the Static Verification of Pointer Manipulation
auteur
Pascal Fradet, Ronan Gaugne, Daniel Le Métayer
article
[Research Report] RR-2895, INRIA. 1996
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073795/file/RR-2895.pdf BibTex

1995

Rapport

titre
Derivation of Static Analysers of Functional Programs from Path Properties of a Natural Semantics
auteur
Valérie Gouranton, Daniel Le Métayer
article
[Research Report] RR-2607, INRIA. 1995
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074078/file/RR-2607.pdf BibTex
titre
Logic Programming Environments: Dynamic Program Analysis and Debugging
auteur
Mireille Ducassé, Jacques Noyé
article
[Research Report] RR-2618, INRIA. 1995
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074067/file/RR-2618.pdf BibTex

1994

Article dans une revue

titre
Logic Programming Environments: Dynamic program analysis and debugging
auteur
Mireille Ducassé, Jacques Noyé
article
Journal of Logic Programming, Elsevier, 1994
Accès au bibtex
BibTex

Rapport

titre
Imagining CLP (Lambda, alphabeta)
auteur
Olivier Ridoux
article
[Research Report] RR-2388, INRIA. 1994
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074287/file/RR-2388.pdf BibTex
titre
A Pragmatic Reconstruction of LambdaProlog
auteur
Catherine Belleannée, Pascal Brisset, Olivier Ridoux
article
[Research Report] RR-2390, INRIA. 1994
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074285/file/RR-2390.pdf BibTex
titre
On the use of advanced logic programming languages
auteur
Solange Coupet-Grimal, Olivier Ridoux
article
[Research Report] RR-2391, INRIA. 1994
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074284/file/RR-2391.pdf BibTex
titre
Subtyping with union types, intersection types and recursive types II
auteur
Flemming Damm
article
[Research Report] RR-2259, INRIA. 1994
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074412/file/RR-2259.pdf BibTex
titre
The Architecture of an Implementation of LambdaProlog: Prolog/Mali
auteur
Pascal Brisset, Olivier Ridoux
article
[Research Report] RR-2392, INRIA. 1994
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074283/file/RR-2392.pdf BibTex

Suivez Inria