MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Pascal Raymond – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Recognizing Regular Expressions by means of Dataflow Networks
by Pascal Raymond — 1996 — In proc. of the 23rd International Colloquium on Automata, Languages, and Programming, (ICALP'96
…Recognizing Regular Expressions by means of Dataflow Networks Pascal Raymond email: Pascal.Raymond…
Cited by 15 (1 self) – Add To MetaCart

BDDC v2 A basic bdd-based logical calculator
by Pascal Raymond Http, Pascal Raymond
…BDDC v2 A basic bdd-based logical calculator Pascal RAYMOND http://www-verimag.imag.fr/PEOPLE/Pascal.Raymond…
Add To MetaCart

A Tutorial Of Lustre
by Nicolas Halbwachs, Pascal RAYMOND — 2001
…A TUTORIAL OF LUSTRE Nicolas HALBWACHS, Pascal RAYMOND March 16, 2001 Contents 1 Basic language 2…
Cited by 5 (0 self) – Add To MetaCart

Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing
by Nicolas Halbwachs, Pascal Raymond — 1999 — In ASIAN’99, Asian Computing Science Conference
… ? Nicolas Halbwachs, Pascal Raymond fNicolas.Halbwachs,Pascal.Raymondg@(email omitted); V'erimag ?? , Grenoble…
Cited by 5 (2 self) – Add To MetaCart

Synchronous Programming ∗
by Paul Caspi, Stavros Tripakis, Pascal Raymond
… Pascal Raymond CNRS, Verimag Laboratory ‡ CNRS/Verimag and Cadence Berkeley Labs § September 11, 2006…
Add To MetaCart

Dynamic Partitioning in Analyses of Numerical Properties
by Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond — 1999 — In SAS
…, Pascal Raymond fBertrand.Jeannet,Nicolas.Halbwachs,Pascal.Raymondg@(email omitted); V'erimag ?? , Grenoble…
Cited by 18 (4 self) – Add To MetaCart

From Discrete Duration Calculus to Symbolic Automata
by Laure Gonnord, Nicolas Halbwachs, Pascal Raymond — 2004
… Nicolas Halbwachs 3 Pascal Raymond 4 Abstract Vérimag Grenoble, France 1 The goal of this paper…
Cited by 2 (0 self) – Add To MetaCart

Multiparty Communication Complexity of Finite Monoids
by Jean-François Raymond, Pascal Tesson, Denis Thérien — In Birget et al
…Multiparty Communication Complexity of Finite Monoids Jean-Francois Raymond Pascal Tesson Denis Th…
Cited by 1 (0 self) – Add To MetaCart

Counter-example generation in symbolic abstract model-checking
by Gordon Pace, Nicolas Halbwachs, Pascal Raymond, Grenoble France — 2001 — In 6th International Workshop on Formal Methods for Industrial Critical Systems
…, and Pascal Raymond ∗ Vérimag † , Grenoble — France Abstract The boundaries of model-checking have been…
Cited by 4 (0 self) – Add To MetaCart

Generating Efficient Code From Data-Flow Programs
by Nicolas Halbwachs, Pascal Raymond, Christophe Ratel — 1991 — In Third International Symposium on Programming Language Implementation and Logic Programming
…Generating Efficient Code From Data-Flow Programs Nicolas Halbwachs , Pascal Raymond IMAG - LGI…
Cited by 20 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB