Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

108 résultats
Page :
triés par
Image document

Automated Certification of Implicit Induction Proofs

 Sorin Stratulat , Vincent Demange
Certified Programs and Proofs, Dec 2011, Kenting, Taiwan
Communication dans un congrès hal-00644876v1

Analysis of Rewrite-Based Access Control Policies

 Anderson Santana de Oliveira , Claude Kirchner , Hélène Kirchner
3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States
Communication dans un congrès inria-00335088v1
Image document

Refinement types as higher order dependency pairs

 Cody Roux
RTA'11 - 22nd International Conference on Rewriting Techniques and Applications, May 2011, Novi Sad, Serbia. pp.299-312
Communication dans un congrès inria-00598567v1
Image document

Regaining Cut Admissibility in Deduction Modulo using Abstract Completion

 Guillaume Burel , Claude Kirchner
Information and Computation, 2010, 208 (2), pp.140-164. ⟨10.1016/j.ic.2009.10.005⟩
Article dans une revue inria-00132964v2

Défis 2025

 Philippe Collet , Lydie Du Bousquet , Laurence Duchien , Pierre-Etienne Moreau
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (3), pp.311-324. ⟨10.3166/TSI.34.293-306⟩
Article dans une revue hal-01345654v1
Image document

A Type System for Tom

 Claude Kirchner , Pierre-Etienne Moreau , Cláudia Tavares
Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
Communication dans un congrès inria-00426439v2
Image document

Bonnes démonstrations en déduction modulo

 Guillaume Burel
Informatique [cs]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10014⟩
Thèse tel-01748505v2
Image document

Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité

 Tony Bourdier
Logique en informatique [cs.LO]. Université Henri Poincaré - Nancy I, 2011. Français. ⟨NNT : ⟩
Thèse tel-00646401v1
Image document

Inductive Proof Search Modulo

 Fabrice Nahon , Claude Kirchner , Hélène Kirchner , Paul Brauner
Annals of Mathematics and Artificial Intelligence, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp.123-154. ⟨10.1007/s10472-009-9154-5⟩
Article dans une revue istex inria-00337380v1
Image document

Contraintes d'anti-filtrage et programmation par réécriture

 Radu Kopetz
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL045N⟩
Thèse tel-01748690v2
Image document

Strategic Computation and Deduction

 Claude Kirchner , Florent Kirchner , Helene Kirchner
Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
Chapitre d'ouvrage inria-00433745v1

Integrating Implicit Induction Proofs into Certified Proof Environments

 Sorin Stratulat
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.320-335
Communication dans un congrès inria-00525187v1
Image document

A faithful encoding of programmable strategies into term rewriting systems

 Horatiu Cirstea , Sergueï Lenglet , Pierre-Etienne Moreau
Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, ⟨10.4230/LIPIcs.RTA.2015.74⟩
Communication dans un congrès hal-01168956v1
Image document

A faithful encoding of programmable strategies into term rewriting systems

 Horatiu Cirstea , Sergueï Lenglet , Pierre-Etienne Moreau
2015
Pré-publication, Document de travail hal-01119941v1

Idée reçue : l'informatique nomade, c'est la liberté !

 Martin Quinson , Jean-Christophe Bach
Interstices, 2013
Article dans une revue hal-00794187v1
Image document

Higher-dimensional categories with finite derivation type

 Yves Guiraud , Philippe Malbos
Theory and Applications of Categories, 2009, 22 (18), pp.420-478. ⟨10.48550/arXiv.0810.1442⟩
Article dans une revue hal-00326974v2
Image document

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

 Andrés Aristizábal , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩
Communication dans un congrès hal-01335959v1
Image document

A constraint language for algebraic term based on rewriting theory

 François Prugniel , Pierre-Etienne Moreau , Horatiu Cirstea
[Research Report] 2011, pp.8
Rapport hal-00646343v1

A Java Framework for Test Data Generation

 Horatiu Cirstea , Pierre-Etienne Moreau , Emilie Balland
2015
Pré-publication, Document de travail hal-01261975v1
Image document

Automating Theories in Intuitionistic Logic

 Guillaume Burel
7th International Symposium on Frontiers of Combining Systems -FroCoS'09, Sep 2009, Trento, Italy. pp.181-197, ⟨10.1007/978-3-642-04222-5_11⟩
Communication dans un congrès inria-00395934v2
Image document

Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets

 Hejiao Huang , Helene Kirchner
2009
Pré-publication, Document de travail inria-00396952v1

Specification, analysis and transformation of security policies via rewriting techniques

 Tony Bourdier
Journal of Information Assurance and Security, 2011, 6 (5), pp.357-368
Article dans une revue inria-00525761v1

Component-based Security Policy Design with Colored Petri Nets

 Helene Kirchner , Hejiao Huang
Semantics and Algebraic Specification, Marina Lenisa, Sep 2009, Udine, Italy. pp.21-42
Communication dans un congrès inria-00433372v1

Rewrite Based Specification of Access Control Policies

 Horatiu Cirstea , Pierre-Etienne Moreau , Anderson Santana de Oliveira
3rd International Workshop on Security and Rewriting Techniques - SecReT 2008, Jun 2008, Pittsburgh, United States. pp.37-54
Communication dans un congrès inria-00335091v1
Image document

A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations

 Yohan Boichut , Pierre-Cyrille Heam
[Research Report] RR-6411, INRIA. 2008, pp.6
Rapport inria-00204579v2

TomML: A Rule Language For Structured Data

 Horatiu Cirstea , Pierre-Etienne Moreau , Antoine Reilles
International RuleML Symposium on Rule Interchange and Applications - RuleML 2009, Nov 2009, Las Vegas, United States. pp.262-271
Communication dans un congrès inria-00429229v1
Image document

Tom Manual

 Jean-Christophe Bach , Emilie Balland , Paul Brauner , Radu Kopetz , Pierre-Etienne Moreau , et al.
[Technical Report] 2009, pp.155
Rapport inria-00121885v4
Image document

Conception d'un langage dédié à l'analyse et la transformation de programmes

 Emilie Balland
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩
Thèse tel-01748507v2
Image document

Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus

 Dariusz Biernacki , Sergueï Lenglet
[Research Report] RR-8447, INRIA. 2014
Rapport hal-00926100v2
Image document

Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus

 Dariusz Biernacki , Sergueï Lenglet
Mathematical Foundations of Programming Semantics Thirtieth Conference, Jun 2014, Ithaca, United States. pp.49 - 64, ⟨10.1016/j.entcs.2014.10.004⟩
Communication dans un congrès hal-01080960v1
Page :