@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 = {Universit\'e de 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 = {Universit\'e de 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 = {Rapport non publi\'e, 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 = {(cf. Rapport de recherche 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 = {Th{\`e}se de doctorat},
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 = {Th{\`e}se de doctorat},
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 = {Universit\'es 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 = {Th{\`e}se de doctorat},
institution = {Université Joseph Fourier},
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 = {Th{\`e}se de doctorat},
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 = {Th{\`e}se de doctorat},
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 = {Th{\`e}se de doctorat},
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 = {Th{\`e}se de doctorat},
institution = {Université de 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},
url = {http://www.cs.kent.ac.uk/pubs/2006/2404},
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.