805 results  save search


hal-01101475v1  Conference papers
Olivier AumageJacques M. BahiSylvain Contassot-VivierRaphaël CouturierAlexandre Denis et al.  ALTA: Asynchronous Loss Tolerant Algorithms for Grid Computing
3rd International workshop on Parallel Matrix Algorithms and Applications (PMAA'04), Oct 2004, Marseille, France
hal-00803480v1  Conference papers
Anne BenoitMourad HakemYves Robert. Realistic models and efficient algorithms for fault tolerant scheduling on heterogeneous platforms
ICPP'2008, the 37th International Conference on Parallel Processing, 2008, Unknown, United States. ⟨10.1109/ICPP.2008.22⟩
...
hal-00097239v1  Journal articles
Véronique CortierXavier GoaocMira LeeNa Hyeon-Suk. A note on maximally repeated sub-patterns of a point set
Discrete Mathematics, Elsevier, 2006, 306 (16), pp.1965-1968
hal-00751321v1  Conference papers
Ivan EnderlinFrédéric DadeauAlain GiorgettiFabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP
IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. pp.509-518, ⟨10.1109/ICST.2012.136⟩
...
hal-00852379v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Unranked Tree Rewriting and Effective Closures of Languages
Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands
...
hal-01099135v2  Conference papers
Richard GenestierAlain GiorgettiGuillaume Petiot. Gagnez sur tous les tableaux
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
inria-00100006v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Protocol Analysis in Intrusion Detection Using Decision Tree
International Conference on Information Technology: Coding and Computing - ITCC'04, Apr 2004, Las Vegas, Nevada, USA, pp.404--408
inria-00100008v1  Conference papers
Tarek AbbesAlakesh HaloiMichaël Rusinowitch. High Performance Intrusion Detection using Traffic Classification
International Conference on Advances in Intelligent Systems - Theory and Applications - AISTA 2004, 2004, Luxembourg
inria-00100007v1  Conference papers
Tarek AbbesMichaël Rusinowitch. Fast Multipattern Matching for Intrusion Detection
13th Annual Conference on European Institute for Computer Anti-virus Research - EICAR'2004, May 2004, Luxemburg, Luxembourg, 22 p
inria-00100005v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. On the Fly Pattern Matching For Intrusion Detection with Snort
Annals of Telecommunications - annales des télécommunications, Springer, 2004, 59 (9-10), pp.941--967
inria-00100013v1  Conference papers
Yannick ChevalierRalf KüstersMichaël RusinowitchMathieu Turuani. Deciding the Security of Protocols with Commuting Public Key Encryption.
Workshop on Automated Reasoning for Security Protocol Analysis - ARSPA'2004, Jul 2004, Cork, Ireland. 11 p
inria-00100031v1  Directions of work or proceedings
Deepak KapurLaurent Vigneron. Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning
Deepak Kapur and Laurent Vigneron. 33 / n°3-4, Kluwer, pp.219-383, 2004
inria-00100032v1  Conference papers
Laurent Vigneron. Automatic Verification of Security Protocols
18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 2 p
inria-00100253v1  Conference papers
Jacek SzymanskiMario ThronJean-Pierre ThomesseXavier RebeufChristophe Lang. Web Service Driven Integration Platform for Industrial Maintenance Oriented Applications
IEEE International Conference on Industrial Informatics - INDIN04, 2004, Berlin/Allemagne, pp.114-119
inria-00100276v1  Conference papers
Hervé GuyennetChristophe LangXavier RebeufMario Thron. Middleware for Global e-Maintenance
IEEE Mechatronics and Robotics - MechRob'2004, 2004, Aachen, Germany, 6 p
inria-00105523v1  Journal articles
Najah ChridiLaurent Vigneron. Sécurité des communications de groupe
La Revue de l'Electricité et de l'Electronique, Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication, 2006, Risques et sécurité des réseaux et des systèmes à composante logicielle, pp.51-60
inria-00105533v1  Conference papers
Yohan BoichutNikolai KosmatovLaurent Vigneron. Validation of Prouve Protocols using the Automatic Tool TA4SP
3rd Taiwanese-French Conference on Information Technology, Mar 2006, Nancy/France, pp.467-480
inria-00105534v1  Conference papers
Judson Santos SantiagoLaurent Vigneron. Automatically Analysing Non-repudiation with Authentication
3rd Taiwanese-French Conference on Information Technology - TFIT 06, Mar 2006, Nancy/France, pp.541-554
inria-00000924v1  Conference papers
Sergio NogueiraFranck GechterYassin RuichekAbder KoukamFrançois Charpillet. Environment perception for vehicle autonomous navigation in urban areas
Biennial Workshop on DSP for In Vehicle and Mobile Systems - 2005, Sep 2005, Sesimbra, Portugal
...
hal-00401816v1  Conference papers
Brahim TamadazteNadine Le Fort-PiatEric MarchandSounkalo Dembélé. Microassembly for complex and solid 3D MEMS by 3D Vision-based control.
IEEE/RSJ International Conference on Intelligent RObots and Systems, IROS'09., Oct 2009, Saint-Louis, Missouri, United States. pp.3284-3289
hal-00803483v1  Conference papers
Anne BenoitMourad HakemYves Robert. Fault tolerant scheduling of precedence task graphs on heterogeneous platforms
10th Workshop on Advances in Parallel and Distributed Computational Models APDCM 2008, 2008, Unknown, United States. ⟨10.1109/IPDPS.2008.4536133⟩
hal-00953273v1  Conference papers
Taha TrikiYves LedruLydie Du BousquetFrédéric DadeauJulien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180