HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

inria-00000408v1  Conference papers
Alessandro ArmandoDavid BasinYohan BoichutYannick ChevalierLuca Compagna et al.  The AVISPA Tool for the automated validation of internet security protocols and applications
17th International Conference on Computer Aided Verification - CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. pp.281-285
inria-00000409v1  Directions of work or proceedings
Laurent Vigneron. Proceedings of the 19th International Workshop on Unification
A05-R-022 (A05-R-022), LORIA, pp.143, 2005
inria-00000427v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Towards Synchronizing Linear Collaborative Objects with Operation Transformation
International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
inria-00000428v1  Conference papers
Gérald OsterPascal UrsoPascal MolliAbdessamad Imine. Edition collaborative sur réseau pair-à-pair à large échelle
Journées Francophones sur la Cohérence des Données en Univers Réparti - CDUR 2005, Nov 2005, Paris/France, pp.42-47
inria-00000481v1  Conference papers
Pascal FontaineSilvio RaniseCalogero Zarba. Combining Lists with Non-Stably Infinite Theories
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'04), Mar 2005, Montevideo/Uruguay, pp.51--66, ⟨10.1007/b106931⟩
inria-00000606v1  Conference papers
Najah ChridiLaurent Vigneron. Modélisation des propriétés de sécurité de protocoles de groupe
1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes, CRiSIS, Oct 2005, Bourges, France, pp.119-132
inria-00000607v1  Conference papers
Judson Santos SantiagoLaurent Vigneron. Study for Automatically Analysing Non-repudiation
1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes- CRiSIS 2005, Oct 2005, Bourges/France, pp.157--171
inria-00070512v1  Reports
Yannick ChevalierMichaël Rusinowitch. Combining Intruder Theories
[Research Report] RR-5495, INRIA. 2005, pp.37
inria-00070767v1  Reports
Calogero G. Zarba. C-tableaux
[Research Report] RR-5229, INRIA. 2004, pp.31
inria-00080593v1  Conference papers
Anupam DattaAnte DerekJohn C. MitchellArnab RoyVitaly Shmatikov et al.  Computationally Sound Compositional Logic for Security Protocols
Workshop on Formal and Computational Cryptography - FCC 2006, Véronique Cortier et Steve Kremer, Jul 2006, Venice/Italy
inria-00080673v1  Conference papers
Yassine LakhnechLaurent MazareBogdan Warinschi. Soundness of Symbolic Equivalence for Modular Exponentiation
Workshop on Formal and Computational Cryptography - FCC 2006, Véronique Cortier et Steve Kremer, Jul 2006, Venice/Italy
inria-00090165v1  Conference papers
Mohamed Salah BouassidaNajah ChridiIsabelle ChrismentOlivier FestorLaurent Vigneron. Automatic Verification of Key Management Architecture for Hierarchical Group Protocols
Sécurité et Architecture des Réseaux - SAR 2006, May 2006, Seignosse/France, pp.381-397
inria-00091656v1  Conference papers
Véronique Cortier. Verification of cryptographic protocols: techniques and link to cryptanalysis
Sixth International Workshop on Automatic Verification of Critical Systems - AVOCS'06, Sep 2006, Nancy/France
inria-00091660v1  Conference papers
Charu AroraMathieu Turuani. Adding Integrity to the Ephemerizer's Protocol
Sixth International Workshop on Automatic Verification of Critical Systems - AVOCS'06, Sep 2006, Nancy/France, pp.146-151
inria-00099496v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Filtrage Efficace Pour la Détection d'Intrusions
Conférence Francophone sur Sécurité et Architecture Réseaux (SAR'03), Jul 2003, Nancy, France, 10 p
inria-00099882v1  Conference papers
Yannick ChevalierLuca CompagnaJorge CuellarPaul Hankes DrielsmaJacopo Mantovani et al.  A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Workshop on Specification and Automated Processing of Security Requirements - SAPS'2004, 2004, Linz, Austria, 13 p
inria-00099889v1  Conference papers
Yannick Chevalier. A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 15 p
inria-00103573v1  Conference papers
Mathieu Turuani. The CL-Atse Protocol Analyser
17th International Conference on Term Rewriting and Applications - RTA 2006, Aug 2006, Seattle, WA/USA, pp.277--286
inria-00103602v1  Conference papers
Max TuengerthalRalf KüstersMathieu Turuani. Implementing a Unification Algorithm for Protocol Analysis with XOR
20th International Workshop on Unification - UNIF'06, Aug 2006, Seattle, WA/USA, pp.1-5
inria-00105519v1  Conference papers
Najah ChridiLaurent Vigneron. Strategy for Flaws Detection based on a Services-driven Model for Group Protocols
Workshop on Constraints in Software Testing, Verification and Analysis - CSTVA 06, Sep 2006, Nantes/France, pp.88-99
inria-00106159v1  Conference papers
Le Hong PhuongThi Minh Huyen NguyenLaurent RomaryAzim Roussanaly. A Lexicalized Tree-Adjoining Grammar for Vietnamese
International Conference on Language Resources and Evaluation - LREC 2006, May 2006, Gène/Italie, Italy
inria-00107572v1  Conference papers
Gilles SimonMarie-Odile Berger. Real time registration of known or recovered multi-planar structures: application to AR
13th British Machine Vision Conference 2002 - BMVC'2002, 2002, Cardiff, United Kingdom, France. pp.567-576
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
inria-00107652v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Proving Correctness of Transformation Functions in Real-Time Groupware
8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p
inria-00107740v1  Reports
Pascal MolliGérald OsterHala Skaf-MolliAbdessamad Imine. Safe Generic Data Synchronizer
[Intern report] A03-R-062 || molli03a, 2003, 8 p
inria-00108119v1  Conference papers
Gérald OsterPascal MolliHala Skaf-MolliAbdessamad Imine. Un modèle sûr et générique pour la synchronisation de données divergentes
Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Jun 2004, Nice, France, 9 p
inria-00110858v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. A model of grouping for plural and ordinal references
18th European Summer School in Logic, Language and Information - ESSLLI 2006, 2006, Malaga, Spain
inria-00108523v1  Conference papers
Gérald OsterPascal UrsoPascal MolliAbdessamad Imine. Data Consistency for P2P Collaborative Editing
ACM Conference on Computer-Supported Cooperative Work - CSCW 2006, Nov 2006, Banff, Alberta, Canada, pp.259 - 268
inria-00109039v1  Conference papers
Gérald OsterPascal MolliPascal UrsoAbdessamad Imine. Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2006, Nov 2006, Atlanta, Georgia, USA, pp.1-10, ⟨10.1109/COLCOM.2006.361867⟩
inria-00112888v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. Resolution of Referents Groupings in Practical Dialogues
7th SIGDial Workshop on Discourse and Dialogue - SIGdial'06, 2006, Sydney, Australia
inria-00112897v1  Conference papers
Alexandre DenisMatthieu QuignardGuillaume Pitel. A Deep-Parsing Approach to Natural Language Understanding in Dialogue System: Results of a Corpus-Based Evaluation
Proceedings of Language Resources and Evaluation Conference, 2006, Genoa, Italy. pp.339-344
inria-00105894v1  Conference papers
Najet BoughanmiSilvio RaniseChristophe Ringeissen. On Structural Information and the Experimental Evaluation of SMT Tools
International Workshop on First-Order Theorem Proving - FTP'2005, Sep 2005, Koblenz, Germany
inria-00129642v2  Reports
Véronique CortierStéphanie DelauneGraham Steel. A Formal Theory of Key Conjuring
[Research Report] RR-6134, INRIA. 2007, pp.38
inria-00135946v1  Conference papers
Samuel ThibaultSébastien Hinderer. BrlAPI: Simple, Portable, Concurrent, Application-level Control of Braille Terminals
The First International Conference on Information and Communication Technology and Accessibility - ICTA 2007, Apr 2007, Hammamet, Tunisia. pp.27--31
tel-00142675v1  Theses
Emmanuel Hainry. Modèles de calcul sur les réels, résultats de comparaison
Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006. Français
inria-00140932v2  Reports
Véronique CortierBogdan WarinschiEugen Zalinescu. Synthesizing secure protocols
[Research Report] RR-6166, INRIA. 2007, pp.32
inria-00145060v1  Reports
Guillaume Bonfante. Monotone interpretations
[Research Report] 2007, pp.9
inria-00149372v1  Conference papers
Claire GardentEric Kow. Spotting Overgeneration Suspects
11th European Workshop on Natural Language Generation - ENLG'07, Jun 2007, Schloss Dagstuhl, Germany. pp.41-48
inria-00149366v1  Conference papers
Claire GardentEric Kow. A Symbolic Approach to Near-Deterministic Surface Realisation using Tree Adjoining Grammar
45th Annual Meeting of the Association for Computational Linguistics - ACL 2007, Jun 2007, Prague, Czech Republic. pp.328-335
inria-00149376v1  Conference papers
Claire GardentEric Kow. GenI, un réalisateur basé sur une grammaire réversible
14e conférence pour le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. 10 p
inria-00155288v1  Conference papers
Jean-Yves MarionRomain Péchoux. Resource control of object-oriented programs
The International Workshop on Logic and Computational Complexity - LCC 2007, Jul 2007, Wroclaw/Poland, Poland
inria-00160387v1  Conference papers
Claire GardentYannick Parmentier. SemTAG: a platform for specifying Tree Adjoining Grammars and performing TAG-based Semantic Construction
45th Annual Meeting of the Association for Computational Linguistics, Companion Volume Proceedings of the Demo and Poster Sessions, Jun 2007, Prague, Czech Republic. pp.13-16
inria-00160393v1  Conference papers
Claire GardentYannick Parmentier. SemTAG, une architecture pour le développement et l'utilisation de grammaires d'arbres adjoints à portée sémantique
14e Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.175-184
inria-00160400v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang Maier. XMG: eXtending MetaGrammars to MCTAG
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.473-482
hal-00162182v1  Conference papers
Ingrid FalkGil FrancopouloClaire Gardent. Évaluer SynLex
Traitement Automatique de la Langue Naturelle - TALN 2007, Jun 2007, Toulouse, France. 10 p
inria-00176235v1  Conference papers
Guillaume BonfanteMatthieu KaczmarekJean-Yves Marion. Control Flow Graphs as Malware Signatures
International Workshop on the Theory of Computer Viruses, Matthieu Kaczmarek; Guillaume Bonfante, May 2007, Nancy, France
inria-00176241v1  Conference papers
Guillaume BonfanteMatthieu KaczmarekJean-Yves Marion. Control Flow to Detect Malware
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Pascal Fontaine; Stephan Merz, Oct 2007, Nancy, France
inria-00176333v1  Conference papers
Judson Santos SantiagoLaurent Vigneron. Optimistic Non-repudiation Protocol Analysis
Information Security Theory and Practices - Smart Cards, Mobile and Ubiquitous Computing Systems, May 2007, Heraklion, Greece. pp.90-101, ⟨10.1007/978-3-540-72354-7_8⟩
inria-00179297v1  Conference papers
Patrick BlackburnSébastien Hinderer. From TY_n to DRT: an implementation
3rd International Language & Technology Conference - L&TC'07, Oct 2007, Poznam, Poland. pp.384-388
inria-00179485v1  Conference papers
Patrick BlackburnSébastien Hinderer. Generating models for temporal representations
Recent Advances in Natural Language Processing - RANLP 2007, Sep 2007, Borovets, Bulgaria. pp.69-75
inria-00179593v1  Conference papers
Paul Bedaride. Using Description Logics for Recognising Textual Entailment
19th European Summer School in Logic, Language and Information, Aug 2007, Dublin, Ireland. pp.11-21
inria-00179646v1  Conference papers
Luciana Benotti. Incomplete Knowledge and Tacit Action: Enlightened Update in a Dialogue Game
Workshop on the Semantics and Pragmatics of Dialogue - DECALOG 2007, May 2007, Rovereto, Italy. pp.17-24
inria-00179694v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu QuignardPatrick Blackburn. Incorporating Asymmetric and Asynchronous Evidence of Understanding in a Grounding Model
11th Workshop on the Semantics and Pragmatics of Dialogue - DECALOG 2007, May 2007, Trento, Italy
inria-00179697v1  Conference papers
Alexandre DenisFrédéric BechetMatthieu Quignard. Résolution de la référence dans des dialogues homme-machine : évaluation sur corpus de deux approches symbolique et probabiliste
Actes de la 14e conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.261-270
inria-00180914v1  Conference papers
Dominique BarthJohanne CohenLoubna EchabbiChahinez Hamlaoui. Transit prices negotiation: Combined repeated game and distributed algorithmic approach
First EuroFGI International Conference on Network Control and Optimization - NET-COOP 2007, Jun 2007, Avignon, France. pp.266-275, ⟨10.1007/978-3-540-72709-5_28⟩