Journal articles

2010

auteur
Tarek Abbes, Adel Bouhoula, Michael Rusinowitch
titre
Efficient Decision Tree for Protocol Analysis in Intrusion Detection
article
International Journal of Security and Networks, Inderscience, 2010, 5 (4), pp.220-235. ⟨10.1504/IJSN.2010.037661⟩
DOI
DOI : 10.1504/IJSN.2010.037661
Accès au bibtex
BibTex
auteur
Guillaume Banneau, Mickaël Guedj, Gaëtan Macgrogan, Isabelle de Mascarel, Valerie Velasco, Renaud Schiappa, Valérie Bonadona, Albert David, Catherine Dugast, Brigitte Gilbert-Dussardier, Olivier Ingster, Pierre Vabres, Frédéric Caux, Aurelien de Reynies, Richard Iggo, Nicolas Sevenet, Françoise Bonnet, Michel Longy
titre
Molecular apocrine differentiation is a common feature of breast cancer in patients with germline PTEN mutations.
article
Breast Cancer Research, BioMed Central, 2010, 12 (4), pp.R63. ⟨10.1186/bcr2626⟩
DOI
DOI : 10.1186/bcr2626
Accès au texte intégral et bibtex
https://www.hal.inserm.fr/inserm-00663724/file/bcr2626.pdf BibTex
auteur
Laurent Bienvenu, Mathieu Hoyrup
titre
Une brève introduction à la théorie effective de l'aléatoire
article
Gazette des Mathématiciens, Société Mathématique de France, 2010, 123, pp.35-47. ⟨http://smf.emath.fr/Publications/Gazette/Nouveautes/smf_gazette_123_35-47.pdf⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00449022/file/kolmogorov-smf.pdf BibTex
auteur
Tony Bourdier, Horatiu Cirstea, Daniel Dougherty, Hélène Kirchner
titre
Extensional and Intensional Strategies
article
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. ⟨10.4204/EPTCS.15.1⟩
DOI
DOI : 10.4204/EPTCS.15.1
Accès au bibtex
BibTex
auteur
Guillaume Burel, Claude Kirchner
titre
Regaining Cut Admissibility in Deduction Modulo using Abstract Completion
article
Information and Computation, Elsevier, 2010, 208 (2), pp.140-164. ⟨10.1016/j.ic.2009.10.005⟩
DOI
DOI : 10.1016/j.ic.2009.10.005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00132964/file/gencomp_ic.pdf BibTex
auteur
Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine
titre
Combining decision procedures by (model-)equality propagation
article
Science of Computer Programming, Elsevier, 2010, 240 (2 July 2009), pp.113-128. ⟨10.1016/j.entcs.2009.05.048⟩
DOI
DOI : 10.1016/j.entcs.2009.05.048
Accès au bibtex
BibTex
auteur
Fahima Cheikh, Pierre-Cyrille Héam, Olga Kouchnarenko
titre
Composition of Services with Constraints
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2010, 236 (Special Issue, selected papers of FACS'09), pp.31--46. ⟨10.1016/j.entcs.2010.05.003⟩
DOI
DOI : 10.1016/j.entcs.2010.05.003
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00560496/file/bchk10_ij.pdf BibTex
auteur
Yannick Chevalier, Michael Rusinowitch
titre
Symbolic Protocol Analysis in the Union of Disjoint Intruder Theories: Combining Decision Procedures
article
Theoretical Computer Science, Elsevier, 2010, 411 (10), pp.1261-1282. ⟨10.1016/j.tcs.2009.10.022⟩
DOI
DOI : 10.1016/j.tcs.2009.10.022
Accès au bibtex
BibTex
auteur
Yannick Chevalier, Michael Rusinowitch
titre
Compiling and securing cryptographic protocols
article
Information Processing Letters, Elsevier, 2010, 110 (3), pp.116-122
Accès au bibtex
BibTex
auteur
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
titre
Anti-patterns for Rule-based Languages
article
Journal of Symbolic Computation, Elsevier, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
DOI
DOI : 10.1016/j.jsc.2010.01.007
Accès au bibtex
BibTex
auteur
Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
titre
Deciding security properties for cryptographic protocols. Application to key cycles.
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (2), pp.Article 9. ⟨10.1145/1656242.1656244⟩
DOI
DOI : 10.1145/1656242.1656244
Accès au bibtex
BibTex
auteur
Gilles Dowek, Thierry Vieville, Jean-Pierre Archambault, Emmanuel Baccelli, Benjamin Wack
titre
Les ingrédients des algorithmes
article
Interstices, INRIA, 2010, ⟨https://interstices.info/jcms/c_43821/les-ingredients-des-algorithmes⟩
Accès au bibtex
BibTex
auteur
Gilles Dowek, Thierry Vieville, Jean-Pierre Archambault, Emmanuel Baccelli, Benjamin Wack
titre
Tout a un reflet numérique
article
Interstices, INRIA, 2010, ⟨https://interstices.info/jcms/c_43823/tout-a-un-reflet-numerique⟩
Accès au bibtex
BibTex
auteur
Frédéric Fondement, P-A. Muller, Brice Wittmann, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, M. Alter, C. Scherrer
titre
VETESS : IDM, Test et SysML
article
Génie logiciel, C & S, 2010, pp.43--48
Accès au bibtex
BibTex
auteur
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
titre
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
article
Information and Computation, Elsevier, 2010, 208 (1), pp.23-41. ⟨10.1016/j.ic.2009.05.001⟩
DOI
DOI : 10.1016/j.ic.2009.05.001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00517382/file/final.pdf BibTex
auteur
Didier Galmiche, Yakoub Salhi
titre
Label-free Natural Deduction Systems for Intuitionistic and Classical Modal Logics
article
Journal of Applied Non-Classical Logics, Editions Hermes, 2010, 20 (4), pp.373-421. ⟨10.3166/jancl.20.373-421⟩
DOI
DOI : 10.3166/jancl.20.373-421
Accès au bibtex
BibTex
auteur
Didier Galmiche, Yakoub Salhi
titre
A Family of Gödel Hybrid Logics
article
Journal of Applied Logic, Elsevier, 2010, 8 (4), pp.371-385. ⟨10.1016/j.jal.2010.08.008⟩
DOI
DOI : 10.1016/j.jal.2010.08.008
Accès au bibtex
BibTex
auteur
Didier Galmiche, Daniel Mery
titre
Tableaux and Resource Graphs for Separation Logic
article
Journal of Logic and Computation, Oxford University Press (OUP), 2010, 20 (1), pp.189-231. ⟨10.1093/logcom/exn066⟩
DOI
DOI : 10.1093/logcom/exn066
Accès au bibtex
BibTex
auteur
Georges Gonthier, Assia Mahboubi
titre
An introduction to small scale reflection in Coq
article
Journal of Formalized Reasoning, ASDD-AlmaDL, 2010, 3 (2), pp.95-152
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00515548/file/main-rr.pdf BibTex
auteur
Pierre-Cyrille Heam, Cyril Nicaud, Sylvain Schmitz
titre
Parametric Random Generation of Deterministic Tree Automata
article
Theoretical Computer Science, Elsevier, 2010, 411 (1), pp.3469--3480
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00561274/file/hns10_ij.pdf BibTex
auteur
Pierre-Cyrille Heam, Olga Kouchnarenko, Jérôme Voinot
titre
Component Simulation-based Substitutivity Managing QoS and Composition Issues
article
Science of Computer Programming, Elsevier, 2010, 75 (10), pp.898-917. ⟨10.1016/j.scico.2010.02.004⟩
DOI
DOI : 10.1016/j.scico.2010.02.004
Accès au bibtex
BibTex
auteur
Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
titre
Component Simulation-based Substitutivity Managing QoS and Composition Issues
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2010, 260, pp.109--123. ⟨10.1016/j.entcs.2009.12.034⟩
DOI
DOI : 10.1016/j.entcs.2009.12.034
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00561275/file/hkv10a_ij.pdf BibTex
auteur
Jean-Pierre Jacquot, Régine Laleau, Hassan Mountassir, Vincent Poirriez
titre
Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles
article
Génie logiciel, C & S, 2010, pp.13-18
Accès au bibtex
BibTex
auteur
Liu Jing, Laurent Vigneron
titre
Design and Verification of a Non-repudiation Protocol Based on Receiver-Side Smart Card
article
IET Information Security, Institution of Engineering and Technology, 2010, 4 (1), pp.15-29
Accès au bibtex
BibTex
auteur
Xavier Leroy
titre
Comment faire confiance à un compilateur ?
article
Interstices, INRIA, 2010, ⟨https://interstices.info/jcms/n_52365/comment-faire-confiance-a-un-compilateur⟩
Accès au bibtex
BibTex
auteur
Xavier Leroy
titre
Comment faire confiance à un compilateur ?
article
Les Cahiers de l'INRIA - La Recherche, INRIA, 2010, Cancer la révolution
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511377/file/inria-n440-avril10.pdf BibTex
auteur
Luigi Liquori, Arnaud Spiwack
titre
Extending FeatherTrait Java with Interfaces
article
Theoretical Computer Science, Elsevier, 2010, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩
DOI
DOI : 10.1016/j.tcs.2008.01.051
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00432540/file/TCS-60.pdf BibTex
auteur
Jean-Yves Marion, Joanna Jongwane
titre
À propos de la virologie informatique
article
Interstices, INRIA, 2010
Accès au bibtex
BibTex
auteur
Jean-Yves Marion, Matthieu Kaczmarek
titre
Boulevard du cybercrime
article
Dossier Pour la Science, Dossier pour la Science, 2010, pp.78-85
Accès au bibtex
BibTex
auteur
Pierre-Alain Masson, Marie-Laure Potet, Jacques Julliand, Régis Tissot, Bruno Legeard, Boutheina Chetali, Fabrice Bouquet, Eddie Jaffuel, June Andronick, Amal Haddad
titre
An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
article
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2010, 5 (1), pp.335-351. ⟨http://www.mirlabs.org/jias/secured/Volume5-Issue1/Masson.pdf⟩
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Functional Behavior of a Cardiac Pacing System
article
International Journal of Discrete Event Control Systems (IJDECS), Dr. Mohamed Khalgui, 2010
Accès au bibtex
BibTex
auteur
Olfa Mosbahi, Jacques Jaray
titre
B événementiel et les propriétés de vivacité
article
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2010, 44 (9-10), pp.1119-1163. ⟨10.3166/jesa.44.1119-1163⟩
DOI
DOI : 10.3166/jesa.44.1119-1163
Accès au bibtex
BibTex
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
titre
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2010, 105 (1-2), pp.163--187. ⟨10.3233/FI-2010-362⟩
DOI
DOI : 10.3233/FI-2010-362
Accès au bibtex
BibTex
auteur
Joris Rehm
titre
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2010, Special Section On ISOLA 2007, 12 (1), pp.39-51. ⟨10.1007/s10009-009-0130-5⟩
DOI
DOI : 10.1007/s10009-009-0130-5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336624/file/rcp_sttt.pdf BibTex
auteur
Denis Roegel
titre
O rozboru jednoho makra
article
Zpravodaj (Československého sdružení uživatelů TeXu, ISSN 1211-6661), Groupe des utilisateurs de TeX tchèques, 2010, 20 (1-2), pp.68-76
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00548909/file/roegel-czech2.pdf BibTex
auteur
Denis Roegel
titre
Sudoku s vepsanými kandži: integrace čínských glyfů s grafikou na úrovni METAPOSTu
article
Zpravodaj (Československého sdružení uživatelů TeXu, ISSN 1211-6661), Groupe des utilisateurs de TeX tchèques, 2010, 20 (3), pp.220-226
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00548912/file/roegel-czech4.pdf BibTex
auteur
Denis Roegel
titre
Kulové plochy, hlavní kružnice a rovnoběžky
article
Zpravodaj (Československého sdružení uživatelů TeXu, ISSN 1211-6661), Groupe des utilisateurs de TeX tchèques, 2010, 20 (1-2), pp.23-38
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00548908/file/roegel-czech1.pdf BibTex
auteur
Denis Roegel
titre
Jednoduché makro suanpan na kreslení čínského a japonského abaku
article
Zpravodaj (Československého sdružení uživatelů TeXu, ISSN 1211-6661), Groupe des utilisateurs de TeX tchèques, 2010, 20 (3), pp.138-151
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00548910/file/roegel-czech3.pdf BibTex
auteur
Pierre Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara del Socorro Mota Gonzalez, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron
titre
Formal Verification of Secure Group Communication Protocols Modelled in UML
article
Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩
DOI
DOI : 10.1007/s11334-010-0122-3
Accès au bibtex
BibTex
auteur
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
titre
Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
article
Journal of Symbolic Computation, Elsevier, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. ⟨10.1016/j.jsc.2008.10.006⟩
DOI
DOI : 10.1016/j.jsc.2008.10.006
Accès au bibtex
BibTex
auteur
Hehua Zhang, Stephan Merz, Ming Gu
titre
Specifying and Verifying PLC systems with TLA+: a case study
article
Computers and Mathematics with Applications, Elsevier, 2010, 60 (3), pp.695-705. ⟨10.1016/j.camwa.2010.05.017⟩
DOI
DOI : 10.1016/j.camwa.2010.05.017
Accès au bibtex
BibTex
auteur
Daniele Zucchelli, Enrica Nicolini
titre
A Decidability Result for the Model Checking of Infinite-State Systems
article
Journal of Automated Reasoning, Springer Verlag, 2010, (Online), ⟨10.1007/s10817-010-9192-z⟩
DOI
DOI : 10.1007/s10817-010-9192-z
Accès au bibtex
BibTex

Conference papers

2010

auteur
Ryma Abassi, Florent Jacquemard, Michael Rusinowitch, Sihem Guemara El Fatmi
titre
XML Access Control: from XACML to Annotated Schemas
article
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
DOI
DOI : 10.1109/COMNET.2010.5699810
Accès au bibtex
BibTex
auteur
Zeeshan Ahmed, Abdessamad Imine, Michael Rusinowitch
titre
Safe and Efficient Strategies for Updating Firewall Policies
article
7th International Conference on Trust, Privacy & Security in Digital Business - TrustBus 2010, Aug 2010, Bilbao, Spain. pp.45-57
Accès au bibtex
BibTex
auteur
Sabina Akhtar, Stephan Merz, Martin Quinson
titre
Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms
article
Eric Cariou, Laurence Duchien, Yves Ledru. Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Mar 2010, Pau, France. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00544137/file/GDR-GDL_Sabina.pdf BibTex
auteur
Sabina Akhtar, Stephan Merz, Martin Quinson
titre
A High-Level Language for Modeling Algorithms and their Properties
article
13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537779/file/final.pdf BibTex
auteur
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
titre
Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
article
5th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2010, Apr 2010, Beijing, China
Accès au bibtex
BibTex
auteur
Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry
titre
Extending Coq with Imperative Features and its Application to SAT Verification
article
Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00502496/file/fastcoq.pdf BibTex
auteur
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
titre
Modeling and Verifying Ad Hoc Routing Protocols.
article
23rd IEEE Computer Security Foundations Symposium - CSF'10, 2010, Edinburgh, United Kingdom
Accès au bibtex
BibTex
auteur
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
titre
Satisfiability of General Intruder Constraints with a Set Constructor
article
The Fifth International Conference on Risks and Security of Internet and Systems - CRiSIS 2010, Oct 2010, Montreal, Canada
Accès au bibtex
BibTex
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
titre
Behavior Abstraction in Malware Analysis
article
1st International Conference on Runtime Verification, Howard Barringer, Klaus Havelund, Insup Lee, Nov 2010, St. Julians, Malta. pp.168-182, ⟨10.1007/978-3-642-16612-9_14⟩
DOI
DOI : 10.1007/978-3-642-16612-9_14
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536500/file/RV-preprint.pdf BibTex
auteur
Nazim Benaissa, Dominique Méry
titre
Proof-Based Design of Security Protocols
article
5th International Computer Science Symposium in Russia, CSR 2010, Farid Ablayev, Jun 2010, KAZAN, Russia. pp.25-36
Accès au bibtex
BibTex
auteur
Mathieu Boespflug
titre
Conversion by Evaluation
article
Twelfth International Symposium on Practical Aspects of Declarative Languages, Jan 2010, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00434282/file/derivesn.pdf BibTex
auteur
Guillaume Bonfante
titre
Observation of implicit complexity by non confluence
article
International Workshop on Developments in Implicit Computational complExity - DICE 2010, Mar 2010, Paphos, Cyprus
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00535539/file/dice.pdf BibTex
auteur
Guillaume Bonfante, Georg Moser
titre
Characterising Space Complexity Classes via Knuth-Bendix Orders
article
17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR-17, Oct 2010, Yogyakarta, Indonesia. pp.142--156
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
titre
Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique
article
Traitement Automatique des Langues Naturelles - TALN 2010, Jul 2010, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00526437/file/dspbc.pdf BibTex
auteur
Guillaume Bonfante, Florian Deloup
titre
Complexity invariance of real interpretations
article
7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010, Jun 2010, Prague, Czech Republic. pp.139-150, ⟨10.1007/978-3-642-13562-0⟩
DOI
DOI : 10.1007/978-3-642-13562-0
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00535784/file/final.pdf BibTex
auteur
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
titre
Symbolic Model-Checking of Optimistic Replication Algorithms
article
8th International Conference on Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.89-104
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00524535/file/IFMSymbolicOT_89.pdf BibTex
auteur
Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
titre
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
article
A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, Apr 2010, Paris, France. pp.54--61, ⟨10.1109/ICSTW.2010.47⟩
DOI
DOI : 10.1109/ICSTW.2010.47
Accès au bibtex
BibTex
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
titre
On Formal Specification and Analysis of Security Policies
article
2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429240/file/article.pdf BibTex
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
titre
Rule-based Specification and Analysis of Security Policies
article
5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Jun 2010, Valencia, Spain
Accès au bibtex
BibTex
auteur
Olivier Bournez, Daniel Graça, Emmanuel Hainry
titre
Robust computations with dynamical systems
article
35th international symposium on Mathematical Foundations of Computer Science - MFCS 2010, Aug 2010, Brno, Czech Republic. pp.198-208, ⟨10.1007/978-3-642-15155-2_19⟩
DOI
DOI : 10.1007/978-3-642-15155-2_19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00522029/file/mfcs.pdf BibTex
auteur
Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine
titre
GridTPT: a distributed platform for Theorem Prover Testing
article
2nd Workshop on Practical Aspects of Automated Reasoning (PAAR), Jul 2010, Edinburgh, United Kingdom
Accès au bibtex
BibTex
auteur
Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet
titre
Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions
article
10èmes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'10, Jun 2010, Poitiers, France. pp.11--25
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563329/file/bjmb10_np.pdf BibTex
auteur
Pierre-Christophe Bué, Frédéric Dadeau, Adrien de Kermadec, Fabrice Bouquet
titre
Building a Test-ready Abstraction of a Behavioral Model using CLP
article
4th International Conference on Tests and Proofs - TAP 2010, Jul 2010, Malaga, Spain. pp.167-182, ⟨10.1007/978-3-642-13977-2_14⟩
DOI
DOI : 10.1007/978-3-642-13977-2_14
Accès au bibtex
BibTex
auteur
Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam
titre
Model-Based Testing using Symbolic Animation and Machine Learning
article
2nd Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA'2010, Apr 2010, Paris, France. ⟨10.1109/ICSTW.2010.43⟩
DOI
DOI : 10.1109/ICSTW.2010.43
Accès au bibtex
BibTex
auteur
Adrian Caciula, Roméo Courbis, Violeta Felea, Pierre-Cyrille Heam, Rasvan Ionescu
titre
Une approche parallèle et distribuée pour la complétion d'automates d'arbre
article
10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.43
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00530350/file/CCFHI-AFADL10.pdf BibTex
auteur
Joan Calvet, José M. Fernandez, Pierre-Marc Bureau, Jean-Yves Marion
titre
Large-scale Malware Experiments: Why, How, and So What?
article
Virus Bulletin 2010, Sep 2010, Vancouver, Canada. pp.241--247
Accès au bibtex
BibTex
auteur
Joan Calvet
titre
Tripoux: Reverse Engineering of malware packers for dummies!
article
DeepSec 2010, Nov 2010, Vienna, Austria
Accès au bibtex
BibTex
auteur
Joan Calvet, Carlton Davis, José M. Fernandez, Wadie Guizani, Matthieu Kaczmarek, Jean-Yves Marion, Pier-Luc St-Onge
titre
Isolated virtualised clusters: testbeds for high-risk security experimentation and training
article
3rd Workshop on Cyber Security Experimentation and Test (CSET '10), Aug 2010, Washington DC, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536712/file/article5.pdf BibTex
auteur
Joan Calvet, Carlton R. Davis, José M. Fernandez, Jean-Yves Marion, Pier-Luc St-Onge, Wadie Guizani, Pierre-Marc Bureau, Somayaji Anil
titre
The case for in-the-lab botnet experimentation: creating and taking down a 3000-node botnet
article
Annual Computer Security Applications Conference, Dec 2010, Austin, Texas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536706/file/article_acsac04v3.pdf BibTex
auteur
Joan Calvet, Pierre-Marc Bureau
titre
Understanding Swizzor's Obfuscation Scheme
article
REcon, Jul 2010, Montréal, Canada
Accès au bibtex
BibTex
auteur
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
titre
The TLA+ Proof System: Building a Heterogeneous Verification Platform
article
International Conference on Theoretical Aspects of Computing - ICTAC 2010, Sep 2010, Natal, Brazil. pp.44, ⟨10.1007/978-3-642-14808-8_3⟩
DOI
DOI : 10.1007/978-3-642-14808-8_3
Accès au bibtex
BibTex
auteur
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
titre
Verifying Safety Properties With the TLA+ Proof System
article
Fifth International Joint Conference on Automated Reasoning - IJCAR 2010, Jul 2010, Edinburgh, United Kingdom. pp.142--148, ⟨10.1007/978-3-642-14203-1_12⟩
DOI
DOI : 10.1007/978-3-642-14203-1_12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00534821/file/tlaps.pdf BibTex
auteur
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
titre
Combining Static Analysis and Test Generation for {C} Program Debugging
article
TAP'10, 4th Int. Conf. on Tests and Proofs, 2010, Spain. pp.94--100
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563308/file/ckgj10_ip.pdf BibTex
auteur
Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch
titre
Orchestration under Security Constraints
article
Formal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642855/file/fmco.pdf BibTex
auteur
Stefan Ciobaca, Véronique Cortier
titre
Protocol composition for arbitrary primitives.
article
23rd IEEE Computer Security Foundations Symposium - CSF'10, 2010, Edinburgh, United Kingdom. pp.322-336
Accès au bibtex
BibTex
auteur
Cyril Cohen, Assia Mahboubi
titre
A formal quantifier elimination for algebraically closed fields
article
Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Calculemus, Jul 2010, Paris, France. pp.189-203, ⟨10.1007/978-3-642-14128-7_17⟩
DOI
DOI : 10.1007/978-3-642-14128-7_17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00464237/file/main.pdf BibTex
auteur
Roméo Courbis, Pierre-Cyrille Heam, Pierre Jourdan, Olga Kouchnarenko
titre
Approximations par réécriture pour deux problèmes indécidables
article
AFADL, Jun 2010, Poitiers, France. pp.7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00530341/file/CHJK-AFADL10.pdf BibTex
auteur
Adrien de Kermadec, Frédéric Dadeau, Fabrice Bouquet
titre
Assessing the Quality of B Models
article
SEFM'10 - 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. ⟨10.1109/SEFM.2010.17⟩
DOI
DOI : 10.1109/SEFM.2010.17
Accès au bibtex
BibTex
auteur
Henri Debrat, Bernadette Charron-Bost, Stephan Merz
titre
Formal Verification of Consensus Algorithms in a Proof Assistant
article
2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00539899/file/sho-isabelle.pdf BibTex
auteur
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
titre
Using Temporal Logic for Dynamic Reconfigurations of Components
article
7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00541613/file/DormoyKL2010.pdf BibTex
auteur
Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo
titre
System Description: The Proof Transformation System CERES
article
Jürgen Giesl and Reiner Hähnle. International Joint Conference on Automated Reasoning, Jul 2010, Edinburgh, United Kingdom. Springer, Automated Reasoning: 5th International Joint Conference, IJCAR 2010 Edinburgh, UK, July 16-19, 2010 Proceedings, 6173, pp.427-433, 2010, Lecture Notes in Computer Science / Lecture Notes in ArtificiaI Intelligence. 〈10.1007/978-3-642-14203-1_36〉
DOI
DOI : 10.1007/978-3-642-14203-1_36
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00545482/file/CEResSystemDescription.pdf BibTex
auteur
Francisco Durán, Manuel Roldan, Jean-Christophe Bach, Emilie Balland, Mark Van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C.L. Kats, Pierre-Etienne Moreau, Eelco Visser
titre
The Third Rewrite Engines Competition
article
8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. pp.243-261, ⟨10.1007/978-3-642-16310-4_16⟩
DOI
DOI : 10.1007/978-3-642-16310-4_16
Accès au bibtex
BibTex
auteur
Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
titre
Interpretation of stream programs: characterizing type 2 polynomial time complexity
article
21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00518381/file/paper.pdf BibTex
auteur
Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
titre
Exploring and Exploiting Algebraic and Graphical Properties of Resolution
article
8th International Workshop on Satisfiability Modulo Theories - SMT 2010, Jul 2010, Edinburgh, United Kingdom. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00544658/file/AlgebraicPropertiesOfResolution.pdf BibTex
auteur
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
titre
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
article
Computability and Complexity in Analysis (CCA), Jun 2010, Zhenjiang, China. pp.7-18, ⟨10.4204/EPTCS.24.6⟩
DOI
DOI : 10.4204/EPTCS.24.6
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00517372/file/1006.0392v1.pdf BibTex
auteur
Didier Galmiche, Yakoub Salhi
titre
Label-free Proof Systems for Intuitionistic Modal Logic IS5
article
16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Apr 2010, Dakar, Senegal. pp.255-271, ⟨10.1007/978-3-642-17511-4_15⟩
DOI
DOI : 10.1007/978-3-642-17511-4_15
Accès au bibtex
BibTex
auteur
Alain Giorgetti
titre
Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System
article
Symbolic Computation in Software Science, Jul 2010, Linz, Austria. pp.5--18
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563330/file/giorgetti10_oip.pdf BibTex
auteur
Alain Giorgetti, Ahmed Hammad, Bruno Tatibouët
titre
Using SysML for Smart Surface Modeling
article
dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Jun 2010, Besançon, France. pp.100--107
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525791/file/GHT10.pdf BibTex
auteur
Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko
titre
Specifying Generic Java Programs: two case studies
article
11th International Workshop on Language Descriptions, Tools, and Applications - LDTA'2010, Mar 2010, Paphos, Cyprus. pp.92--106
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525784/file/gmtkLDTA2010.pdf BibTex
auteur
Isabelle Gnaedig, Matthieu Kaczmarek, Daniel Reynaud, Stéphane Wloka
titre
Unconditional self-modifying code elimination with dynamic compiler optimizations
article
5th International Conference on Malicious and Unwanted Software, Fernando C. Colón Osorio, Oct 2010, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538376/file/packer.pdf BibTex
auteur
Wadie Guizani, Jean-Yves Marion, Daniel Reynaud
titre
Analyse de Programmes par Traçage
article
8ème Symposium sur la Sécurité des Technologies de l'Information et des Communications - SSTIC 2010, Jun 2010, Rennes, France. pp.125-138, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549418/file/document_actes.pdf BibTex
auteur
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
titre
{SAT} Solvers for Queries over Tree Automata with Constraints
article
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563313/file/hhk10_ip.pdf BibTex
auteur
Clement Houtmann
titre
Superdeduction in Lambda-bar-mu-mu-tilde
article
Classical Logic and Computation 2010, Aug 2010, Brno, Czech Republic. pp.33-43, ⟨10.4204/EPTCS.47.5⟩
DOI
DOI : 10.4204/EPTCS.47.5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00498744/file/LbmmtPlus.pdf BibTex
auteur
Abdessamad Imine
titre
On Coordinating Collaborative Objects
article
9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA), Sep 2010, Paris, France. pp.78-92
Accès au bibtex
BibTex
auteur
Florent Jacquemard, Michael Rusinowitch
titre
Rewrite-Based Verification of XML Updates
article
12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
DOI
DOI : 10.1145/1836089.1836105
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578916/file/ppdp06a-jacquemard-HAL.pdf BibTex
auteur
Chantal Keller, Thorsten Altenkirch
titre
Hereditary Substitutions for Simple Types, Formalized
article
MSFP - Third Workshop on Mathematically Structured Functional Programming - 2010, Sep 2010, Baltimore, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00520606/file/msfp10.pdf BibTex
auteur
Chantal Keller, Benjamin Werner
titre
Importing HOL Light into Coq
article
ITP - Interactive Theorem Proving, First International Conference - 2010, Jul 2010, Edimbourg, United Kingdom. pp.307-322
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00520604/file/itp10.pdf BibTex
auteur
Dominique Larchey-Wendling
titre
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
article
Mathematical Foundations of Programming Semantics, May 2010, Ottawa, Canada. pp.369-387, ⟨10.1016/j.entcs.2010.08.022⟩
DOI
DOI : 10.1016/j.entcs.2010.08.022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00577926/file/larchey_final.pdf BibTex
auteur
Dominique Larchey-Wendling, Didier Galmiche
titre
The Undecidability of Boolean BI through Phase Semantics
article
25th Annual IEEE Symposium on Logic in Computer Science - LICS 2010, Jul 2010, Edinburgh, United Kingdom. pp.140-149, ⟨10.1109/LICS.2010.18⟩
DOI
DOI : 10.1109/LICS.2010.18
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00577919/file/lics10_larchey_galmiche_full.pdf BibTex
auteur
Tianxiang Lu, Stephan Merz, Christoph Weidenbach
titre
Model Checking the Pastry Routing Protocol
article
10th International Workshop Automated Verification of Critical Systems, Sep 2010, Düsseldorf, Germany. pp.19-21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540811/file/article-new.pdf BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot
titre
Domain Engineering with Event-B: Some Lessons We Learned
article
18th International Requirements Engineering Conference - RE'10, Sep 2010, Sydney, Australia. pp.252 - 261, ⟨10.1109/RE.2010.37⟩
DOI
DOI : 10.1109/RE.2010.37
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00431133/file/RE_camera_ready.pdf BibTex
auteur
Atif Mashkoor, Abderrahman Matoussi
titre
Towards validation of requirements models
article
The Second International Conference on ASM, Alloy, B and Z (ABZ 2010), Feb 2010, Orford (Québec), Canada. pp.404, ⟨10.1007/978-3-642-11811-1_38⟩
DOI
DOI : 10.1007/978-3-642-11811-1_38
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00431272/file/main.pdf BibTex
auteur
Moulay Driss Mechaoui, Asma Cherif, Abdessamad Imine, Fatima Bendella
titre
Log Garbage Collector-based Real Time Collaborative Editor for Mobile Devices
article
6th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2010), Oct 2010, Chicago, United States
Accès au bibtex
BibTex
auteur
Dominique Méry, Mohammed Mosbah, Mohammed Tounsi
titre
Proving Distributed Algorithms by Combining Refinement and Local Computations
article
AVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Trustable Formal Specification for Software Certification
article
4th International Symposium On Leveraging Applications of Formal Methods - ISOLA 2010, Oct 2010, Heraklion, Crete, Greece. pp.312-326, ⟨10.1007/978-3-642-16561-0_31⟩
DOI
DOI : 10.1007/978-3-642-16561-0_31
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Real-Time Animation for Formal Specification
article
Complex Systems Design & Management 2010, Oct 2010, Paris, France. pp.49-60, ⟨10.1007/978-3-642-15654-0_3⟩
DOI
DOI : 10.1007/978-3-642-15654-0_3
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540005/file/Animator_CSDM2010.pdf BibTex
auteur
Gabriel Michel, Sorin Stratulat
titre
Good reasons to implement transnational European diploma programs in Computer Science
article
ICEUTE'2010 (First International Conference on EUropean Transnational Education), 2010, Spain. pp.135-143
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00553078/file/MicStr_2010.pdf BibTex
auteur
Huu Nghia Nguyen, Jean-Pierre Jacquot
titre
A tool for checking CSP||B specifications
article
Workshop on Tool Building in Formal Methods - Held in conjunction with the 2nd International ABZ Conference, Feb 2010, Orford (Québec), Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00463422/file/abztools.pdf BibTex
auteur
Silvain Rideau, Xavier Leroy
titre
Validating register allocation and spilling
article
Compiler Construction 2010, Mar 2010, Paphos, Cyprus. pp.224-243, ⟨10.1007/978-3-642-11970-5_13⟩
DOI
DOI : 10.1007/978-3-642-11970-5_13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00529841/file/validation-regalloc.pdf BibTex
auteur
Cristian Rosa, Stephan Merz, Martin Quinson
titre
A Simple Model of Communication APIs ­ - Application to Dynamic Partial-order Reduction
article
10th International Workshop on Automated Verification of Critical Systems - AVOCS 2010, Sep 2010, Düsseldorf, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00532889/file/avocs.pdf BibTex
auteur
Arnaud Spiwack
titre
An abstract type for constructing tactics in Coq
article
Proof Search in Type Theory, Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00502500/file/tactics.pdf BibTex
auteur
Sorin Stratulat
titre
Integrating Implicit Induction Proofs into Certified Proof Environments
article
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.320-335
Accès au bibtex
BibTex
auteur
Jean-Baptiste Tristan, Xavier Leroy
titre
A simple, verified validator for software pipelining
article
37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Jan 2010, Madrid, Spain. ⟨10.1145/1706299.1706311⟩
DOI
DOI : 10.1145/1706299.1706311
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00529836/file/validation-softpipe.pdf BibTex
auteur
Bruno Woltzenlogel Paleo
titre
Physics and Proof Theory
article
International Workshop on Physics and Computation, Aug 2010, Luxor, Egypt
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00545462/file/PhysicsAndProofTheory_Elsevier_.pdf BibTex
auteur
Bruno Woltzenlogel Paleo
titre
Proof Compression with the CIRes Method [Abstract]
article
Computability in Europa, Jun 2010, Ponta Delgada, Portugal
Accès au bibtex
BibTex
auteur
Bruno Woltzenlogel Paleo
titre
Atomic Cut Introduction by Resolution: Proof Structuring and Compression
article
Edmund M. Clarke and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning, Apr 2010, Dakar, Senegal. Springer, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers, 6355, pp.463-480, 2011, Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-642-17511-4_26〉
DOI
DOI : 10.1007/978-3-642-17511-4_26
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00545473/file/AtomicCutIntroduction_-_Submitted_Version.pdf BibTex
auteur
Bruno Woltzenlogel Paleo, Ekaterina Lebedeva
titre
Using Proofs to Compute Implicatures [Abstract]
article
Computability in Europe, Jun 2010, Ponta Delgada, Portugal
Accès au bibtex
BibTex
auteur
Dana N. Xu, Gregor Goessler, Alain Girault
titre
Probabilistic Contracts for Component-Based Design
article
the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. pp.325-340, ⟨10.1007/978-3-642-15643-4_24⟩
DOI
DOI : 10.1007/978-3-642-15643-4_24
Accès au bibtex
BibTex
auteur
Faqing Yang, Jean-Pierre Jacquot
titre
Prouvé ? Et après ?
article
10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.133-147
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00491747/file/main.pdf BibTex

Book sections

2010

auteur
Guillaume Bonfante, Florian Deloup
titre
Complexity invariance of real interpretations
article
Theory and applications of models of computation, Springer, p. 139-150, 2010, Lecture Notes in Computer Science, vol. 6108, ⟨10.1007/978-3-642-13562-0_14⟩
DOI
DOI : 10.1007/978-3-642-13562-0_14
Accès au bibtex
BibTex
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
titre
Décidabilité et Complexité
article
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549416/file/Chapitre_DecidabiliteComplexite.pdf BibTex
auteur
Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
titre
Some Remarks on Relations between Proofs and Games
article
Pierre Edouard Bour, Manuel Rebuschi, Laurent Rollet,. Construction - Festschrift for Gerhard Heinzmann, College Publications, 2010, 978-1-84890-016-5. ⟨http://www.collegepublications.co.uk/tributes/?00014⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00580302/file/galmiche_larchey_vidalrosset.pdf BibTex
auteur
Xavier Leroy
titre
Mechanized semantics
article
J. Esparza and B. Spanfelner and O. Grumberg. Logics and languages for reliability and security, 25, IOS Press, pp.195-224, 2010, NATO Science for Peace and Security Series D: Information and Communication Security, ⟨10.3233/978-1-60750-100-8-195⟩
DOI
DOI : 10.3233/978-1-60750-100-8-195
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00529848/file/notes.pdf BibTex
auteur
Arnaud Spiwack, Thierry Coquand
titre
Constructively Finite?
article
Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00503917/file/Coquand_Spiwack_-_2010_-_Constructively_Finite.pdf BibTex
auteur
Kyla Zimmermann, Jean Paries, René Amalberti, Daniel Hummerdal H.
titre
Is the aviation industry ready for resilience? Mapping human factors assumptions across the aviation sector
article
Edited by Erik Hollnagel, MINES ParisTech, France, Jean Pariès, Dédale SA, France, David Woods, Ohio State University, USA and John Wreathall, John Wreathall & Co., USA. Resilience engineering in practice: A Guidebook, Ashgate Publishing, pp.257-274, 2010
Accès au bibtex
BibTex

Directions of work or proceedings

2010

auteur
Claus Brabrand, Pierre-Etienne Moreau
titre
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS
article
Claus Braband and Pierre-Etienne Moreau. France. ACM, 2010, 978-1-4503-0063-6
Accès au bibtex
BibTex
auteur
Dominique Méry, Stephan Merz
titre
Integrated Formal Methods
article
Dominique Méry and Stephan Merz. 6396, Springer, pp.335, 2010, Lecture Notes in Computer Science, 978-3-642-16264-0. ⟨10.1007/978-3-642-16265-7⟩
DOI
DOI : 10.1007/978-3-642-16265-7
Accès au bibtex
BibTex

Habilitation à diriger des recherches

2010

auteur
Horatiu Cirstea
titre
Le calcul de réécriture
article
Génie logiciel [cs.SE]. Université Nancy II, 2010
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00546917/file/main.pdf BibTex

Other publications

2010

auteur
Dominique Méry, Neeraj Kumar Singh
titre
EB2C : A Tool for Event-B to C Conversion Support
article
2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540006/file/cameraready-sefm2010.pdf BibTex

Books

2010

auteur
Erik Hollnagel, Jean Paries, D. Woods David, John Wreathall
titre
Resilience engineering in practice: A Guidebook
article
Ashgate Publishing, 362 p. - ISBN 978-1-4094-1035-5, 2010, Ashgate Studies in Resilience Engineering
Accès au bibtex
BibTex

Documents associated with scientific events

2010

auteur
Jean-Yves Marion, Thomas Schwentick
titre
27th International Symposium on Theoretical Aspects of Computer Science (STACS)
article
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549415/file/Foreword.pdf BibTex

Reports

2010

auteur
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
titre
Satisfiability of General Intruder Constraints with and without a Set Constructor
article
[Research Report] RR-7276, INRIA. 2010, pp.50
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00480632/file/RR-7276.pdf BibTex
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
titre
Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00547884/file/article-extended.pdf BibTex
auteur
Gérard Cécé, Alain Giorgetti
titre
Simulations for a Class of Two-Dimensional Automata
article
[Research Report] RR-7425, INRIA. 2010, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00527077/file/RR-7425.pdf BibTex
auteur
Pierre-Cyrille Heam, Vincent Hugot, Olga Kouchnarenko
titre
Random Generation of Positive TAGEDs wrt. the Emptiness Problem
article
[Research Report] RR-7441, INRIA. 2010, pp.43
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00531350/file/RR-7441.pdf BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Technical Report on Formal Development of Two-Electrode Cardiac Pacing System
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00465061/file/Report_2electrode.pdf BibTex
auteur
Eric Monfroy, Olivier Perrin, Christophe Ringeissen, Laurent Vigneron
titre
A Constraint-based Approach to Web Services Provisioning
article
[Research Report] RR-7413, INRIA. 2010, pp.39
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00524590/file/RR-7413.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Henri Andoyer's trigonometric tables (1915-1918)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543955/file/andoyer1915doc.pdf https://hal.inria.fr/inria-00543955/file/andoyer1916doc.pdf https://hal.inria.fr/inria-00543955/file/andoyer1918doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Henri Andoyer's table of logarithms (1922)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00551097/file/andoyer1922doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the "Tables des logarithmes à huit décimales'' from the French "Service géographique de l'armée'' (1891)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543952/file/sga1891doc.pdf BibTex
auteur
Denis Roegel
titre
A sketch of Mendizábal y Tamborrel's table of logarithms (1891)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543953/file/mendizabal1891doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Henri Andoyer's table of logarithms (1911)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543954/file/andoyer1911doc.pdf BibTex
auteur
Denis Roegel
titre
The great logarithmic and trigonometric tables of the French Cadastre: a preliminary investigation
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543946/file/analysis.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Charles Babbage's table of logarithms (1827)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543948/file/babbage1827doc.pdf BibTex
auteur
Denis Roegel
titre
A construction of Edward Sang's projected table of nine-place logarithms to one million (1872)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543950/file/sang1872doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Edward Sang's table of logarithms (1871)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543949/file/sang1871doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the tables of Rheticus' Opus Palatinum (1596)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543932/file/rheticus1596doc.pdf BibTex
auteur
Denis Roegel
titre
Bürgi's Progress Tabulen (1620): logarithmic tables without logarithms
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543936/file/buergi1620doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the tables of Briggs' Arithmetica logarithmica (1624)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543939/file/briggs1624doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the tables of Pitiscus' Thesaurus Mathematicus (1613)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543933/file/pitiscus1613doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the tables of Rheticus' Canon doctrinæ triangulorum (1551)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543931/file/rheticus1551doc.pdf BibTex
auteur
Denis Roegel
titre
Napier's ideal construction of the logarithms
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543934/file/napier1619construction.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of the tables of Briggs and Gellibrand's Trigonometria Britannica (1633)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543943/file/briggs1633doc.pdf BibTex
auteur
Denis Roegel
titre
Introduction to Chinese and Japanese tables of logarithms, with a review of secondary sources
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543945/file/clogdoc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Briggs' Logarithmorum chilias prima (1617)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543935/file/briggs1617doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of De Decker-Vlacq's tables in the Arithmetica logarithmica (1628)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543941/file/vlacq1628doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Gunter's Canon triangulorum (1620)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543938/file/gunter1620doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Adriaan Vlacq's tables in the Trigonometria artificialis (1633)
article
[Research Report] 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543944/file/vlacq1633doc.pdf BibTex

Theses

2010

auteur
Nazim Benaissa
titre
La composition des protocoles de sécurité avec la méthode B événementielle
article
Modélisation et simulation. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10034⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01748202/file/SCD_T_2010_0034_BENAISSA.pdf BibTex
auteur
Octave Boussaton
titre
Application de la théorie des jeux à l'optimisation du routage réseau - solutions algorithmiques
article
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00605791/file/These_-_Octave_Boussaton.pdf BibTex
auteur
Clément Houtmann
titre
Représentation et interaction des preuves en superdéduction modulo
article
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10026⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00553219/file/these_clement_houtmann.pdf BibTex
auteur
Benoît Montagu
titre
Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types
article
Programming Languages [cs.PL]. Ecole Polytechnique X, 2010. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/tel-00550331/file/montagu_thesis.pdf BibTex
auteur
Inès Mouakher Abdelmoula
titre
Vérification et correction des spécifications B : application à l'assemblage de composants
article
Informatique [cs]. Université Nancy II; Université de Tunis El-Manar, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00547553/file/InesMouakher27novembre.pdf BibTex
auteur
Yakoub Salhi
titre
Structures Multi-contextuelles et Logiques Modales Intuitionnistes et Hybrides
article
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00607933/file/YSthese.pdf BibTex

Preprints, Working Papers, ...

2010

auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
titre
Behavior Abstraction in Malware Analysis - Extended Version
article
2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00509486/file/rv-HAL-V2.pdf BibTex
auteur
Tony Bourdier, Horatiu Cirstea
titre
Constrained rewriting in recognizable theories
article
2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456848/file/short.pdf BibTex
auteur
Cyril Cohen
titre
Formalizing real analysis for polynomials
article
2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00545778/file/main.pdf BibTex
auteur
Roméo Courbis
titre
Rewriting Approximations For Properties Verification Over CCS Specifications
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00530351/file/C-FSEN11.pdf BibTex
auteur
Atif Mashkoor, Jean-Pierre Jacquot
titre
Transformational Heuristics for Animation - Towards Stepwise Validation of Specications
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00544261/file/tech_report_heuristics.pdf BibTex