1 files changed, 70 insertions, 0 deletions
diff --git a/doc/research.bib b/doc/research.bib
new file mode 100644
index 0000000..dcf93bc
--- /dev/null
+++ b/doc/research.bib
@@ -0,0 +1,70 @@
+
+@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,
+}