Journal articles

2013

auteur
Jean-Christophe Bach
titre
Une approche hybride GPL-DSL pour transformer des modèles
article
Technique et Science Informatiques, Hermès-Lavoisier, 2013, 33 (3), pp.26. ⟨http://tsi.revuesonline.com/article.jsp?articleId=19256⟩. ⟨10.3166/tsi.33.175-201⟩
DOI
DOI : 10.3166/tsi.33.175-201
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786254/file/bachTSI2014.pdf BibTex
auteur
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
titre
YAPA: A generic tool for computing intruder knowledge
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), ⟨10.1145/2422085.2422089⟩
DOI
DOI : 10.1145/2422085.2422089
Accès au bibtex
BibTex
auteur
Alexis Bernadet, Stéphane Graham-Lengrand
titre
Non-idempotent intersection types and strong normalisation
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (4), pp.17-42
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00906778/file/Journal13.pdf BibTex
auteur
Olivier Bournez, Daniel Graça, Emmanuel Hainry
titre
Computation with perturbed dynamical systems
article
Journal of Computer and System Sciences, Elsevier, 2013, 79 (5), pp.714-724. ⟨10.1016/j.jcss.2013.01.025⟩
DOI
DOI : 10.1016/j.jcss.2013.01.025
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00643634/file/jcss13.pdf BibTex
auteur
Marc Caillet, Cécile Roisin, Jean Carrive
titre
Multimedia applications for playing with digitized theater performances
article
Multimedia Tools and Applications, Springer Verlag, 2013, ⟨10.1007/s11042-013-1651-1 ⟩
DOI
DOI : 10.1007/s11042-013-1651-1 
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00855102/file/mtapPrePrint.pdf BibTex
auteur
Vincent Cheval, Véronique Cortier, Stéphanie Delaune
titre
Deciding equivalence-based properties using constraint solving
article
Theoretical Computer Science, Elsevier, 2013, 492, pp.1-39. ⟨10.1016/j.tcs.2013.04.016⟩
DOI
DOI : 10.1016/j.tcs.2013.04.016
Accès au bibtex
BibTex
auteur
Céline Chevalier, Stéphanie Delaune, Steve Kremer, Mark D. Ryan
titre
Composition of Password-based Protocols
article
Formal Methods in System Design, Springer Verlag, 2013, 43 (3), pp.369-413. ⟨10.1007/s10703-013-0184-6⟩
DOI
DOI : 10.1007/s10703-013-0184-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00878640/file/CDKR-fmsd13.pdf BibTex
auteur
Véronique Cortier, Ben Smyth
titre
Attacking and fixing Helios: An analysis of ballot secrecy
article
Journal of Computer Security, IOS Press, 2013, 21 (1), pp.89-148. ⟨10.3233/JCS-2012-0458⟩
DOI
DOI : 10.3233/JCS-2012-0458
Accès au bibtex
BibTex
auteur
David Galindo
titre
A note on an IND-CCA2 secure Paillier-based cryptosystem
article
Information Processing Letters, Elsevier, 2013, 113 (22-24), pp.913-914. ⟨10.1016/j.ipl.2013.09.008⟩
DOI
DOI : 10.1016/j.ipl.2013.09.008
Accès au bibtex
BibTex
auteur
Didier Galmiche, Daniel Mery
titre
A Connection-based Characterization of Bi-intuitionistic Validity
article
Journal of Automated Reasoning, Springer Verlag, 2013, 51 (1), pp.3--26. ⟨10.1007/s10817-013-9279-4⟩
DOI
DOI : 10.1007/s10817-013-9279-4
Accès au bibtex
BibTex
auteur
Mathieu Hoyrup
titre
Computability of the ergodic decomposition
article
Annals of Pure and Applied Logic, Elsevier Masson, 2013, 164 (5), pp.542-549. ⟨10.1016/j.apal.2012.11.005⟩
DOI
DOI : 10.1016/j.apal.2012.11.005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00746473/file/paper.pdf BibTex
auteur
Abdessamad Imine, Michael Rusinowitch
titre
Secure Collaboration for Smartphones
article
ERCIM News, ERCIM, 2013
Accès au bibtex
BibTex
auteur
Emmanuel Jeandel, Guillaume Theyssier
titre
Subshifts as models for MSO logic
article
Information and Computation, Elsevier, 2013, pp.1-15. ⟨10.1016/j.ic.2013.01.003⟩
DOI
DOI : 10.1016/j.ic.2013.01.003
Accès au bibtex
BibTex
auteur
Emmanuel Jeandel, Pascal Vanier
titre
Turing degrees of multidimensional subshifts
article
Theoretical Computer Science, Elsevier, 2013, http://dx.doi.org/10.1016/j.tcs.2012.08.027. ⟨10.1016/j.tcs.2012.08.027⟩
DOI
DOI : 10.1016/j.tcs.2012.08.027
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00613165/file/tcs-arxiv.pdf BibTex
auteur
Emmanuel Jeandel, Pascal Vanier
titre
Characterizations of periods of multi-dimensional shifts
article
Ergodic Theory and Dynamical Systems, Cambridge University Press (CUP), 2013, FirstView, pp.1--30. ⟨10.1017/etds.2013.60⟩
DOI
DOI : 10.1017/etds.2013.60
Accès au bibtex
BibTex
auteur
Dominique Larchey-Wendling, Didier Galmiche
titre
Nondeterministic Phase Semantics and the Undecidability of Boolean BI
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), pp.6. ⟨10.1145/2422085.2422091⟩
DOI
DOI : 10.1145/2422085.2422091
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01256956/file/dlwgal_submitted.pdf BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Formal Specification of Medical Systems by Proof-Based Refinement
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 12 (1), pp.15. ⟨10.1145/2406336.2406351⟩
DOI
DOI : 10.1145/2406336.2406351
Accès au bibtex
BibTex
auteur
Gérard Morel, Jean-Marc Dupont, Romain Lieber, Fabien Bouffaron, Dominique Méry, Frédérique Mayer, Jean-Luc Marty
titre
Spécification d'exigences physico-physiologiques d'interaction homme-machine en ingénierie système
article
Génie logiciel, C & S, 2013, Mars 2013 (104), pp.29-39
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00805851/file/Specification_d_exigences_physico-physiologique_d_interaction_homme-machine_en_Ingenierie_Systeme.pdf.pdf BibTex
auteur
François Pottier
titre
Syntactic soundness proof of a type-and-capability system with hidden state
article
Journal of Functional Programming, Cambridge University Press (CUP), 2013, 23 (1), pp.38-144. ⟨10.1017/S0956796812000366⟩
DOI
DOI : 10.1017/S0956796812000366
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00877589/file/fpottier-ssphs.pdf BibTex
auteur
Martin Quinson, Jean-Christophe Bach
titre
Idée reçue : l'informatique nomade, c'est la liberté !
article
Interstices, INRIA, 2013
Accès au bibtex
BibTex
auteur
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
titre
A step-indexed Kripke Model of Hidden State
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23 (1), pp.1--54
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00772757/file/sikmhs.pdf BibTex

Conference papers

2013

auteur
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
titre
Certification of Bounds of Non-linear Functions: the Templates Method
article
Conferences on Intelligent Computer Mathematics (CICM 2013), Jul 2013, Bath, United Kingdom. pp.51-65, ⟨10.1007/978-3-642-39320-4_4⟩
DOI
DOI : 10.1007/978-3-642-39320-4_4
Accès au bibtex
https://arxiv.org/pdf/1307.3231 BibTex
auteur
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
titre
Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation
article
European Control Conference (ECC'13), Jul 2013, Zurich, Switzerland. pp.2244 - 2250
Accès au bibtex
https://arxiv.org/pdf/1307.7002 BibTex
auteur
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux
titre
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
article
ECMFA'13, 9-th European Conference on Modelling Foundations and Applications, Jul 2013, Montpellier, France. pp.134--151, ⟨10.1007/978-3-642-39013-5_10⟩
DOI
DOI : 10.1007/978-3-642-39013-5_10
Accès au bibtex
BibTex
auteur
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
titre
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
article
iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Accès au bibtex
BibTex
auteur
Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark D. Ryan
titre
Practical Everlasting Privacy
article
2nd Conferences on Principles of Security and Trust (POST'13), Mar 2013, Rome, Italy. pp.21-40, ⟨10.1007/978-3-642-36830-1_2⟩
DOI
DOI : 10.1007/978-3-642-36830-1_2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00878630/file/ACKR-post13.pdf BibTex
auteur
Carlos Areces, David Déharbe, Pascal Fontaine, Orbe Ezequiel
titre
SyMT: finding symmetries in SMT formulas
article
11th International Workshop on Satisfiability Modulo Theories - SMT, Jul 2013, Helsinki, Finland
Accès au bibtex
BibTex
auteur
Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling
titre
Analysis of an electronic Boardroom Voting System
article
VoteID'13 - 4th International Conference on e-Voting and Identity - 2013, Jul 2013, Guildford, United Kingdom. pp.109-126, ⟨10.1007/978-3-642-39185-9_7⟩
DOI
DOI : 10.1007/978-3-642-39185-9_7
Accès au bibtex
BibTex
auteur
Thibaut Balabonski
titre
Weak Optimality, and the Meaning of Sharing
article
International Conference on Functional Programming (ICFP), Sep 2013, Boston, United States. pp.263-274, ⟨10.1145/2500365.2500606⟩
DOI
DOI : 10.1145/2500365.2500606
Accès au bibtex
BibTex
auteur
Hoang Bao Thien, Abdessamad Imine
titre
On Constrained Adding Friends in Social Networks
article
SocInfo - The 5th International Conference on Social Informatics - 2013, Nov 2013, Kyoto, Japan. pp.467-477, ⟨10.1007/978-3-319-03260-3_40⟩
DOI
DOI : 10.1007/978-3-319-03260-3_40
Accès au bibtex
BibTex
auteur
Bruno Barras, Lourdes del Carmen Gonzalez Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
titre
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
article
MKM/Calculemus/DML, Jul 2013, Bath, United Kingdom. pp.359-363
Accès au bibtex
BibTex
auteur
Peter Baumgartner, Uwe Waldmann
titre
Hierarchic Superposition With Weak Abstraction
article
24th International Conference on Automated Deduction (CADE-24), Jun 2013, Lake Placid, NY, United States. pp.39-57, ⟨10.1007/978-3-642-38574-2_3⟩
DOI
DOI : 10.1007/978-3-642-38574-2_3
Accès au bibtex
BibTex
auteur
Peter Baumgartner, Uwe Waldmann
titre
Hierarchic Superposition: Completeness without Compactness
article
MACIS 2013 - Fifth International Conference on Mathematical Aspects of Computer and Information Sciences, Dec 2013, Nanning, China. pp.8-12
Accès au bibtex
BibTex
auteur
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
titre
Fresh-Variable Automata for Service Composition
article
SYNASC 2013 -15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, West University of Timisoara Department of Computer Science, Sep 2013, Timisoara, Romania
Accès au bibtex
https://arxiv.org/pdf/1302.4205 BibTex
auteur
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok
titre
Proving termination of evaluation for System F with control operators
article
COS 2013 - First Workshop on Control Operators and their Semantics, Jun 2013, Eindhoven, Netherlands. pp.15-29, ⟨10.4204/EPTCS.127.2⟩
DOI
DOI : 10.4204/EPTCS.127.2
Accès au bibtex
https://arxiv.org/pdf/1309.1261 BibTex
auteur
Dariusz Biernacki, Sergueï Lenglet
titre
Environmental Bisimulations for Delimited-Control Operators
article
APLAS - 11th Asian Symposium on Programming Languages and Systems - 2013, Dec 2013, Melbourne, Australia. pp.333-348
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903839/file/aplas.pdf BibTex
auteur
Florian Boehl, Véronique Cortier, Bogdan Warinschi
titre
Deduction Soundness: Prove One, Get Five for Free
article
CCS '13 - Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security - 2013, Nov 2013, Berlin, Germany. pp.1261-1272, ⟨10.1145/2508859.2516711⟩
DOI
DOI : 10.1145/2508859.2516711
Accès au bibtex
BibTex
auteur
Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond
titre
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic
article
Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00743090/file/article.pdf BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
titre
Analysis and Diversion of Duqu's Driver
article
Malware 2013 - 8th International Conference on Malicious and Unwanted Software, Oct 2013, Fajardo, Puerto Rico
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925517/file/malware2013.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume
titre
Non-simplifying Graph Rewriting Termination
article
TERMGRAPH, Mar 2013, Rome, Italy. pp.4-16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921053/file/termgraph.pdf BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
titre
Duqu contre Duqu : Analyse et détournement du driver de Duqu
article
SSTIC - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2013, Rennes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925184/file/SSTIC2013-Duqu-contre-Duqu-papier.pdf BibTex
auteur
Thomas Braibant, Jacques-Henri Jourdan, David Monniaux
titre
Implementing hash-consed structures in Coq
article
Interactive Theorem Proving, 4th international conference, Jul 2013, Rennes, France. pp.477-483, ⟨10.1007/978-3-642-39634-2_36⟩
DOI
DOI : 10.1007/978-3-642-39634-2_36
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00816672/file/Braibant_Jourdan_Monniaux_ITP2013.pdf BibTex
auteur
Thomas Braibant, Adam Chlipala
titre
Formal Verification of Hardware Synthesis
article
Computer Aided Verification - 25th International Conference, Jul 2013, Saint Petersburg, Russia. pp.213-228, ⟨10.1007/978-3-642-39799-8_14⟩
DOI
DOI : 10.1007/978-3-642-39799-8_14
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00776876/file/main.pdf BibTex
auteur
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha, Bilal Kanso
titre
A Compositional Automata-based Semantics for Property Patterns
article
iFM'2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.316-330, ⟨10.1007/978-3-642-38613-8_22⟩
DOI
DOI : 10.1007/978-3-642-38613-8_22
Accès au bibtex
BibTex
auteur
Christophe Calvès
titre
Unifying Nominal Unification
article
Rewriting Techniques and Applications, Eindhoven University of Technology, Jun 2013, Eindhoven, Netherlands. pp.143-157, ⟨10.4230/LIPIcs.RTA.2013.143⟩
DOI
DOI : 10.4230/LIPIcs.RTA.2013.143
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00926833/file/calves_RTA2013.pdf BibTex
auteur
David Cattanéo, Simon Perdrix
titre
Parameterized Complexity of Weak Odd Domination Problems
article
19th International Symposium on Fundamentals of Computation Theory, Aug 2013, Liverpool, United Kingdom. pp.107-120, ⟨10.1007/978-3-642-40164-0_13⟩
DOI
DOI : 10.1007/978-3-642-40164-0_13
Accès au bibtex
https://arxiv.org/pdf/1206.4081 BibTex
auteur
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
titre
Evaluating and benchmarking SPARQL query containment solvers
article
Proc. 12th International semantic web conference (ISWC), Oct 2013, Sydney, Australia. pp.408-423, ⟨10.1007/978-3-642-41338-4_26⟩
DOI
DOI : 10.1007/978-3-642-41338-4_26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00917911/file/wudagechekol2013a.pdf BibTex
auteur
Vincent Cheval, Véronique Cortier, Antoine Plet
titre
Lengths may break privacy -- or how to check for equivalences with length
article
CAV'13 - 25th International Conference on Computer Aided Verification - 2013, Jul 2013, Saint Petersbourg, Russia. pp.708-723, ⟨10.1007/978-3-642-39799-8_50⟩
DOI
DOI : 10.1007/978-3-642-39799-8_50
Accès au bibtex
BibTex
auteur
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
titre
From security protocols to pushdown automata
article
ICALP'2013 - 40th International Colloquium on Automata, Languages and Programming - 2013, Jul 2013, Riga, Lithuania. pp.137-149, ⟨10.1007/978-3-642-39212-2_15⟩
DOI
DOI : 10.1007/978-3-642-39212-2_15
Accès au bibtex
BibTex
auteur
Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
titre
Tractable inference systems: an extension with a deducibility predicate
article
CADE'24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.91-108, ⟨10.1007/978-3-642-38574-2_6⟩
DOI
DOI : 10.1007/978-3-642-38574-2_6
Accès au bibtex
BibTex
auteur
Véronique Cortier, David Galindo, Stephane Glondu, Malika Izabachène
titre
Distributed ElGamal à la Pedersen - Application to Helios
article
WPES 2013 - Proceedings of the 12th ACM workshop on privacy in the electronic society - 2013, Nov 2013, Berlin, Germany. pp.131-142, ⟨10.1145/2517840.2517852⟩
DOI
DOI : 10.1145/2517840.2517852
Accès au bibtex
BibTex
auteur
Jean-René Courtault, Didier Galmiche, Daniel Méry
titre
An Interactive Prover for Bi-intuitionistic Logic
article
Int. Workshop on the Implementation of Logics, IWIL 2013, 2013, Stellenbosch, South Africa
Accès au bibtex
BibTex
auteur
Jean-René Courtault, Didier Galmiche
titre
A Modal BI Logic for Dynamic Resource Properties
article
Int. Symposium on Logical Foundations of Computer Science, LFCS, 2013, San Diego, CA, United States. pp.134-148
Accès au bibtex
BibTex
auteur
Jean-René Courtault, Didier Galmiche
titre
A Modal Extension of Boolean BI for Resource Transformations
article
Int. Workshop on Logics for Resources, Processes and Programs, LRPP 2013, 2013, Nancy, France
Accès au bibtex
BibTex
auteur
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha
titre
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool
article
ICST 2013 - IEEE 6th International Conference on Software Testing, Verification and Validation, Yves Le Traon, Mar 2013, Luxembourg, Luxembourg. pp.431-438, ⟨10.1109/ICST.2013.60⟩
DOI
DOI : 10.1109/ICST.2013.60
Accès au bibtex
BibTex
auteur
David Déharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure
titre
Computing prime implicant
article
FMCAD - Formal Methods in Computer-Aided Design 2013, Oct 2013, Portland, United States. pp.46-52
Accès au bibtex
BibTex
auteur
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant
titre
Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps
article
IWIL - 10th International Workshop on the Implementation of Logics - 2013, Dec 2013, Stellenbosch, South Africa
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909688/file/zenon-modulo-iwil-2013.pdf BibTex
auteur
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant
titre
Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
article
LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013, Dec 2013, Stellenbosch, South Africa. pp.274-290, ⟨10.1007/978-3-642-45221-5_20⟩
DOI
DOI : 10.1007/978-3-642-45221-5_20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909784/file/Zenon-modulo-lpar-19.pdf BibTex
auteur
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
titre
Defining Verifiability in e-Auction Protocols
article
8th ACM Symposium on Information, Computer and Communications Security (AsiaCCS '13), ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩
DOI
DOI : 10.1145/2484313.2484387
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01337416/file/asiaccs2013.pdf BibTex
auteur
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
titre
Verifiability in e-Auction Protocols
article
1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338057/file/main.pdf BibTex
auteur
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
titre
On Unique Decomposition of Processes in the Applied π-Calculus
article
16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-37075-5_4⟩
DOI
DOI : 10.1007/978-3-642-37075-5_4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01338002/file/fossacs2013.pdf BibTex
auteur
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
titre
Formal Verification of e-Auction Protocols
article
International Conference on Principles of Security and Trust, POST 2013, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩
DOI
DOI : 10.1007/978-3-642-36830-1_13
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01338020/file/post2013.pdf BibTex
auteur
Alois Dreyfus, Pierre-Cyrille Heam, Olga Kouchnarenko
titre
Random Grammar-based Testing for Covering All Non-Terminals
article
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - CSTVA Workshop, Mar 2013, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909225/file/cstva.pdf BibTex
auteur
Alois Dreyfus, Pierre-Cyrille Heam, Olga Kouchnarenko
titre
Enhancing Approximations for Regular Reachability Analysis
article
CIAA 2013 - 18th International Conference on Implementation and Application of Automata - 2013, Jul 2013, Halifax, Canada. pp.331-339, ⟨10.1007/978-3-642-39274-0_29⟩
DOI
DOI : 10.1007/978-3-642-39274-0_29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909204/file/document.pdf BibTex
auteur
Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet
titre
A Constraint Solver for PHP Arrays
article
ICSTW - Sixth International IEEE Conference on Software Testing, Verification and Validation Workshops - 2013, Mar 2013, Luxembourg, Luxembourg. pp.218-223, ⟨10.1109/ICSTW.2013.80⟩
DOI
DOI : 10.1109/ICSTW.2013.80
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00909202/file/EGB13.pdf BibTex
auteur
Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen
titre
Hierarchical Combination of Unification Algorithms
article
The 27th International Workshop on Unification (UNIF 2013), Jun 2013, Eindhoven, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920509/file/Hierarchical.pdf BibTex
auteur
Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen
titre
Hierarchical Combination
article
CADE-24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.249-266, ⟨10.1007/978-3-642-38574-2_17⟩
DOI
DOI : 10.1007/978-3-642-38574-2_17
Accès au bibtex
BibTex
auteur
Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner Seiler, Thomas Sturm, Andreas Weber
titre
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
article
CASC 2013 - 15th International Workshop on Computer Algebra in Scientific Computing, Sep 2013, Berlin, Germany. pp.88-99, ⟨10.1007/978-3-319-02297-0_7⟩
DOI
DOI : 10.1007/978-3-319-02297-0_7
Accès au bibtex
BibTex
auteur
Didier Fass
titre
Putting in perspective human-machine system theory and modeling: from theoretical biology to artifacts integrative design and organization.
article
4th International Conference - DHM 2013, Held as Part of HCI International 2013, Jul 2013, Las Vegas, United States. pp.316-325, ⟨10.1007/978-3-642-39173-6_37⟩
DOI
DOI : 10.1007/978-3-642-39173-6_37
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00867070/file/FASS_HCII2013.pdf BibTex
auteur
Hugo Férée, Mathieu Hoyrup
titre
Higher-order complexity in analysis
article
CCA - 10th International Conference on Computability and Complexity in Analysis - 2013, Jul 2013, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915973/file/final.pdf BibTex
auteur
Hugo Férée, Mathieu Hoyrup, Walid Gomaa
titre
On the query complexity of real functionals
article
LICS - 28th ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. pp.103-112, ⟨10.1109/LICS.2013.15⟩
DOI
DOI : 10.1109/LICS.2013.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00773653/file/preprint.pdf BibTex
auteur
David Galindo, Srinivas Vivek
titre
A Leakage-Resilient Pairing-Based Variant of the Schnorr Signature Scheme
article
IMACC 2013 - 14th IMA International Conference Cryptography and Coding, Institute of Mathematics and its Applications, Dec 2013, Oxford, United Kingdom. pp.173-192, ⟨10.1007/978-3-642-45239-0_11⟩
DOI
DOI : 10.1007/978-3-642-45239-0_11
Accès au bibtex
BibTex
auteur
Jacques Garrigue, Didier Rémy
titre
Ambivalent Types for Principal Type Inference with GADTs
article
APLAS 2013 - 11th Asian Symposium on Programming Languages and Systems, 2013, Melbourne, Australia. pp.257-272, ⟨10.1007/978-3-319-03542-0_19⟩
DOI
DOI : 10.1007/978-3-319-03542-0_19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00914560/file/Garrigue-Remy_gadts_applas2013.pdf BibTex
auteur
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
titre
Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
article
MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development, Feb 2013, Barcelona, Spain. pp.123--128
Accès au bibtex
BibTex
auteur
Pierre Genevès, Nabil Layaïda
titre
XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible
article
22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00837765/file/p219-geneves.pdf BibTex
auteur
Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux
titre
Type-based complexity analysis for fork processes
article
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Mar 2013, Rome, Italy. pp.305-320, ⟨10.1007/978-3-642-37075-5_20⟩
DOI
DOI : 10.1007/978-3-642-37075-5_20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00755450/file/fossacs.pdf BibTex
auteur
Emmanuel Hainry, Romain Péchoux
titre
Types for controlling heap and stack in Java
article
Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00910166/file/ObjectIsBeautiful.pdf BibTex
auteur
Florent Jacquemard, Michael Rusinowitch
titre
Rewrite Closure and CF Hedge Automata
article
7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767719/file/CFHA.pdf BibTex
auteur
Florent Jacquemard, Michaël Rusinowitch
titre
Unranked Tree Rewriting and Effective Closures of Languages
article
Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00852379/file/abstract.pdf BibTex
auteur
Emmanuel Jeandel, Pascal Vanier
titre
Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type
article
30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany, Feb 2013, Kiel, Germany. ⟨10.4230/LIPIcs.STACS.2013.490⟩
DOI
DOI : 10.4230/LIPIcs.STACS.2013.490
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00690285/file/conf-arxiv.pdf BibTex
auteur
Emmanuel Jeandel, Pascal Vanier
titre
Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type
article
STACS - 30th International Symposium on Theoretical Aspects of Computer Science, Christian-Albrechts-Universität zu Kiel, Feb 2013, Kiel, Germany. pp.490--501, ⟨10.4230/LIPIcs.STACS.2013.490⟩
DOI
DOI : 10.4230/LIPIcs.STACS.2013.490
Accès au bibtex
BibTex
auteur
Ralf Karrenberg, Marek Kosta, Thomas Sturm
titre
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
article
9th International Conference Frontiers of Combining Systems (FroCos 2013), Sep 2013, Nancy, France. pp.56-70, ⟨10.1007/978-3-642-40885-4_5⟩
DOI
DOI : 10.1007/978-3-642-40885-4_5
Accès au bibtex
BibTex
auteur
Chantal Keller
titre
Extended Resolution as Certificates for Propositional Logic
article
PxTP - 3rd International Workshop on Proof Exchange for Theorem Proving - 2013, Jun 2013, Lake Placid, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00836845/file/keller-pxtp13.pdf BibTex
auteur
Marek Kosta
titre
SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages
article
Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), 2013, Nanning, China
Accès au bibtex
BibTex
auteur
Olga Kouchnarenko, Jean-Francois Weber
titre
Adapting Component-based Systems at Runtime via Policies with Temporal Patterns
article
10th International Symposium on Formal Aspect of Component Software - FACS 2013, Oct 2013, Nanchang, China
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00940682/file/facs2013_adapting.pdf BibTex
auteur
Steve Kremer, Robert Künnemann, Graham Steel
titre
Universally Composable Key-Management
article
18th European Symposium on Research in Computer Security (ESORICS'13), 2013, Egham, United Kingdom. ⟨10.1007/978-3-642-40203-6_19⟩
DOI
DOI : 10.1007/978-3-642-40203-6_19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00878632/file/KKS-esorics13.pdf BibTex
auteur
Daniel Leivant, Jean-Yves Marion
titre
Evolving graph-structures and their implicit computational complexity
article
ICALP, Jul 2013, RIGA, Latvia. pp.349-360
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00939484/file/LeivantMarion.pdf BibTex
auteur
Jacques Lemordant, Thibaud Michel, Mathieu Razafinahazo
titre
Mixed Reality Browsers and Pedestrian Navigation in Augmented Cities
article
The Graphical Web Conference, Oct 2013, San Francisco, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00872721/file/MRBAugmentedCity2.pdf BibTex
auteur
Etienne Mabille, Marc Boyer, Loic Féjoz, Stephan Merz
titre
Certifying Network Calculus in a Proof Assistant
article
EUCASS - 5th European Conference for Aeronautics and Space Sciences, Astrium and Technische Universität München, Jul 2013, Munich, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00904817/file/submission.pdf BibTex
auteur
Etienne Mabille, Marc Boyer, Loic Féjoz, Stephan Merz
titre
Towards Certifying Network Calculus
article
ITP - 4th International Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.484-489, ⟨10.1007/978-3-642-39634-2_37⟩
DOI
DOI : 10.1007/978-3-642-39634-2_37
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00904796/file/final.pdf BibTex
auteur
Houari Mahfoud, Abdessamad Imine, Michael Rusinowitch
titre
SVMAX: a system for secure and valid manipulation of XML data
article
IDEAS'13 Proceedings of the 17th International Database Engineering & Applications Symposium, Oct 2013, Barcelone, Spain. ⟨10.1145/2513591.2513657⟩
DOI
DOI : 10.1145/2513591.2513657
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Ideal Mode Selection of a Cardiac Pacing System
article
4th International Conference - Digital Human Modeling and applications in Health, Safety, Ergonomics and Risk Management - DHM 2013 (HCI International 2013), Jul 2013, Las Vegas, United States. pp.258-267, ⟨10.1007/978-3-642-39173-6_31⟩
DOI
DOI : 10.1007/978-3-642-39173-6_31
Accès au bibtex
BibTex
auteur
Dominique Méry, Monahan Rosemary
titre
Transforming EVENT B Models into Verified C# Implementations
article
VPT 2013 - First International Workshop on Verification and Program Transformation, Alexei Lisitsa and Andrei Nemytykh, Jul 2013, Saint Petersburg, Russia. pp.57-73
Accès au bibtex
BibTex
auteur
Dominique Méry, Mike Poppleton
titre
Formal Modelling and Verification of Population Protocols
article
iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Accès au bibtex
BibTex
auteur
Romain Péchoux
titre
Bounding Reactions in the Pi-calculus using Interpretations
article
Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00910170/file/R.pdf BibTex
auteur
François Pottier, Jonathan Protzenko
titre
Programming with permissions in Mezzo
article
ICFP - The 18th ACM SIGPLAN International Conference on Functional Programming - 2013, Sep 2013, Boston, United States. pp.173-184, ⟨10.1145/2500365.2500598⟩
DOI
DOI : 10.1145/2500365.2500598
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00877590/file/pottier-protzenko-mezzo.pdf BibTex
auteur
Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Quintero Alejandro
titre
Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors
article
FMICS 2013 - 18th International Workshop on Formal Methods for Industrial Critical Systems, Sep 2013, Madrid, Spain. pp.184-198, ⟨10.1007/978-3-642-41010-9_13⟩
DOI
DOI : 10.1007/978-3-642-41010-9_13
Accès au bibtex
BibTex
auteur
Michael Rusinowitch
titre
Automated verification of security protocols and application to services
article
Verification and Evaluation of Computer and Communication Systems, Alessandro Fantechi, University of Florence, Italy, Nov 2013, Florence, Italy
Accès au bibtex
BibTex
auteur
Gabriel Scherer, Jan Hoffmann
titre
Tracking Data-Flow with Open Closure Types
article
LPAR- 19th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Dec 2013, Stellenbosch, South Africa. pp.710-726
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911656/file/closures.pdf BibTex
auteur
Gabriel Scherer, Didier Rémy
titre
GADTs meet subtyping
article
ESOP 2013 - 22nd European Symposium on Programming, Mar 2013, Rome, Italy. pp.554-573, ⟨10.1007/978-3-642-37036-6⟩
DOI
DOI : 10.1007/978-3-642-37036-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00772993/file/esop.pdf BibTex
auteur
Mohammed Tounsi, Mohammed Mosbah, Dominique Méry
titre
From Event-B Specifications to Programs for Distributed Algorithms
article
WETICE 2013: 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises., Jun 2013, Hammamet, Tunisia. ⟨10.1109/WETICE.2013.44⟩
DOI
DOI : 10.1109/WETICE.2013.44
Accès au bibtex
BibTex
auteur
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
titre
Automatic Decidability for Theories with Counting Operators
article
Automated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920496/file/TushkanovaRGK-ADDCT13.pdf BibTex
auteur
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
titre
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
article
RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.303-318, ⟨10.4230/LIPIcs.RTA.2013.303⟩
DOI
DOI : 10.4230/LIPIcs.RTA.2013.303
Accès au bibtex
BibTex
auteur
Laurent Vigneron
titre
Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France
Accès au bibtex
BibTex
auteur
Faqing Yang, Jean-Pierre Jacquot
titre
JeB : un environnement de simulation en JavaScript pour B événementiel
article
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Apr 2013, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00908037/file/yang-afadl2013.pdf BibTex
auteur
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières
titre
JeB: Safe Simulation of Event-B Models in JavaScript
article
The 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00908056/file/apsec2013-final.pdf BibTex

Book sections

2013

auteur
Nabil Layaïda, Cécile Roisin
titre
Le temps dans les documents -- Langage SMIL
article
Les Techniques de l'Ingénieur. Représentation et traitement des documents numériques, H7228, Les Techniques de l'Ingénieur, 2013, TIB312DUO
Accès au bibtex
BibTex
auteur
Dominique Méry, Neeraj Kumar Singh
titre
Event B
article
Jean-Louis Boulanger. Mise en oeuvre de la méthode B, HERMES, 2013, Informatique et Systèmes d'Informations, ISBN : 978-2-7462-3810-7
Accès au bibtex
BibTex

Directions of work or proceedings

2013

auteur
Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder
titre
Formal Verification of Distributed Algorithms
article
Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. 3, Dagstuhl, pp.16, 2013, Dagstuhl Reports, ⟨10.4230/DagRep.3.4.1⟩
DOI
DOI : 10.4230/DagRep.3.4.1
Accès au bibtex
BibTex
auteur
Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
titre
Frontiers of Combining Systems
article
Pascal Fontaine and Christophe Ringeissen and Renate Schmidt. 8152, Springer, pp.359, 2013, Lecture Notes in Artificial Intelligence, 978-3-642-40884-7
Accès au bibtex
BibTex
auteur
Didier Galmiche, Dominique Larchey-Wendling
titre
22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods
article
Didier Galmiche and Dominique Larchey-Wendling Nancy, France. 2013, Lecture Notes in Artificial Intelligence 8123
Accès au bibtex
BibTex

Habilitation à diriger des recherches

2013

auteur
Nabil Layaïda
titre
Representation and Analyses of Web Content and Processing
article
Web. Université de Grenoble, 2013
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00872752/file/Nabil-Layaida-HDR.pdf BibTex

Other publications

2013

auteur
Véronique Cortier, David Galindo, Stephane Glondu, Malika Izabachène
titre
A generic construction for voting correctness at minimum cost - Application to Helios
article
2013
Accès au bibtex
BibTex
auteur
Alois Dreyfus, Pierre-Cyrille Heam, Olga Kouchnarenko, Catherine Masson
titre
A Random Testing Approach Using Pushdown Automata
article
2013
Accès au bibtex
BibTex
auteur
Emmanuel Hainry, Romain Péchoux
titre
Type-based heap and stack space analysis in Java
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00773141/file/ObjectIsBeautiful.pdf BibTex

Reports

2013

auteur
Umut Acar, Arthur Charguéraud, Stefan Muller, Mike Rainey
titre
Atomic Read-Modify-Write Operations are Unnecessary for Shared-Memory Work Stealing
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00910130/file/main.pdf BibTex
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
titre
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00803412/file/pondere-hal.pdf BibTex
auteur
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
titre
From security protocols to pushdown automata
article
[Research Report] RR-8290, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00817230/file/RR-8290.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Plassmann's table of quarter-squares (1933)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880838/file/plassmann1933doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Ulbrich's table of factors (1791-1800)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880839/file/ulbrich1800doc1.pdf https://hal.inria.fr/hal-00880839/file/ulbrich1800doc2.pdf https://hal.inria.fr/hal-00880839/file/ulbrich1800doc3.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Lifchitz's table of primes (1971)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880841/file/lifchitz1971doc2.pdf https://hal.inria.fr/hal-00880841/file/lifchitz1971doc1.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Joncourt's table of triangular numbers (1762)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880843/file/joncourt1762doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Bojko's table of quarter-squares (1909)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880837/file/bojko1909doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Centnerschwer's table of quarter-squares (1825)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880833/file/centnerschwer1825doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Goldberg's table of factors (1862)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880840/file/goldberg1862doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Magini's Tabula tetragonica (1592)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880844/file/magini1592doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Ludolfs's Tetragonometria tabularia (1690)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880845/file/ludolf1690doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Schiereck's table of squares (1827)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880846/file/schiereck1827doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Bürger's table of quarter-squares (1817)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880832/file/buerger1817doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Laundy's table of quarter-squares (1856)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880835/file/laundy1856doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Herwart's table of multiplication (1610)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880842/file/herwart1610doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Shortrede's traverse tables (1864)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880847/file/shortrede1864doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Voisin's table of quarter-squares (1817)
article
[Research Report] 2013, pp.133
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00812834/file/voisin1817doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Kulik's table of multiplication (1851)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654436/file/kulik1851doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Merpaut's table of quarter-squares (1832)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880834/file/merpaut1832doc.pdf BibTex
auteur
Denis Roegel
titre
A reconstruction of Blater's table of quarter-squares (1887)
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00880836/file/blater1887doc.pdf BibTex
auteur
Antoine Rousseau, Aurélie Darnaud, Brice Goglin, Céline Acharian, Christine Leininger, Christophe Godin, Clarisse Holik, Claude Kirchner, Diane Rives, Elodie Darquie, Erwan Kerrien, Fabrice Neyret, Florent Masseglia, Florian Dufour, Gérard Berry, Gilles Dowek, Hélène Robak, Hélène Xypas, Irina Illina, Isabelle Gnaedig, Joanna Jongwane, Jocelyne Ehrel, Laurent Viennot, Laure Guion, Lisette Calderan, Lola Kovacic, Marie Collin, Marie-Agnès Enard, Marie-Hélène Comte, Martin Quinson, Martine Olivi, Mathieu Giraud, Mathilde Dorémus, Mia Ogouchi, Muriel Droin, Nathalie Lacaux, Nicolas Rougier, Nicolas Roussel, Pascal Guitton, Pierre Peterlongo, Rose-Marie Cornus, Simon Vandermeersch, Sophie Maheo, Sylvain Lefebvre, Sylvie Boldo, Thierry Viéville, Véronique Poirel, Aline Chabreuil, Arnaud Fischer, Claude Farge, Claude Vadel, Isabelle Astic, Jean-Pierre Dumont, Loic Féjoz, Patrick Rambert, Pierre Paradinas, Sophie de Quatrebarbes, Stéphane Laurent
titre
Médiation Scientifique : une facette de nos métiers de la recherche
article
[Interne] none. 2013, pp.34
Accès au bibtex
BibTex
auteur
Gabriel Scherer, Jan Hoffmann
titre
Tracking Data-Flow with Open Closure Types
article
[Research Report] RR-8345, INRIA. 2013, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00851658/file/RR-8345.pdf BibTex

Theses

2013

auteur
Kalou Cabrera Castillos
titre
Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux
article
Génie logiciel [cs.SE]. Université de Franche-Comté, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00924485/file/These.pdf BibTex
auteur
Joan Calvet
titre
Analyse Dynamique de Logiciels Malveillants
article
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0083⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01750369/file/Document_UDL.pdf BibTex
auteur
Jérome Cantenot
titre
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes
article
Génie logiciel [cs.SE]. Université de Franche-Comté, 2013. Français
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01094360/file/master.pdf BibTex
auteur
Chantal Keller
titre
A Matter of Trust: Skeptical Communication Between Coq and External Provers
article
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/pastel-00838322/file/thesis-keller.pdf BibTex
auteur
Elena Tushkanova
titre
Schematic calculi for the analysis of decision procedures
article
Other [cs.OH]. Université de Franche-Comté, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00910929/file/Manuscrit_These_Tushkanova.pdf BibTex
auteur
Faqing Yang
titre
A Simulation Framework for the Validation of Event-B Specifications
article
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01750224/file/DDOC_T_2013_0158_YANG.pdf BibTex

Preprints, Working Papers, ...

2013

auteur
Alexis Ballier, Emmanuel Jeandel
titre
Structuring multi-dimensional subshifts
article
2013
Accès au bibtex
https://arxiv.org/pdf/1309.6289 BibTex
auteur
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
titre
Guarded Variable Automata over Infinite Alphabets
article
2013
Accès au bibtex
https://arxiv.org/pdf/1304.6297 BibTex
auteur
Dariusz Biernacki, Sergueï Lenglet
titre
Environmental Bisimulations for Delimited-Control Operators
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00862189/file/aplasLong.pdf BibTex
auteur
Jacques Garrigue, Didier Rémy
titre
Ambivalent Types for Principal Type Inference with GADTs (extended version)
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00914493/file/Garrigue-Remy_gadts_long2013.pdf BibTex
auteur
Armaël Guéneau, François Pottier, Jonathan Protzenko
titre
The ins and outs of iteration in Mezzo
article
2013
Accès au bibtex
https://arxiv.org/pdf/1311.7256 BibTex
auteur
Jonathan Protzenko
titre
Illustrating the Mezzo programming language
article
2013
Accès au bibtex
https://arxiv.org/pdf/1311.6929 BibTex