Journal articles

2009

auteur
Humberto Abdelnur, Tigran Avanesov, Michael Rusinowitch, Radu State
titre
Abusing SIP authentication
article
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2009, Special Issue on Access Control and Protcols, 4 (4), pp.311-318
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00405356/file/jias-SIP.pdf BibTex
auteur
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
titre
New results on rewrite-based satisfiability procedures
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (1), Article 4, 51 p. ⟨10.1145/1459010.1459014⟩
DOI
DOI : 10.1145/1459010.1459014
Accès au bibtex
BibTex
auteur
Dominique Barth, Johanne Cohen, Olivier Bournez, Octave Boussaton
titre
Distributed Learning of Equilibria in a Routing Game
article
Parallel Processing Letters, World Scientific Publishing, 2009, 19 (2), pp.189-204. ⟨10.1142/S012962640900016X⟩
DOI
DOI : 10.1142/S012962640900016X
Accès au bibtex
BibTex
auteur
Mathieu Baudet, Véronique Cortier, Steve Kremer
titre
Computationally Sound Implementations of Equational Theories against Passive Adversaries
article
Information and Computation, Elsevier, 2009, 207 (4), pp.496-520. ⟨10.1016/j.ic.2008.12.005⟩
DOI
DOI : 10.1016/j.ic.2008.12.005
Accès au bibtex
BibTex
auteur
Sandrine Blazy, Xavier Leroy
titre
Mechanized semantics for the Clight subset of the C language
article
Journal of Automated Reasoning, Springer Verlag, 2009, 43 (3), pp.263-288. ⟨10.1007/s10817-009-9148-3⟩
DOI
DOI : 10.1007/s10817-009-9148-3
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00352524/file/paper.pdf BibTex
auteur
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
titre
Handling Non Left-Linear Rules When Completing Tree Automata
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.837--849. ⟨10.1142/S0129054109006917⟩
DOI
DOI : 10.1142/S0129054109006917
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00561373/file/bchk09_ij.pdf BibTex
auteur
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
titre
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 239, pp.57--72. ⟨10.1016/j.entcs.2009.05.030⟩
DOI
DOI : 10.1016/j.entcs.2009.05.030
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00561374/file/bhk09_ij.pdf BibTex
auteur
Guillaume Bonfante, Yves Guiraud
titre
Polygraphic programs and polynomial-time functions
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2009, 5 (2:14), pp.1-37. ⟨10.2168/LMCS-5(2:14)2009⟩
DOI
DOI : 10.2168/LMCS-5(2:14)2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00122932/file/polypoly.pdf BibTex
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
titre
Architecture of a Morphological Malware Detector
article
Journal in Computer Virology, Springer Verlag, 2009, 5 (3), pp.263-270. ⟨10.1007/s11416-008-0102-4⟩
DOI
DOI : 10.1007/s11416-008-0102-4
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00330022/file/flowgraph.pdf BibTex
auteur
Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine
titre
Combining Decision Procedures by (Model-)Equality Propagation
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), 240 (2), pp.113-128. ⟨10.1016/j.entcs.2009.05.048⟩
DOI
DOI : 10.1016/j.entcs.2009.05.048
Accès au bibtex
BibTex
auteur
Dominique Cansell, Dominique Méry, Cyril Proch
titre
System-on-chip design by proof-based refinement
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2009, 11 (3), pp.217-238. ⟨10.1007/s10009-009-0104-7⟩
DOI
DOI : 10.1007/s10009-009-0104-7
Accès au bibtex
BibTex
auteur
Bernadette Charron-Bost, Stephan Merz
titre
Formal Verification of a Consensus Algorithm in the Heard-Of Model
article
International Journal of Software and Informatics (IJSI), ISCAS, 2009, Formal Methods of Program Development, 3 (2-3), pp.273-303
Accès au bibtex
BibTex
auteur
Véronique Cortier, Stéphanie Delaune
titre
Safely composing security protocols
article
Formal Methods in System Design, Springer Verlag, 2009, 34 (1), pp.1--36. ⟨10.1007/s10703-008-0059-4⟩
DOI
DOI : 10.1007/s10703-008-0059-4
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Amal Haddad, Thierry Moutet
titre
Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2009, Supervision et sécurité dans les grands réseaux, 28 (4), pp.533-563. ⟨10.3166/tsi.28.533-563⟩
DOI
DOI : 10.3166/tsi.28.533-563
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Pierre-Cyrille Héam, Jocelyn Levrey
titre
On the Use of Uniform Random Generation of Automata for Testing
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.37-51. ⟨10.1016/j.entcs.2009.09.050⟩
DOI
DOI : 10.1016/j.entcs.2009.09.050
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Régis Tissot
titre
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.117-132. ⟨10.1016/j.entcs.2009.09.055⟩
DOI
DOI : 10.1016/j.entcs.2009.09.055
Accès au bibtex
BibTex
auteur
Zaynah Dargaye, Xavier Leroy
titre
A verified framework for higher-order uncurrying optimizations
article
Higher-Order and Symbolic Computation, Springer Verlag, 2009, 22 (3), ⟨10.1007/s10990-010-9050-z⟩
DOI
DOI : 10.1007/s10990-010-9050-z
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01499915/file/higher-order-uncurrying.pdf BibTex
auteur
Julien Dormoy, Olga Kouchnarenko, Hassan Mountassir
titre
Politiques d'adaptation pour la reconfiguration du composant de localisation
article
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-8-9), pp.773-789
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00434482/file/dkm09-msr.pdf BibTex
auteur
Gilles Dowek, Joanna Jongwane
titre
À propos de l’enseignement de l’informatique
article
Interstices, INRIA, 2009
Accès au bibtex
BibTex
auteur
Didier Fass
titre
Design et ingénierie des systèmes homme-dans-la boucle
article
La revue des Ingénieurs, InterMines, 2009, R&D dans la santé: et demain ?, pp.50-51
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00437320/file/Fass.pdf BibTex
auteur
Isabelle Gnaedig, Hélène Kirchner
titre
Termination of Rewriting under Strategies
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (2), pp.1-52. ⟨10.1145/1462179.1462182⟩
DOI
DOI : 10.1145/1462179.1462182
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00182432/file/version-preli-tocl.pdf BibTex
auteur
Yves Guiraud, Philippe Malbos
titre
Higher-dimensional categories with finite derivation type
article
Theory and Applications of Categories, Mount Allison University, 2009, 22 (18), pp.420-478
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00326974/file/ntdf.pdf BibTex
auteur
Tom Hirschowitz, Xavier Leroy, J. B. Wells
titre
Compilation of extended recursion in call-by-value functional languages
article
Higher-Order and Symbolic Computation, Springer Verlag, 2009, 22 (1), pp.3-66. ⟨10.1007/s10990-009-9042-z⟩
DOI
DOI : 10.1007/s10990-009-9042-z
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00359213/file/letrec.pdf BibTex
auteur
Claude Kirchner, Helene Kirchner, Anderson Santana de Oliveira
titre
Analysis of Rewrite-Based Access Control Policies
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp.55-75. ⟨10.1016/j.entcs.2009.02.072⟩
DOI
DOI : 10.1016/j.entcs.2009.02.072
Accès au bibtex
BibTex
auteur
Dominique Larchey-Wendling, Didier Galmiche
titre
Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2009, 19 (3), pp.435--500. ⟨10.1017/S0960129509007567⟩
DOI
DOI : 10.1017/S0960129509007567
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00577929/file/LarcheyGalmiche.pdf BibTex
auteur
Didier Le Botlan, Didier Rémy
titre
Recasting MLF
article
Information and Computation, Elsevier, 2009, Volume 207, Issue 6, June 2009, Pages 726-785, 207 (6), pp.726-785. ⟨10.1016/j.ic.2008.12.006⟩
DOI
DOI : 10.1016/j.ic.2008.12.006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00156628/file/recasting-mlf-RR.pdf BibTex
auteur
Xavier Leroy, Hervé Grall
titre
Coinductive big-step operational semantics
article
Information and Computation, Elsevier, 2009, 207 (2), pp.284-304. ⟨10.1016/j.ic.2007.12.004⟩
DOI
DOI : 10.1016/j.ic.2007.12.004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00309010/file/leroy-grall.pdf BibTex
auteur
Xavier Leroy
titre
A formally verified compiler back-end
article
Journal of Automated Reasoning, Springer Verlag, 2009, 43 (4), pp.363-446. ⟨10.1007/s10817-009-9155-4⟩
DOI
DOI : 10.1007/s10817-009-9155-4
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00360768/file/paper2.pdf BibTex
auteur
Xavier Leroy
titre
Formal verification of a realistic compiler
article
Communications- ACM, Association for Computing Machinery, 2009, 52 (7), pp.107-115. ⟨10.1145/1538788.1538814⟩
DOI
DOI : 10.1145/1538788.1538814
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00415861/file/compcert-CACM.pdf BibTex
auteur
Jean-Yves Marion
titre
On tiered small jump operators
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2009, 5 (1), pp.1-19
Accès au bibtex
https://arxiv.org/pdf/0903.2410 BibTex
auteur
Jean-Yves Marion, Romain Péchoux
titre
Sup-interpretations, a semantic method for static analysis of program resources
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (4), 30 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00446057/file/333pechoux.pdf BibTex
auteur
Dominique Méry
titre
A Simple Refinement-based Method for Constructing Algorithms
article
ACM SIGCSE Bulletin, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. ⟨10.1145/1595453.1595462⟩
DOI
DOI : 10.1145/1595453.1595462
Accès au bibtex
BibTex
auteur
Dominique Méry
titre
Refinement-Based Guidelines for Algorithmic Systems
article
International Journal of Software and Informatics (IJSI), ISCAS, 2009, 3 (2-3), pp.197-239
Accès au bibtex
BibTex
auteur
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
titre
Inductive Proof Search Modulo
article
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp.123-154. ⟨10.1007/s10472-009-9154-5⟩
DOI
DOI : 10.1007/s10472-009-9154-5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00337380/file/ftp-amai.pdf BibTex
auteur
Vincent Pretre, Adrien de Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau
titre
Automated UML models merging for web services testing
article
International Journal of Web and Grid Services, Inderscience, 2009, 5 (2), pp.107--129. ⟨10.1504/IJWGS.2009.027569⟩
DOI
DOI : 10.1504/IJWGS.2009.027569
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00560822/file/pdkbl_09_ij.pdf BibTex
auteur
Denis Roegel
titre
Spheres, great circles and parallels
article
Tugboat, TeX Users Group, 2009, 30 (1), pp.80-87
Accès au bibtex
BibTex
auteur
Denis Roegel
titre
MetaPost macros for drawing Chinese and Japanese abaci
article
Tugboat, TeX Users Group, 2009, 30 (1), pp.74-79
Accès au bibtex
BibTex
auteur
Denis Roegel
titre
Prototype Fragments from Babbage's First Difference Engine
article
IEEE Annals of the History of Computing, Institute of Electrical and Electronics Engineers, 2009, 31 (2), pp.70-75
Accès au bibtex
BibTex
auteur
Denis Roegel
titre
An introduction to nomography: Garrigues' nomogram for the computation of Easter
article
Tugboat, TeX Users Group, 2009, 30 (1), pp.88-104
Accès au bibtex
BibTex
auteur
Benjamin Werner
titre
La vérité et la machine
article
Interstices, INRIA, 2009, ⟨https://interstices.info/jcms/c_42623/la-verite-et-la-machine⟩
Accès au bibtex
BibTex

Conference papers

2009

auteur
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
titre
Unification Modulo Homomorphic Encryption
article
7th International Symposium on Frontiers of Combining Systems - FroCoS 2009, Sep 2009, Trento, Italy. pp.100-116, ⟨10.1007/978-3-642-04222-5_6⟩
DOI
DOI : 10.1007/978-3-642-04222-5_6
Accès au bibtex
BibTex
auteur
Oana Andrei, Helene Kirchner
titre
A Port Graph Calculus for Autonomic Computing and Invariant Verification
article
TERMGRAPH 2009, 5th International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009, A. Corradini, Mar 2009, York, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00418560/file/verif.pdf BibTex
auteur
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
titre
Modeling and Verifying Ad Hoc Routing Protocol
article
4th International Workshop on Security and Rewriting Techniques - SecReT'09, Jul 2009, Port Jefferson, United States. pp.33-46
Accès au bibtex
BibTex
auteur
Philippe Balbiani, Yannick Chevalier, Marwa El-Houri
titre
A Logical Framework for Reasoning about Policies with Trust Negotiations and Workflows in a Distributed Environment
article
4th International Conference on Risks and Security of Internet and Systems - CRiSIS 2009, Oct 2009, Toulouse, France. pp.3-11, ⟨10.1109/CRISIS.2009.5411983⟩
DOI
DOI : 10.1109/CRISIS.2009.5411983
Accès au bibtex
BibTex
auteur
Philippe Balbiani, Fahima Cheikh, Pierre-Cyrille Heam, Olga Kouchnarenko
titre
Composition of services with constraints
article
Formal Aspects of Component Software, Nov 2009, Eindhoven, Netherlands. pp. 31-46, ⟨10.1016/j.entcs.2010.05.003⟩
DOI
DOI : 10.1016/j.entcs.2010.05.003
Accès au bibtex
BibTex
auteur
Dominique Barth, Olivier Bournez, Octave Boussaton, Johanne Cohen
titre
A dynamic approach for load balancing
article
The Third International Workshop on Game Theory in Communication Networks - GAMECOMM 2009, Samson Lasaulce and Yezekael Hayel, Oct 2009, Pise, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00435160/file/gamecomm.pdf BibTex
auteur
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
titre
YAPA: A generic tool for computing intruder knowledge
article
20th International Conference on Rewriting Techniques and Applications - RTA'09, Jun 2009, Brasilia, Brazil. pp.148-163, ⟨10.1007/978-3-642-02348-4_11⟩
DOI
DOI : 10.1007/978-3-642-02348-4_11
Accès au bibtex
BibTex
auteur
Philippe Beaucamps, Daniel Reynaud-Plantey, Jean-Yves Marion
titre
On the use of Internet Voting on Compromised Computers
article
4th International conference on i-Warfare & Security - ICIW 2009, Mar 2009, Cape Town, South Africa
Accès au bibtex
BibTex
auteur
Philippe Beaucamps, Jean-Yves Marion
titre
On behavioral detection
article
18th EICAR Annual Conference 2009, May 2009, Berlin, Germany
Accès au bibtex
BibTex
auteur
Philippe Beaucamps, Eric Filiol, Jean-Yves Marion, Daniel Reynaud
titre
On the Impact of Malware on Internet Voting
article
1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg, Luxembourg
Accès au bibtex
BibTex
auteur
Nazim Benaissa, Dominique Méry
titre
Cryptologic protocols analysis using proof-based patterns
article
Seventh International Andrei Ershov Memorial Conference "PERSPECTIVES OF SYSTEM INFORMATICS" - PSI 2009, Jun 2009, Novosibirsk, Russia
Accès au bibtex
BibTex
auteur
Nazim Benaissa, Dominique Méry
titre
Cryptographic Protocols Analysis in Event B
article
Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» - PSI 2009, Jun 2009, Novosibisrk, Russia
Accès au bibtex
BibTex
auteur
Nazim Benaissa, Dominique Méry
titre
Développement combiné et prouvé de systèmes transactionnels cryptologiques
article
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2009, Jan 2009, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00426405/file/soumissionbenaissamery.pdf BibTex
auteur
Frédéric Blanqui, Cody Roux
titre
On the relation between sized-types based termination and semantic labelling
article
18th EACSL Annual Conference on Computer Science Logic - CSL 09, Sep 2009, Coimbra, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00397689/file/main.pdf BibTex
auteur
Sandrine Blazy, Benoît Robillard
titre
Register allocation by graph coloring under full live-range splitting
article
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009), ACM, Jun 2009, Dublin, Ireland
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00387749/file/LCTES09.pdf BibTex
auteur
Mathieu Boespflug
titre
Efficient normalization by evaluation
article
2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00434283/file/NBE09-Boespflug-fastnbe.pdf BibTex
auteur
Mathieu Boespflug
titre
From Self-Interpreters to Normalization by Evaluation
article
2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00434284/file/selfnbe.pdf BibTex
auteur
Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko
titre
How to Tackle Integer Weighted Automata Positivity
article
3rd InternationalWorkshop on Reachability Problems - RP 2009, Sep 2009, Palaiseau, France. pp.79-92, ⟨10.1007/978-3-642-04420-5_9⟩
DOI
DOI : 10.1007/978-3-642-04420-5_9
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00428998/file/rp09_submission.pdf BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud
titre
A computability perspective on self-modifying programs
article
7th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2009, Nov 2009, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00433472/file/automodificateur.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
titre
Word Order Constraints for Lexical Disambiguation of Interaction Grammars
article
Workshop on Parsing with Categorial Grammars - ESSLLI, Jul 2009, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440785/file/PCG_word_order_constraints_for_LD.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
titre
Dependency Constraints for Lexical Disambiguation
article
11th International Conference on Parsing Technologies - IWPT'09, Oct 2009, Paris, France. pp.242-253
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440795/file/IWPT_dependency_constraints_for_LD.pdf BibTex
auteur
Guillaume Bonfante, Florian Deloup, Antoine Henrot
titre
Polynomials over the reals are safe for program interpretations
article
FOPARA 2009, Nov 2009, Eindhoven, European Union
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00594663/file/FOPARAB.pdf BibTex
auteur
Hanifa Boucheneb, Abdessamad Imine
titre
On Model-Checking Optimistic Replication Algorithms
article
11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Jun 2009, Lisbonne, Portugal. pp.73-89, ⟨10.1007/978-3-642-02138-1_5⟩
DOI
DOI : 10.1007/978-3-642-02138-1_5
Accès au bibtex
BibTex
auteur
Nacer Boudjlida, Jean-Pierre Jacquot, Pascal Urso
titre
Software Engineering Education by Example
article
5th China - Europe International Symposium on Software Industry Oriented Education (CEISIE 2009), May 2009, Bordeaux, France. 4 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00432755/file/Final-NB-4-Educ-Bdx-SPIL.pdf BibTex
auteur
Tony Bourdier, Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
titre
Analysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom.
article
1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg city, Luxembourg. pp.33-40
Accès au bibtex
BibTex
auteur
Olivier Bournez, Walid Gomaa, Emmanuel Hainry
titre
Implicit complexity in recursive analysis
article
Tenth International Workshop on Logic and Computational Complexity - LCC'09, Aug 2009, Los Angeles, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429964/file/lcc.pdf BibTex
auteur
Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine
titre
veriT: an open, trustable and efficient SMT-solver
article
22nd International Conference on Automated Deduction - CADE 22, Aug 2009, Montreal, Canada. pp.151-156, ⟨10.1007/978-3-642-02959-2_12⟩
DOI
DOI : 10.1007/978-3-642-02959-2_12
Accès au bibtex
BibTex
auteur
Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
titre
A foundation for flow-based program matching: using temporal logic and model checking
article
The 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL'09, Jan 2009, Savannah, Georgia, United States. pp.114-126, ⟨10.1145/1480881.1480897⟩
DOI
DOI : 10.1145/1480881.1480897
Accès au bibtex
BibTex
auteur
Serge Burckel, Emeric Gioan, Emmanuel Thomé
titre
Mapping Computation with No Memory
article
UC: Unconventional Computation, Sep 2009, Ponta Delgada, Portugal. pp.85-97, ⟨10.1007/978-3-642-03745-0_15⟩
DOI
DOI : 10.1007/978-3-642-03745-0_15
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00395080/file/ark__67375_HCB-M15JG9FH-0.pdf BibTex
auteur
Guillaume Burel
titre
Automating Theories in Intuitionistic Logic
article
7th International Symposium on Frontiers of Combining Systems -FroCoS'09, Sep 2009, Trento, Italy. pp.181-197, ⟨10.1007/978-3-642-04222-5_11⟩
DOI
DOI : 10.1007/978-3-642-04222-5_11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00395934/file/FroCos.pdf BibTex
auteur
Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz
titre
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
article
Reachability Problems 2009, Sep 2009, Palaiseau, France. pp.93-106, ⟨10.1007/978-3-642-04420-5_10⟩
DOI
DOI : 10.1007/978-3-642-04420-5_10
Accès au bibtex
BibTex
auteur
Asma Cherif, Abdessamad Imine
titre
Undo-Based Access Control for Distributed Collaborative Editors
article
6th International Conference on Cooperative Design, Visualization, and Engineering - CDVE 2009, Sep 2009, Luxembourg, Luxembourg. pp.101-108, ⟨10.1007/978-3-642-04265-2_14⟩
DOI
DOI : 10.1007/978-3-642-04265-2_14
Accès au bibtex
BibTex
auteur
Najah Chridi, Mathieu Turuani, Michael Rusinowitch
titre
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
article
Computer Security Foundations Symposium, Jul 2009, Port Jefferson, United States. pp.277-289
Accès au bibtex
BibTex
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
titre
TomML: A Rule Language For Structured Data
article
International RuleML Symposium on Rule Interchange and Applications - RuleML 2009, Nov 2009, Las Vegas, United States. pp.262-271
Accès au bibtex
BibTex
auteur
Véronique Cortier
titre
Verification of Security Protocols
article
10th Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI'09, Jan 2009, Savannah, United States. pp.5-13, ⟨10.1007/978-3-540-93900-9_5⟩
DOI
DOI : 10.1007/978-3-540-93900-9_5
Accès au bibtex
BibTex
auteur
Véronique Cortier, Graham Steel
titre
A Generic Security API for Symmetric Key Management on Cryptographic Devices
article
14th European Symposium On Research In Computer Security - ESORICS'09, Sep 2009, St Malo, France. pp.605-620, ⟨10.1007/978-3-642-04444-1_37⟩
DOI
DOI : 10.1007/978-3-642-04444-1_37
Accès au bibtex
BibTex
auteur
Véronique Cortier, Stéphanie Delaune
titre
A method for proving observational equivalence
article
22nd IEEE Computer Security Foundations Symposium - CSF'09, Jul 2009, Port Jefferson, United States. pp.266-276
Accès au bibtex
BibTex
auteur
Isabelle Coté, Maritta Heisel, Jeanine Souquières
titre
On the Evolution of Component-based Software
article
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩
DOI
DOI : 10.1007/978-3-642-28038-2_5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00431436/file/978-3-642-28038-2_5_Chapter.pdf BibTex
auteur
Jean-François Couchot, Alain Giorgetti, Nicolas Stouls
titre
Graph Based Reduction of Program Verification Conditions
article
Automated Formal Methods (AFM'09), colocated with CAV'09, Hassen Saïdi and N. Shankar, Jun 2009, Grenoble, France. pp.40--47
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00402204/file/afm09cgs.pdf BibTex
auteur
Roméo Courbis, Pierre-Cyrille Heam, Olga Kouchnarenko
titre
TAGED Approximations for Temporal Properties Model-Checking
article
Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09, Jul 2009, Sydney, Australia
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00380048/file/rltl-hal.pdf BibTex
auteur
Denis Cousineau
titre
Complete reducibility candidates
article
Proof Search in Type Theory, Aug 2009, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00433159/file/CompleteReducibilityCandidates.pdf BibTex
auteur
Frédéric Dadeau
titre
Génération automatique de tests à partir de patrons de propriétés
article
AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2009, Toulouse, France. pp.177--191
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563327/file/dadeau09_np.pdf BibTex
auteur
Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara del Socorro Mota Gonzalez, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron
titre
UML Modeling and Formal Verification of Secure Group Communication Protocols
article
Second IEEE International workshop UML and Formal Methods - UML&FM'2009, 2009, Rio de Janeiro, Brazil
Accès au bibtex
BibTex
auteur
Stéphane Debricon, Fabrice Bouquet, Bruno Legeard
titre
From Business Processes to Integration Testing
article
5èmes journées sur l'Ingénierie Dirigée par les Modèles - IDM 2009, Loria, Mar 2009, Nancy, France. pp.49-64
Accès au bibtex
BibTex
auteur
David Déharbe, Pascal Fontaine, Anamaria Martins Moreira, Stephan Merz, Anderson Santana de Oliveira
titre
Automating model-based software engineering
article
Colloque d'Informatique: Brésil/INRIA (COLIBRI), Jul 2009, Bento Gonçalves, Brazil. pp.22-27
Accès au bibtex
BibTex
auteur
Didier Fass, Romain Lieber
titre
Rationale for human modelling in human in the loop systems design
article
3rd Annual IEEE International Systems Conference, SysCon 2009, Mar 2009, Vancouver, Canada. pp.27-30
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00394608/file/Rationale_for_human_modeling_in_human_in_the_loop_systems_design.pdf BibTex
auteur
Pascal Fontaine
titre
Combinations of theories for decidable fragments of first-order logic
article
7th International Symposium, FroCoS 2009, Sep 2009, Trento, Italy. pp.263-278, ⟨10.1007/978-3-642-04222-5_16⟩
DOI
DOI : 10.1007/978-3-642-04222-5_16
Accès au bibtex
BibTex
auteur
Marco Gaboardi, Romain Péchoux
titre
Upper Bounds on Stream I/O Using Semantic Interpretations
article
23rd international Workshop on Computer Science Logic, CSL 2009, 18th Annual Conference of the EACSL, Sep 2009, Coimbra, Portugal. pp.271-286, ⟨10.1007/978-3-642-04027-6_21⟩
DOI
DOI : 10.1007/978-3-642-04027-6_21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00431469/file/csl.pdf BibTex
auteur
Marco Gaboardi, Romain Péchoux
titre
Global and local space properties of stream programs
article
First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009, Nov 2009, Eindhoven, Netherlands. pp.51--66, ⟨10.1007/978-3-642-15331-0_4⟩
DOI
DOI : 10.1007/978-3-642-15331-0_4
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00539835/file/main.pdf BibTex
auteur
Peter Gacs, Mathieu Hoyrup, Cristobal Rojas
titre
Randomness on Computable Probability Spaces - A Dynamical Point of View
article
26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.469-480
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00360519/file/GACS_new.pdf BibTex
auteur
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau
titre
Packaging Mathematical Structures
article
Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00368403/file/main.pdf BibTex
auteur
Isabelle Gnaedig
titre
Termination of Priority Rewriting
article
Third International Conference on Language and Automata Theory and Applications - LATA 2009, Apr 2009, Tarragona, Spain. pp.386-397, ⟨10.1007/978-3-642-00982-2_33⟩
DOI
DOI : 10.1007/978-3-642-00982-2_33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00428679/file/version-hal-lata.pdf BibTex
auteur
Walid Gomaa
titre
Polynomial time computation in the context of recursive analysis
article
First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009, Nov 2009, Eindhoven, Netherlands. pp.146-162, ⟨10.1007/978-3-642-15331-0_10⟩
DOI
DOI : 10.1007/978-3-642-15331-0_10
Accès au bibtex
BibTex
auteur
Walid Gomaa
titre
Characterizing Polynomial Time Computability of Rational and Real Functions
article
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, Jul 2009, Rhodes, Greece. pp.54-64
Accès au bibtex
BibTex
auteur
Walid Gomaa
titre
Analog Computation and Function Algebras
article
The Science and Philosophy of Unconventional Computing, Mar 2009, Cambridge, United Kingdom
Accès au bibtex
BibTex
auteur
Wadie Guizani, Jean-Yves Marion, Daniel Reynaud
titre
Server-Side Dynamic Code Analysis
article
4th International Conference on Malicious and Unwanted Software - Malware 2009, Fernando C. Colon Osorio, Oct 2009, Montréal, Canada. pp.55-62
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00425554/file/Server-Side_Dynamic_Code_Analysis.pdf BibTex
auteur
Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz
titre
Random Generation of Deterministic Tree (Walking) Automata
article
14th International Conference on Implementation and Application of Automata - CIAA 2009, Jul 2009, Sydney, Australia. pp.115--124, ⟨10.1007/978-3-642-02979-0_15⟩
DOI
DOI : 10.1007/978-3-642-02979-0_15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00408316/file/RandomTA.pdf BibTex
auteur
Mathieu Hoyrup, Cristobal Rojas
titre
An Application of Martin-Löf Randomness to Effective Probability Theory
article
5th Conference on Computability in Europe - CiE 2009, Jul 2009, Heidelberg, Germany. pp.260-269, ⟨10.1007/978-3-642-03073-4⟩
DOI
DOI : 10.1007/978-3-642-03073-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00425556/file/paper.pdf BibTex
auteur
Mathieu Hoyrup, Cristobal Rojas
titre
Applications of Effective Probability Theory to Martin-Löf Randomness
article
36th International Colloquium on Automata, Languages and Programming - ICALP 2009, Jul 2009, Rhodes, Greece. pp.549-561, ⟨10.1007/978-3-642-02927-1⟩
DOI
DOI : 10.1007/978-3-642-02927-1
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00425560/file/layer2.pdf BibTex
auteur
Hejiao Huang, Helene Kirchner
titre
Policy Composition based on Petri Nets
article
33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009, Jul 2009, Seattle, United States. pp.416--421, ⟨10.1109/COMPSAC.2009.169⟩
DOI
DOI : 10.1109/COMPSAC.2009.169
Accès au bibtex
BibTex
auteur
Abdessamad Imine, Asma Cherif, Michael Rusinowitch
titre
A Flexible Access Control Model for Distributed Collaborative Editors
article
6th VLDB Workshop on Secure Data Management - SDM 2009, Aug 2009, Lyon, France. pp.89-106, ⟨10.1007/978-3-642-04219-5_6⟩
DOI
DOI : 10.1007/978-3-642-04219-5_6
Accès au bibtex
BibTex
auteur
Abdessamad Imine
titre
Coordination Model for Real-Time Collaborative Editors
article
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Jun 2009, Lisboa, Portugal. pp.225-246, ⟨10.1007/978-3-642-02053-7_12⟩
DOI
DOI : 10.1007/978-3-642-02053-7_12
Accès au bibtex
BibTex
auteur
Helene Kirchner, Kirchner Florent, Claude Kirchner
titre
Constraint Based Strategies
article
18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26
Accès au bibtex
BibTex
auteur
Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
titre
A Type System for Tom
article
Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
DOI
DOI : 10.4204/EPTCS.21.5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00426439/file/RULE09-paper.pdf BibTex
auteur
Helene Kirchner, Hejiao Huang
titre
Component-based Security Policy Design with Colored Petri Nets
article
Semantics and Algebraic Specification, Marina Lenisa, Sep 2009, Udine, Italy. pp.21-42
Accès au bibtex
BibTex
auteur
Olga Kouchnarenko, Natalia Sidorova, Nikola Trcka
titre
Petri Nets with May/Must Semantics
article
Workshop on Concurrency, Specification, and Programming - CS&P 2009, Humboldt University, Sep 2009, Kraków-Przegorzały, Poland
Accès au bibtex
BibTex
auteur
Dominique Larchey-Wendling
titre
Labelled Tableaux for Proofs and Models in BI logics
article
Automated Deduction Day, Jul 2009, Vandoeuvre-lès-Nancy, France
Accès au bibtex
BibTex
auteur
Francisco López Fraguas, Stephan Merz, Juan Rodríguez Hortalá
titre
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
article
22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009, Technische Universität München, Aug 2009, Munich, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00408964/file/trends09final.pdf BibTex
auteur
Atif Mashkoor
titre
Formal Domain Modeling: From Specification to Validation
article
16th International Symposium on Formal Methods - FM 2009 (Doctoral Symposium), Nov 2009, Eindhoven, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00431131/file/main.pdf BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières
titre
B événementiel pour la modélisation du domaine: application au transport
article
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00326355/file/AFADL2009.pdf BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières
titre
Transformation Heuristics for Formal Requirements Validation by Animation
article
2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems - SafeCert 2009, Mar 2009, York, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00374082/file/SafeCert2009.pdf BibTex
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
titre
Data Structures with Arithmetic Constraints: a Non-disjoint Combination
article
7th International Symposium on Frontiers of Combining Systems - FroCoS'2009, Sep 2009, Trento, Italy. pp.335-350, ⟨10.1007/978-3-642-04222-5_20⟩
DOI
DOI : 10.1007/978-3-642-04222-5_20
Accès au bibtex
BibTex
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
titre
Combinable Extensions of Abelian Groups
article
22nd International Conference on Automated Deduction - CADE-22, Aug 2009, Montreal, Canada. pp.51-66, ⟨10.1007/978-3-642-02959-2_4⟩
DOI
DOI : 10.1007/978-3-642-02959-2_4
Accès au bibtex
BibTex
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
titre
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
article
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2009, Mar 2009, York, United Kingdom. pp.428-442
Accès au bibtex
BibTex
auteur
Joris Rehm
titre
Pattern Based Integration of Time applied to the 2-Slots Simpson Algorithm
article
Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00362715/file/2009_rehm_simpson2slots.pdf BibTex
auteur
Joris Rehm
titre
A Rodin plugin for quantitative timed models
article
Rodin User and Developer Workshop, Jul 2009, Southampton, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00431246/file/time_plugin.pdf BibTex
auteur
Daniel Reynaud, Jean-Yves Marion
titre
Dynamic Binary Instrumentation for Deobfuscation and Unpacking
article
IN-DEPTH SECURITY CONFERENCE 2009 EUROPE, Nov 2009, Vienne, Austria
Accès au bibtex
BibTex
auteur
Cristian Rosa, Martin Quinson, Stephan Merz
titre
Model-checking Distributed Applications with GRAS
article
Exploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00378374/file/modelcheck_ec2-RR.pdf BibTex
auteur
Alexander Schimpf, Stephan Merz, Jan-Georg Smaus
titre
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
article
22nd International Conference Theorem Proving in Higher-Order Logics - TPHOLs 2009, Aug 2009, Munich, Germany. pp.424-439, ⟨10.1007/978-3-642-03359-9_29⟩
DOI
DOI : 10.1007/978-3-642-03359-9_29
Accès au bibtex
BibTex
auteur
Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Dominique Méry
titre
A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems
article
Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany
Accès au bibtex
BibTex
auteur
Jean-Baptiste Tristan, Xavier Leroy
titre
Verified Validation of Lazy Code Motion
article
ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), Jun 2009, Dublin, Ireland. pp.316-326, ⟨10.1145/1542476.1542512⟩
DOI
DOI : 10.1145/1542476.1542512
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00415865/file/validation-LCM.pdf BibTex

Book sections

2009

auteur
Charu Arora, Mathieu Turuani
titre
Validating Integrity for the Ephemerizer's Protocol with CL-Atse
article
Véronique Cortier and Claude Kirchner and Mitsuhiro Okada and Hideki Sakurada. Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration, 5458, Springer Berlin Heidelberg, pp.21-32, 2009, Lecture Notes in Computer Science, 978-3-642-02002-5. ⟨10.1007/978-3-642-02002-5_2⟩
DOI
DOI : 10.1007/978-3-642-02002-5_2
Accès au bibtex
BibTex

Habilitation à diriger des recherches

2009

auteur
Véronique Cortier
titre
Analyse des protocoles cryptographiques: des modèles symboliques aux modèles calculatoires
article
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2009
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00578816/file/hdr-final.pdf BibTex
auteur
Pierre-Cyrille Heam
titre
Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité
article
Informatique [cs]. Université de Franche-Comté, 2009
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00432301/file/HDRpch.pdf BibTex
auteur
Christophe Ringeissen
titre
Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve
article
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2009
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00578600/file/uhp-hdr-cr.pdf BibTex

Other publications

2009

auteur
Atif Mashkoor, Jean-Pierre Jacquot
titre
Branimation
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00410659/file/branimation.pdf BibTex
auteur
Elena Tushkanova, Alain Giorgetti, Olga Kouchnarenko
titre
Specifying and Proving a Sorting Algorithm
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00429040/file/RR2009-03.pdf BibTex

Books

2009

auteur
Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada
titre
Formal to practical Security
article
Springer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8
Accès au bibtex
BibTex
auteur
Bruno Legeard, Fabrice Bouquet, Pickaert Natacha
titre
Industrialiser le test fonctionnel
article
Dunod, pp.266, 2009, Management des systèmes d'information, 978-2100515332
Accès au bibtex
BibTex

Documents associated with scientific events

2009

auteur
Susanne Albers, Jean-Yves Marion
titre
26th International Symposium on Theoretical Aspects of Computer Science (STACS)
article
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, LIPIcs. STACS - 2009, Feb 2009, FREIBURG, Germany. 090001, pp.1-7, 2009, Dagstuhl Seminar Proceedings
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00434332/file/09001.SWM.1858.pdf BibTex

Reports

2009

auteur
Mumtaz Ahmad, Serge Burckel, Adam Cichon
titre
Sequential decomposition of operations and compilers optimization
article
[Research Report] RR-7076, INRIA. 2009, pp.91
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00428722/file/RR-7076.pdf BibTex
auteur
Zeeshan Ahmed, Abdessamad Imine, Michaël Rusinowitch
titre
Safe and Efficient Strategies for Updating Firewall Policies
article
[Research Report] RR-6940, INRIA. 2009, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381778/file/RR-6940.pdf BibTex
auteur
Jean-Christophe Bach, Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
titre
Tom Manual
article
[Technical Report] 2009, pp.155
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00121885/file/manual-2.7.pdf BibTex
auteur
Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier
titre
Deciding knowledge in security protocols under some e-voting theories
article
[Research Report] RR-6903, INRIA. 2009, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00375784/file/RR-6903.pdf BibTex
auteur
Olivier Bournez, Walid Gomaa, Emmanuel Hainry
titre
Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
article
[Research Report] 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00421561/file/submission.pdf BibTex
auteur
Yannick Chevalier, Michael Rusinowitch
titre
Compiling and securing cryptographic protocols
article
[Research Report] 2009, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00426669/file/compil-RR.pdf BibTex
auteur
Véronique Cortier, Graham Steel
titre
Synthesising Secure APIs
article
[Research Report] RR-6882, INRIA. 2009, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00369395/file/RR-6882.pdf BibTex
auteur
Véronique Cortier, Steve Kremer, Bogdan Warinschi
titre
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
article
[Research Report] RR-6912, INRIA. 2009, pp.42
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00379776/file/RR-6912.pdf BibTex
auteur
Germain Faure
titre
Encoding rewriting strategies in lambda-calculi with patterns
article
[Research Report] RR-7025, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00413178/file/rapport.pdf BibTex
auteur
Germain Faure
titre
Higher-order matching modulo (super)developements. Applications to second-order matching
article
[Research Report] 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429978/file/matching.pdf BibTex
auteur
Germain Faure, Alexandre Miquel
titre
A Categorical Semantics for The Parallel Lambda-Calculus
article
[Research Report] RR-7063, INRIA. 2009, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00424248/file/RR-7063.pdf BibTex
auteur
Isabelle Gnaedig, Hélène Kirchner
titre
Modeling reducibility on ground terms using constraints
article
[Research Report] 2009, pp.9
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00387058/file/note-HAL.pdf BibTex
auteur
Isabelle Gnaedig, Hélène Kirchner
titre
Proving weak properties of rewriting
article
[Research Report] 2009, pp.50
Accès au bibtex
BibTex
auteur
Emmanuel Hainry
titre
Decidability and Undecidability in Dynamical Systems
article
[Research Report] 2009, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429965/file/dynsys.pdf BibTex
auteur
Pierre-Cyrille Heam, Cyril Nicaud
titre
Seed: an easy to use random generator of recursive data structures for testing
article
[Research Report] 2009, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00528585/file/rr-lsv-2009-15.pdf BibTex
auteur
Abdessamad Imine, Asma Cherif, Michaël Rusinowitch
titre
An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors
article
[Research Report] RR-6939, INRIA. 2009, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381941/file/RR-6939.pdf BibTex
auteur
Florent Jacquemard, Michael Rusinowitch
titre
Rewrite based Verification of XML Updates
article
[Research Report] RR-7007, INRIA. 2009, pp.39
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00408162/file/RR-7007.pdf BibTex
auteur
Jean-Yves Marion, Daniel Reynaud
titre
Surfing Code Waves
article
[Research Report] 2009
Accès au bibtex
BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot
titre
Incorporating Animation in Stepwise Development of Formal Specification
article
[Research Report] 2009, pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00392996/file/Mashkoor-SEFM09.pdf BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Pacemaker's Functional Behaviors in Event-B
article
[Research Report] 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00419973/file/Pacemaker.pdf BibTex
auteur
Inès Mouakher, Francis Alexandre
titre
Raffinement B de systèmes de transitions étiquetés
article
[Rapport de recherche] 2009, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00435896/file/main1.pdf BibTex
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
titre
Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
article
[Research Report] RR-6963, INRIA. 2009, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00397080/file/RR-6963.pdf BibTex
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
titre
Combinable Extensions of Abelian Groups
article
[Research Report] RR-6920, INRIA. 2009, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00383041/file/RR-6920.pdf BibTex
auteur
Cristian Rosa, Martin Quinson, Stephan Merz
titre
Model-checking Distributed Applications with GRAS
article
[Research Report] RR-7052, INRIA. 2009, pp.11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00422159/file/main-RR.pdf BibTex
auteur
Julien Siebert, Joris Rehm, Vincent Chevrier, Laurent Ciarletta, Dominique Méry
titre
AA4MM coordination model and event-B specification
article
[Research Report] RR-7081, INRIA. 2009, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00435569/file/RR-7081.pdf BibTex

Theses

2009

auteur
Emilie Balland
titre
Conception d'un langage dédié à l'analyse et la transformation de programmes
article
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01748507/file/manuscrit.pdf BibTex
auteur
Guillaume Burel
titre
Bonnes démonstrations en déduction modulo
article
Informatique [cs]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10014⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01748505/file/manuscript.pdf BibTex
auteur
Najah Chridi
titre
Contributions à la vérification automatique de protocoles de groupes.
article
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00417290/file/Chridi-Najah-Thesis-09.pdf BibTex
auteur
Denis Cousineau
titre
Modèles et normalisation des preuves
article
Informatique [cs]. Ecole Polytechnique X, 2009. Français
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/tel-00433165/file/manuscript.pdf BibTex
auteur
Zaynah Dargaye
titre
Vérification formelle d'un compilateur optimisant pour langages fonctionnels
article
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00452440/file/these_Zaynah_Dargaye.pdf BibTex
auteur
Benoit Razet
titre
Machines d'Eilenberg Effectives
article
Informatique [cs]. Université Paris-Diderot - Paris VII, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00463049/file/these.pdf BibTex
auteur
Joris Rehm
titre
Gestion du temps par le raffinement
article
Informatique [cs]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10101⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01748288/file/these_Joris-Rehm.pdf BibTex
auteur
Jean-Baptiste Tristan
titre
Formal verification of translation validators
article
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00437582/file/dissertation_english.pdf BibTex

Preprints, Working Papers, ...

2009

auteur
Denis Cousineau
titre
A completeness theorem for strong normalization in minimal deduction modulo
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00370379/file/CompletenessMDM.pdf BibTex
auteur
Denis Cousineau
titre
A semantic method to prove strong normalization from weak normalization
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00385520/file/RiceSaladLambdaModulo.pdf BibTex
auteur
Clement Houtmann
titre
Three Dimensional Proofnets for Classical Logic
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00426469/file/3dnets.pdf BibTex
auteur
Hejiao Huang, Helene Kirchner
titre
Modular Security Policy Design based on Extended Petri Nets
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00396924/file/HAL.pdf BibTex
auteur
Hejiao Huang, Helene Kirchner
titre
Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00396952/file/conflicts.pdf BibTex
auteur
Emmanuel Jeandel, Guillaume Theyssier
titre
Subshifts as Models for MSO Logic
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00439407/file/mso.journal.pdf BibTex