Journal articles

2011

auteur
Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier
titre
Deciding knowledge in security protocols under some e-voting theories
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2011, 45 (3), pp.269-299. ⟨10.1051/ita/2011119⟩
DOI
DOI : 10.1051/ita/2011119
Accès au bibtex
BibTex
auteur
Yves Bertot, Frédérique Guilhot, Assia Mahboubi
titre
A formal study of Bernstein coefficients and polynomials
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, 21 (04), pp.731-761. ⟨10.1017/S0960129511000090⟩
DOI
DOI : 10.1017/S0960129511000090
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00503017/file/check_version_Jan_2011.pdf BibTex
auteur
Laurent Bienvenu, Peter Gacs, Mathieu Hoyrup, Cristobal Rojas, Alexander Shen
titre
Algorithmic tests and randomness with respect to a class of measures
article
Proceedings of the Steklov Institute of Mathematics, MAIK Nauka/Interperiodica, 2011, 274 (1), pp.34-89. ⟨10.1134/S0081543811060058⟩
DOI
DOI : 10.1134/S0081543811060058
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00644785/file/classes.pdf BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
titre
Quasi-interpretations a way to control resources
article
Theoretical Computer Science, Elsevier, 2011, 412 (25), pp.2776-2796. ⟨10.1016/j.tcs.2011.02.007⟩
DOI
DOI : 10.1016/j.tcs.2011.02.007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00591862/file/tcs.pdf BibTex
auteur
Tony Bourdier
titre
Specification, analysis and transformation of security policies via rewriting techniques
article
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2011, 6 (5), pp.357-368. ⟨http://www.mirlabs.org/jias/secured/Volume6-Issue5/vol6-issue5.html⟩
Accès au bibtex
BibTex
auteur
Olivier Bournez, Walid Gomaa, Emmanuel Hainry
titre
Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
article
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (5), pp.331-351
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00644361/file/ijuc_h.pdf BibTex
auteur
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
titre
Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2011, VSTTE 2009, 13 (5), pp.431-448. ⟨10.1007/s10009-011-0189-7⟩
DOI
DOI : 10.1007/s10009-011-0189-7
Accès au bibtex
BibTex
auteur
Véronique Cortier, Steve Kremer, Bogdan Warinschi
titre
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.
article
Journal of Automated Reasoning, Springer Verlag, 2011, 46 (3-4), pp.225-259. ⟨10.1007/s10817-010-9187-9⟩
DOI
DOI : 10.1007/s10817-010-9187-9
Accès au bibtex
BibTex
auteur
Germain Faure, Chantal Keller, Thery Laurent, Gregoire Benjamin, Werner Benjamin, Armand Mickael
titre
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
article
CERTIFIED PROGRAMS AND PROOFS, Springer, 2011
Accès au bibtex
BibTex
auteur
Peter Gacs, Mathieu Hoyrup, Cristobal Rojas
titre
Randomness on Computable Probability Spaces—A Dynamical Point of View
article
Theory of Computing Systems, Springer Verlag, 2011, 48 (3), pp.465--485. ⟨10.1007/s00224-010-9263-x⟩
DOI
DOI : 10.1007/s00224-010-9263-x
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00531640/file/TOCScorrected.pdf BibTex
auteur
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
titre
Dynamics and abstract computability: computing invariant measures
article
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2011, 29 (1), pp.193-212. ⟨10.3934/dcds.2011.29.193⟩
DOI
DOI : 10.3934/dcds.2011.29.193
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00517367/file/galat_1876_10.pdf BibTex
auteur
Didier Galmiche, Yakoub Salhi
titre
Sequent Calculi and Decidability for Intuitionistic Hybrid Logic
article
Information and Computation, Elsevier, 2011, 209 (12), pp.1447-1463. ⟨10.1016/j.ic.2011.10.002⟩
DOI
DOI : 10.1016/j.ic.2011.10.002
Accès au bibtex
BibTex
auteur
Isabelle Gnaedig, Hélène Kirchner
titre
Proving Weak Properties of Rewriting
article
Theoretical Computer Science, Elsevier, 2011, 412, pp.4405-4438. ⟨10.1016/j.tcs.2011.04.028⟩
DOI
DOI : 10.1016/j.tcs.2011.04.028
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00592271/file/weak-tcs-revision2.pdf BibTex
auteur
Pierre-Cyrille Heam
titre
On the Complexity of Computing the Profinite Closure of a Rational Language
article
Theoretical Computer Science, Elsevier, 2011, 412 (41), pp.5808-5813. ⟨10.1016/j.tcs.2011.06.022⟩
DOI
DOI : 10.1016/j.tcs.2011.06.022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641554/file/PROBINFheam.pdf BibTex
auteur
Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux
titre
SysML to UML model transformation for test generation purpose
article
Software Engineering Notes, Association for Computing Machinery, 2011, 36 (1), pp.1-8. ⟨10.1145/1921532.1921560⟩
DOI
DOI : 10.1145/1921532.1921560
Accès au bibtex
BibTex
auteur
Xavier Leroy
titre
Safety First! (technical perspective)
article
Communications of the ACM, ACM, 2011, 54 (12), pp.122. ⟨10.1145/2043174.2043196⟩
DOI
DOI : 10.1145/2043174.2043196
Accès au bibtex
BibTex
auteur
Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
titre
Automatic Decidability and Combinability
article
Information and Computation, Elsevier, 2011, 209 (7), pp.1026-1047. ⟨10.1016/j.ic.2011.03.005⟩
DOI
DOI : 10.1016/j.ic.2011.03.005
Accès au bibtex
BibTex
auteur
Jean-Yves Marion
titre
Informatique et société : Un laboratoire de haute sécurité en informatique : entretien avec Jean-Yves Marion
article
Les Cahiers de l'INRIA - La Recherche, INRIA, 2011, Les 10 découvertes de l'année
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00591075/file/Un_laboratoire_de_haute_sA_curite_en_informatique.pdf BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot
titre
Utilizing Event-B for Domain Engineering: A Critical Analysis
article
Requirements Engineering, Springer Verlag, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00590700/file/main.pdf BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
A generic framework: from modeling to code
article
Innovations in Systems and Software Engineering (ISSE), Springer London, 2011, pp.1-9. ⟨http://dx.doi.org/10.1007/s11334-011-0165-0⟩
Accès au bibtex
BibTex
auteur
Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
titre
A core language for executable models of cyber physical systems: work in progress report
article
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, 8 (2), pp.39-43. ⟨10.1145/2000367.2000376⟩
DOI
DOI : 10.1145/2000367.2000376
Accès au bibtex
BibTex
auteur
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
titre
Proving Distributed Algorithms by Combining Refinement and Local Computations
article
Electronic Communications of the EASST, 2011, 35, pp.ISSN 1863-2122
Accès au bibtex
BibTex

Conference papers

2011

auteur
Carlos Areces, Pascal Fontaine
titre
Combining theories: the Ackerman and Guarded Fragments
article
8th International Symposium Frontiers of Combining Systems - FroCoS 2011, Viorica Sofronie-Stokkermans, Oct 2011, Saarbrücken, Germany. pp.40--54, ⟨10.1007/978-3-642-24364-6_4⟩
DOI
DOI : 10.1007/978-3-642-24364-6_4
Accès au bibtex
BibTex
auteur
Mickaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Wener
titre
Verifying SAT and SMT in Coq for a fully automated decision procedure
article
PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Germain Faure, Stéphane Lengrand, Assia Mahboubi, Aug 2011, Wroclaw, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00614041/file/ArmandAl.pdf BibTex
auteur
Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Thery, Benjamin Werner
titre
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
article
CPP - Certified Programs and Proofs - First International Conference - 2011, Dec 2011, Kenting, Taiwan. pp.135-150, ⟨10.1007/978-3-642-25379-9_12⟩
DOI
DOI : 10.1007/978-3-642-25379-9_12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00639130/file/cpp11.pdf BibTex
auteur
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
titre
Deciding security for protocols with recursive tests
article
23rd International Conference on Automated Deduction (CADE'11), Aug 2011, Wroclaw, Poland. pp.49-63, ⟨10.1007/978-3-642-22438-6_6⟩
DOI
DOI : 10.1007/978-3-642-22438-6_6
Accès au bibtex
BibTex
auteur
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch
titre
Web Services Verification and Prudent Implementation
article
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641326/file/setop2011_submission_22.pdf BibTex
auteur
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch, Mathieu Turuani
titre
Distributed Orchestration of Web Services under Security Constraints
article
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641321/file/setop2011_submission_20.pdf BibTex
auteur
Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang
titre
CoqMTU: a higher-order type theory with a predicative hierarchy of universes parametrized by a decidable first-order theory
article
Twenty-Sixth Annual IEEE Symposium on "Logic in Computer Science" - LICS 2011, Jun 2011, Toronto, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00583136/file/coq-mtu-lics-2011.pdf BibTex
auteur
Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris
titre
Towards Formally Verified Optimizing Compilation in Flight Control Software
article
PPES 2011: Predictability and Performance in Embedded Systems, Mar 2011, Grenoble, France. pp.59-68, ⟨10.4230/OASIcs.PPES.2011.59⟩
DOI
DOI : 10.4230/OASIcs.PPES.2011.59
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00551370/file/pppes2011_2112.pdf BibTex
auteur
Walid Belkhir, Alain Giorgetti
titre
Lazy AC-Pattern Matching for Rewriting
article
10th International Workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.37-51, ⟨10.4204/EPTCS.82.3⟩
DOI
DOI : 10.4204/EPTCS.82.3
Accès au bibtex
BibTex
auteur
Walid Belkhir, Alain Giorgetti
titre
Lazy Rewriting Modulo Associativity and Commutativity
article
WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.17--21
Accès au bibtex
BibTex
auteur
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
titre
Adapting Helios for provable ballot secrecy
article
16th European Symposium on Research in Computer Security (ESORICS'11), Sep 2011, Louvain, Belgium. pp.335-354, ⟨10.1007/978-3-642-23822-2_19⟩
DOI
DOI : 10.1007/978-3-642-23822-2_19
Accès au bibtex
BibTex
auteur
Frédéric Besson, Pascal Fontaine, Laurent Théry
titre
A Flexible Proof Format for SMT: a Proposal
article
First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642544/file/paper3.pdf BibTex
auteur
Guillaume Bonfante
titre
Course of value distinguishes the intentionality of programming languages
article
2nd International Symposium on Information and Communication Technology - SoICT 2011, Oct 2011, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642731/file/89bonfante.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
titre
Enrichissement de structures en dépendances par réécriture de graphes
article
Traitement Automatique des Langues Naturelles (TALN), Jun 2011, Montpellier, France
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
titre
Modular Graph Rewriting to Compute Semantics
article
9th International Conference on Computational Semantics - IWCS 2011, Jan 2011, Oxford, United Kingdom. pp.65--74
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579244/file/iwcs.pdf BibTex
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
titre
Formal Specification and Validation of Security Policies
article
FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, May 2011, Paris, France. pp.148-163, ⟨10.1007/978-3-642-27901-0_12⟩
DOI
DOI : 10.1007/978-3-642-27901-0_12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00507300/file/FormalSpecificationandValidationofSecurityPolicies.pdf BibTex
auteur
Tony Bourdier, Horatiu Cirstea
titre
Symbolic analysis of network security policies using rewrite systems
article
Symposium on Principles and Practices of Declarative Programming, Jul 2011, Odense, Denmark. pp.77-88, ⟨10.1145/2003476.2003489⟩
DOI
DOI : 10.1145/2003476.2003489
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00567858/file/ppdp11.pdf BibTex
auteur
Tony Bourdier
titre
Tree automata based semantics of firewalls
article
6th International Conference on Network Architectures and Information Systems Security, 2011, La Rochelle, France. pp.171--178, ⟨10.1109/SAR-SSI.2011.5931363⟩
DOI
DOI : 10.1109/SAR-SSI.2011.5931363
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00460462/file/hal.pdf BibTex
auteur
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
titre
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests
article
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
DOI
DOI : 10.1007/978-3-642-24580-0_4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00640312/file/978-3-642-24580-0_4_Chapter.pdf BibTex
auteur
Kalou Cabrera Castillos, Julien Botella
titre
Scenario Based Test Generation Using Test Designer
article
1st International Workshop on Scenario-Based Testing (SCENARIOS'2011), Mar 2011, Berlin, Germany. pp.79-88, ⟨10.1109/ICSTW.2011.93⟩
DOI
DOI : 10.1109/ICSTW.2011.93
Accès au bibtex
BibTex
auteur
Gérard Cécé, Alain Giorgetti
titre
Simulations over Two-Dimensional On-Line Tessellation Automata
article
15th International Conference on Developments in Language Theory - DLT 2011, Jul 2011, Milan, Italy. pp.141--152, ⟨10.1007/978-3-642-22321-1_13⟩
DOI
DOI : 10.1007/978-3-642-22321-1_13
Accès au bibtex
BibTex
auteur
Bernadette Charron-Bost, Henri Debrat, Stephan Merz
titre
Formal Verification of Consensus Algorithms Tolerating Malicious Faults
article
13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.120-134, ⟨10.1007/978-3-642-24550-3_11⟩
DOI
DOI : 10.1007/978-3-642-24550-3_11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00639048/file/main.pdf BibTex
auteur
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
titre
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
article
5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. pp.78-83, ⟨10.1007/978-3-642-21768-5⟩
DOI
DOI : 10.1007/978-3-642-21768-5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00622904/file/CKGJ11.pdf BibTex
auteur
Asma Cherif, Abdessamad Imine, Michaël Rusinowitch
titre
Optimistic access control for distributed collaborative editors
article
2011 ACM Symposium on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. pp.861-868, ⟨10.1145/1982185.1982374⟩
DOI
DOI : 10.1145/1982185.1982374
Accès au bibtex
BibTex
auteur
Céline Chevalier, Stéphanie Delaune, Steve Kremer
titre
Transforming Password Protocols to Compose
article
31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), Dec 2011, Mumbai, India
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00636753/file/main.pdf BibTex
auteur
Hubert Comon-Lundh, Véronique Cortier
titre
How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.
article
Symposium on Theoretical Aspects of Computer Science - STACS2011, Mar 2011, Dortmund, Germany. pp.29-44
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00573590/file/7.pdf BibTex
auteur
Véronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann
titre
Ballot stuffing in a postal voting system
article
Revote 2011 - International Workshop on Requirements Engineering for Electronic Voting Systems, 2011, Trento, Italy. pp.27 - 36, ⟨10.1109/REVOTE.2011.6045913⟩
DOI
DOI : 10.1109/REVOTE.2011.6045913
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00612418/file/stuffing.pdf BibTex
auteur
Véronique Cortier, Ben Smyth
titre
Attacking and fixing Helios: An analysis of ballot secrecy
article
24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. pp.297 - 311, ⟨10.1109/CSF.2011.27⟩
DOI
DOI : 10.1109/CSF.2011.27
Accès au bibtex
BibTex
auteur
Véronique Cortier, Bogdan Warinschi
titre
A Composable Computational Soundness Notion
article
18th ACM Conference on Computer and Communications Security - CSS 2011, Oct 2011, Chicago, United States. pp.63-74, ⟨10.1145/2046707.2046717⟩
DOI
DOI : 10.1145/2046707.2046717
Accès au bibtex
BibTex
auteur
Véronique Cortier, Bogdan Warinschi
titre
A composable computational soundness notion (Abstract)
article
7th Workshop on Formal and Computational Cryptography (FCC 2011), Jun 2011, Paris, France
Accès au bibtex
BibTex
auteur
Pascal Cuoq, Julien Signoles, Damien Doligez
titre
Lightweight Typed Customizable Unmarshaling
article
ACM SIGPLAN Workshop on ML, Sep 2011, Tokyo, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091947/file/unmarshal-final.pdf BibTex
auteur
Frédéric Dadeau, Fabien Peureux
titre
Grey-Box Testing and Verification of Java/JML
article
3rd International Workshop on Constraints in Software Testing Verification and Analysis, Mar 2011, Berlin, Germany. pp.298-303, ⟨10.1109/ICSTW.2011.30⟩
DOI
DOI : 10.1109/ICSTW.2011.30
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam
titre
Mutation-Based Test Generation from Security Protocols in HLPSL
article
4th International Conference on Software Testing Verification and Validation (ICST'2011), Mar 2011, Berlin, Germany. ⟨10.1109/ICST.2011.42⟩
DOI
DOI : 10.1109/ICST.2011.42
Accès au bibtex
BibTex
auteur
David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
titre
Exploiting Symmetry in SMT Problems
article
International Conference on Automated Deduction (CADE), Jul 2011, Wroclaw, Poland. pp.222-236, ⟨10.1007/978-3-642-22438-6_18⟩
DOI
DOI : 10.1007/978-3-642-22438-6_18
Accès au bibtex
BibTex
auteur
David Déharbe, Pascal Fontaine, Bruno Woltzenlogel Paleo
titre
Quantifier Inference Rules for SMT proofs
article
First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642535/file/paper2.pdf BibTex
auteur
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
titre
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
article
8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642345/file/facs2011_preproceedings_9.pdf BibTex
auteur
Gilles Dowek
titre
Les quatre concepts de l'informatique
article
Sciences et technologies de l'information et de la communication en milieu éducatif : Analyse de pratiques et enjeux didactiques., Oct 2011, Patras, Grèce. pp.21-29
Accès au texte intégral et bibtex
https://edutice.archives-ouvertes.fr/edutice-00676169/file/DowekDidapro2011.pdf BibTex
auteur
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
titre
Vote-Independence: A Powerful Privacy Notion for Voting Protocols
article
4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩
DOI
DOI : 10.1007/978-3-642-27901-0_13
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338070/file/fps2011.pdf BibTex
auteur
Jannik Dreier, Florian Kerschbaum
titre
Practical Privacy-Preserving Multiparty Linear Programming Based on Problem Transformation
article
Third IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT'11), IEEE, Oct 2011, Boston, United States. ⟨10.1109/PASSAT/SocialCom.2011.19⟩
DOI
DOI : 10.1109/PASSAT/SocialCom.2011.19
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338043/file/passat2011.pdf BibTex
auteur
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman
titre
Praspel: A Specification Language for Contract-Based Testing in PHP
article
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
DOI
DOI : 10.1007/978-3-642-24580-0_6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00640279/file/978-3-642-24580-0_6_Chapter.pdf BibTex
auteur
Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
titre
Compression of Propositional Resolution Proofs via Partial Regularization
article
23rd International Conference on Automated Deduction - CADE-23, Jul 2011, Wroclaw, Poland. pp.237-251, ⟨10.1007/978-3-642-22438-6_19⟩
DOI
DOI : 10.1007/978-3-642-22438-6_19
Accès au bibtex
BibTex
auteur
Elizabeta Fourneret, Martin Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi
titre
Model-Based Security Verification and Testing for Smart-cards
article
6th International Conference on Availability, Reliability and Security - ARES 2011, Aug 2011, Vienna, Austria. pp.272 - 279, ⟨10.1109/ARES.2011.46⟩
DOI
DOI : 10.1109/ARES.2011.46
Accès au bibtex
BibTex
auteur
Elizabeta Fourneret, Fabrice Bouquet
titre
UML/OCL based impact analysis to test evolving critical software
article
10th International Conference Society for Electronics, Telecommunications, Automatics and Informatics - ETAI'11, Sep 2011, Ohrid, Macedonia
Accès au bibtex
BibTex
auteur
Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stéphane Debricon
titre
Selective Test Generation Method for Evolving Critical Systems
article
1st International Workshop on Regression Testing, Mar 2011, Berlin, Germany. pp.125 - 134, ⟨10.1109/ICSTW.2011.95⟩
DOI
DOI : 10.1109/ICSTW.2011.95
Accès au bibtex
BibTex
auteur
Didier Galmiche, Daniel Mery
titre
Characterization of bi-intuitionistic validity through resource games
article
International Workshop on Games for Logic and Programming Languages VI, GaLoP VI, Mar 2011, Saarbrucken, Germany. pp.10
Accès au bibtex
BibTex
auteur
Didier Galmiche, Daniel Mery
titre
A Connection-based Characterization of Bi-intuitionistic Validity
article
23rd International Conference on Automated Deduction, CADE-23, Jul 2011, Wroclaw, Poland. pp.253-267
Accès au bibtex
BibTex
auteur
Jianhua Gao
titre
Clausal Presentation of Theories in Deduction Modulo
article
PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Germain Faure, Stéphane Lengrand, Assia Mahboubi, Aug 2011, Wroclaw, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00614251/file/Gao.pdf BibTex
auteur
Pierre-Cyrille Heam, Vincent Hugot, Olga Kouchnarenko
titre
Loops and Overloops for Tree Walking Automata
article
16th International Conference on Implementation and Application of Automata - CIAA 2011, Jul 2011, Blois, France. pp.166-177, ⟨10.1007/978-3-642-22256-6_16⟩
DOI
DOI : 10.1007/978-3-642-22256-6_16
Accès au bibtex
BibTex
auteur
Pierre-Cyrille Heam, Catherine Masson
titre
A Random Testing Approach Using Pushdown Automata
article
5th International Conference on Tests and Proofs - TAP 2011, Jun 2011, Zurich, Switzerland. pp.119-133, ⟨10.1007/978-3-642-21768-5_10⟩
DOI
DOI : 10.1007/978-3-642-21768-5_10
Accès au bibtex
BibTex
auteur
Pierre-Cyrille Héam, Cyril Nicaud
titre
Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing
article
4th IEEE International Conference on Software Testing, Verification and Validation (ICST'11), Mar 2011, Berlin, Germany. pp.60 - 69, ⟨10.1109/ICST.2011.31⟩
DOI
DOI : 10.1109/ICST.2011.31
Accès au bibtex
BibTex
auteur
Mathieu Hoyrup
titre
Randomness and the ergodic decomposition
article
Computability in Europe, Jun 2011, Sofia, Bulgaria. pp.122-131
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00586736/file/paper.pdf BibTex
auteur
Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch
titre
Computability of the Radon-Nikodym derivative
article
Computability in Europe, Jun 2011, Sofia, Bulgaria. pp.132-141
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00586740/file/RNderivative.pdf BibTex
auteur
Jean-Charles Lamirel, Raghvendra Mall, M. Ahmad
titre
Comportement comparatif des méthodes de clustering incrémentales et non incrémentales sur les données textuelles hétérogènes
article
11th International Francophone Conference on Knowledge Extraction and Management (EGC 2011), Jan 2011, Brest, France
Accès au bibtex
BibTex
auteur
Jean-Charles Lamirel, Raghvendra Mall, M. Ahmad
titre
Comparative behaviour of recent incremental and non-incremental clustering methods on text: an extended study
article
The Twenty-fourth International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2011), Jun 2011, Syracuse, United States
Accès au bibtex
BibTex
auteur
Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko
titre
Combining Proof and Model-checking to Validate Reconfigurable Architectures
article
8th International Workshop on Formal Engineering approaches to Software Components and Architectures - FESCA 2011, joint to ETAPS 2011, Apr 2011, Saarbrucken, Germany. pp.43-57, ⟨10.1016/j.entcs.2011.11.011⟩
DOI
DOI : 10.1016/j.entcs.2011.11.011
Accès au bibtex
BibTex
auteur
Dominique Larchey-Wendling
titre
Phase Semantics and the Undecidability of Boolean BI
article
GEOCAL-LAC, May 2011, Vandoeuvre-lès-Nancy, France
Accès au bibtex
BibTex
auteur
Jonathan Lasalle, Fabien Peureux, Jérôme Guillet
titre
Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems
article
1st International Workshop on End-to-End Test Script Engineering - ETSE 2011, Jul 2011, Toronto, Canada, Canada. pp.16--23, ⟨10.1145/2002931.2002934⟩
DOI
DOI : 10.1145/2002931.2002934
Accès au bibtex
BibTex
auteur
Jonathan Lasalle, Fabien Peureux, Frédéric Fondement
titre
Development of an automated MBT toolchain from UML/SysML models
article
4th IEEE Int. Workshop on UML and Formal Methods - UML&FM'2011, Jun 2011, Limerick, Ireland, Ireland. pp.247--256, ⟨10.1007/s11334-011-0164-1⟩
DOI
DOI : 10.1007/s11334-011-0164-1
Accès au bibtex
BibTex
auteur
Xavier Leroy
titre
Formally verifying a compiler: Why? How? How far?
article
CGO 2011 - 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Apr 2011, Chamonix, France. ⟨10.1109/CGO.2011.5764668⟩
DOI
DOI : 10.1109/CGO.2011.5764668
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091800/file/abstract.pdf BibTex
auteur
Xavier Leroy
titre
Verified squared: does critical software deserve verified tools?
article
POPL 2011 - 38th symposium Principles of Programming Languages, Jan 2011, Austin, United States. pp.1-2, ⟨10.1145/1926385.1926387⟩
DOI
DOI : 10.1145/1926385.1926387
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01076682/file/popl11-invited-talk.pdf BibTex
auteur
Romain Lieber, Didier Fass
titre
Human systems integration design: which generalized rationale?
article
14th International Conference on Human-Computer Interaction, HCI International 2011, Jul 2011, Orlando, Florida, United States. pp.101-109, ⟨10.1007/978-3-642-21753-1_12⟩
DOI
DOI : 10.1007/978-3-642-21753-1_12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609649/file/HCII2011LIEBER_and_Fass.pdf BibTex
auteur
Tianxiang Lu, Stephan Merz, Christoph Weidenbach
titre
Towards Verification of the Pastry Protocol Using TLA +
article
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.244-258, ⟨10.1007/978-3-642-21461-5_16⟩
DOI
DOI : 10.1007/978-3-642-21461-5_16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01583322/file/978-3-642-21461-5_16_Chapter.pdf BibTex
auteur
Jean-Yves Marion
titre
A type system for complexity flow analysis
article
Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science - LICS 2011, Jun 2011, Toronto, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00591853/file/effraie.pdf BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot
titre
Stepwise Validation of Formal Specifications
article
The eighteenth Asia-Pacific Software Engineering Conference (APSEC 2011), Dec 2011, Ho Chi Minh City, Vietnam
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00392939/file/main.pdf BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot
titre
Guidelines for Formal Domain Modeling in Event-B
article
The 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011), Nov 2011, Boca Raton, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00640203/file/main.pdf BibTex
auteur
Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot
titre
Validation of Formal Specification: the Case for Animation
article
3rd workshop on Security and Reliability (SecDay'11), Mar 2011, Trier, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00575644/file/main.pdf BibTex
auteur
Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jurjens, Mass Lund, Sébastien Madelénat, Jantobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjornar Solhaug, Sven Wenzel
titre
Orchestrating Security and System Engineering for Evolving Systems
article
4th European Conference, Towards a Service-Based Internet - ServiceWave 2011, Oct 2011, Poznan, Poland. pp.134--143, ⟨10.1007/978-3-642-24755-2_12⟩
DOI
DOI : 10.1007/978-3-642-24755-2_12
Accès au bibtex
BibTex
auteur
Dominique Méry, Mohamed Mosbah, Mohamed Tounsi
titre
Refinement-based Verification of Local Synchronization Algorithms
article
17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Analysis of DSR Protocol in Event-B
article
13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
EB2J : Code Generation from Event-B to Java
article
SBMF - Brazilian Symposium on Formal Methods, CBSoft - Brazilian Conference on Software: Theory and Practice, Sep 2011, São Paulo, Brazil
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata
article
International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Formal Development and Automatic Code Generation : Cardiac Pacemaker
article
International Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Medical Protocol Diagnosis using Formal Methods
article
International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Automatic Code Generation from Event-B Models
article
SoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam
Accès au bibtex
BibTex
auteur
Stephan Merz, Martin Quinson, Cristian Rosa
titre
SimGrid MC: Verification Support for a Multi-API Simulation Platform
article
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
DOI
DOI : 10.1007/978-3-642-21461-5_18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00593505/file/978-3-642-21461-5_18_Chapter.pdf BibTex
auteur
Stephan Merz, Tianxiang Lu, Christoph Weidenbach
titre
Towards Verification of the Pastry Protocol using TLA+
article
31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Jun 2011, Reykjavik, Iceland
Accès au bibtex
BibTex
auteur
Stephan Merz, Hernán Vanzetto
titre
Towards certification of TLA+ proof obligations with SMT solvers
article
First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wroclaw, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00645458/file/tla2smt.pdf BibTex
auteur
Alexandre Pilkiewicz, François Pottier
titre
The essence of monotonic state
article
TLDI 2011: The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation, Jan 2011, Austin, United States. ⟨10.1145/1929553.1929565⟩
DOI
DOI : 10.1145/1929553.1929565
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01081193/file/pilkiewicz-pottier-monotonicity.pdf BibTex
auteur
François Pottier
titre
A typed store-passing translation for general references
article
POPL 2011: 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Jan 2011, Austin, United States. ⟨10.1145/1925844.1926403⟩
DOI
DOI : 10.1145/1925844.1926403
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01081187/file/fpottier-fork.pdf BibTex
auteur
Nicolas Pouillard
titre
Nameless, Painless
article
ICFP 2011: 16th International Conference on Functional Programming, Sep 2011, Tokyo, Japan. pp.320-332, ⟨10.1145/2034773.2034817⟩
DOI
DOI : 10.1145/2034773.2034817
Accès au bibtex
BibTex
auteur
Jagdish Prasad Achara, Abdessamad Imine, Michaël Rusinowitch
titre
DeSCal --- Decentralized Shared Calendar for P2P and Ad-Hoc Networks
article
The 10th International Symposium on Parallel and Distributed Computing - ISPDC 2011, Jul 2011, Cluj-Napoca, Romania. pp.223 - 231, ⟨10.1109/ISPDC.2011.40⟩
DOI
DOI : 10.1109/ISPDC.2011.40
Accès au bibtex
BibTex
auteur
Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy
titre
Formal verification of object layout for C++ multiple inheritance
article
POPL'11 - 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2011, Austin, TX, United States. ACM Press, pp.67-79, 2011, 〈10.1145/1926385.1926395〉
DOI
DOI : 10.1145/1926385.1926395
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00674174/file/cpp-object-layout.pdf BibTex
auteur
Christophe Ringeissen, Valerio Senni
titre
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
article
Frontiers of Combining Systems, 8th International Symposium, FroCoS'2011, Oct 2011, Saarbruecken, Germany. pp.211-226, ⟨10.1007/978-3-642-24364-6_15⟩
DOI
DOI : 10.1007/978-3-642-24364-6_15
Accès au bibtex
BibTex
auteur
Cody Roux
titre
Refinement types as higher order dependency pairs
article
222nd International Conference on Rewriting Techniques and Applications : RTA'11, May 2011, Novi Sad, Serbia. pp.299-312
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00598567/file/roux_ref_dp.pdf BibTex
auteur
Paul Spirakis, Georges-Louis Baron, Gilles Dowek, Eric Bruillard, Maurice Nivat
titre
Communications Invitées - Colloque DIDAPRO 4 - Dida&STIC
article
Sciences et technologies de l'information et de la communication en milieu éducatif : Analyse de pratiques et enjeux didactiques., Oct 2011, Patras, Grèce. pp.15-47
Accès au texte intégral et bibtex
https://edutice.archives-ouvertes.fr/edutice-00676274/file/Communications-invitees.pdf BibTex
auteur
Sorin Stratulat, Vincent Demange
titre
Automated Certification of Implicit Induction Proofs
article
Certified Programs and Proofs, Dec 2011, Kenting, Taiwan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00644876/file/document.pdf BibTex
auteur
Faqing Yang, Jean-Pierre Jacquot
titre
Scaling Up with Event-B: A Case Study
article
Third NASA Formal Methods Symposium, Apr 2011, Pasadena, United States. ⟨10.1007/978-3-642-20398-5_31⟩
DOI
DOI : 10.1007/978-3-642-20398-5_31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00604687/file/main.pdf BibTex
auteur
Faqing Yang, Jean-Pierre Jacquot
titre
An Event-B Plug-in for Creating Deadlock-Freeness Theorems
article
14th Brazilian Symposium on Formal Methods, Brazilian Computer Society, Sep 2011, São Paulo, Brazil
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00623825/file/sbmf2011shortpapers_submission_7-camera-ready.pdf BibTex

Book sections

2011

auteur
Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet
titre
Test Generation using Symbolic Animation of Models
article
Zander, Justyna and Schieferdecker, Ina and Mosterman, Pieter J. Model-Based Testing for Embedded Systems, CRC Press, 2011, Series on Computational Analysis, Synthesis, Design of Dynamic Systems, 978-1-4398184-5-9
Accès au bibtex
BibTex
auteur
Dominique Méry, Didier Fass
titre
Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation
article
Francis JANOT. La Dame d'Antinoé : une "momie" au Château de Lunéville, Presse universitaire de Nancy, pp.132, 2011, Archéologie, Espaces, Patrimoines, 978-2-8143-0088-0
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00744242/file/papier-fassmery.pdf BibTex

Directions of work or proceedings

2011

auteur
Konstantinos Chatzikokolakis, Véronique Cortier
titre
Proceedings of the 8th International Workshop on Security Issues in Concurrency
article
Konstantinos Chatzikokolakis and Véronique Cortier. 51, Electronic Proceedings in Theoretical Computer Science, pp.51, 2011, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.51⟩
DOI
DOI : 10.4204/EPTCS.51
Accès au bibtex
BibTex

Habilitation à diriger des recherches

2011

auteur
Guillaume Bonfante
titre
Complexité implicite des calculs : interprétation de programmes
article
Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00656766/file/hdr.pdf BibTex
auteur
Laurent Vigneron
titre
Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis
article
Cryptographie et sécurité [cs.CR]. Université Nancy II, 2011
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00642467/file/HDR-LjV.pdf BibTex

Master thesis

2011

auteur
Jagdish Prasad Achara
titre
Security Framework for Decentralized Shared Calendars
article
Distributed, Parallel, and Cluster Computing [cs.DC]. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00917435/file/Master_Thesis.pdf BibTex

Other publications

2011

auteur
Pierre-Cyrille Heam, Vincent Hugot, Olga Kouchnarenko
titre
From Linear Temporal Logic Properties to Rewrite Propositions
article
2011
Accès au bibtex
BibTex
auteur
Claude Kirchner, Helene Kirchner, Fabrice Nahon
titre
Narrowing Based Inductive Proof Search
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00692193/file/hg2011.pdf BibTex

Books

2011

auteur
Fabrice Bouquet, Bruno Legeard, Natacha Pickaert
titre
Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test
article
DUNOD, pp.304, 2011, 9782100566563
Accès au bibtex
BibTex
auteur
Véronique Cortier, Steve Kremer
titre
Formal Models and Techniques for Analyzing Security Protocols
article
Cortier, Véronique and Kremer, Steve. IOS Press, 5, pp.312, 2011, Cryptology and Information Security Series, 978-1-60750-713-0
Accès au bibtex
BibTex

Reports

2011

auteur
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michael Rusinowitch
titre
Unification modulo Block Chaining
article
[Research Report] 2011
Accès au bibtex
BibTex
auteur
Manamiary Bruno Andriamiarina, Dominique Méry
titre
Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report)
article
[Technical Report] LORIA - Université de Lorraine. 2011, pp.90
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606254/file/Rapport_v0.pdf BibTex
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
titre
Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00594396/file/fmcad-extended.pdf BibTex
auteur
Asma Cherif, Abdessamad Imine
titre
On the Undoability Problem in Distributed Collaborative Applications
article
[Research Report] 2011, pp.30
Accès au bibtex
BibTex
auteur
Véronique Cortier, Cyrille Wiedling
titre
A formal analysis of the Norwegian e-voting protocol
article
[Research Report] RR-7781, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00636115/file/RR-7781.pdf BibTex
auteur
Julien Cretin, Didier Rémy
titre
On the Power of Coercion Abstraction
article
[Research Report] RR-7587, INRIA. 2011, pp.59
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00582570/file/RR-7587.pdf BibTex
auteur
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
titre
A formal taxonomy of privacy in voting protocols
article
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338067/file/TR-2011-10.pdf BibTex
auteur
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
titre
Vote-Independence: A Powerful Privacy Notion for Voting Protocols
article
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338071/file/TR-2011-8.pdf BibTex
auteur
Jannik Dreier, Florian Kerschbaum
titre
Practical Secure and Efficient Multiparty Linear Programming Based on Problem Transformation
article
[Technical Report] IACR Cryptology ePrint Archive. 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338046/file/108.pdf BibTex
auteur
Houari Mahfoud, Abdessamad Imine
titre
Secure Querying of Recursive XML Views: A Standard XPath-based Technique
article
[Research Report] RR-7834, INRIA. 2011, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00650958/file/RR-7834.pdf BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods
article
[Technical Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00584177/file/TechRepoECG2011.pdf BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata
article
[Technical Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00600339/file/Version1.pdf BibTex
auteur
François Prugniel, Pierre-Etienne Moreau, Horatiu Cirstea
titre
A constraint language for algebraic term based on rewriting theory
article
[Research Report] 2011, pp.8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646343/file/paper.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Merritt's table of "useful numbers" (1947)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654445/file/merritt1947doc1.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Neville's Farey series of order 1025 (1950)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654447/file/neville1950doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Kaván's table of factors (1937)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654432/file/kavan1937doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Kulik's table of factors (1825)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654434/file/kulik1825doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Kulik's table of squares and cubes (1848)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654435/file/kulik1848doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Krause's table of factors (1804)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654433/file/krause1804doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Lambert and Felkel's table of factors (1798)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654441/file/lambert1798doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Lehmer's table of factors (1909)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654442/file/lehmer1909doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the table of factors of Peters, Lodge, Ternouth, and Gifford (1935)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654448/file/peters1935doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Crelle's Erleichterungstafel (1836)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654423/file/crelle1836doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Merritt's Brocot table (1947)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654446/file/merritt1947doc2.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Gifford's table of primes and factors (1931)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654427/file/gifford1931doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Hinkley's tables of primes and factors (1853)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654429/file/hinkley1853doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Schenmark's table of factors (ca. 1780)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654449/file/schenmark1780doc.pdf BibTex
auteur
Denis Roegel
titre
Vlacq's tables in Chinese - Introduction to Chinese and Japanese tables of logarithms, with a review of secondary sources (second edition)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654438/file/clogdoc.pdf https://hal.inria.fr/hal-00654438/file/clog1.pdf https://hal.inria.fr/hal-00654438/file/clog2.pdf https://hal.inria.fr/hal-00654438/file/clog3.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Lehmer's table of primes (1914)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654443/file/lehmer1914doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the tables of factors of Burckhardt, Dase, and Glaisher (1814-1883), and their extension to the tenth million
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654420/file/vol01.pdf https://hal.inria.fr/hal-00654420/file/vol02.pdf https://hal.inria.fr/hal-00654420/file/vol03.pdf https://hal.inria.fr/hal-00654420/file/vol04.pdf https://hal.inria.fr/hal-00654420/file/vol05.pdf https://hal.inria.fr/hal-00654420/file/vol06.pdf https://hal.inria.fr/hal-00654420/file/vol07.pdf https://hal.inria.fr/hal-00654420/file/vol08.pdf https://hal.inria.fr/hal-00654420/file/vol09.pdf https://hal.inria.fr/hal-00654420/file/vol10.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Inghirami's table of factors (1841)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654430/file/inghirami1841doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Lambert's table of factors (1770)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654439/file/lambert1770doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Chernac's Cribrum arithmeticum (1811)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654421/file/chernac1811doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Felkel's tables of primes and factors (1776)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654425/file/felkel1776doc1.pdf https://hal.inria.fr/hal-00654425/file/felkel%2Ffelkel1776doc2.pdf https://hal.inria.fr/hal-00654425/file/felkel%2Ffelkel1776doc3.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Gingerich's table of regular sexagesimals and a cuneiform version of the table (1965)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654428/file/gingerich1965doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Jones' table of factors (1896)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654431/file/jones1896doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Crelle's Rechentafeln (1820)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654422/file/crelle1820doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Beeger's table of primes (1951)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654416/file/beeger1951doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Brancker's Table of incomposits (1668)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654419/file/brancker1668doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Viète's Canon Mathematicus (1579)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654458/file/viete1579doc1.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Smogulecki and Xue's table of logarithms of numbers (ca. 1653)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654451/file/smogulecki1653doc1.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the tables of Thompson's Logarithmetica Britannica (1952)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654453/file/thompson1952doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Vega's table of primes and factors (1797)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654456/file/vega1797doc.pdf BibTex
auteur
Denis Roegel
titre
Tissot's table of logarithms (ca. 1880)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654454/file/tissotdoc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Smogulecki and Xue's table of trigonometrical logarithms (ca. 1653)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654452/file/smogulecki1653doc2.pdf BibTex
auteur
Denis Roegel
titre
Mouton's table of logarithms and its extensions (ca. 1670)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654572/file/moutondoc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Vega's table of primes and factors (1821)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654457/file/vega1821doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Vega's table of primes and factors (1782)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654455/file/vega1782doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Viète's Canonion triangvlorvm (1579)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654459/file/viete1579doc2.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Kulik's "Magnus Canon Divisorum" (ca. 1825-1863)
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654460/file/kulik1863intro.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the tables of the Shuli Jingyun (1713-1723)
article
[Research Report] Loria & Inria Grand Est. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654450/file/shuli1723intro.pdf BibTex
auteur
Cody Roux
titre
Refinement Types as Higher Order Dependency Pairs
article
[Research Report] 2011, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00552046/file/roux_ref_dp.pdf BibTex
auteur
Ben Smyth, Véronique Cortier
titre
A note on replay attacks that violate privacy in electronic voting schemes
article
[Research Report] RR-7643, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00599182/file/RR-7643.pdf BibTex
auteur
Cláudia Tavares
titre
A type system for embedded rewriting languages with associative pattern matching: from theory to practice
article
[Research Report] 2011, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00643808/file/Implementation.pdf BibTex
auteur
Na Xu
titre
Hybrid Contract Checking via Symbolic Simplification
article
[Research Report] RR-7794, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00644156/file/RR-7794.pdf BibTex

Theses

2011

auteur
Mumtaz Ahmad
titre
Memory optimization strategies for linear mappings and indexation-based shared documents
article
Discrete Mathematics [cs.DM]. Université Henri Poincaré - Nancy I, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00641866/file/thesis.pdf BibTex
auteur
Tigran Avanesov
titre
Resolution of constraint systems for automatic composition of security-aware Web Services
article
Cryptography and Security [cs.CR]. Université Henri Poincaré - Nancy I, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00641237/file/these.pdf BibTex
auteur
Philippe Beaucamps
titre
Analyse de Programmes Malveillants par Abstraction de Comportements
article
Logique en informatique [cs.LO]. Institut National Polytechnique de Lorraine - INPL, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00646395/file/these-philippe.pdf BibTex
auteur
Mathieu Boespflug
titre
Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
article
Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00672699/file/thesis.pdf BibTex
auteur
Tony Bourdier
titre
Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité
article
Logique en informatique [cs.LO]. Université Henri Poincaré - Nancy I, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00646401/file/these.pdf BibTex
auteur
Diego Caminha Barbosa de Oliveira
titre
Fragments de l'arithmétique dans une combinaison de procédures de décision
article
Génie logiciel [cs.SE]. Université Nancy II, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00578254/file/thesis_full.pdf BibTex
auteur
Roméo Courbis
titre
Contributions à l'analyse de systèmes par approximation d'ensembles réguliers
article
Autre [cs.OH]. Université de Franche-Comté, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00643842/file/RC-these.pdf BibTex
auteur
Atif Mashkoor
titre
Formal Domain Engineering: From Specification to Validation
article
Software Engineering [cs.SE]. Université Nancy II, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00614269/file/Thesis.pdf BibTex
auteur
Mohammed Anis Mekki
titre
Synthèse et compilation de services web sécurisés
article
Informatique [cs]. Universite de Lorraine, 2011. Français
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01293742/file/SCD_T_2011_0123_MEKKI.pdf BibTex
auteur
Cody Roux
titre
Size-based termination: Semantics and generalizations
article
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10034⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01746182/file/these_cody_roux.pdf BibTex
auteur
Arnaud Spiwack
titre
Verified Computing in Homological Algebra
article
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/pastel-00605836/file/thesis.spiwack.pdf BibTex

Preprints, Working Papers, ...

2011

auteur
Jade Alglave, Assia Mahboubi
titre
A Generic Formalised Framework for Reasoning About Weak Memory Models
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00604656/file/itp.pdf BibTex
auteur
Manamiary Bruno Andriamiarina
titre
Stepwise Development of Distributed Algorithms (Research Abstract)
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606204/file/_ANDRIAMIARINA_Abstract_FME_Symposium_FM2011_v4.pdf BibTex
auteur
Manamiary Bruno Andriamiarina, Dominique Méry
titre
Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606201/file/_MERY-ANDRIAMIARINA_Abstract_Grande_Region_SECDAY_2011_v2.pdf BibTex
auteur
Walid Belkhir, Alain Giorgetti, Michel Lenczner
titre
Rewriting and Symbolic Transformations for Multiscale Methods
article
2011
Accès au bibtex
https://arxiv.org/pdf/1101.3218 BibTex