Skip to Main content Skip to Navigation

inria-00329973v1  Conference papers
Frédéric DadeauRégis TissotMarie-Laure Potet. A B Formal Framework for Security Developments in the Domain of Smart Card Applications
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
inria-00332390v1  Conference papers
Jean-Yves MarionRomain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
hal-00342323v1  Conference papers
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. A Logical Account of PSPACE
Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. pp.121-131
inria-00275221v1  Conference papers
Nawal GuermoucheOlivier PerrinChristophe Ringeissen. A Mediator Based Approach For Services Composition
International Conference on Software Engineering Research, Management and Applications (SERA'08), Aug 2008, Prague, Czech Republic
inria-00332320v1  Conference papers
Randa KassabJean-Charles Lamirel. A Multi-level Abstraction Model for Competitive Learning Neural Networks
Artificial Intelligence and Applications - AIA 2008, Feb 2008, Innsbruck, Austria, Austria. pp.97-103
inria-00595309v1  Conference papers
Aboudramane GuiroAbderrahman IggidrDiène NgomHamidou Touré. A non Linear Observer for a fishery model
the 17th Triennal IFAC World Congress, IFAC, Jul 2008, Seoul, South Korea. pp.676--681, ⟨10.3182/20080706-5-KR-1001.00114⟩
hal-01257272v1  Conference papers
Louis-Noël PouchetCédric BastoulJohn CavazosAlbert Cohen. A Note on the Performance Distribution of Affine Schedules
2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), Jan 2008, Gothenburg, Sweden
inria-00598801v1  Conference papers
Vipul JainLyes Benyoucef. A novel approach to model and evaluate dynamic agility in supply chains
Tenth International Conference on Enterprise Information Systems - ICEIS 2008, Jun 2008, Barcelone, Spain. pp.93-100
inria-00337520v1  Conference papers
Daniel Reynaud. A Survey on Virtual Machines for Malware Analysis
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
hal-00337371v1  Conference papers
Marilisa AmoiaClaire Gardent. A test suite for inference involving adjectives
sixth international conference on Language Resources and Evaluation, Jun 2008, Marrakech, Morocco. pp.19-27
inria-00336333v1  Conference papers
Bruno GuillaumeJoseph Le RouxJonathan MarchandGuy PerrierKarën Fort et al.  A Toolchain for Grammarians
Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12
hal-01580996v1  Conference papers
Thierry GallouëtPhilippe HelluyJean-Marc HérardJulien Nussbaum. A two-fluid model for dense granular flows
Finite Volumes for Complex Applications V, Jun 2008, Aussois, France. pp.439-446
inria-00329966v1  Conference papers
Frédéric DadeauJulien LamboleyThierry MoutetMarie-Laure Potet. A Verifiable Conformance Relationship between Smart Card Applets and B security Models
First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.237-250, ⟨10.1007/978-3-540-87603-8⟩
inria-00326077v1  Conference papers
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP Authentication
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩
inria-00336239v1  Conference papers
Luciana Benotti. Accommodation through tacit dialogue acts
Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France
inria-00336233v1  Conference papers
Luciana Benotti. Accommodation through Tacit Sensing
Workshop on the Semantics and Pragmatics of Dialogue - LONDIAL 2008, King's College of London, Jun 2008, London, United Kingdom. pp.75-82
inria-00330532v1  Conference papers
Siva AnatharamanHai LinChris LynchPaliath NarendranMichaël Rusinowitch. Active Intruders with Caps
FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States
inria-00329730v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. An inference system for detecting firewall filtering rules anomalies
23rd Annual ACM Symposium on Applied Computing - SAC'08, 2008, Fortaleza, Brazil. pp.2122-2128
inria-00332550v1  Conference papers
Jean-Yves MarionRomain Péchoux. Analyzing the Implicit Computational Complexity of object-oriented programs
Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India
inria-00330338v1  Conference papers
Yannick ChevalierMohammed Anis MekkiMichaël Rusinowitch. Automatic Composition of Services with Security Policies
Web Service Composition and Adaptation Workshop (held in conjunction with SCC/SERVICES-2008), Jul 2008, Honolulu, United States. pp.529-537, ⟨10.1109/SERVICES-1.2008.13⟩
inria-00376450v1  Conference papers
Francis KlayLaurent Vigneron. Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder
5th International Workshop on Formal Aspects in Security and Trust - FAST 2008, Oct 2008, Malaga, Spain. pp.192-209, ⟨10.1007/978-3-642-01465-9_13⟩
inria-00332389v1  Conference papers
Jean-Yves MarionRomain Péchoux. Characterizations of Polynomial Complexity Classes with a Better Intensionality
Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming - PPDP 2008, Universidad Polytechnica, Jul 2008, Valencia, Spain. pp.79-88, ⟨10.1145/1389449.1389460⟩
hal-00606372v1  Conference papers
Jean-Rodolphe Roche. Classical Shape Optimization : The Electromagnetic-Casting Problem
Seminário de Pós-Graduação, 2008, Petropolis, Brazil
inria-00329803v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Closure of Hedge-Automata Languages by Hedge Rewriting
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
inria-00598764v1  Conference papers
Pascal ForgetThibaud Monteirod'Amours SophieJean-Marc Frayret. Collaborative agent-based negotiation in supply chain planning
13th Annual International Conference on Industrial Engineering Theory, Applications and Practice - IJIE'08, Sep 2008, Las Vegas, United States
inria-00337316v1  Conference papers
Jean-Charles Lamirel. Combination of hyperbolic visualization and graph-based approach for organizing data analysis results: an application to social network analysis
4th International Conference on Webometrics, Informetrics and Scientometrics and 9th Collnet Meeting, Jul 2008, Berlin, Germany
inria-00329965v1  Conference papers
Frédéric DadeauAdrien de KermadecRégis Tissot. Combining Scenario- and Model-Based Testing to ensure POSIX Compliance
First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.153-166, ⟨10.1007/978-3-540-87603-8⟩
inria-00329909v1  Conference papers
Pierre-Cyrille HeamOlga KouchnarenkoJérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects
Formal Aspects On Component Softwre - FACS'08, Sep 2008, Malaga, Spain. pp.109-123, ⟨10.1016/j.entcs.2009.12.034⟩
inria-00323199v1  Conference papers
Hubert Comon-LundhVéronique Cortier. Computational soundness of observational equivalence
4th Workshop on Formal and Computational Cryptography - FCC 2008, Jun 2008, Pittsburgh, United States
inria-00323195v1  Conference papers
Hubert Comon-LundhVéronique Cortier. Computational soundness of observational equivalence
15th ACM Conference on Computer and Communications Security - CCS'08, Oct 2008, Alexandria, United States
inria-00250111v3  Conference papers
Emmanuel Hainry. Computing omega-limit Sets in Linear Dynamical Systems
Unconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩
hal-02149231v1  Conference papers
Christian DuriezHadrien CourtecuisseJuan-Pablo de la Plata AlcaldePierre-Jean Bensoussan. Contact Skinning
Eurographics 2008 - Short Papers, Jun 2008, hersonissos, Greece
inria-00598610v1  Conference papers
Sofiene DellagiNidhal RezgAli Gharbi. Contribution au développement d'une politique de maintenance intégrée selon une stratégie de commutation des sous-traitants
7ème Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.1675-1682
inria-00598648v1  Conference papers
Hatem SioudZied AchourAlexandre SavaNidhal Rezg. Deadlock Freeness for Closed-loop Marked Graphs
9th IFAC Workshop on Intelligent Manufacturing Systems - IMS'08, Oct 2008, Szczecin, Poland. pp.207-212
inria-00338859v1  Conference papers
Abdessamad Imine. Decentralized concurrency control for real-time collaborative editors
8th international conference on New technologies in distributed systems - NOTERE'2008, Jun 2008, Lyon, France. pp.313--321
inria-00308002v1  Conference papers
Dominique BarthOlivier BournezOctave BoussatonJohanne Cohen. Distributed Learning of Wardrop Equilibria
7th International Conference on Unconventional Computation - UC 2008), Aug 2008, Vienne, Austria. pp.19--32
inria-00329815v1  Conference papers
Eric MonfroyOlivier PerrinChristophe Ringeissen. Dynamic Web Services Provisioning with Constraints
International Conference on Cooperative Information Systems, OTM Conferences, Nov 2008, Monterrey, Mexico. pp.26-43
hal-00844039v1  Conference papers
Guillaume SaupinChristian DuriezStéphane CotinLaurent Grisoni. Efficient Contact Modeling using Compliance Warping
computer graphics international, 2008, Istambul, Turkey
inria-00589759v1  Conference papers
Alfredo CanelasJosé HerskovitsJean Rodolphe Roche. Electromagnetic casting inverse problem
International Conference on Engineering Optimization - IngOpt 2008, Jun 2008, Rio de Janeiro, Brazil
inria-00323834v1  Conference papers
Carlos ArecesDiego FigueiraSantiago FigueiraSergio Mera. Expressive Power and Decidability for Memory Logics
15th Workshop on Logic, Language, Information and Computation - WoLLIC 2008, Jul 2008, Edinburgh, United Kingdom
hal-00590764v1  Conference papers
Nicolae CindeaMarius Tucsnak. Fast and strongly localized observation for a perturbed plate equation
Workshop: Optimal control of Coupled Systems of PDE, Mar 2008, Oberwolfach, Germany. pp.73-83, ⟨10.1007/978-3-7643-8923-9_4⟩
hal-00276326v1  Conference papers
Sylvain SchmitzJoseph Le Roux. Feature Unification in TAG Derivation Trees
Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms, Jun 2008, Tübingen, Germany. p. 141-148
hal-00563422v1  Conference papers
Yohan BoichutRoméo CourbisPierre-Cyrille HeamOlga Kouchnarenko. Finer is better: Abstraction Refinement for Rewriting Approximations
RTA'08, 19th international conference on Rewriting Techniques and Applications, Jul 2008, Hagenberg, Austria. pp.48--62, ⟨10.1007/978-3-540-70590-1⟩
inria-00338871v1  Conference papers
Abdessamad Imine. Flexible Concurrency Control for Real-Time Collaborative Editors
28th International Conference on Distributed Computing Systems Workshops - ICDCS'08, Jun 2008, Beijing, China. pp.423-428, ⟨10.1109/ICDCS.Workshops.2008.91⟩