@comment{This file has been generated by Pybliographer}


@InProceedings{Cc76,
  Author         = {P. Cousot and R. Cousot},
  Title          = {Static determination of dynamic properties of programs},
  BookTitle      = {2nd International Symposium on Programming},
  Pages          = {106--130},
  Publisher      = {Dunod, Paris, France},
  year           = 1976
}

@Article{Ga76,
  Author         = {M. R. Garey and D. S. Johnson and L. J. Stockmeyer},
  Title          = {Some Simplified NP-Complete Graph Problems.},
  Journal        = {Theor. Comput. Sci.},
  Volume         = {1},
  Number         = {3},
  Pages          = {237-267},
  year           = 1976
}

@Article{Ka76,
  Author         = {M. Karr},
  Title          = {Affine Relationships Among Variables of a Program},
  Journal        = {Acta Informatica},
  Volume         = {6},
  Pages          = {133-151},
  year           = 1976
}

@InProceedings{Co77,
  Author         = {P. Cousot and R. Cousot},
  Title          = {Abstract interpretation: a unified lattice model for
                   static analysis of programs by construction or
                   approximation of fixpoints},
  BookTitle      = {4th ACM Symposium on Principles of Programming
                   Languages, POLP'77},
  Pages          = {238--252},
  Address        = {Los Angeles},
  LocalCopy      = {file:///home/mperon/commons/papers/1977/polp/co77.ps},
  month          = {january},
  year           = 1977
}

@TechReport{Pr77,
  Author         = {V.R. Pratt},
  Title          = {Two Easy Theories whose Combination is Hard},
  Institution    = {Massachusetts Institute of Technology, Cambridge},
  LocalCopy      = {file:///home/mperon/commons/papers/1977/pr77.ps},
  month          = {sep},
  year           = 1977
}

@InProceedings{Ch78,
  Author         = {P. Cousot and N. Halbwachs},
  Title          = {Automatic discovery of linear restraints among
                   variables of a program},
  BookTitle      = {5th ACM Symposium on Principles of programming
                   languages, POPL'78},
  Pages          = {84--96},
  Address        = {New York},
  location       = {Tucson, Arizona},
  year           = 1978
}

@InProceedings{La80,
  Author         = {L. Lamport},
  Title          = {The ``Hoare logic'' of concurrent programs},
  BookTitle      = {Acta informatica},
  Volume         = {14},
  Number         = {1},
  Pages          = {21--37},
  month          = {Jun},
  year           = 1980
}

@Book{Bo98,
  Author         = {R. S. Boyer and J. S. Moore},
  Title          = {A computational logic handbook},
  Publisher      = {Academic Press Professional, Inc.},
  Address        = {San Diego},
  year           = 1988
}

@InProceedings{Di89,
  Author         = {D. L. Dill},
  Title          = {Timing Assumptions and Verification of Finite-State
                   Concurrent Systems.},
  BookTitle      = {Automatic Verification Methods for Finite State
                   Systems, CAV'89},
  Volume         = {407},
  Series         = {Lecture Notes in Computer Science},
  Pages          = {197-212},
  Publisher      = {Springer-Verlag},
  year           = 1989
}

@Book{Co90,
  Author         = {T. H. Cormen and C. E. Leiserson and R. L. Rivest and
                   C. Tein},
  Title          = {Introduction to Algorithms},
  Publisher      = {The MIT Press, Cambridge, Massachusetts},
  year           = 1990
}

@Article{Bu90,
  Author         = {M. Burke},
  Title          = {An interval-based approach to exhaustive and
                   incremental interprocedural data-flow analysis},
  Journal        = {ACM Trans. Program. Lang. Syst.},
  Volume         = {12},
  Number         = {3},
  Pages          = {341--395},
  address        = {New York},
  publisher      = {ACM Press},
  year           = 1990
}

@InProceedings{Cl90,
  Author         = {J.R. Burch and E.M. Clarke and K.L. McMillan and D.L.
                   Dill and J. Hwang},
  Title          = {Symbolic Model Checking: $10^{20}$ states and beyond},
  BookTitle      = {Fifth IEEE Symposium on Logic in Computer Science,
                   Philadelphia},
  Pages          = {428--439},
  month          = {Jun},
  year           = 1990
}

@InProceedings{Co92a,
  Author         = {P. Cousot and R. Cousot},
  Title          = {Comparing the Galois Connection and Widening/Narrowing
                   Approaches to Abstract Interpretation},
  BookTitle      = {Proceedings of the International Workshop Programming
                   Language Implementation and Logic Programming, PLILP'92},
  Volume         = {631},
  Series         = {Lecture Notes in Computer Science},
  Pages          = {13--17},
  Publisher      = {Springer-Verlag},
  LocalCopy      = {file:///home/mperon/commons/papers/1992/plilp/co92a.pdf},
  month          = {Aug},
  year           = 1992
}

@PhdThesis{Bo92,
  Author         = {F. Bourdoncle},
  Title          = {Sémantiques des langages impératifs d'ordre supérieur
                   et interprétation abstraite},
  LocalCopy      = {file:///home/mperon/commons/papers/thesis/francois.bourdoncle.pdf},
  insitution     = {\'Ecole Polytechnique},
  month          = {Nov},
  year           = 1992
}

@Article{Co92c,
  Author         = {P. Cousot and R. Cousot},
  Title          = {Abstract Interpretation and Application to Logic
                   Programs},
  Journal        = {Journal of Logic Programming},
  Volume         = {13},
  Number         = {2--3},
  Pages          = {103--179},
  LocalCopy      = {file:///home/mperon/commons/papers/1992/co92c.pdf},
  year           = 1992
}

@InProceedings{Mo92,
  Author         = {H. Kuchen and F. López Fraguas and J.J. Moreno Navarro
                   and M. Rodriguez Artalejo},
  Title          = {Implementing a Lazy Functional Logic Language with
                   Disequality Constraints.},
  BookTitle      = {Joint International Confeence and Symposium on Logic
                   Programming - JICSLP'92, Washington (USA)},
  Pages          = {207-221},
  Publisher      = {The MIT Press},
  month          = {November},
  year           = 1992
}

@InProceedings{Gr93,
  Author         = {S. Graf and C. Loiseaux},
  Title          = {Program verification using abstraction compositionally},
  BookTitle      = {Joint Conference CAAP/FASE, TAPSOFT'93},
  Publisher      = {LNCS 668, Springer Verlag},
  LocalCopy      = {file:///home/mperon/commons/papers/1993/tapsoft/gr93.ps},
  year           = 1993
}

@InProceedings{Bo93,
  Author         = {F. Bourdoncle},
  Title          = {Abstract debugging of higher-order imperative
                   languages},
  BookTitle      = {ACM SIGPLAN 1993 conference on Programming language
                   design and implementation, PLDI'93},
  Pages          = {46--55},
  Address        = {New York},
  Publisher      = {ACM Press},
  LocalCopy      = {file:///home/mperon/commons/papers/1993/pldi/bo93.ps},
  year           = 1993
}

@InProceedings{Ar94,
  Author         = {P. Arenas-S\&\#225;nchez and A. Gil-Luezas and F. J.
                   L\&\#243;pez-Fraguas},
  Title          = {Combining Lazy Narrowing with Disequality Constraints},
  BookTitle      = {6th International Symposium on Programming Language
                   Implementation and Logic Programming, PLILP'94},
  Pages          = {385--399},
  Address        = {London},
  Publisher      = {Springer-Verlag},
  year           = 1994
}

@InProceedings{Bo94,
  Author         = {B. Boigelot and P. Wolper},
  Title          = {Symbolic Verification with Periodic Sets},
  BookTitle      = {CAV'94},
  Address        = {Stanford (Ca.)},
  Publisher      = {LNCS 818, Springer Verlag},
  year           = 1994
}

@Article{Cl94,
  Author         = {E. M. Clarke and O. Grumberg and D. E. Long},
  Title          = {Model checking and abstraction},
  Journal        = {ACM Trans. Program. Lang. Syst.},
  Volume         = {16},
  Number         = {5},
  Pages          = {1512--1542},
  address        = {New York},
  publisher      = {ACM Press},
  year           = 1994
}

@Article{Ve96,
  Author         = {A. Venet},
  Title          = {Abstract Cofibered Domains: Application to the Alias
                   Analysis of Untyped Programs},
  Journal        = {Lecture Notes in Computer Science},
  Volume         = {1145},
  Pages          = {366-382},
  LocalCopy      = {file:///home/mperon/commons/papers/1996/acsc/ve96.ps},
  proceedings    = {the 3rd International Symposium on Static Analysis SAS},
  year           = 1996
}

@InProceedings{Ha97,
  Author         = {W. Harvey and P. J. Stuckey},
  Title          = {A Unit Two Variable Per Inequality Integer Constraint
                   Solver for Constraint Logic Programming},
  BookTitle      = {Twentieth Australasian Computer Science Conference,
                   ACSC'97},
  Volume         = {19},
  Pages          = {102--111},
  LocalCopy      = {file:///home/mperon/commons/papers/1997/acsc/ha97.ps},
  month          = {feb},
  year           = 1997
}

@TechReport{Ha97b,
  Author         = {W. Harvey and P. J. Stuckey},
  Title          = {A Unit Two Variable Per Inequality Integer Constraint
                   Solver for Constraint Logic Programming},
  Institution    = {University of Melbourne},
  LocalCopy      = {file:///home/mperon/commons/papers/1997/ha97.ps},
  year           = 1997
}

@InProceedings{Pe98,
  Author         = {J. C. Peralta and J. P. Gallagher and H. Saglam},
  Title          = {Analysis of Imperative Programs through Analysis of
                   Constraint Logic Programs},
  BookTitle      = {5th International Symposium on Static Analysis, SAS'98},
  Pages          = {246--261},
  Address        = {London},
  Publisher      = {Springer-Verlag},
  year           = 1998
}

@InProceedings{Yo98,
  Author         = {S. Yovine},
  Title          = {Model Checking Timed Automata},
  BookTitle      = {Lectures on Embedded Systems, School on Embedded
                   Systems},
  Volume         = {1494},
  Series         = {Lecture Notes in Computer Science},
  Pages          = {114--152},
  Publisher      = {Springer-Verlag},
  month          = {oct},
  year           = 1998
}

@InProceedings{Ha99,
  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},
  LocalCopy      = {file:///home/mperon/commons/papers/1999/sas/ha99.ps},
  month          = {september},
  year           = 1999
}

@Article{La98,
  Author         = {K. G. Larsen and J. Pearson and C. Weise and Wang Yi},
  Title          = {Clock difference diagrams},
  Journal        = {Nordic J. of Computing},
  Volume         = {6},
  Number         = {3},
  Pages          = {271--298},
  issn           = {1236-6064},
  publisher      = {Publishing Association Nordic Journal of Computing},
  year           = 1999
}

@Article{Co00-vulgar,
  Author         = {P. Cousot},
  Title          = {Interprétation abstraite},
  Journal        = {Technique et science informatique},
  Volume         = {19},
  Number         = {1-2-3},
  Pages          = {155--164},
  LocalCopy      = {file:///home/mperon/commons/papers/2000/tsi/co00-vulgar.ps},
  address        = {Paris, France},
  isbn           = {2-7462-0098-8},
  month          = {jan},
  publisher      = {Hermès},
  year           = 2000
}

@InProceedings{Fi00,
  Author         = {A. Finkel and G. Sutre},
  Title          = {An algorithm constructing the semilinear post* for
                   2-dim Reset/Transfer VASS},
  BookTitle      = {25th Int. Symp. Math. Found. Comp. Sci. (MFCS'2000)},
  Address        = {Bratislava, Slovakia},
  Publisher      = {LNCS 1893, Springer Verlag},
  month          = {Aug},
  year           = 2000
}

@InCollection{Co01,
  Author         = {P. Cousot},
  Title          = {Abstract Interpretation Based Formal Methods and
                   Future Challenges, invited paper},
  BookTitle      = {``Informatics --- 10 Years Back, 10 Years Ahead''},
  Publisher      = {Springer-Verlag},
  Volume         = {2000},
  Series         = {Lecture Notes in Computer Science},
  Pages          = {138--156},
  LocalCopy      = {file:///home/mperon/commons/papers/2001/lncs/co01.ps},
  year           = 2001
}

@InProceedings{Mi01b,
  Author         = {A Min\'e},
  Title          = {A New Numerical Abstract Domain Based on
                   Difference-Bound Matrices},
  BookTitle      = {PADO II},
  Volume         = {2053},
  Series         = {LNCS},
  Pages          = {155--172},
  Publisher      = {Springer-Verlag},
  month          = {May},
  year           = 2001
}

@InProceedings{Mi01,
  Author         = {A. Min\'e},
  Title          = {The Octagon Abstract Domain},
  BookTitle      = {AST 2001 in WCRE 2001},
  Pages          = {310--319},
  Publisher      = {IEEE CS Press},
  LocalCopy      = {file:///home/mperon/commons/papers/2001/ast/mi01.ps},
  month          = {October},
  year           = 2001
}

@InProceedings{Ru02,
  Author         = {V. Rusu and E. Zinovieva and D. Clarke},
  Title          = {Verifying Invariants More Automatically},
  BookTitle      = {Third International Workshop on Verification and
                   Computational Logic, VCL'02},
  year           = 2002
}

@InProceedings{Ru02b,
  Author         = {V. Rusu},
  Title          = {Verification Using Test Generation Techniques},
  BookTitle      = {International Symposium of Formal Methods, FME'02},
  Pages          = {252--271},
  Address        = {London},
  Publisher      = {Springer-Verlag},
  year           = 2002
}

@InProceedings{Me03,
  Author         = {N. Halbwachs and D. Merchat and C. Parent-Vigouroux},
  Title          = {Cartesian factoring of polyhedra in linear relation
                   analysis},
  BookTitle      = {Static Analysis Symposium, SAS'03},
  Address        = {San Diego},
  Publisher      = {LNCS 2694, Springer Verlag},
  month          = {jun},
  year           = 2003
}

@InProceedings{Bl03,
  Author         = {B. Blanchet and P. Cousot and R. Cousot and J. Feret
                   and L. Mauborgne and A. Miné and D. Monniaux and X.
                   Rival},
  Title          = {A Static Analyzer for Large Safety-Critical Software},
  BookTitle      = {ACM SIGPLAN 2003 Conference on Programming Language
                   Design and Implementation, PLDI'03},
  Pages          = {196--207},
  Address        = {San Diego, California, USA},
  Publisher      = {ACM Press},
  LocalCopy      = {file:///home/mperon/commons/papers/2003/pldi/bl03.pdf},
  month          = {Jun},
  year           = 2003
}

@InCollection{Cl04,
  Author         = {R. Claris\'o and J. Cortadella},
  Title          = {The Octahedron Abstract Domain},
  BookTitle      = {11th Static Analysis Symposium (SAS)},
  Publisher      = {Springer-Verlag},
  Volume         = {3148},
  Series         = {Lecture Notes in Computer Science},
  Pages          = {312--327},
  LocalCopy      = {file:///home/mperon/commons/papers/2004/sas/cl04.pdf},
  month          = {aug},
  year           = 2004
}

@InProceedings{Ro04,
  Author         = {E. Rodr{\'\i}guez-Carbonell and D. Kapur},
  Title          = {An Abstract Interpretation Approach for Automatic
                   Generation of Polynomial Invariants},
  BookTitle      = {International Symposium on Static Analysis, SAS'04},
  Volume         = {3148},
  Series         = {Lecture Notes in Computer Science},
  Pages          = {280--295},
  Publisher      = {Springer-Verlag},
  year           = 2004
}

@Article{Su04,
  Author         = {Z. Su and D. Wagner},
  Title          = {A Class of Polynomially Solvable Range Constraints for
                   Interval Analysis without Widenings},
  Journal        = {Theoretical Computer Science (TCS)},
  LocalCopy      = {file:///home/mperon/commons/papers/2004/su04.ps},
  year           = 2004
}

@InProceedings{Sa05,
  Author         = {S. Sankaranarayanan and H. B. Sipma and Z. Manna},
  Title          = {Scalable Analysis of Linear Systems using Mathematical
                   Programming},
  BookTitle      = {Proc. of Verification, Model Checking and Abstract
                   Interpretation, VMCAI'05},
  Volume         = {3385},
  Series         = {lncs},
  Pages          = {21--47},
  Publisher      = {Springer-Verlag},
  month          = {jan},
  year           = 2005
}