Journal articles

2008

auteur
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
titre
Incremental development of UML specifications using operation refinements
article
Innovations in Systems and Software Engineering, Springer Verlag, 2008, 4, pp.259-266. ⟨10.1007/s11334-008-0056-1⟩
DOI
DOI : 10.1007/s11334-008-0056-1
Accès au bibtex
BibTex
auteur
Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières
titre
Modélisation événementielle pour la construction de diagrammes de classes
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (3), pp.131-155
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Learning discrete categorial grammars from structures
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (1), pp.165-182. ⟨10.1051/ita:2007055⟩
DOI
DOI : 10.1051/ita:2007055
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00342331/file/BesombesMarion.pdf BibTex
auteur
Yohan Boichut, Pierre-Cyrille Heam
titre
A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
article
Information Processing Letters, Elsevier, 2008, 108 (1), pp.1-2. ⟨10.1016/j.ipl.2008.03.012⟩
DOI
DOI : 10.1016/j.ipl.2008.03.012
Accès au bibtex
BibTex
auteur
Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko
titre
Approximation based tree regular model checking
article
Nordic Journal of Computing, Publishing Association Nordic Journal of Computing, 2008, 14, pp.216-241
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429345/file/Haltreermc.pdf BibTex
auteur
Dominique Cansell, Paul Gibson, Dominique Méry
titre
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 183, pp.39-55. ⟨10.1016/j.entcs.2007.01.060⟩
DOI
DOI : 10.1016/j.entcs.2007.01.060
Accès au bibtex
BibTex
auteur
Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier
titre
Efficiency of Automata in Semi-Commutation Verification Techniques
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (2), pp.197--215. ⟨10.1051/ita:2007029⟩
DOI
DOI : 10.1051/ita:2007029
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563430/file/chm08_ij.pdf BibTex
auteur
Yannick Chevalier, Ralf Kuesters, Michael Rusinowitch, Mathieu Turuani
titre
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2008, 9 (4), pp.Article 24. ⟨10.1145/1380572.1380573⟩
DOI
DOI : 10.1145/1380572.1380573
Accès au bibtex
BibTex
auteur
Yannick Chevalier, Michael Rusinowitch
titre
Hierarchical combination of intruder theories
article
Information and Computation, Elsevier, 2008, 206 (2-4), pp.352-377. ⟨10.1016/j.ic.2007.07.004⟩
DOI
DOI : 10.1016/j.ic.2007.07.004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00329715/file/main.pdf BibTex
auteur
Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil
titre
An Exercise in Selfish Stabilization
article
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2008, 3 (4), pp.Article 15. ⟨10.1145/1452001.1452005⟩
DOI
DOI : 10.1145/1452001.1452005
Accès au bibtex
BibTex
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
titre
Soft Linear Logic and Polynomial Complexity Classes
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 205 (6), pp.67-87. ⟨10.1016/j.entcs.2008.03.066⟩
DOI
DOI : 10.1016/j.entcs.2008.03.066
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00342320/file/GaboardiMarionRonchi08lsfa.pdf BibTex
auteur
Filipe Gama, Claire Bréhélin, Éric Gelhaye, Yves Meyer, Jean-Pierre Jacquot, Pascal Rey, Nicolas Rouhier
titre
Functional analysis and expression characteristics of chloroplastic Prx IIE
article
Physiologia Plantarum, Wiley, 2008, 133 (3), pp.599-610. ⟨10.1111/j.1399-3054.2008.01097.x⟩
DOI
DOI : 10.1111/j.1399-3054.2008.01097.x
Accès au bibtex
BibTex
auteur
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli
titre
A comprehensive combination framework
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2008, 9 (2), pp.Article n° 8. ⟨10.1145/1342991.1342992⟩
DOI
DOI : 10.1145/1342991.1342992
Accès au bibtex
BibTex
auteur
Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
titre
Verification of class liveness properties with Java modeling language
article
IET Software, Institution of Engineering and Technology, 2008, 2 (6), pp.500--514. ⟨10.1049/iet-sen:20080008⟩
DOI
DOI : 10.1049/iet-sen:20080008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00561340/file/ggjk08_ij.pdf BibTex
auteur
Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
titre
Timed Specification For Web Services Compatibility Analysis
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 200 (3), pp.155-170. ⟨10.1016/j.entcs.2008.04.098⟩
DOI
DOI : 10.1016/j.entcs.2008.04.098
Accès au bibtex
BibTex
auteur
Pierre-Cyrille Héam
titre
A Note on Partially Ordered Tree Automata
article
Information Processing Letters, Elsevier, 2008, 108 (4), pp.242--246. ⟨10.1016/j.ipl.2008.05.012⟩
DOI
DOI : 10.1016/j.ipl.2008.05.012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00561271/file/heam08_ij.pdf BibTex
auteur
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
titre
Tree automata with equality constraints modulo equational theories
article
Journal of Logic and Algebraic Programming, Elsevier, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩
DOI
DOI : 10.1016/j.jlap.2007.10.006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00329693/file/JacquemardRusinowitchVigneron-JLAP.pdf BibTex
auteur
Arnaud Lanoix, Jeanine Souquières
titre
Trustworthy Assembly of Components using B Refinement
article
e-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00123997/file/e-informatica-submitted.pdf BibTex
auteur
Arnaud Lanoix, Samuel Colin, Jeanine Souquières
titre
Développement formel par composants : assemblage et vérification à l'aide de B
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2008, 27 (8), pp.1007-1032. ⟨10.3166/TSI.27.1007-1032⟩
DOI
DOI : 10.3166/TSI.27.1007-1032
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180972/file/LanoixColinSouquieres_tsi08.pdf BibTex
auteur
Xavier Leroy, Sandrine Blazy
titre
Formal verification of a C-like memory model and its uses for verifying program transformations
article
Journal of Automated Reasoning, Springer Verlag, 2008, 41 (1), pp.1-31. ⟨10.1007/s10817-008-9099-0⟩
DOI
DOI : 10.1007/s10817-008-9099-0
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00289542/file/memory-model-journal.pdf BibTex
auteur
Luigi Liquori, Arnaud Spiwack
titre
FeatherTrait: A Modest Extension of Featherweight Java
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. ⟨10.1145/1330017.1330022⟩
DOI
DOI : 10.1145/1330017.1330022
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00432538/file/fjtraits.pdf BibTex
auteur
Inès Mouakher, Jeanine Souquières, Francis Alexandre
titre
Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants
article
RTSI - L'Objet, 2008, 14, pp.11--42
Accès au bibtex
BibTex
auteur
Laurence Rideau, Bernard Serpette, Xavier Leroy
titre
Tilting at windmills with Coq: formal verification of a compilation algorithm for parallel moves
article
Journal of Automated Reasoning, Springer Verlag, 2008, 40 (4), pp.307-326. ⟨10.1007/s10817-007-9096-8⟩
DOI
DOI : 10.1007/s10817-007-9096-8
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00289709/file/parallel-move.pdf BibTex
auteur
Denis Roegel
titre
Kanji-Sudokus: Integrating Chinese and Graphics
article
Tugboat, TeX Users Group, 2008, 29 (2), pp.317-319
Accès au bibtex
BibTex
auteur
Denis Roegel
titre
An Early (1844) Key-Driven Adding Machine
article
IEEE Annals of the History of Computing, Institute of Electrical and Electronics Engineers, 2008, 30 (1), pp.59-65. ⟨10.1109/MAHC.2008.1⟩
DOI
DOI : 10.1109/MAHC.2008.1
Accès au bibtex
BibTex
auteur
Jeanine Souquières
titre
A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of Vehicles
article
ERCIM News, ERCIM, 2008, 75, pp.33-34
Accès au bibtex
BibTex
auteur
Benjamin Wack, Clement Houtmann
titre
Strong Normalization in two Pure Pattern Type Systems
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2008, Rewriting calculi, higher-order reductions and patterns, 18 (3), pp.431-465. ⟨10.1017/S0960129508006749⟩
DOI
DOI : 10.1017/S0960129508006749
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186815/file/sn42ppts.pdf BibTex

Conference papers

2008

auteur
Tarek Abbes, Adel Bouhoula, Michael Rusinowitch
titre
An inference system for detecting firewall filtering rules anomalies
article
23rd Annual ACM Symposium on Applied Computing - SAC'08, 2008, Fortaleza, Brazil. pp.2122-2128
Accès au bibtex
BibTex
auteur
Humberto Abdelnur, Tigran Avanesov, Michaël Rusinowitch, Radu State
titre
Abusing SIP Authentication
article
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩
DOI
DOI : 10.1109/IAS.2008.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00326077/file/Abusing_SIP_Authentication.pdf BibTex
auteur
Siva Anatharaman, Hai Lin, Chris Lynch, Paliath Narendran, Michael Rusinowitch
titre
Active Intruders with Caps
article
FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States
Accès au bibtex
BibTex
auteur
Oana Andrei, Hélène Kirchner
titre
A Higher-Order Graph Calculus for Autonomic Computing
article
Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Sep 2008, Haifa, Israel
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00328554/file/hal-calculusforautonomic.pdf BibTex
auteur
Oana Andrei, Hélène Kirchner
titre
Strategic Port Graph Rewriting for Autonomic Computing
article
The Fourth Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00328491/file/tfit.pdf BibTex
auteur
Oana Andrei, Hélène Kirchner
titre
A Biochemical Calculus Based on Strategic Graph Rewriting
article
The Third International Conference on Algebraic Biology - AB'08, Jul 2008, Hagenberg, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00328536/file/shortcomm-ab08.pdf BibTex
auteur
Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, Lionel Habib, Thérèse Hardin, Mathieu Jaume, Charles Morisset, François Pessaux, Renaud Rioboo, Pierre Weis
titre
Trusted Software within Focal
article
C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01125667/file/cesar.pdf BibTex
auteur
Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
titre
Towards an Efficient Implementation of Tree Automata Completion
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
auteur
Emilie Balland, Pierre-Etienne Moreau
titre
Term-graph rewriting via explicit paths
article
RTA: International Conference on Rewriting Techniques and Applications, Jun 2008, Hagenberg, Austria. pp.32-47
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00173535/file/longversion.pdf BibTex
auteur
Emilie Balland, Pierre-Etienne Moreau, Mark Van den Brand, Eelco Visser, Francisco Duran, Manuel Roldan, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Ruslan Schevchenko
titre
The Second Rewrite Engines Competition
article
WRLA 2008: 7th International Workshop on Rewriting Logic and its Applications, Mar 2008, Budapest, Hungary
Accès au bibtex
BibTex
auteur
Bruno Barras, Bruno Bernardo
titre
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
article
FoSSaCS, Mar 2008, Budapest, Hungary. pp.365-379
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429543/file/icc_barras_bernardo.pdf BibTex
auteur
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Sacchini
titre
A New Elimination Rule for the Calculus of Inductive Constructions
article
Types for Proofs and Programs, Mar 2008, Torino, Italy. pp.32-48, ⟨10.1007/978-3-642-02444-3_3⟩
DOI
DOI : 10.1007/978-3-642-02444-3_3
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00524938/file/types-BarCorGreHerSac08-dep-matching.pdf BibTex
auteur
Dominique Barth, Olivier Bournez, Octave Boussaton, Johanne Cohen
titre
Distributed Learning of Wardrop Equilibria
article
7th International Conference on Unconventional Computation - UC 2008), Aug 2008, Vienne, Austria. pp.19--32
Accès au bibtex
BibTex
auteur
Philippe Beaucamps, Daniel Reynaud
titre
Malicious Firefox Extensions
article
Symposium sur la sécurité des techniques d'information et de communication, Jun 2008, Rennes, France
Accès au bibtex
BibTex
auteur
Philippe Beaucamps
titre
Extended Recursion-Based Formalization of Virus Mutation
article
EICAR'08, Jun 2008, Laval, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00338062/file/beaucamps08-recursion.pdf BibTex
auteur
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
titre
Schéma de refactoring de diagrammes de classes basé sur la notion de délégation
article
ERTSI (INFORSID 2008), May 2008, Fontainebleau, France. 12 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310955/file/ERTS08I.pdf BibTex
auteur
Nazim Benaissa
titre
Modelling Attacker's Knowledge for Cascade Cryptographic Protocols
article
First International Conference on Abstract State Machines, B and Z - ABZ 2008, Sep 2008, London, United Kingdom. pp.251-264, ⟨10.1007/978-3-540-87603-8_20⟩
DOI
DOI : 10.1007/978-3-540-87603-8_20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336641/file/ABZ2008benaissa.pdf BibTex
auteur
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
titre
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
article
5th IFIP International Conference on Theoretical Computer Science - TCS 2008, Sep 2008, Milan, Italy. ⟨10.1007/978-0-387-09680-3_24⟩
DOI
DOI : 10.1007/978-0-387-09680-3_24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00275382/file/main.pdf BibTex
auteur
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
titre
The computability path ordering: the end of a quest
article
7th EACSL Annual Conference on Computer Science Logic - CSL'08, Sep 2008, Bertinoro, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00288209/file/main.pdf BibTex
auteur
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
titre
Finer is better: Abstraction Refinement for Rewriting Approximations
article
RTA'08, 19th international conference on Rewriting Techniques and Applications, Jul 2008, Hagenberg, Austria. pp.48--62, ⟨10.1007/978-3-540-70590-1⟩
DOI
DOI : 10.1007/978-3-540-70590-1
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563422/file/bchk08a_ip.pdf BibTex
auteur
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
titre
Handling Left-Quadratic Rules When Completing Tree Automata
article
2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩
DOI
DOI : 10.1016/j.entcs.2008.12.031
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563293/file/bchk08b_ip.pdf BibTex
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
titre
An implementation of morphological malware detection
article
EICAR, May 2008, Laval, France. pp.49--62
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
titre
Morphological Detection of Malware
article
International Conference on Malicious and Unwanted Software, Fernando C. Colon Osorio, Oct 2008, Alexendria VA, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00330021/file/flowgraph.pdf BibTex
auteur
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
titre
Recursion Schemata for NCk
article
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. pp.49-63, ⟨10.1007/978-3-540-87531-4_6⟩
DOI
DOI : 10.1007/978-3-540-87531-4_6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00342366/file/CSL08BKMO.pdf BibTex
auteur
Olivier Bournez, Philippe Chassaing, Johanne Cohen, Lucas Gerin, Xavier Koegler
titre
On the Convergence of a Population Protocol When Population Goes to Infinity
article
Physics and Computations, Worshop of Unconventional Computation - UC 2008, Aug 2008, Vienne, Austria
Accès au bibtex
BibTex
auteur
Olivier Bournez, Jérémie Chalopin, Johanne Cohen
titre
Playing With Population Protocols
article
International Workshop on The Complexity of Simple Programs, Dec 2008, Cork, Ireland
Accès au bibtex
BibTex
auteur
Serge Burckel, Emeric Gioan
titre
In Situ Design of Register Operations
article
ISVLSI: IEEE Symposium on Very-Large-Scale Integration, LIRMM, Apr 2008, Montpellier, France. pp.451-454, ⟨10.1109/ISVLSI.2008.62⟩
DOI
DOI : 10.1109/ISVLSI.2008.62
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00287659/file/Burckel_Gioan_2008_in_situ_ISVLSI08.pdf BibTex
auteur
Guillaume Burel
titre
A First-Order Representation of Pure Type Systems Using Superdeduction
article
23rd Annual IEEE Symposium on Logic In Computer Science, Jun 2008, Pittsburgh, PA, United States. pp.253-263, ⟨10.1109/LICS.2008.22⟩
DOI
DOI : 10.1109/LICS.2008.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00198543/file/NJ_asLF.pdf BibTex
auteur
Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine
titre
Combining decision procedures by (model-)equality propagation
article
Brazilian Symposium on Formal Methods - SBMF 2008, Aug 2008, Salvador, Bahia, Brazil
Accès au bibtex
BibTex
auteur
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
titre
A TLA+ Proof System
article
Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA), 2008, Doha, Qatar
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00338299/file/main.pdf BibTex
auteur
Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch
titre
Automatic Composition of Services with Security Policies
article
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⟩
DOI
DOI : 10.1109/SERVICES-1.2008.13
Accès au bibtex
BibTex
auteur
Najah Chridi, Mathieu Turuani, Michael Rusinowitch
titre
Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
article
18th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2008, Jul 2008, Valence, Spain. pp.191-206
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332484/file/LOPSTR08-PostConference_Chridi-Turuani-Rusinowitch.pdf BibTex
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
titre
Rewrite Based Specification of Access Control Policies
article
3rd International Workshop on Security and Rewriting Techniques - SecReT 2008, Jun 2008, Pittsburgh, United States. pp.37-54
Accès au bibtex
BibTex
auteur
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
titre
Using CSP||B Components: Application to a Platoon of Vehicles
article
13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00286431/file/platoon-fmics08.pdf BibTex
auteur
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
titre
Towards Validating a Platoon of Cristal Vehicles using CSP||B
article
12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00261630/file/hal-07-03.pdf BibTex
auteur
Hubert Comon-Lundh, Véronique Cortier
titre
Computational soundness of observational equivalence
article
4th Workshop on Formal and Computational Cryptography - FCC 2008, Jun 2008, Pittsburgh, United States
Accès au bibtex
BibTex
auteur
Hubert Comon-Lundh, Véronique Cortier
titre
Computational soundness of observational equivalence
article
15th ACM Conference on Computer and Communications Security - CCS'08, Oct 2008, Alexandria, United States
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Régis Tissot
titre
Teaching Model-Based Testing with {L}eirios {T}est {G}enerator
article
FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563286/file/dt08_ip.pdf BibTex
auteur
Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet
titre
A Verifiable Conformance Relationship between Smart Card Applets and B security Models
article
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⟩
DOI
DOI : 10.1007/978-3-540-87603-8
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Régis Tissot, Marie-Laure Potet
titre
A B Formal Framework for Security Developments in the Domain of Smart Card Applications
article
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
DOI
DOI : 10.1007/978-0-387-09699-5
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Adrien de Kermadec, Régis Tissot
titre
Combining Scenario- and Model-Based Testing to ensure POSIX Compliance
article
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⟩
DOI
DOI : 10.1007/978-3-540-87603-8
Accès au bibtex
BibTex
auteur
Karine Deschinkel, Johanne Cohen
titre
Arrangement linéaire minimal des graphes d'intervalles
article
congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la décision, Feb 2008, Clermont Ferrand, France
Accès au bibtex
BibTex
auteur
Loïc Fejoz, Stephan Merz
titre
Towards automatic proofs of lock-free algorithms
article
Exploiting Concurrency Efficiently and Correctly, Jul 2008, Princeton, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00285752/file/ec2-08-fejoz-merz.pdf BibTex
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
titre
A Logical Account of PSPACE
article
Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. pp.121-131
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00342323/file/poplGMR.pdf BibTex
auteur
Didier Galmiche, Yakoub Salhi
titre
Labelled Calculi for Lukasiewicz Logics
article
15th International Workshop on Logic, Language, Information and Computation - WoLLIC '08, Jul 2008, Edinburgh, United Kingdom. pp.194--207
Accès au bibtex
BibTex
auteur
Didier Galmiche
titre
Resource Trees: Models and Separation Logic
article
Int Workshop on Logics for Agents and Mobility, LAM'08, 2008, Hamburg, Germany
Accès au bibtex
BibTex
auteur
Didier Galmiche, Yakoub Salhi
titre
Calculi for an Intuitionistic Hybrid Modal Logic
article
International Workshop on Intuitionistic Modal Logic and Applications - IMLA'08, Jun 2008, CMU, Pittsburg, United States. pp.15
Accès au bibtex
BibTex
auteur
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
titre
Towards SMT Model Checking of Array-Based Systems
article
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Aug 2008, Sydney, Australia. pp.67-82, ⟨10.1007/978-3-540-71070-7_6⟩
DOI
DOI : 10.1007/978-3-540-71070-7_6
Accès au bibtex
BibTex
auteur
Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
titre
A Mediator Based Approach For Services Composition
article
International Conference on Software Engineering Research, Management and Applications (SERA'08), Aug 2008, Prague, Czech Republic
Accès au bibtex
BibTex
auteur
Emmanuel Hainry
titre
Computing omega-limit Sets in Linear Dynamical Systems
article
Unconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩
DOI
DOI : 10.1007/978-3-540-85194-3_9
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00250111/file/omega_hal.pdf BibTex
auteur
Emmanuel Hainry
titre
Reachability in linear dynamical systems
article
Computability in Europe, Jun 2008, Athènes, Greece. pp.241-250, ⟨10.1007/978-3-540-69407-6_28⟩
DOI
DOI : 10.1007/978-3-540-69407-6_28
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00202674/file/dynsys_hal.pdf BibTex
auteur
Pierre-Cyrille Heam, Olga Kouchnarenko, Jérôme Voinot
titre
Component Simulation-based Substitutivity Managing QoS Aspects
article
Formal Aspects On Component Softwre - FACS'08, Sep 2008, Malaga, Spain. pp.109-123, ⟨10.1016/j.entcs.2009.12.034⟩
DOI
DOI : 10.1016/j.entcs.2009.12.034
Accès au bibtex
BibTex
auteur
Hugo Herbelin, Silvia Ghilezan
titre
An Approach to Call-by-Name Delimited Continuations
article
Symposium on Principles of Programming Languages, Jan 2008, San Francisco, United States. pp.383-394, ⟨10.1145/1328438.1328484⟩
DOI
DOI : 10.1145/1328438.1328484
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00524949/file/popl-HerGhi08-cbn-delim.pdf BibTex
auteur
Clément Houtmann
titre
Axiom directed Focusing
article
Types for Proofs and Programs, International Conference, TYPES 2008, Mar 2008, Torino, Italy. pp.169-185, ⟨10.1007/978-3-642-02444-3_11⟩
DOI
DOI : 10.1007/978-3-642-02444-3_11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00212059/file/paper.pdf BibTex
auteur
Abdessamad Imine
titre
Flexible Concurrency Control for Real-Time Collaborative Editors
article
28th International Conference on Distributed Computing Systems Workshops - ICDCS'08, Jun 2008, Beijing, China. pp.423-428, ⟨10.1109/ICDCS.Workshops.2008.91⟩
DOI
DOI : 10.1109/ICDCS.Workshops.2008.91
Accès au bibtex
BibTex
auteur
Abdessamad Imine
titre
Decentralized concurrency control for real-time collaborative editors
article
8th international conference on New technologies in distributed systems - NOTERE'2008, Jun 2008, Lyon, France. pp.313--321
Accès au bibtex
BibTex
auteur
Florent Jacquemard, Michael Rusinowitch
titre
Closure of Hedge-Automata Languages by Hedge Rewriting
article
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
DOI
DOI : 10.1007/978-3-540-70590-1_11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00329803/file/rta30.pdf BibTex
auteur
Jean-Pierre Jacquot
titre
Évaluation par les pairs : un travail d'étudiant ?
article
Questions de pédagogie dans l'enseignement supérieur, Jun 2008, Brest, France. pp.301-307
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00292316/file/final-jpj-.pdf BibTex
auteur
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
titre
Realisability Semantics for Intersection Types and Expansion Variables
article
4th Workshop on Intersection Types and Related Systems (ITRS '08), Mar 2008, Turin, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00383826/file/semone.pdf BibTex
auteur
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
titre
A complete realisability semantics for intersection types and arbitrary expansion variables
article
5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008, 1-3 September 2008, Sep 2008, Istanbul, Turkey. pp.171-185
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00382691/file/compsem-big.pdf BibTex
auteur
Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
titre
Anti-Pattern Matching Modulo
article
Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. pp.275-286, ⟨10.1007/978-3-540-88282-4_26⟩
DOI
DOI : 10.1007/978-3-540-88282-4_26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00337722/file/KirchnerKM-LATA2008.pdf BibTex
auteur
Francis Klay, Laurent Vigneron
titre
Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder
article
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⟩
DOI
DOI : 10.1007/978-3-642-01465-9_13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00376450/file/paperKV-LNCS5491.pdf BibTex
auteur
Radu Kopetz, Pierre-Etienne Moreau
titre
Software Quality Improvement via Pattern Matching
article
11th International Conference on Fundamental Approaches to Software Engineering - FASE 2008, Mar 2008, Budapest, Hungary. pp.296-300, ⟨10.1007/978-3-540-78743-3⟩
DOI
DOI : 10.1007/978-3-540-78743-3
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336703/file/tomPlugin.pdf BibTex
auteur
Arnaud Lanoix
titre
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
article
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00260577/file/main.pdf BibTex
auteur
Dominique Larchey-Wendling
titre
Kripke Models of Boolean BI and Invertible Resources
article
Domains IX Workshop 08, Sep 2008, Brighton, United Kingdom. pp.1
Accès au bibtex
BibTex
auteur
Jean-Yves Marion, Romain Péchoux
titre
Analyzing the Implicit Computational Complexity of object-oriented programs
article
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
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332550/file/paper28.pdf BibTex
auteur
Jean-Yves Marion, Romain Péchoux
titre
Characterizations of Polynomial Complexity Classes with a Better Intensionality
article
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⟩
DOI
DOI : 10.1145/1389449.1389460
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332389/file/ppdp09-pechoux.pdf BibTex
auteur
Jean-Yves Marion, Romain Péchoux
titre
A Characterization of NCk by First Order Functional Programs
article
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⟩
DOI
DOI : 10.1007/978-3-540-79228-4
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332390/file/paper69.pdf BibTex
auteur
Dominique Méry
titre
Teaching programming methodology using Event B
article
The B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00287231/file/entcsmery.pdf BibTex
auteur
Eric Monfroy, Olivier Perrin, Christophe Ringeissen
titre
Dynamic Web Services Provisioning with Constraints
article
International Conference on Cooperative Information Systems, OTM Conferences, Nov 2008, Monterrey, Mexico. pp.26-43
Accès au bibtex
BibTex
auteur
Inès Mouakher, Jeanine Souquières, Francis Alexandre
titre
Protocol Verification in a Software Component-Based Approach
article
15th annual IEEE International Conference on the Engineering of Computer Based Systems, Mar 2008, Belfast, Ireland. 10 p
Accès au bibtex
BibTex
auteur
Yann Régis-Gianas, François Pottier
titre
A Hoare Logic for Call-by-Value Functional Programs
article
MPC 08 - Proceedings of the Ninth International Conference on Mathematics of Program Construction, Jul 2008, Marseille, France. pp.305--335, ⟨10.1007/978-3-540-70594-9_17⟩
DOI
DOI : 10.1007/978-3-540-70594-9_17
Accès au bibtex
BibTex
auteur
Joris Rehm
titre
A Duration Pattern for Event-B Method
article
2nd Junior Researcher Workshop on Real-Time Computing - JRWRTC 2008, Oct 2008, Rennes, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00336320/file/article.pdf BibTex
auteur
Daniel Reynaud
titre
GPU Powered Malware
article
Ruxcon, Nov 2008, Sydney, Australia
Accès au bibtex
BibTex
auteur
Daniel Reynaud
titre
A Survey on Virtual Machines for Malware Analysis
article
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
Accès au bibtex
BibTex
auteur
Daniel Reynaud, Jean-Yves Marion
titre
Obfuscation by Interpretation
article
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
Accès au bibtex
BibTex
auteur
Benoît Robillard, Sandrine Blazy, Eric Soutif
titre
Coloration avec préférences : complexité, inégalités valides et vérification formelle
article
ROADEF'08, 9e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF, Feb 2008, Clermont-Ferrand, France. pp.123-138
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00260712/file/ROADEF08.pdf BibTex
auteur
Cody Roux
titre
Types Simples, Logique et Coercions Implicites
article
19e Journées Francophones des Langages Applicatifs - JFLA 2008, INRIA, Jan 2008, Etretat, France. pp.79-90
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00202824/file/roux.pdf BibTex
auteur
Anderson Santana de Oliveira, Claude Kirchner, Hélène Kirchner
titre
Analysis of Rewrite-Based Access Control Policies
article
3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States
Accès au bibtex
BibTex
auteur
David Teller, Arnaud Spiwack, Till Varoquaux
titre
Catch me if you can Looking for type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
article
IFL 2008, Sep 2008, Hertfordshire, United Kingdom. 21 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00432575/file/monad.pdf BibTex
auteur
Jean-Baptiste Tristan, Xavier Leroy
titre
Formal verification of translation validators: A case study on instruction scheduling optimizations
article
35th ACM Symposium on Principles of Programming Languages (POPL 2008), ACM, Jan 2008, San Francisco, United States. pp.17-27, ⟨10.1145/1328438.1328444⟩
DOI
DOI : 10.1145/1328438.1328444
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00289540/file/validation-scheduling.pdf BibTex
auteur
Boris Yakobowski
titre
Le caractère ` à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes
article
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.63-78
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00202817/file/yakobowski.pdf BibTex

Book sections

2008

auteur
Dominique Cansell, Dominique Méry
titre
The Event-B Modelling Method - Concepts and Case Studies
article
Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science
Accès au bibtex
BibTex
auteur
Claude Kirchner, Florent Kirchner, Helene Kirchner
titre
Strategic Computation and Deduction
article
Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00433745/file/strategic-3K.pdf BibTex
auteur
Stephan Merz
titre
The Specification Language TLA+
article
Dines Bjørner and Martin Henson. Logics of specification languages, Springer, pp.401-452, 2008, Monographs in Theoretical Computer Science, 978-3-540-74106-0
Accès au bibtex
BibTex
auteur
Stephan Merz
titre
An introduction to model checking
article
Stephan Merz and Nicolas Navet. Modeling and Verification of Real-Time Systems - Formalisms and Software Tools, ISTE Publishing, pp.81-116, 2008, 9781847040244
Accès au bibtex
BibTex

Directions of work or proceedings

2008

auteur
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
titre
Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems
article
Tobias Nipkow. 41, Springer, pp.209, 2008, Journal of Automated Reasoning
Accès au bibtex
BibTex
auteur
Sandrine Blazy
titre
Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs)
article
INRIA. INRIA, pp.173, 2008, 2-7261-1295-1
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00202715/file/actes_avec_couverture.pdf BibTex
auteur
Stephan Merz, Nicolas Navet
titre
Modeling and Verification of Real-Time Systems - Formalisms and Software Tools
article
Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244
Accès au bibtex
BibTex

Habilitation à diriger des recherches

2008

auteur
Pierre-Etienne Moreau
titre
Programmation et confiance
article
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00337408/file/main.pdf BibTex

Other publications

2008

auteur
Sabina Akhtar
titre
Formal Verification of Distributed Algorithms in +CAL 2.0
article
2008
Accès au bibtex
BibTex
auteur
Samuel Colin, Arnaud Lanoix, Jeanine Souquières
titre
Validation technique des sous-systèmes
article
2008
Accès au bibtex
BibTex
auteur
Samuel Colin, Jean-Pierre Jacquot, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières
titre
Model for the Land Transport Domain
article
2008
Accès au bibtex
BibTex
auteur
Samuel Colin, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières
titre
A synthesis of existing approaches to specify non-functional properties
article
2008
Accès au bibtex
BibTex
auteur
Samuel Colin, Jean-Pierre Jacquot, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières
titre
Requirements for the Description of Component Assembling
article
2008
Accès au bibtex
BibTex
auteur
Tuyen Nguyen
titre
Approche Composant : de la spécification à l'implantation
article
2008
Accès au bibtex
BibTex

Books

2008

auteur
Fred Kröger, Stephan Merz
titre
Temporal Logic and State Systems
article
Springer, pp.436, 2008, Texts in Theoretical Computer Science. An EATCS Series, 978-3-540-67401-6
Accès au bibtex
BibTex

Reports

2008

auteur
Lisa Allali, Paul Brauner
titre
A Semantic Normalization Proof for Inductive Types
article
[Research Report] 2008, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00280410/file/paper.pdf BibTex
auteur
Nazim Benaissa, Dominique Méry
titre
Développement incrémental prouvé de systèmes répartis : le cas Mondex
article
[Rapport de recherche] 2008, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336655/file/benaissamery.pdf BibTex
auteur
Yohan Boichut, Pierre-Cyrille Heam
titre
A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
article
[Research Report] RR-6411, INRIA. 2008, pp.6
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00204579/file/RR-6411.pdf BibTex
auteur
Hanifa Boucheneb, Abdessamad Imine
titre
Experiments in Model-Checking Optimistic Replication Algorithms
article
[Research Report] RR-6510, INRIA. 2008, pp.49
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274423/file/RR-6510.pdf BibTex
auteur
Dominique Cansell, Dominique Méry, Joris Rehm
titre
Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2)
article
[Rapport de recherche] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00593372/file/RIMEL_Livrable_2.pdf BibTex
auteur
Pierre Caserta
titre
Confluence de calcul à motifs
article
[Rapport de recherche] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00337931/file/rapport.pdf BibTex
auteur
Najah Chridi, Mathieu Turuani, Michaël Rusinowitch
titre
Constraints-based Verification of Parameterized Cryptographic Protocols.
article
[Research Report] RR-6712, INRIA. 2008, pp.54
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336539/file/RR-6712.pdf BibTex
auteur
Hubert Comon-Lundh, Véronique Cortier
titre
Computational soundness of observational equivalence
article
[Research Report] RR-6508, INRIA. 2008, pp.36
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274158/file/RR-6508.pdf BibTex
auteur
Jean-François Couchot, Alain Giorgetti, Nicolas Stouls
titre
Graph-based Reduction of Program Verification Conditions
article
[Research Report] RR-6702, INRIA. 2008, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00339847/file/RR-6702.pdf BibTex
auteur
Gilles Dowek, Murdoch Gabbay, Dominic Mulligan
titre
Permissive nominal terms
article
[Research Report] RR-6682, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00335115/file/RR-6682.pdf BibTex
auteur
Isabelle Gnaedig
titre
Termination of Priority Rewriting - Extended version
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00349031/file/version-hal-lata.pdf BibTex
auteur
Isabelle Gnaedig
titre
Termination of Priority Rewriting
article
[Research Report] 2008, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00243131/file/IP-termin-hal.pdf BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières
titre
Domain Modeling with Event-B: An Experience with Transportation Domain
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00326253/file/mashkoor.pdf BibTex
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
titre
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
article
[Research Report] RR-6697, INRIA. 2008, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00331735/file/RR-6697.pdf BibTex
auteur
Denis Roegel
titre
An Extension of Al-Khalīlī's Qibla Table to the Entire World
article
[Research Report] 2008, pp.781
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336090/file/khalili-ext.pdf BibTex
auteur
Dirk Seifert
titre
An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data
article
[Research Report] 2008, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274391/file/seifert-inria-03.pdf BibTex
auteur
Dirk Seifert
titre
Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274399/file/seifert-inria-04.pdf BibTex
auteur
Dirk Seifert, Jeanine Souquières
titre
Using UML Protocol State Machines in Conformance Testing of Components
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274383/file/seifert-inria-02.pdf BibTex
auteur
Dirk Seifert
titre
Test Case Generation from UML State Machines
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00268864/file/seifert-inria-01.pdf BibTex
auteur
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
titre
Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
article
[Research Report] RR-6688, INRIA. 2008, pp.34
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00331479/file/RR-6688.pdf BibTex

Theses

2008

auteur
Oana Andrei
titre
A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
article
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00337558/file/thesis-OanaAndrei.pdf BibTex
auteur
Walid Belkhir
titre
Algebra and Combinatorics of Parity Games
article
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01277878/file/these.pdf BibTex
auteur
Loïc Fejoz
titre
Développement prouvé de structures de données sans verrou
article
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2008. Français. ⟨NNT : 2009NAN10022⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00594978/file/SCD_T_2009_0022_FEJOZ.pdf BibTex
auteur
Radu Kopetz
titre
Contraintes d'anti-filtrage et programmation par réécriture
article
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL045N⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01748690/file/manuscritRaduKopetz.pdf BibTex
auteur
Anderson Santana de Oliveira
titre
Réécriture et Modularité pour les Politiques de Sécurité
article
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00335079/file/thesis.pdf BibTex
auteur
Pierre-Yves Strub
titre
Type Theory and Decision Procedures
article
Formal Languages and Automata Theory [cs.FL]. Ecole Polytechnique X, 2008. English. ⟨NNT : 2008EPXX0054⟩
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/tel-00351837/file/manuscrit.pdf BibTex
auteur
Boris Yakobowski
titre
Graphical types and constraints - second-order polymorphism and inference
article
Software Engineering [cs.SE]. Université Paris-Diderot - Paris VII, 2008. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00357708/file/these-finale-english.pdf https://tel.archives-ouvertes.fr/tel-00357708/file/these-finale-francais.pdf BibTex
auteur
Daniele Zucchelli
titre
Combination Methods for Verification Problems
article
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00329849/file/Zuc-PhD-07.pdf BibTex

Preprints, Working Papers, ...

2008

auteur
Lisa Allali, Paul Brauner
titre
A semantic normalization proof for a system with recursors
article
2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00211877/file/paper.pdf BibTex
auteur
Julien Brunel, Damien Doligez, René Hansen, Julia Lawall, Gilles Muller
titre
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00297708/file/EMN_INFO_02_8.pdf BibTex
auteur
Guillaume Burel
titre
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
article
2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00278186/file/speedup_HAL.pdf BibTex
auteur
Yannick Chevalier, Mounira Kourjieh
titre
On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)
article
2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00392226/file/tech-repp.pdf BibTex
auteur
Samuel Colin, Arnaud Lanoix
titre
An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00260568/file/main.pdf BibTex
auteur
Joris Rehm
titre
From Absolute-Timer to Relative-Countdown: Patterns for Model-Checking
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00319104/file/Rehm_-_From_Absolute-Timer_to_Relative-Countdown_Patterns_for_Model-Checking.pdf BibTex