MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "David Lesens" – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints
by David Lesens — 1997 — In Sixth International Conference on Algebraic Methodology and Software Technology, AMAST'97
…Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints David Lesens ? VERIMAG…
Cited by 1 (1 self) – Add To MetaCart

Abstraction of Parameterized Networks
by David Lesens, Hassen Saïdi — 1997 — Infinity’97, Second International Workshop on Verification of Infinite State System, Electronic Notes in Theoretical Computer Science 9
…://www.elsevier.nl/locate/entcs/volume9.html 12 pages Abstraction of Parameterized Networks David Lesens 1 Hassen Saidi 2 VERIMAG…
Cited by 4 (0 self) – Add To MetaCart

Automatic Verification of Parameterized Networks of Processes by Abstraction
by David Lesens, Hassen Saïdi — 1997 — Electronic Notes of Theoretical Computer Science (ENTCS
…Automatic Verification of Parameterized Networks of Processes by Abstraction David Lesens…
Cited by 11 (2 self) – Add To MetaCart

Automatic Verification of Parameterized Linear Networks of Processes
by David Lesens , Nicolas Halbwachs, Pascal Raymond — 1997 — IN 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, POPL'97
…Automatic Verification of Parameterized Linear Networks of Processes David Lesens, Nicolas…
Cited by 24 (3 self) – Add To MetaCart

ABSTRACT Virtual Execution of AADL Models via a Translation into Synchronous Programs ∗
by Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
…, Salzburg, Austria. Copyright 2007 ACM 978-1-59593-825-1/07/0009 ...$5.00. David Lesens Astrium Space…
Add To MetaCart

Showing 1 through 5.

ATOM

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