René David

Publication Activity (10 Years)

Years Active: 1976-2014
Publications (10 Years): 0

Top Topics

Reinforcement Learning

Desirable Properties

Top Venues

Log. Methods Comput. Sci.

Publications

René David, Karim Nour
About the range property for H. Log. Methods Comput. Sci. 10 (1) (2014)
René David
A short proof that adding some permutation rules to β preserves SN. Theor. Comput. Sci. 412 (11) (2011)
René David, Karim Nour
Strong normalization results by translation. Ann. Pure Appl. Log. 161 (9) (2010)
René David, Marek Zaionc
Counting proofs in propositional logic. Arch. Math. Log. 48 (2) (2009)
René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc
Some properties of random lambda terms Log. Methods Comput. Sci. 9 (1) (2009)
René David
A short proof that adding some permutation rules to beta preserves SN CoRR (2009)
René David, Marek Zaionc
Counting proofs in propositional logic CoRR (2009)
René David, Karim Nour
Strong normalization results by translation CoRR (2009)
René David
A direct proof of the confluence of combinatory strong reduction. Theor. Comput. Sci. 410 (42) (2009)
René David
A direct proof of the confluence of combinatory strong reduction CoRR (2009)
René David, Karim Nour
-Calculus with Recursive Equations on Types. TLCA (2007)
René David, Karim Nour
Arithmetical Proofs of Strong Normalization Results for Symmetric ?-calculi. Fundam. Informaticae 77 (4) (2007)
Pierre Lescanne, René David, Marek Zaionc
Preface. Electron. Notes Theor. Comput. Sci. 140 (2005)
René David, Karim Nour
Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus. TLCA (2005)
René David, Karim Nour
-calculus. Electron. Notes Theor. Comput. Sci. 140 (2005)
René David, Georges Mounier
An intuitionistic [lambda]-calculus with exceptions. J. Funct. Program. 15 (1) (2005)
René David, Christophe Raffalli
An experiment concerning mathematical proofs on computers with French undergraduate students. J. Appl. Log. 2 (2) (2004)
René David, Bruno Guillaume
-Calculus. CSL (2003)
René David, Karim Nour
A short proof of the strong normalization of classical natural deduction with disjunction. J. Symb. Log. 68 (4) (2003)
René David
Decidability results for primitive recursive algorithms. Theor. Comput. Sci. 300 (1-3) (2003)
René David, Hassane Alla
Reachability Graph for Autonomous Continuous Petri Nets. POSTA (2003)
René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel
On Using Efficient Test Sequences for BIST. VTS (2002)
René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel
Hardware Generation of Random Single Input Change Test Sequences. J. Electron. Test. 18 (2) (2002)
Arnaud Virazel, René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch
Delay Fault Testing: Choosing Between Random SIC and Random MIC Test Sequences. J. Electron. Test. 17 (3-4) (2001)
René David, Hassane Alla
On Hybrid Petri Nets. Discret. Event Dyn. Syst. 11 (1-2) (2001)
René David
On the asymptotic behaviour of primitive recursive algorithms. Theor. Comput. Sci. 266 (1-2) (2001)
René David
Normalization without reducibility. Ann. Pure Appl. Log. 107 (1-3) (2001)
René David, Walter Py
lambda mu - Calculus and Böhm's Theorem. J. Symb. Log. 66 (1) (2001)
René David, Bruno Guillaume
A lambda-calculus with explicit weakening and explicit substitution. Math. Struct. Comput. Sci. 11 (1) (2001)
René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel
On hardware generation of random single input change test sequences. ETW (2001)
René David
Computing with Böhm Trees. Fundam. Informaticae 45 (1-2) (2001)
René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel
Random Adjacent Sequences: An Efficient Solution for Logic BIST. VLSI-SOC (2001)
Moez Yeddes, Hassane Alla, René David
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems. ISCC (2000)
Arnaud Virazel, René David, Patrick Girard, Christian Landrault, Serge Pravossoudovitch
Delay fault testing: choosing between random SIC and random MIC test sequences. ETW (2000)
François Charbonnier, Hassane Alla, René David
Discrete-event dynamic systems. IEEE Trans. Control. Syst. Technol. 7 (2) (1999)
René David
Term has a Decoration. TLCA (1999)
Hassane Alla, René David
Continuous and Hybrid Petri Nets. J. Circuits Syst. Comput. 8 (1) (1998)
Hassane Alla, René David
A Modelling and Analysis Tool for Discrete Events Systems: Continuous Petri Net. Perform. Evaluation 33 (3) (1998)
René David
Test Length for Random Testing of Sequential Machines Application to RAMs. Asian Test Symposium (1997)
René David
Modeling of hybrid systems using continuous and hybrid Petri nets. PNPM (1997)
René David, Karim Nour
A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms. Theor. Comput. Sci. 180 (1-2) (1997)
René David
Grafcet: a powerful tool for specification of logic controllers. IEEE Trans. Control. Syst. Technol. 3 (3) (1995)
René David, Karim Nour
Storage Operators and Directed Lambda-Calculus. J. Symb. Log. 60 (4) (1995)
René David, Hassane Alla
Petri nets for modeling of dynamic systems: A survey. Autom. 30 (2) (1994)
René David
The Inf Function in the System F. Theor. Comput. Sci. 135 (2) (1994)
Jean Le Bail, Hassane Alla, René David
Asymptotic continuous Petri nets. Discret. Event Dyn. Syst. 2 (3-4) (1993)
Jean Le Bail, Hassane Alla, René David
Asymptotic continuous Petri nets: an efficient approximation of discrete event systems. ICRA (1992)
René David, Hassane Alla
Autonomous And Timed Continous Petri Nets. Applications and Theory of Petri Nets (1991)
René David, Kenneth Wagner
Analysis of Detection Probability and Some Applications. IEEE Trans. Computers 39 (10) (1990)
René David
Comments on "Signature Analysis for Multiple Output Circuits". IEEE Trans. Computers 39 (2) (1990)
René David, Antoine Fuentes
Fault Diagnosis of RAM's from Random Testing Experiments. IEEE Trans. Computers 39 (2) (1990)
René David, Antoine Fuentes, Bernard Courtois
Random Pattern Testing Versus Deterministic Testing of RAM's. IEEE Trans. Computers 38 (5) (1989)
Claude Terracol, René David
An aggregation method for performance evaluation of transfer lines with unreliable machines and finite buffers. ICRA (1987)
René David
Signature Analysis for Multiple-Output Circuits. IEEE Trans. Computers 35 (9) (1986)
René David
reals. Ann. Math. Log. 23 (2-3) (1982)
René David
real singleton. Ann. Math. Log. 23 (2-3) (1982)
René David
Testing by Feedback Shift Register. IEEE Trans. Computers 29 (7) (1980)
René David
A Result of Relative Consistency About the Predicate WO(delta, kappa). J. Symb. Log. 45 (3) (1980)
René David, Pascale Thévenod-Fosse
Minimal Detecting Transition Sequences: Application to Random Testing. IEEE Trans. Computers 29 (6) (1980)
René David
A Totally Self-Checking 1-Out-of-3 Checker. IEEE Trans. Computers 27 (6) (1978)
René David
Modular Design of Asynchronous Circuits Defined by Graphs. IEEE Trans. Computers 26 (8) (1977)
Pascale Thévenod-Fosse, René David
Random Testing of Memories. GI Jahrestagung (1977)
René David, Gérard Blanchet
About Random Fault Detection of Combinational Networks. IEEE Trans. Computers 25 (6) (1976)