@INPROCEEDINGS{halbwachs94c,
   AUTHOR={N. Halbwachs},
   TITLE={About synchronous programming and abstract interpretation},
   BOOKTITLE={International Symposium on Static Analysis, SAS'94},
   EDITOR = {B. {LeCharlier}},
   PUBLISHER = {LNCS 864, Springer Verlag},
   ADDRESS = {Namur (belgium)},
   MONTH = {September},
   YEAR= 1994
}
@ARTICLE{lesartse,
    AUTHOR = {N. Halbwachs and F. Lagnier and C. Ratel },
    TITLE = {Programming and verifying real-time systems by means of 
             the synchronous data-flow programming language Lustre},
    JOURNAL = {IEEE Transactions on Software Engineering, 
               Special Issue on the Specification and Analysis 
               of Real-Time Systems},
    MONTH={September },
    YEAR=1992
}
@INPROCEEDINGS{jhrsas99,
AUTHOR = {B. Jeannet and N. Halbwachs and P. Raymond},
TITLE={Dynamic Partitioning in Analyses of Numerical
Properties},
BOOKTITLE={Static Analysis Symposium, SAS'99},
address={Venezia (Italy)},
month = sep,
year=1999
}

\bibitem{cousotCousot79-1}
P. Cousot and R. Cousot.
\newblock Systematic design of program analysis frameworks.
\newblock In \emph{Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT
  Symposium on Principles of Programming Languages}, pages 269--282, San
  Antonio, Texas, 1979. ACM Press, New York, NY, U.S.A.

@inproceedings{cousotCousot79-1,
   author =    {Cousot, P. and Cousot, R.},
   title =     {Systematic design of program analysis frameworks},
   pages =     {269--282},
   booktitle = {Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT 
                Symposium on Principles of Programming Languages},
   address =   {San Antonio, Texas},
   publisher = {ACM Press, New York, NY},
   year =      1979,
}


\bibitem{blanchetEtAl-PLDI03}
B{.} Blanchet, P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.}
   Min\'e, D{.} Monniaux, and X{.} Rival.  
\newblock A Static Analyzer for Large Safety-Critical Software.
\newblock \emph{Proc{.} ACM SIGPLAN 2003 Conference on Programming Language
   Design and Implementation} (PLDI'03), San Diego, California , USA, June
   7--14, 2003, pp{.} 196--207.  ACM Press, 2003.

@InProceedings{blanchetEtAl-PLDI03,
   author =    {B. Blanchet and P. Cousot and  R. Cousot and J. Feret and
                L. Mauborgne and A. Min\'e and D. Monniaux and X. Rival},
   title =     {A Static Analyzer for Large Safety-Critical Software},
   pages =     {196--207},
   booktitle = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming
                Language Design and Implementation (PLDI'03)},
   address =   {San Diego, California, USA},
   publisher = {ACM Press},
   month =     {June 7--14},
   year =      2003,
}