( en | de | ru )

 

Disambiguation of "Jeannet, Bertrand"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic data mapping of signal processing applications.

, , , , , , and . ASAP, page 350-. IEEE Computer Society, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jeannet Hommers

Joachim Bertrand

Bertrand Hirl

Bertrand Gloddek

Bertrand Malmendier

 

Other publications of authors with the same name

Model-Based Test Selection for Infinite-State Reactive Systems., , and . FMCO, volume 4709 of Lecture Notes in Computer Science, page 47-69. Springer, (2006)Some Experience on the Software Engineering of Abstract Interpretation Tools.. TAPAS@SAS, volume 267 of Electronic Notes in Theoretical Computer Science, page 29-42. Elsevier, (2010)Reachability Analysis of Probabilistic Systems by Successive Refinements., , , and . PAPM-PROBMIV, volume 2165 of Lecture Notes in Computer Science, page 39-56. Springer, (2001)Reduction and Refinement Strategies for Probabilistic Analysis., , , and . PAPM-PROBMIV, volume 2399 of Lecture Notes in Computer Science, page 57-76. Springer, (2002)Preface.. TAPAS@SAS, volume 289 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2012)Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems.. Formal Methods Syst. Des., 23 (1): 5-37 (2003)A relational approach to interprocedural shape analysis., , , and . ACM Trans. Program. Lang. Syst., 32 (2): 5:1-5:52 (2010)Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues., , and . AMAST, volume 4019 of Lecture Notes in Computer Science, page 204-219. Springer, (2006)Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification., and . SAS, volume 4634 of Lecture Notes in Computer Science, page 52-68. Springer, (2007)Verification of embedded control programs., , and . ECC, page 4252-4256. IEEE, (2013)