bibthese_en.bib

@INPROCEEDINGS{alur90a,
  author = {R. Alur and D. Dill},
  title = {Automata for modeling real-time systems},
  booktitle = {ICALP'90},
  year = 1990
}
@TECHREPORT{halbwach79,
  author = {N. Halbwachs},
  title = {D\'{e}termination automatique de relations lin\'{e}aires
		  v\'{e}rifi\'{e}es par les variables d'un programme},
  type = {Th\`{e}se de troisi\`{e}me cycle},
  institution = {University of Grenoble},
  month = MAR,
  year = 1979
}
@ARTICLE{lustre:ieee,
  author = {N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud},
  title = {The synchronous dataflow programming language Lustre},
  journal = {Proceedings of the IEEE},
  volume = {79},
  number = {9},
  pages = {1305-1320},
  month = SEP,
  year = {1991}
}
@INPROCEEDINGS{cousot78,
  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},
  address = {Tucson (Arizona)},
  month = JAN,
  year = 1978
}
@TECHREPORT{halbwachs79,
  author = {N. Halbwachs },
  title = {D\'etermination automatique de relations lin\'eaires
		  v\'erifi\'ees par les variables d'un programme},
  type = {Th\`ese de 3e cycle},
  institution = {University of Grenoble},
  month = MAR,
  year = 1979
}
@INPROCEEDINGS{cousot77,
  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,
		  POPL'77},
  address = {Los Angeles},
  month = JAN,
  year = 1977
}
@INPROCEEDINGS{lustre:plilp,
  author = {N. Halbwachs and P. Raymond and C. Ratel},
  title = {Generating Efficient Code From Data-Flow Programs},
  booktitle = {Third International Symposium on Programming Language
		  Implementation and Logic Programming},
  publisher = {LNCS 528, Springer Verlag},
  address = {Passau (Germany)},
  month = AUG,
  year = 1991
}
@ARTICLE{lesar:tse,
  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},
  pages = {785--793},
  month = SEP,
  year = 1992
}
@UNPUBLISHED{oc,
  author = {J. A. Plaice and J-B. Saint},
  title = {The Lustre-Esterel portable format},
  note = {Unpublished report, INRIA, Sophia Antipolis},
  year = 1987
}
@INPROCEEDINGS{henzinger92,
  author = { T. Henzinger and X. Nicollin and J. Sifakis and S. Yovine
		  },
  title = { Symbolic Model-Checking for Real-Time Systems },
  booktitle = { {LICS}'92 },
  year = { 1992 },
  month = JUN
}
@ARTICLE{cousot92,
  author = {P. Cousot and R. Cousot},
  title = {Abstract interpretation and application to logic
		  programs},
  journal = {Journal of Logic Programming},
  volume = {13},
  number = {1--4},
  pages = {103--179},
  year = 1992,
  note = {(Also, Research report LIX/RR/92/08, Ecole Polytechnique)}
}
@ARTICLE{chaochen91,
  author = {Z. Chaochen and C.A.R. Hoare and A.P. Ravn},
  title = {A calculus of durations},
  journal = {Information Processing Letters},
  volume = {40},
  pages = {269--276},
  year = 1991
}
@INPROCEEDINGS{polys,
  author = {N. Halbwachs},
  title = {Delay analysis in synchronous programs},
  booktitle = {Fifth Conference on Computer-Aided Verification, CAV'93},
  address = {Elounda (Greece)},
  publisher = {LNCS 697, Springer Verlag},
  month = JUL,
  year = 1993
}
@INPROCEEDINGS{amast93,
  author = {N. Halbwachs and F. Lagnier and P. Raymond},
  title = {Synchronous observers and the verification of reactive
		  systems},
  booktitle = {Third Int. Conf. on Algebraic Methodology and Software
		  Technology, AMAST'93},
  address = {Twente},
  month = JUN,
  editor = {M. Nivat and C. Rattray and T. Rus and G. Scollo},
  publisher = {Workshops in Computing, Springer Verlag},
  year = 1993
}
@INPROCEEDINGS{irigoin91,
  author = {F. Irigoin and P. Jouvelot and R. Triolet},
  title = {Semantical Interprocedural parallelization: An overview of
		  the {PIPS} Project},
  booktitle = {ACM Int. Conf. on Supercomputing, ICS'91, K\"oln},
  year = 1991
}
@ARTICLE{karr76,
  author = {M. Karr},
  title = {Affine relationships among variables of a program},
  journal = {Acta Informatica},
  volume = 6,
  pages = {133--151},
  year = 1976
}
@ARTICLE{lamport77,
  author = {L. Lamport},
  title = {Proving the correctness of multiprocess programs},
  journal = {IEEE Transactions on Software Engineering},
  volume = {SE-3},
  number = 2,
  pages = {125--143},
  year = 1977
}
@INPROCEEDINGS{graf93,
  author = {S. Graf and C. Loiseaux},
  title = {A tool for symbolic program verification and abstraction},
  booktitle = {Fifth Conference on Computer-Aided Verification, CAV'93},
  address = {Elounda (Greece)},
  publisher = {LNCS 697, Springer Verlag},
  month = JUL,
  year = 1993
}
@INPROCEEDINGS{cousot76,
  author = {P. Cousot and R. Cousot},
  title = {Static determination of dynamic properties of programs},
  booktitle = {2nd Int. Symp. on Programming},
  publisher = {Dunod, Paris},
  year = 1976
}
@ARTICLE{tcs95,
  author = {R.~Alur and C.~Courcoubetis and N.~Halbwachs and
		  T.~Henzinger and P.~Ho and X.~Nicollin and A.~Olivero and
		  J.~Sifakis and S.~Yovine},
  title = {The Algorithmic Analysis of Hybrid Systems},
  journal = {Theoretical Computer Science B},
  volume = 138,
  pages = {3--34},
  month = JAN,
  year = 1995
}
@ARTICLE{polka:fmsd:97,
  author = {N. Halbwachs and Y.E. Proy and P. Roumanoff},
  title = {Verification of real-time systems using linear relation
		  analysis},
  journal = {Formal Methods in System Design},
  year = {1997},
  month = AUG,
  volume = {11},
  number = {2},
  pages = {157--185},
  publisher = {Kluwer}
}
@ARTICLE{tarjanscc,
  author = {R. E. Tarjan},
  title = {Depth-first search and linear graph algorithms},
  journal = {SIAM Journal on Computing},
  volume = 1,
  year = 1972,
  pages = {146--160}
}
@TECHREPORT{bourdoncle:these,
  author = {F. Bourdoncle},
  title = {S\'emantique des langages imp\'eratifs d'ordre sup\'erieur
		  et interpr\'etation abstraite},
  type = {PHD Thesis},
  institution = {Ecole Polytechnique, Paris},
  year = 1992
}
@TECHREPORT{jeannet:these,
  author = {B. Jeannet},
  title = {Partitionnement dynamique dans l'analyse de relations
		  lin\'eaires et application \`a la v\'erification de
		  programmes synchrones},
  type = {PHD Thesis},
  institution = {Institut National Polytechnique, Grenoble},
  month = SEP,
  year = {2000}
}
@ARTICLE{clarke94,
  author = {E. M. Clarke and O. Grumberg and D. E. Long},
  title = {Model checking and abstraction},
  journal = {ACM TOPLAS},
  pages = {1512--1542},
  number = 5,
  volume = 16,
  year = 1994
}
@ARTICLE{hytech,
  author = {T. A. Henzinger and P.-H. Ho and H. Wong-Toi},
  title = {HyTech: A model checker for hybrid systems},
  journal = {Software Tools for Technology Transfer},
  volume = 1,
  pages = {110--122},
  year = 1997
}
@INPROCEEDINGS{bagnara03,
  author = {R. Bagnara and P. M. Hill and E. Ricci and E. Zaffanella},
  title = {Precise Widening Operators for Convex Polyhedra},
  booktitle = {Static Analysis: Proceedings of the 10th International
		  Symposium},
  address = {San Diego, California, USA},
  editor = {R. Cousot},
  publisher = {Springer-Verlag, Berlin},
  series = {Lecture Notes in Computer Science},
  volume = 2694,
  year = 2003,
  pages = {337--354},
  url = {http://www.cs.unipr.it/ppl/Documentation/BagnaraHRZ03.pdf}
}
@INPROCEEDINGS{pandya01,
  author = {P.K. Pandya},
  title = {Specifying and Deciding Quantified Discrete-time Duration
		  Calculus formulae using DCVALID},
  booktitle = {Real-Time Tools, RTTOOLS'2001},
  address = {Aalborg},
  month = AUG,
  year = 2001
}
@ARTICLE{durationcalculus,
  author = {Z. Chaochen and C.A.R. Hoare and A.P. Ravn},
  title = {A calculus of durations},
  journal = {Information Processing Letters},
  volume = 40,
  number = 5,
  year = 1991
}
@INPROCEEDINGS{boigelot94,
  author = {B. Boigelot and P. Wolper},
  title = {Symbolic Verification with Periodic Sets},
  booktitle = {CAV'94},
  publisher = {LNCS 818, Springer Verlag},
  address = {Stanford (Ca.)},
  year = 1994
}
@INPROCEEDINGS{jurski98,
  author = {H. Comon and Y. Jurski},
  title = {Multiple Counters Automata, Safety Analysis and
		  {P}resburger Arithmetic},
  booktitle = {CAV'98},
  publisher = {LNCS 1427, Springer Verlag},
  address = {Vancouver (B.C.)},
  year = 1998
}
@INPROCEEDINGS{finkel00,
  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)},
  publisher = {LNCS 1893, Springer Verlag},
  address = {Bratislava, Slovakia},
  month = AUG,
  year = 2000
}
@TECHREPORT{dea-laure,
  author = {L. Danthony-Gonnord},
  title = {Du calcul des dur\'ees aux automates symboliques},
  type = {Master Thesis},
  institution = {University of Paris VI/VII},
  month = JUN,
  year = 2003,
  note = {\url{www-verimag.imag.fr/~gonnord/papers/rapport_dea.ps}}
}
@TECHREPORT{merchat:these,
  author = {D. Merchat},
  title = {Réduction du nombre de variables en analyse de relations
		  linéaires},
  type = {PHD thesis},
  institution = {University Joseph Fourier, Grenole},
  month = MAY,
  year = 2005
}
@INPROCEEDINGS{slap04,
  author = {L. Gonnord and N. Halbwachs and P. Raymond},
  title = {From Discrete Duration Calculus to Symbolic Automata},
  booktitle = {3rd International Workshop on Synchronous Languages,
		  Applications, and Programs, SLAP'04},
  address = {Barcelona, Spain},
  month = MAR,
  year = 2004
}
@TECHREPORT{granger:these,
  author = {Ph. Granger},
  title = {Analyses sémantiques de congruence},
  type = {PhD Thesis},
  institution = {Ecole Polytechnique},
  month = JUL,
  year = 1991
}
@INPROCEEDINGS{cortadella:dcc04,
  author = {R. C. Clarisó and J. Cortadella},
  title = {Verification of parametric timed circuits using
		  octahedra},
  booktitle = {Designing correct circuits, DCC'04},
  address = {Barcelona},
  month = MAR,
  year = 2004
}
@INPROCEEDINGS{mine:ast01,
  author = {A. Min\'e},
  title = {The Octagon Abstract Domain},
  booktitle = {AST 2001 in WCRE 2001},
  series = {IEEE},
  year = {2001},
  month = {October},
  pages = {310--319},
  publisher = {IEEE CS Press}
}
@ARTICLE{motzkin,
  author = {Motzkin, Raiffa, Thompson and Thrall},
  title = {The double description method},
  year = {1953},
  journal = {Theodore S. Motzkin: Selected Papers}
}
@TECHREPORT{leroux:these,
  author = {J. Leroux},
  title = {Algorithmique de la vérification des systèmes à compteurs
		  -- Approximation et accélération -- Implémentation dans
		  l'outil {Fast}},
  type = {PhD Thesis},
  institution = {Ecole Normale Supérieure de Cachan},
  month = DEC,
  year = 2003
}
@INPROCEEDINGS{cousot-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},
  booktitle = {PLDI 2003, ACM SIGPLAN SIGSOFT Conference on Programming
		  Language Design and Implementation},
  address = {San Diego (Ca.)},
  month = JUN,
  year = 2003,
  pages = {196--207}
}
@INPROCEEDINGS{wolper-boigelot98,
  author = {P. Wolper and B. Boigelot},
  title = {Verifying Systems with Infinite but Regular State Spaces},
  booktitle = {CAV'98},
  address = {Vancouver},
  month = JUN,
  year = 1998,
  publisher = {LNCS 1427, Springer-Verlag},
  pages = {88--97}
}
@INPROCEEDINGS{fast03,
  author = {S. Bardin and A. Finkel and J. Leroux and L. Petrucci},
  title = {FAST: Fast Acceleration of Symbolic Transition Systems},
  booktitle = {CAV'03},
  address = {Boulder (Colorado)},
  month = JUL,
  year = 2003,
  publisher = {LNCS 2725, Springer-Verlag},
  pages = {118--121}
}
@INPROCEEDINGS{leroux02,
  author = {A. Finkel and J. Leroux},
  title = {How to compose {P}resburger-accelerations: Applications to
		  broadcast protocols},
  booktitle = { Proceedings of the 22nd Conf. Found. of Software
		  Technology and Theor. Comp. Sci. (FSTTCS'2002)},
  pages = {145--156},
  address = {Kanpur, India},
  month = DEC,
  year = 2002,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2556}
}
@TECHREPORT{irigoin2005,
  author = {F. Irigoin},
  title = {Detecting affine loop invariants using modular static
		  analysis},
  number = {A/367/CRI},
  institution = {Centre de Recherche en Informatique, Ecole des Mines de
		  Paris},
  month = JUL,
  year = 2005
}
@INPROCEEDINGS{wagner04,
  author = {Z. Su and D. Wagner},
  title = {A class of polynomially solvable range constraints for
		  interval analysis without widenings and narrowings},
  booktitle = {TACAS'04},
  address = {Barcelona},
  year = 2004,
  pages = {280--295}
}
@INPROCEEDINGS{ssm-sas04,
  author = {Sriram Sankaranarayanan and Henny Sipma and Zohar Manna},
  title = {Constraint-based Linear Relations Analysis},
  booktitle = {International Symposium on Static Analysis, SAS'2004},
  publisher = {LNCS 3148, Springer Verlag},
  pages = {53--68},
  year = 2004
}
@MISC{fast,
  author = {{FAST}},
  note = {\url{http://www.lsv.ens-cachan.fr/fast/}}
}
@MISC{argos,
  author = {{ARGOS}},
  note = {\url{http://www-verimag.imag.fr/~stauch/ArgosCompiler/introduction.html}}
}
@MISC{trex,
  author = {{TREX}},
  note = {\url{http://www.liafa.jussieu.fr/~sighira/trex/}}
}
@MISC{lash,
  author = {{LASH}},
  note = {\url{http://www.montefiore.ulg.ac.be/~boigelot/research/lash/}}
}
@MISC{analyseur,
  author = {{ANALYSER}},
  note = {\url{http://pop-art.inrialpes.fr/people/bjeannet/analyzer/index.html}}
}
@MISC{polka,
  author = {{NewPolka}},
  note = {\url{http://pop-art.inrialpes.fr/people/bjeannet/newpolka/index.html}}
}
@MISC{sting,
  author = {{StInG}},
  note = {\url{http://theory.stanford.edu/~srirams/Software/sting.html}}
}
@MISC{aspic,
  author = {{ASPIC}},
  note = {\url{http://www-verimag.imag.fr/~gonnord/aspic/aspic.html}}
}
@MISC{ldeuxca,
  author = {{L2CA}},
  note = {\url{http://www-verimag.imag.fr/~async/L2CA/l2ca.html}}
}
@INPROCEEDINGS{bfl-tacas04,
  address = {Barcelona, Spain},
  author = {Bardin, S{\'e}bastien and Finkel, Alain and Leroux,
		  J{\'e}r{\^o}me},
  booktitle = {{P}roceedings of the 10th {I}nternational {C}onference on
		  {T}ools and {A}lgorithms for {C}onstruction and {A}nalysis
		  of {S}ystems ({TACAS}'04)},
  editor = {Jensen, Kurt and Podelski, Andreas},
  month = MAR,
  pages = {576-590},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {{FAST}er Acceleration of Counter Automata in Practice},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BFL-tacas04.ps},
  volume = {2988},
  year = {2004}
}
@INPROCEEDINGS{fs-mfcs-2000,
  address = {Bratislava, Slovakia},
  author = {Finkel, Alain and Sutre, Gr{\'e}goire},
  booktitle = {{P}roceedings of the 25th {I}nternational {S}ymposium on
		  {M}athematical {F}undations of {C}omputer {S}cience ({MFCS}
		  2000)},
  editor = {Nielsen, Mogens and Rovan, Branislav},
  month = AUG,
  pages = {353-362},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {An Algorithm Constructing the Semilinear {P}ost* for 2-Dim
		  {R}eset{{\slash}}{T}ransfer {VASS}},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/FinSut-mfcs2000.ps},
  volume = {1893},
  year = {2000}
}
@INPROCEEDINGS{bfls05-atva,
  address = {Taipei, Taiwan, ROC},
  author = {Bardin, S{\'e}bastien and Finkel, Alain and Leroux,
		  J{\'e}r{\^o}me and Schnoebelen, {\relax Ph}ilippe},
  booktitle = {{P}roceedings of the 3rd {I}nternational {S}ymposium on
		  {A}utomated {T}echnology for {V}erification and {A}nalysis
		  ({ATVA}'05)},
  editor = {Peled, Doron A. and Tsay, Yih-Kuen},
  month = OCT,
  pages = {474-488},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Flat acceleration in symbolic model checking},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BFLS05-atva.pdf},
  volume = {3707},
  year = {2005}
}
@PHDTHESIS{bardin:these,
  author = {Bardin, S{\'e}bastien},
  month = OCT,
  school = {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS
		  Cachan, France},
  type = {PHD thesis},
  title = {Vers un model checking avec acc{\'e}l{\'e}ration plate de
		  syst{\`e}mes h{\'e}t{\'e}rog{\`e}nes},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/bardin-THESE.pdf},
  year = {2005}
}
@INPROCEEDINGS{dfv-avocs04,
  address = {London, UK},
  author = {Darlot, {\relax Ch}ristophe and Finkel, Alain and Van{
		  }Begin, Laurent},
  booktitle = {{P}roceedings of the 4th {I}nternational {W}orkshop on
		  {A}utomated {V}erification of {C}ritical {S}ystems
		  ({AVoCS}'04)},
  editor = {Huth, Michael R. A.},
  month = MAY,
  pages = {87-103},
  publisher = {Elsevier Science Publishers},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {About {F}ast and {TReX} accelerations},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DFV-avocs04.pdf},
  volume = {128},
  year = {2005}
}
@TECHREPORT{boigelot:these,
  author = {B. Boigelot},
  title = { Symbolic Methods for Exploring Infinite State Spaces},
  type = {PHD Thesis},
  institution = {University of Li\`ege},
  year = 1999
}
@INPROCEEDINGS{bw02,
  author = {Bernard Boigelot and Pierre Wolper},
  title = {Representing Arithmetic Constraints with Finite Automata:
		  An Overview},
  booktitle = {Proc. International Conference on Logic Programming
		  (ICLP)},
  series = {Lecture Notes in Computer Science},
  volume = {2401},
  address = {Copenhagen},
  month = {July},
  publisher = {Springer-Verlag},
  year = {2002},
  pages = {1--19}
}
@INPROCEEDINGS{blw03,
  author = {Bernard Boigelot and Axel Legay and Pierre Wolper},
  title = {Iterating Transducers in the Large},
  booktitle = {Proc. 15th Int. Conf. on Computer Aided Verification},
  address = {Boulder},
  series = {Lecture Notes in Computer Science},
  volume = {2725},
  month = {July},
  publisher = {Springer-Verlag},
  year = {2003},
  pages = {223--235}
}
@INPROCEEDINGS{boigelot:cav2003,
  author = {Boigelot, B. and Jodogne, S. and Herbreteau, F.},
  title = {Hybrid Acceleration using Real Vector Automata},
  booktitle = {Proc. of the 15th International Conference on Computer
		  Aided Verification},
  series = {Lecture Notes in Computer Science},
  address = {Boulder (CO, USA)},
  volume = {2725},
  pages = {193--205},
  publisher = {Springer-Verlag},
  month = JUL,
  year = {2003},
  url = {http://www.labri.fr/Perso/\~{}herbrete/publications/cav03/cav03.html}
}
@ARTICLE{bourdoncle93efficient,
  author = {F. Bourdoncle},
  title = {Efficient Chaotic Iteration Strategies with Widenings},
  journal = {Lecture Notes in Computer Science},
  volume = {735},
  pages = {128--??},
  year = {1993},
  url = {citeseer.ist.psu.edu/bourdoncle93efficient.html}
}
@INPROCEEDINGS{goubault-sas01,
  author = {Eric Goubault},
  title = {Static Analyses of the Precision of Floating-Point
		  Operations.},
  booktitle = {SAS},
  year = {2001},
  pages = {234-259}
}
@INPROCEEDINGS{policycav05,
  author = {A. Costan and S.Gaubert and E.Goubault and M.Martel and
		  S.Putot},
  title = {A Policy iteration algorithm for computing fixed points in
		  static analysis of programs},
  booktitle = {Proc. of the 17th International Conference on Computer
		  Aided Verification},
  journal = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  year = {2005}
}
@INPROCEEDINGS{bultanjournal03,
  author = {Constantinos Bartzis and Tevfik Bultan},
  title = {Efficient Symbolic Representations for Arithmetic
		  Constraints in Verification.},
  booktitle = {International Journal of Foundations of Computer Science
		  (IJFCS), special issue on Verification and Analysis of
		  Infinite State Systems},
  volume = {14.4},
  pages = {605--624},
  month = AUG,
  year = {2003}
}
@INPROCEEDINGS{policyesop07,
  author = {S. Gaubert and E. Goubault and A. Taly and S. Zennou},
  title = {Static Analysis by Policy Iteration on Relational Domains},
  booktitle = {European Symposium On Programming},
  address = {Braga (Portugal)},
  publisher = {Springer Verlag},
  month = APR,
  year = 2007
}
@INPROCEEDINGS{comon99concur,
  author = {Hubert Comon and Yan Jurski},
  title = {Timed Automata and the Theory of Real Numbers},
  booktitle = {Proc. Conf. on Concurrency theory},
  year = 1999,
  address = {Eindhoven},
  volume = {1664},
  publisher = {Springer Verlag},
  pages = {242--257},
  series = {lncs},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/ComJur-concur99.ps}
}
@PHDTHESIS{jurski99,
  author = {Jurski, Yan},
  month = OCT,
  school = {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS
		  Cachan, France},
  type = {Th{\`e}se de doctorat},
  title = {Expression de la relation binaire d'accessibilit{\'e} pour
		  les automates {\`a} compteurs plats et les automates
		  temporis{\'e}s},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/Jurski-these.ps},
  year = {1999}
}
@INPROCEEDINGS{reps06,
  author = {D. Gopan and T. Reps},
  title = {Lookahead widening},
  booktitle = {CAV'06},
  address = {Seattle},
  year = 2006
}
@INPROCEEDINGS{annichini00symbolic,
  author = {Aurore Annichini and Eugene Asarin and Ahmed Bouajjani},
  title = {Symbolic Techniques for Parametric Reasoning about Counter
		  and Clock Systems},
  booktitle = {Computer Aided Verification},
  pages = {419-434},
  year = {2000}
}
@INPROCEEDINGS{halb-gonnord-sas06,
  author = {L. Gonnord and N. Halbwachs},
  title = {Combining widening and acceleration in linear relation
		  analysis},
  booktitle = {13th International Static Analysis Symposium, SAS'06},
  address = {Seoul, Korea},
  month = AUG,
  year = 2006
}
@ARTICLE{asarin95reachability,
  author = {Eugene Asarin and Oded Maler and Amir Pnueli},
  title = {Reachability analysis of dynamical systems having
		  piecewise-constant derivatives},
  journal = {Theoretical Computer Science},
  volume = {138},
  number = {1},
  pages = {35--65},
  year = {1995},
  url = {citeseer.ist.psu.edu/asarin95reachability.html}
}
@INPROCEEDINGS{sas06-sriram,
  author = {Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter
		  and Aarti Gupta},
  title = {Constraint-based Linear Relations Analysis},
  booktitle = {International Symposium on Static Analysis, SAS'2006},
  publisher = {LNCS 4134, Springer Verlag},
  year = {2006}
}
@INPROCEEDINGS{icalp06-lakhnech,
  author = {Marius Bozga and Radu Iosif and Yassine Lakhnech},
  title = {Flat Parametric Counter Automata},
  booktitle = {ICALP (2)},
  year = {2006},
  pages = {577-588}
}
@INPROCEEDINGS{sas01-bouajjani,
  author = {A. Bouajjani and A. Collomb-Annichini and Y. Lakhnech and
		  M. Sighireanu},
  title = {Analysing Fair Parametric Extended Automata},
  booktitle = {ICALP (2)},
  year = {2006},
  pages = {577-588}
}
@INPROCEEDINGS{widen-landmarks,
  author = {Axel Simon and Andy King},
  title = {{W}idening {P}olyhedra with {L}andmarks},
  month = {November},
  year = {2006},
  pages = {166-182},
  booktitle = {Fourth Asian Symposium on Programming Languages and
		  Systems},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Verlag},
  refereed = {yes},
  volume = {4279}
}
@PROCEEDINGS{talpin99,
  editor = {Agostino Cortesi and Gilberto Fil{\'e}},
  title = {Static Analysis, 6th International Symposium, SAS '99,
		  Venice, Italy, September 22-24, 1999, Proceedings},
  booktitle = {SAS},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {1694},
  year = {1999},
  isbn = {3-540-66459-9}
}
@INPROCEEDINGS{cousotcousot92-4,
  author = {Cousot, P{.} and Cousot, R{.}},
  title = {Comparing the {G}alois Connection and Widening/Narrowing
		  Approaches to Abstract Interpretation, invited paper},
  editor = {Bruynooghe, M{.} and Wirsing, M{.}},
  pages = {269--295},
  booktitle = {Proceedings of the International Workshop Programming
		  Language Implementation and Logic Programming,
		  PLILP$\,$'92,},
  series = {Leuven, Belgium, 13--17 August 1992, Lecture Notes in
		  Computer Science 631},
  publisher = {Springer-Verlag, Berlin, Germany},
  year = 1992
}
@ARTICLE{altisen:scp06,
  title = {Aspect-oriented programming for reactive systems: Larissa,
		  a Proposal in the synchronous framework},
  author = {Karine Altisen and Florence Maraninchi and David Stauch},
  journal = {Science of Computer Programming, Special Issue on
		  Foundations of Aspect-Oriented Programming},
  editor = {Pascal Fradet and Ralf L{\"a}mmel},
  volume = 63,
  number = 3,
  pages = {297--320},
  year = 2006
}
@UNPUBLISHED{cornet-maraninchi-micmac,
  author = {J\'er\^ome Cornet and Florence Maraninchi and Laurent
		  Maillet-Contox},
  title = {Formalizing SystemC Transaction-Level Models of
		  Systems-on-Chip~: a Component-Based Approach},
  note = {Submitted ???},
  year = 2007
}
@MANUAL{systemc-ieee,
  group = {SystemC - TLM},
  note = {{\small {\tt www.systemc.org}}},
  organization = {Open SystemC Initiative},
  title = {IEEE 1666: SystemC Language Reference Manual},
  year = 2005
}
@ARTICLE{order-monoid,
  author = {William Miller},
  title = {The maximum order of an element of a finite symmetric
		  group},
  journal = {Am. Math. Monthly},
  volume = {94},
  number = {6},
  year = {1987},
  issn = {0002-9890},
  pages = {497--506},
  doi = {http://dx.doi.org/10.2307/2322839},
  publisher = {Mathematical Association of America},
  address = {Washington, DC, USA}
}
@INPROCEEDINGS{ludo-glonemo,
  author = {Ludovic Samper and Florence Maraninchi and Laurent Mounier
		  and Louis Mandel},
  title = {{GLONEMO}: Global and Accurate Formal Models for the
		  Analysis of Ad-Hoc Sensor Networks},
  booktitle = {Proceedings of the First International Conference on
		  Integrated Internet Ad hoc and Sensor Networks
		  (InterSense'06)},
  year = {2006},
  address = {Nice, France},
  month = MAY
}
@INPROCEEDINGS{bbhimv-cav06,
  address = {Seattle, Washington, USA},
  author = {Bouajjani, Ahmed and Bozga, Marius and Habermehl, Peter
		  and Iosif, Radu and Moro, Pierre and Vojnar,
		  Tom{\'a}{\v{s}}},
  booktitle = {{P}roceedings of the 18th {I}nternational {C}onference on
		  {C}omputer {A}ided {V}erification ({CAV}'06)},
  doi = {10.1007/11817963_47},
  editor = {Ball, {\relax Th}omas and Jones, Robert B.},
  month = AUG,
  pages = {517-531},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Programs with Lists Are Counter Automata},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBHIMV-cav06.pdf},
  volume = {4144},
  year = {2006}
}
@INPROCEEDINGS{swimmingpool,
  address = {Warsaw, Poland},
  author = {Fribourg, Laurent and Ols{\'e}n, Hans},
  booktitle = {{P}roceedings of the 8th {I}nternational {C}onference on
		  {C}oncurrency {T}heory ({CONCUR}'97)},
  editor = {Mazurkiewicz, Antoni W. and Winkowski, J{\'o}zef},
  month = JUL,
  pages = {213-227},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Proving Safety Properties of Infinite State Systems by
		  Compilation into {P}resburger Arithmetic},
  url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/LF-concur97.ps},
  volume = {1243},
  year = {1997}
}

This file has been generated by bibtex2html 1.85.