Journal articles

2012

auteur
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
titre
Unification modulo Homomorphic Encryption
article
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.135-158. ⟨10.1007/s10817-010-9205-y⟩
DOI
DOI : 10.1007/s10817-010-9205-y
Accès au bibtex
BibTex
auteur
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
titre
String rewriting and security analysis: an extension of a result of Book and Otto
article
Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2012, 16 (2--4), pp.83--98
Accès au bibtex
BibTex
auteur
Andrew Appel, Robert Dockins, Xavier Leroy
titre
A list-machine benchmark for mechanized metatheory
article
Journal of Automated Reasoning, Springer Verlag, 2012, 49 (3), pp.453--491. ⟨10.1007/s10817-011-9226-1⟩
DOI
DOI : 10.1007/s10817-011-9226-1
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00674176/file/listmachine-journal.pdf BibTex
auteur
Laurent Bienvenu, Adam Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen
titre
A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points
article
Information and Computation, Elsevier, 2012, 210, pp.021-030. ⟨10.1016/j.ic.2011.10.006⟩
DOI
DOI : 10.1016/j.ic.2011.10.006
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00643629/file/ergodic-edited.pdf BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
titre
Code synchronization by morphological analysis
article
7th International Conference on Malicious and Unwanted Software (Malware 2012), IEEE Xplore, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00764286/file/malware2012.pdf BibTex
auteur
Yannick Chevalier, Michael Rusinowitch
titre
Decidability of Equivalence of Symbolic Derivations
article
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.263-292. ⟨10.1007/s10817-010-9199-5⟩
DOI
DOI : 10.1007/s10817-010-9199-5
Accès au bibtex
BibTex
auteur
Stefan Ciobaca, Stéphanie Delaune, Steve Kremer
titre
Computing knowledge in security protocols under convergent equational theories
article
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.219-262. ⟨10.1007/s10817-010-9197-7⟩
DOI
DOI : 10.1007/s10817-010-9197-7
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00636794/file/CDK-jar10.pdf BibTex
auteur
Cyril Cohen, Assia Mahboubi
titre
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1:02), pp.1-40. ⟨10.2168/LMCS-8 (1:02) 2012⟩
DOI
DOI : 10.2168/LMCS-8 (1:02) 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00593738/file/1201.3731.pdf BibTex
auteur
Véronique Cortier, Stéphanie Delaune
titre
Decidability and combination results for two notions of knowledge in security protocols.
article
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (October), pp.441-487. ⟨10.1007/s10817-010-9208-8⟩
DOI
DOI : 10.1007/s10817-010-9208-8
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot
titre
Scenario-Based Testing using Symbolic Animation of B Models
article
Software Testing, Verification and Reliability, Wiley, 2012, 6 (22), pp.407-434. ⟨10.1002/stvr.1467⟩
DOI
DOI : 10.1002/stvr.1467
Accès au bibtex
BibTex
auteur
Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
titre
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
article
Science of Computer Programming, Elsevier, 2012, 77 (10-11), pp.1122-1150
Accès au bibtex
BibTex
auteur
Lionel Droz-Bartholet, Jean-Christophe Lapayre, Fabrice Bouquet, Eric Garcia, Alexander Heinisch
titre
Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems
article
Journal of Parallel and Distributed Computing, Elsevier, 2012, 72 (5), pp.637--649. ⟨10.1016/j.jpdc.2012.02.012⟩
DOI
DOI : 10.1016/j.jpdc.2012.02.012
Accès au bibtex
BibTex
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
titre
An Implicit Characterization of PSPACE
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (2), pp.Article 18. ⟨10.1145/2159531.2159540⟩
DOI
DOI : 10.1145/2159531.2159540
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00591868/file/main.pdf BibTex
auteur
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
titre
Statistical properties of dynamical systems - simulation and abstract computation.
article
Chaos, Solitons and Fractals, Elsevier, 2012, 45 (1), pp.1-14. ⟨10.1016/j.chaos.2011.09.011⟩
DOI
DOI : 10.1016/j.chaos.2011.09.011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00644790/file/CSF.pdf BibTex
auteur
Gregor Goessler, Dana Xu, Alain Girault
titre
Probabilistic contracts for component-based design
article
Formal Methods in System Design, Springer Verlag, 2012, 41 (2), pp.211-231. ⟨10.1007/s10703-012-0162-4⟩
DOI
DOI : 10.1007/s10703-012-0162-4
Accès au bibtex
BibTex
auteur
Walid Gomaa
titre
A Survey of Recursive Analysis and Moore's Notion of Real Computation
article
Natural Computing, Springer Verlag, 2012, 11 (1), pp.37-49. ⟨10.1007/s11047-011-9278-5⟩
DOI
DOI : 10.1007/s11047-011-9278-5
Accès au bibtex
BibTex
auteur
Pierre-Cyrille Heam, Vincent Hugot, Olga Kouchnarenko
titre
Loops and overloops for Tree Walking Automata
article
Theoretical Computer Science, Elsevier, 2012, Implementation and Application of Automata (CIAA 2011), 450, pp.43-53. ⟨10.1016/j.tcs.2012.04.026⟩
DOI
DOI : 10.1016/j.tcs.2012.04.026
Accès au bibtex
BibTex
auteur
Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch
titre
Computability of the Radon-Nikodym derivative.
article
Computability, IOS Press, 2012, 1 (1), pp.3-13. ⟨http://iospress.metapress.com/content/966432503uw60884/⟩. ⟨10.3233/COM-2012-005⟩
DOI
DOI : 10.3233/COM-2012-005
Accès au bibtex
BibTex
auteur
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
titre
Challenges and solutions to realisability semantics for intersection types with expansion variables
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 121, pp.153-184
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00937952/file/fund-inf-short.pdf BibTex
auteur
Steve Kremer, Antoine Mercier, Ralf Treinen
titre
Reducing Equational Theories for the Decision of Static Equivalence
article
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.197-217. ⟨10.1007/s10817-010-9203-0⟩
DOI
DOI : 10.1007/s10817-010-9203-0
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00636797/file/KMT-jar10.pdf BibTex
auteur
Jacques Lemordant, Jean-Dominique Gascuel, Isabelle Bellin
titre
L'émergence de la réalité augmentée, à la frontière du réel et du virtuel
article
Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 3 p
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00813184/file/L_A_mergence_de_la_rA_alitA_augmentA_e_A_la_frontiA_re_du_rA_el_et_du_virtuel.pdf BibTex
auteur
Jean-Yves Marion
titre
Viruses in Turing's Garden
article
ERCIM News, ERCIM, 2012, 2012 (91), ⟨http://ercim-news.ercim.eu/en91/special/viruses-in-turings-garden⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00762918/file/ErcimVirus.pdf BibTex
auteur
Jean-Yves Marion, Thomas Schwentick
titre
Theoretical Aspects of Computer Science
article
Theory of Computing Systems, Springer Verlag, 2012, 51 (2), pp.123-124
Accès au bibtex
BibTex
auteur
Jean-Yves Marion
titre
Les Mac résistent-ils mieux aux virus que les PC ?
article
Pour la science, Pour la science, 2012
Accès au bibtex
BibTex
auteur
Jean-Yves Marion
titre
From Turing machines to computer viruses
article
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2012, 370 (1971), pp.3319-3339. ⟨10.1098/rsta.2011.0332⟩
DOI
DOI : 10.1098/rsta.2011.0332
Accès au bibtex
BibTex
auteur
Romain Péchoux
titre
Synthesis of sup-interpretations: a survey
article
Theoretical Computer Science, Elsevier, 2012, pp.24. ⟨10.1016/j.tcs.2012.11.003⟩
DOI
DOI : 10.1016/j.tcs.2012.11.003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00744915/file/main.pdf BibTex
auteur
Nicolas Pouillard, François Pottier
titre
A unified treatment of syntax with binders
article
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (4--5), pp.614--704. ⟨10.1017/S0956796812000251⟩
DOI
DOI : 10.1017/S0956796812000251
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00772721/file/pouillard-pottier-unified.pdf BibTex
auteur
Didier Rémy, Boris Yakobowski
titre
A Church-Style Intermediate Language for MLF
article
Theoretical Computer Science, Elsevier, 2012, 435, pp.77--105. ⟨10.1016/j.tcs.2012.02.026⟩
DOI
DOI : 10.1016/j.tcs.2012.02.026
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01093719/file/xmlf%40tcs2011.pdf BibTex
auteur
Denis Roegel
titre
The LOCOMAT Project: Recomputing Mathematical and Astronomical Tables
article
IEEE Annals of the History of Computing, Institute of Electrical and Electronics Engineers, 2012, 34 (2), pp.74-79. ⟨10.1109/MAHC.2012.32⟩
DOI
DOI : 10.1109/MAHC.2012.32
Accès au bibtex
BibTex

Conference papers

2012

auteur
Ali Afroozeh, Jean-Christophe Bach, Mark Van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott
titre
Island Grammar-based Parsing using GLL and Tom
article
SLE 2012 - 5th International Conference on Software Language Engineering, Sep 2012, Dresden, Germany. pp.224-243, ⟨10.1007/978-3-642-36089-3_13⟩
DOI
DOI : 10.1007/978-3-642-36089-3_13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00722878/file/camera_ready_version.pdf BibTex
auteur
Yamine Ait Ameur, Dominique Méry
titre
Handling Heterogeneity in Formal Developments of Hardware and Software Systems
article
ISoLA - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - 2012, Tiziana Margaria and Bernhard Steffen, Oct 2012, Amirandes, Heraklion, Greece. pp.327-328, ⟨10.1007/978-3-642-34032-1_33⟩
DOI
DOI : 10.1007/978-3-642-34032-1_33
Accès au bibtex
BibTex
auteur
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux
titre
Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
article
VALID'12 - 4th International Conference on Advances in System Testing and Validation Lifecycle - 2012, Nov 2012, Lisbon, Portugal. pp.139--144
Accès au bibtex
BibTex
auteur
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
titre
Unification modulo Synchronous Distributivity
article
IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning), Jun 2012, Manchester, United Kingdom. pp.14--29
Accès au bibtex
BibTex
auteur
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
titre
Unification modulo Chaining
article
The 6th International Conference on Language and Automata Theory and Applications, Mar 2012, A Coruna, Spain. pp. 70--82
Accès au bibtex
BibTex
auteur
Manamiary Bruno Andriamiarina, Hayat Daoud, Mostefa Belarbi, Dominique Méry, Camel Tanougast
titre
Formal Verification of Fault Tolerant NoC-based Architecture
article
First International Workshop on Mathematics and Computer Science (IWMCS2012), Mostefa BELARBI - University of Tiaret - Algeria, Dec 2012, Tiaret, Algeria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763092/file/iwmcsv5.pdf BibTex
auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
titre
Revisiting Snapshot Algorithms by Refinement-based Techniques
article
PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00734131/file/pdcat2012v14.pdf BibTex
auteur
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuellar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Modersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigano
titre
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
article
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Mar 2012, Tallinn, Estonia. pp.267-282, ⟨10.1007/978-3-642-28756-5_19⟩
DOI
DOI : 10.1007/978-3-642-28756-5_19
Accès au bibtex
BibTex
auteur
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
titre
Towards the Orchestration of Secured Services under Non-disclosure Policies.
article
6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. pp.130-145, ⟨10.1007/978-3-642-33704-8_12⟩
DOI
DOI : 10.1007/978-3-642-33704-8_12
Accès au bibtex
BibTex
auteur
Jean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel
titre
Tom-based tools to transform EMF models in avionics context
article
ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00730738/file/final_version.pdf BibTex
auteur
Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel
titre
Model Transformations with Tom
article
LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646350/file/camera_ready_version-without_final_copyright.pdf BibTex
auteur
Hoang Bao Thien, Abdessamad Imine
titre
On the Polling Problem for Social Networks
article
International Conference On Principles Of DIstributed Systems (OPODIS), Dec 2012, Rome, Italy
Accès au bibtex
BibTex
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
titre
Abstraction-based Malware Analysis Using Rewriting and Model Checking
article
ESORICS - 17th European Symposium on Research in Computer Security - 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩
DOI
DOI : 10.1007/978-3-642-33167-1
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00762252/file/esorics-definitif.pdf BibTex
auteur
Ricardo Bedin França, Sandrine Blazy, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris
titre
Formally verified optimizing compilation in ACG-based flight control software
article
ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00653367/file/erts2012.pdf BibTex
auteur
David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi
titre
Measuring Vote Privacy, Revisited.
article
19th ACM Conference on Computer and Communications Security (CCS'12), Oct 2012, Raleigh, United States
Accès au bibtex
BibTex
auteur
Jasmin Blanchette, Andrei Popescu, Daniel Wand, Christoph Weidenbach
titre
More SPASS with Isabelle -- Superposition with Hard Sorts and Configurable Simplification
article
Interactive Theorem Proving (ITP 2012), Aug 2012, Princeton, New Jersey, United States. pp.345-360
Accès au bibtex
BibTex
auteur
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
titre
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
article
Bernhard Gramlich and Dale Miller and Uli Sattler. 6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. Springer, 7364, pp.67-81, 2012, 〈10.1007/978-3-642-31365-3_8〉
DOI
DOI : 10.1007/978-3-642-31365-3_8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00687640/file/main.pdf BibTex
auteur
Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Bernet Julien, David Rouillard
titre
TASCCC - Project and Testing Tool (poster and demo)
article
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241
Accès au bibtex
BibTex
auteur
Joan Calvet, José Fernandez, Jean-Yves Marion
titre
Aligot: cryptographic function identification in obfuscated binary programs
article
ACM Conference on Computer and Communications Security, Oct 2012, Raleigh, United States. pp.169-182
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00762924/file/fp008-calvet.pdf BibTex
auteur
Rohit Chadha, Stefan Ciobaca, Steve Kremer
titre
Automated verification of equivalence properties of cryptographic protocols
article
21th European Symposium on Programming (ESOP'12), Mar 2012, Talinn, Estonia. pp.108-127, ⟨10.1007/978-3-642-28869-2_6⟩
DOI
DOI : 10.1007/978-3-642-28869-2_6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00732905/file/CCK-esop12.pdf BibTex
auteur
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
titre
Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis
article
SAC 2012, 27-th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.1284-1291, ⟨10.1145/2245276.2231980⟩
DOI
DOI : 10.1145/2245276.2231980
Accès au bibtex
BibTex
auteur
Cyril Cohen
titre
Construction of real algebraic numbers in Coq
article
ITP - 3rd International Conference on Interactive Theorem Proving - 2012, Aug 2012, Princeton, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00671809/file/main.pdf BibTex
auteur
Cyril Cohen
titre
Construction des nombres algébriques réels en Coq
article
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00665965/file/paper_11.pdf BibTex
auteur
Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
titre
Security proof with dishonest keys
article
1st International Conference on Principles of Security and Trust (POST'12), Mar 2012, Tallinn, Estonia. pp.149--168, ⟨10.1007/978-3-642-28641-4_9⟩
DOI
DOI : 10.1007/978-3-642-28641-4_9
Accès au bibtex
BibTex
auteur
Véronique Cortier, Graham Steel, Cyrille Wiedling
titre
Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices
article
19th ACM Conference on Computer and Communications Security (CCS'12), Oct 2012, Raleigh, United States
Accès au bibtex
BibTex
auteur
Véronique Cortier, Cyrille Wiedling
titre
A formal analysis of the Norwegian E-voting protocol
article
1st International Conference on Principles of Security and Trust (POST'12), Mar 2012, Tallinn, Estonia. pp.109--128, ⟨10.1007/978-3-642-28641-4_7⟩
DOI
DOI : 10.1007/978-3-642-28641-4_7
Accès au bibtex
BibTex
auteur
Véronique Cortier, Jan Degrieck, Stéphanie Delaune
titre
Analysing routing protocols: four nodes topologies are sufficient
article
1st International Conference on Principles of Security and Trust (POST'12), Mar 2012, Tallinn, Estonia. pp.30--50, ⟨10.1007/978-3-642-28641-4_3⟩
DOI
DOI : 10.1007/978-3-642-28641-4_3
Accès au bibtex
BibTex
auteur
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
titre
TLA+ Proofs
article
18th International Symposium On Formal Methods - FM 2012, Aug 2012, Paris, France. pp.147-154, ⟨10.1007/978-3-642-32759-9_14⟩
DOI
DOI : 10.1007/978-3-642-32759-9_14
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726631/file/final.pdf BibTex
auteur
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
titre
TLA+ Proofs
article
AI meets Formal Software Development, Jul 2012, Dagstuhl, Germany. 16 p
Accès au bibtex
BibTex
auteur
Julien Cretin, Didier Rémy
titre
On the Power of Coercion Abstraction
article
POPL 2012: 39th ACM SIGPLAN-SIGACT Symposium on Principle Of Programming Languages, ACM, Jan 2012, Philadelphia, United States. ⟨10.1145/2103656.2103699⟩
DOI
DOI : 10.1145/2103656.2103699
Accès au bibtex
BibTex
auteur
David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin
titre
SMT solvers for Rodin
article
ABZ - Third International Conference on Abstract State Machines, Alloy, B, VDM, and Z - 2012, Jun 2012, Pisa, Italy. pp.194-207, ⟨10.1007/978-3-642-30885-7_14⟩
DOI
DOI : 10.1007/978-3-642-30885-7_14
Accès au bibtex
BibTex
auteur
Stéphanie Delaune, Steve Kremer, Daniel Pasaila
titre
Security protocols, constraint systems, and group theories
article
6th International Joint Conference on Automated Reasoning (IJCAR'12), Jun 2012, Manchester, United Kingdom. pp.164-178, ⟨10.1007/978-3-642-31365-3_15⟩
DOI
DOI : 10.1007/978-3-642-31365-3_15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00729091/file/CKP-ijcar12.pdf BibTex
auteur
Damien Doligez, Mathieu Jaume, Renaud Rioboo
titre
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment
article
PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Jun 2012, Beijing, China. ⟨10.1145/2336717.2336726⟩
DOI
DOI : 10.1145/2336717.2336726
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00773654/file/DJR.pdf BibTex
auteur
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
titre
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion
article
European Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. ⟨10.1007/978-3-642-33167-1_26⟩
DOI
DOI : 10.1007/978-3-642-33167-1_26
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338037/file/esorics2012.pdf BibTex
auteur
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
titre
A Formal Taxonomy of Privacy in Voting Protocols
article
First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩
DOI
DOI : 10.1109/ICC.2012.6364938
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338064/file/sfcs2012.pdf BibTex
auteur
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet
titre
Grammar-Based Testing using Realistic Domains in PHP
article
IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. pp.509-518, ⟨10.1109/ICST.2012.136⟩
DOI
DOI : 10.1109/ICST.2012.136
Accès au bibtex
BibTex
auteur
Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach
titre
Automatic Generation of Invariants for Circular Derivations in SUP(LA)
article
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. pp.197-211
Accès au bibtex
BibTex
auteur
Pascal Fontaine, Stephan Merz, Christoph Weidenbach
titre
Combination of disjoint theories: beyond decidability
article
IJCAR - 6th International Joint Conference on Automated Reasoning - 2012, Jun 2012, Manchester, United Kingdom. pp.256-270, ⟨10.1007/978-3-642-31365-3_21⟩
DOI
DOI : 10.1007/978-3-642-31365-3_21
Accès au bibtex
BibTex
auteur
Elizabeta Fourneret, Fabrice Bouquet, Martin Ochoa, Jan Jürjens, Sven Wenzel
titre
Vérification et Test pour des systèmes évolutifs
article
AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.150--164
Accès au bibtex
BibTex
auteur
Jacques Garrigue, Didier Rémy
titre
Tracing ambiguity in GADT type inference
article
ACM SIGPLAN Workshop on ML, Sep 2012, copenhagen, Denmark
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01093845/file/Garrigue-Remy%3Agadts%40ml2012.pdf BibTex
auteur
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
titre
Transformation of SysML structure diagrams to VHDL-AMS
article
dMEMS - 2nd Workshop on design, control and software implementation for distributed MEMS - 2012, Apr 2012, Besançon, France. pp.74-81, ⟨10.1109/dMEMS.2012.12⟩
DOI
DOI : 10.1109/dMEMS.2012.12
Accès au bibtex
BibTex
auteur
Hatem Ghabri, Ghazi Maatoug, Michael Rusinowitch
titre
Compiling symbolic attacks to protocol implementation tests
article
Fourth International Symposium on Symbolic Computation in Software Science, Adel Bouhoula and Tetsuo Ida and Fairouz Kamareddine, Dec 2012, Tunis, Tunisia. ⟨10.4204/EPTCS.122.4⟩
DOI
DOI : 10.4204/EPTCS.122.4
Accès au bibtex
BibTex
auteur
Alain Giorgetti, Valerio Senni
titre
Specification and Validation of Algorithms Generating Planar Lehman Words
article
GASCom 2012 - 8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00753008/file/GS12.pdf BibTex
auteur
Bruno Guillaume, Guillaume Bonfante, Paul Masson, Mathieu Morey, Guy Perrier
titre
Grew : un outil de réécriture de graphes pour le TAL
article
12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12), ATALA, Jun 2012, Grenoble, France. pp.1-2
Accès au bibtex
BibTex
auteur
Pierre-Cyrille Heam, Vincent Hugot, Olga Kouchnarenko
titre
From Linear Temporal Logic Properties to Rewrite Propositions
article
IJCAR - International Joint Conference on Automated Reasonning 2012, Jun 2012, Manchester, United Kingdom. pp.316-331, ⟨10.1007/978-3-642-31365-3_25⟩
DOI
DOI : 10.1007/978-3-642-31365-3_25
Accès au bibtex
BibTex
auteur
Pierre-Cyrille Heam, Vincent Hugot, Olga Kouchnarenko
titre
On Positive TAGED with a Bounded Number of Constraints
article
CIAA - 17th International Conference on Implementation and Application of Automata 2012, Jul 2012, Porto, Portugal. pp.329-336, ⟨10.1007/978-3-642-31606-7_29⟩
DOI
DOI : 10.1007/978-3-642-31606-7_29
Accès au bibtex
BibTex
auteur
Amira Henaien, Sorin Stratulat
titre
Performing Implicit Induction Reasoning with Certifying Proof Environments
article
SCSS'2012 - 4th International Symposium on Symbolic Computation in Software Science, Dec 2012, Gammarth, Tunisia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00764909/file/document.pdf BibTex
auteur
Mathieu Hoyrup
titre
The dimension of ergodic random sequences
article
STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.567-576
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606457/file/paperbiblio.pdf BibTex
auteur
Jacques-Henri Jourdan, François Pottier, Xavier Leroy
titre
Validating LR(1) Parsers
article
ESOP 2012 - Programming Languages and Systems - 21st European Symposium on Programming, Mar 2012, Tallinn, Estonia. pp.397-416, ⟨10.1007/978-3-642-28869-2_20⟩
DOI
DOI : 10.1007/978-3-642-28869-2_20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01077321/file/validated-parser.pdf BibTex
auteur
Chantal Keller, Marc Lasson
titre
Parametricity in an Impredicative Sort
article
CSL - 26th International Workshop/21st Annual Conference of the EACSL - 2012, Sep 2012, Fontainebleau, France. pp.381-395, ⟨10.4230/LIPIcs.CSL.2012.399⟩
DOI
DOI : 10.4230/LIPIcs.CSL.2012.399
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00730913/file/paramath.pdf BibTex
auteur
Chantal Keller, Marc Lasson
titre
The Refined Calculus of Inductive Construction: Parametricity and Abstraction
article
LICS - 27th Annual IEEE Symposium on Logic in Computer Science - 2012, Jun 2012, Dubrovnik, Croatia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00757620/file/paramath.pdf BibTex
auteur
Chantal Keller, Jérémy Bluteau, Renaud Blanch, Sabine Coquillart
titre
Pseudo-Weight: Making Tabletop Interaction with Virtual Objects More Tangible
article
Proceedings of the 2012 ACM international conference on Interactive Tabletops and Surfaces (ITS 2012), 2012, Cambridge, MA, United States. pp.201-204, ⟨10.1145/2396636.2451335⟩
DOI
DOI : 10.1145/2396636.2451335
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00953336/file/ITS12-PseudoWeight-Keller.pdf BibTex
auteur
Xavier Leroy
titre
Mechanized Semantics for Compiler Verification
article
APLAS 2012 - 10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.386-388, ⟨10.1007/978-3-642-35182-2_27⟩
DOI
DOI : 10.1007/978-3-642-35182-2_27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01079337/file/mechanized-semantics-aplas-cpp-2012.pdf BibTex
auteur
Tianxiang Lu, Stephan Merz, Christoph Weidenbach
titre
Formal Verification Of Pastry Using TLA+
article
International Workshop on the TLA+ Method and Tools, Aug 2012, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00768812/file/paper.pdf BibTex
auteur
Houari Mahfoud, Abdessamad Imine
titre
On Securely Manipulating XML Data
article
Conférence des Bases de Données Avancées (BDA 2012), Oct 2012, Clermont-Ferrand, France
Accès au bibtex
BibTex
auteur
Houari Mahfoud, Abdessamad Imine
titre
On Securely Manipulating XML Data
article
5th International Symposium on Foundations & Practice of Security - FPS 2012, Oct 2012, Montréal, Canada
Accès au bibtex
BibTex
auteur
Houari Mahfoud, Abdessamad Imine
titre
A General Approach for Securely Updating XML Data
article
International Workshop on the Web and Databases (WebDB 2012), May 2012, Scottsdale, United States
Accès au bibtex
BibTex
auteur
Houari Mahfoud, Abdessamad Imine
titre
Secure querying of recursive XML views: a standard xpath-based technique
article
The World Wide Web Conference (WWW 2012), Apr 2012, Lyon, France. pp.575-576, ⟨10.1145/2187980.2188134⟩
DOI
DOI : 10.1145/2187980.2188134
Accès au bibtex
BibTex
auteur
Yoann Maurel, André Bottaro, Radu Kopetz, Koutheir Attouchi
titre
Adaptive Monitoring of End-user OSGi-based Home Boxes
article
Component Based Software Engineering, Jun 2012, Bertinoro, Italy. pp.Pages 157-166, ⟨10.1145/2304736.2304763⟩
DOI
DOI : 10.1145/2304736.2304763
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Critical systems development methodology using formal techniques
article
3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩
DOI
DOI : 10.1145/2350716.2350720
Accès au bibtex
BibTex
auteur
Stephan Merz, Hernán Vanzetto
titre
Automatic Verification Of TLA+ Proof Obligations With SMT Solvers
article
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Mar 2012, Mérida, Venezuela. pp.289-303, ⟨10.1007/978-3-642-28717-6_23⟩
DOI
DOI : 10.1007/978-3-642-28717-6_23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760570/file/tla2smt.pdf BibTex
auteur
Stephan Merz, Hernán Vanzetto
titre
Harnessing SMT Solvers for TLA+ Proofs
article
12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Sep 2012, Bamberg, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760579/file/avocs2012.pdf BibTex
auteur
Jonathan Protzenko, François Pottier
titre
Programming with permissions: the Mezzo language
article
ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01092204/file/extended-abstract.pdf BibTex
auteur
Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy
titre
A mechanized semantics for C++ object construction and destruction, with applications to resource management
article
POPL '12 - 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2012, Philadelphia, PA, United States. pp.521-532, 2012, 〈10.1145/2103656.2103718〉
DOI
DOI : 10.1145/2103656.2103718
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00674663/file/cpp-construction.pdf BibTex
auteur
Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Quintero Alejandro
titre
On Consistency of Operational Transformation Approach
article
INFINITY 2012 - 14th International Workshop on Verification of Infinite-State Systems, Aug 2012, Paris, France. pp.1-15
Accès au bibtex
BibTex
auteur
Valentin Robert, Xavier Leroy
titre
A formally-verified alias analysis
article
CPP 2012 - Second International Conference on Certified Programs and Proofs, Dec 2012, Kyoto, Japan. pp.11-26, ⟨10.1007/978-3-642-35308-6_5⟩
DOI
DOI : 10.1007/978-3-642-35308-6_5
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00773109/file/alias-analysis.pdf BibTex
auteur
Fanny Rome, Guillaume Adam, Johan Condette, Frédéric Dehais, Mickael Causse
titre
Go-around manoeuver: a simulation study
article
30EAAP 2012, Sep 2012, Villasimius, Italy. pp. 1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01402298/file/Rome_16200.pdf BibTex
auteur
Gabriel Scherer, Didier Rémy
titre
GADT meet subtyping
article
ACM SIGPLAN Workshop on ML, Aug 2012, Copenhague, Denmark
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01093940/file/scherer_remy_gadts_variance_ml_workshop_extended_abstract.pdf BibTex
auteur
Gabriel Scherer, Didier Rémy
titre
GADTs Meet Subtyping
article
ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01093816/file/Scherer-Remy%3Agadts-subtyping%40ml2012.pdf BibTex
auteur
Sorin Stratulat
titre
A Unified View of Induction Reasoning for First-Order Logic
article
Turing-100, The Alan Turing Centenary Conference, Jun 2012, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763236/file/document-poster.pdf BibTex
auteur
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
titre
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
article
32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩
DOI
DOI : 10.1109/ICDCSW.2012.72
Accès au bibtex
BibTex
auteur
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella
titre
Nouveaux mécanismes de filtrage de tests basés sur le modèle
article
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
Accès au bibtex
BibTex
auteur
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella
titre
Model-Based Filtering of Combinatorial Test Suites
article
FASE 2012 - International Conference on Fundamental Aspects of Software Engineering, Mar 2012, Tallinn, Estonia. pp.439-454, ⟨10.1007/978-3-642-28872-2_30⟩
DOI
DOI : 10.1007/978-3-642-28872-2_30
Accès au bibtex
BibTex
auteur
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
titre
A Rule-Based Framework for Building Superposition-Based Decision Procedures
article
Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. pp.221-239, ⟨10.1007/978-3-642-34005-5_12⟩
DOI
DOI : 10.1007/978-3-642-34005-5_12
Accès au bibtex
BibTex
auteur
Dana N. Xu
titre
Hybrid contract checking via symbolic simplification
article
PEPM'12: ACM workshop on Partial evaluation and program manipulation, Jan 2012, Philadelphia, United States. pp.107-116, ⟨10.1145/2103746.2103767⟩
DOI
DOI : 10.1145/2103746.2103767
Accès au bibtex
BibTex
auteur
B. Yang, W. Belkhir, R.N. Dhara, A. Giorgetti, M. Lenczner
titre
Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures
article
d Software Implementation for Distributed MEMS - dMEMS 2012, Apr 2012, Besançon, France. pp.82-89, ⟨10.1109/dMEMS.2012.14⟩
DOI
DOI : 10.1109/dMEMS.2012.14
Accès au bibtex
BibTex
auteur
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
titre
Traduction de B événementiel en C pour la validation par la simulation
article
Approches Formelles dans l'Assistance au Développement de Logiciels 2012 - AFADL 2012, Jan 2012, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00650955/file/afadl2012_version_finale.pdf BibTex
auteur
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
titre
The Case for Using Simulation to Validate Event-B Specifications
article
APSEC2012 - The 19th Asia-Pacific Software Engineering Conference, The University of Hong Kong, Dec 2012, Hongkong, China. pp.85-90, ⟨10.1109/APSEC.2012.66⟩
DOI
DOI : 10.1109/APSEC.2012.66
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00772812/file/Yang-Jacquot-Souquieres-98.pdf BibTex

Book sections

2012

auteur
Didier Fass
titre
Augmented Human Engineering: A Theoretical and Experimental Approach to Human Systems Integration
article
Boris Cogan. Systems Engineering - Practice and Theory, InTech Open Access Publisher, pp.257-276, 2012, Computer and Information Science - "Numerical Analysis and Scientific Computing", 978-953-51-0322-6. ⟨10.5772/2121⟩
DOI
DOI : 10.5772/2121
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00744225/file/InTech-Augmented_human_engineering_a_theoretical_and_experimental_approach_to_human_systems_integration.pdf BibTex
auteur
Didier Fass, Francis Janot
titre
Le corps d'une " prophétesse " ?
article
FLORENCE CALAMENT - RICARDO EICHMANN - CHRISTOPHE VENDRIES. Le luth dans l'Égypte byzantine. La tombe de la " Prophétesse d'Antinoé " au Musée de Grenoble, Verlag Marie Leidorf GmbH * Rahden/Westf., pp.190, 2012, DEUTSCHES ARCHÄOLOGISCHES INSTITUT ORIENT-ABTEILUNG Orient-Archäologie Band 26, ISBN 978-3-86757-656-3
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00744977/file/grenoblefin.pdf BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Medical Protocol Diagnosis Using Formal Methods
article
Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems, 7151, Springer Berlin Heidelberg, pp.1-20, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_1⟩
DOI
DOI : 10.1007/978-3-642-32355-3_1
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
article
Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems}, 7151, Springer Berlin Heidelberg, pp.140-159, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_9⟩
DOI
DOI : 10.1007/978-3-642-32355-3_9
Accès au bibtex
BibTex

Directions of work or proceedings

2012

auteur
Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
titre
Alan Turing
article
Jack Copeland; Didier Galmiche; Dominique Larchey-Wendling; Joseph Vidal-Rosset. France. 2012, 9782841746033 ⟨http://www.cairn.info/revue-philosophia-scientiae-2012-3.htm⟩
Accès au bibtex
BibTex

Master thesis

2012

auteur
Martin Bromberger
titre
Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic
article
Logic in Computer Science [cs.LO]. 2012
Accès au bibtex
BibTex

Books

2012

auteur
Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset
titre
Special issue of Philosophia Scientiae - Alan Turing
article
16 (3), 2012
Accès au bibtex
BibTex
auteur
Dimitra Giannakopoulou, Dominique Méry
titre
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
article
Dimitra Giannakopoulou and Dominique Méry. Springer, 7436, pp.488, 2012, LNCS - Lecture Notes in Computer Science, 978-3-642-32758-2. ⟨10.1007/978-3-642-32759-9⟩
DOI
DOI : 10.1007/978-3-642-32759-9
Accès au bibtex
BibTex

Reports

2012

auteur
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
titre
Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
article
[Research Report] RR-8017, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00719011/file/fullver.pdf BibTex
auteur
Hoang Bao Thien, Abdessamad Imine
titre
On the Polling Problem for Social Networks
article
[Research Report] RR-8055, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00727599/file/main.pdf BibTex
auteur
Guillaume Bonfante, Virgile Mogbil
titre
A circuit uniformity sharper than DLogTime
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00701420/file/unif_preprintLIPN12.pdf BibTex
auteur
Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer
titre
Automated Verification of Equivalence Properties of Cryptographic Protocols
article
[Technical Report] Inria. 2012
DOI
DOI : 10.1007/978-3-642-28869-2_6
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00632564/file/equivalence.pdf BibTex
auteur
Yannick Chevalier, Mounira Kourjieh
titre
Automated Synthesis of a Finite Complexity Ordering for Saturation
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00675954/file/Paper.pdf BibTex
auteur
Véronique Cortier, Graham Steel, Cyrille Wiedling
titre
Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices
article
[Research Report] RR-7949, INRIA. 2012, pp.41
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00721945/file/RR-7949.pdf BibTex
auteur
Henri Debrat, Stephan Merz
titre
Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model
article
[Research Report] 2012
Accès au bibtex
BibTex
auteur
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
titre
Formal Verification of e-Auction Protocols
article
[Technical Report] TR-2012-17, VERIMAG. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338031/file/TR-2012-17.pdf BibTex
auteur
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
titre
On Unique Decomposition of Processes in the Applied π-Calculus
article
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338012/file/TR-2012-3.pdf BibTex
auteur
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
titre
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion
article
[Research Report] VERIMAG. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338039/file/TR-2012-2.pdf BibTex
auteur
Jean-Marc Dupont, Romain Lieber, Gérard Morel, Dominique Méry, Fabien Bouffaron
titre
Spécification d'un Processus Technico-Physiologique de Perception de Fermeture et Verrouillage d'un capot moteur en situation de maintenance aéronautique
article
2012
Accès au bibtex
BibTex
auteur
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
titre
Two simulations about DPLL(T)
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00690044/file/Main.pdf BibTex
auteur
Gregor Gössler, Dana Xu, Alain Girault
titre
Probabilistic Contracts for Component-based Design
article
[Research Report] RR-7328, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00507785/file/RR-7328.pdf BibTex
auteur
Mathieu Hoyrup
titre
On the inversion of computable functions
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00735681/file/draft.pdf BibTex
auteur
Xavier Leroy, Andrew Appel, Sandrine Blazy, Gordon Stewart
titre
The CompCert Memory Model, Version 2
article
[Research Report] RR-7987, INRIA. 2012, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00703441/file/RR-7987.pdf BibTex
auteur
Houari Mahfoud, Abdessamad Imine
titre
A General Approach for Securely Querying and Updating XML Data
article
[Research Report] RR-7870, INRIA. 2012, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00664975/file/RR-7870.pdf BibTex
auteur
Jean-Yves Marion, Romain Péchoux
titre
Complexity Information Flow in a Multi-threaded Imperative Language
article
[Research Report] 2012, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684026/file/hulotte.pdf BibTex
auteur
Stephan Merz
titre
Stuttering Equivalence
article
[Research Report] 2012
Accès au bibtex
BibTex
auteur
Gabriel Scherer, Didier Rémy
titre
GADT meet Subtyping
article
[Research Report] RR-8114, INRIA. 2012, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00744292/file/RR-8114.pdf BibTex
auteur
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
titre
Automatic Decidability for Theories Modulo Integer Offsets
article
[Research Report] RR-8139, INRIA. 2012, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00753896/file/8139.pdf BibTex

Theses

2012

auteur
Sabina Akhtar
titre
Formal Verification of Distributed Algorithms using PlusCal-2
article
Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0014⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01749162/file/ThA_se-Sabina_AKHTAR.pdf BibTex
auteur
Asma Cherif
titre
Access Control Models for Collaborative Applications
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0217⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01749620/file/report.pdf BibTex
auteur
Cyril Cohen
titre
Formalized algebraic numbers: construction and first-order theory.
article
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/pastel-00780446/file/main.pdf BibTex
auteur
Nicolas Pouillard
titre
Namely, Painless: A unifying approach to safe programming with first-order syntax with binders
article
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00759059/file/PhD-thesis-latest.pdf BibTex
auteur
Tahina Ramananandro
titre
Mechanized Formal Semantics and Verified Compilation for C++ Objects
article
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English. ⟨NNT : 2012PA077001⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00769044/file/PhD-Ramananandro.pdf BibTex
auteur
Cláudia Tavares
titre
A type system for embedded rewriting programming
article
Software Engineering [cs.SE]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0015⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01749159/file/ClaudiaTavares-These.pdf BibTex

Preprints, Working Papers, ...

2012

auteur
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
titre
Simulating the DPLL(T ) procedure in a sequent calculus with focusing
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00690392/file/MainHal.pdf BibTex
auteur
Florent Jacquemard, Michaël Rusinowitch
titre
Rewrite Closure and CF Hedge Automata
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00752496/file/CFHA.pdf BibTex
auteur
Steve Kremer, Robert Kunnemann, Graham Steel
titre
Universally Composable Key-Management
article
This is the full version of the paper. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00686535/file/uc_keymanagement.pdf BibTex