@INPROCEEDINGS{BFLS-avis06,
AUTHOR = {Bardin, S{\'e}bastien and Finkel, Alain and Lozes,
{\'E}tienne and Sangnier, Arnaud},
BOOKTITLE = {{P}roceedings of the 5th {I}nternational {W}orkshop on
{A}utomated {V}erification of {I}nfinite-{S}tate {S}ystems
({AVIS}'06)},
TITLE = {From Pointer Systems to Counter Systems Using Shape
Analysis},
YEAR = {2006}
}
@INPROCEEDINGS{BBHIMV-cav06,
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)},
PAGES = {517-531},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Programs with Lists Are Counter Automata},
VOLUME = {4144},
YEAR = {2006}
}
@INPROCEEDINGS{BHRV-sas06,
AUTHOR = {Bouajjani, Ahmed and Habermehl, Peter and Rogalewicz, Adam and Vojnar, Tom{\'a}{\v{s}}},
BOOKTITLE = {{P}roceedings of the 13th {I}nternational {S}ymposium {S}tatic {A}nalysis ({SAS}'06)},
PAGES = {52-70},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Abstract Regular Tree Model Checking of Complex Dynamic Data Structures},
VOLUME = {4134},
YEAR = {2006}
}
@INPROCEEDINGS{HIV-tacas06,
AUTHOR = {Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}{\v{s}}},
BOOKTITLE = {{P}roceedings of the 12th {I}nternational {C}onference on {T}ools and {A}lgorithms for {C}onstruction and {A}nalysis of {S}ystems ({TACAS}'06)},
PAGES = {350-364},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Automata-Based Verification of Programs with Tree Updates},
VOLUME = {3920},
YEAR = {2006}
}
@ARTICLE{BHRV-infinity06,
AUTHOR = {Bouajjani, Ahmed and Habermehl, Peter and Rogalewicz, Adam and Vojnar, Tom{\'a}{\v{s}}},
BOOKTITLE = {{P}roceedings of the 7th {I}nternational {W}orkshop on {V}erification of {I}nfinite {S}tate {S}ystems ({INFINITY}'05)},
NUMBER = {1},
PAGES = {37-48},
PUBLISHER = {Elsevier Science Publishers},
SERIES = {Electronic Notes in Theoretical Computer Science},
TITLE = {Abstract Regular Tree Model Checking},
VOLUME = {149},
YEAR = {2006}
}
@INPROCEEDINGS{BIL06,
AUTHOR = {M. Bozga and R. Iosif and Y. Lakhnech},
TITLE = {Flat Parametric Counter Automata},
BOOKTITLE = {{P}roceedings of the 33rd {I}nternational {C}olloquium on
{A}utomata, {L}anguages and {P}rogramming ({ICALP}'06)},
VOLUME = {4052},
PAGES = {577-588},
YEAR = 2006,
MONTH = {July},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer}
}
@INPROCEEDINGS{Brochenin&Demri&Lozes07,
AUTHOR = {R. Brochenin and S. Demri and E. Lozes},
TITLE = {Reasoning about sequences of memory states},
BOOKTITLE = {{P}roceedings of the International {S}ymposium on {L}ogical {F}oundations of {C}omputer {S}cience ({LFCS}'07)},
PAGES = {100-114},
YEAR = {2007},
VOLUME = {3634},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer}
}
@INPROCEEDINGS{BHJS-fct07,
AUTHOR = {Bouajjani, Ahmed and Habermehl, Peter and Jurski, Yan and Sighireanu, Mihaela},
BOOKTITLE = {{P}roceedings of the 16th {I}nternational {S}ymposium on {F}undamentals of {C}omputation {T}heory ({FCT}'07)},
PAGES = {1-22},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{Rewriting Systems with Data~-- {A} Framework for Reasoning About Systems with Unbounded Structures over Infinite Data Domains}},
VOLUME = {4639},
YEAR = {2007},
NOTE = {invited paper}
}
@INPROCEEDINGS{BFQ07,
AUTHOR = {Bouajjani, Ahmed and Fratani, Severine and Qadeer, Shaz},
ADDRESS = {Berlin, Germany},
TITLE = {Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {4590},
YEAR = 2007,
PAGES = {207-220},
BOOKTITLE = {{P}roceedings of the 19th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV}'07)}
}
@INPROCEEDINGS{bozga-iosif-flat-07,
AUTHOR = {Bozga, M. and Iosif, R.},
TITLE = {On flat programs with lists},
BOOKTITLE = {Proceedings of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'07)},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
PAGES = {122-136},
VOLUME = {4349},
YEAR = {2007}
}
@INPROCEEDINGS{FLS-ilc07,
AUTHOR = {Finkel, Alain and Lozes, {\'E}tienne and Sangnier, Arnaud},
BOOKTITLE = {Proceedings of the 1st International Conference on Infinity in Logic \& Computation (ILC'07)},
TITLE = {Towards Model Checking Pointer Systems},
YEAR = {2007}
}
@INPROCEEDINGS{HIRV-atva2007,
AUTHOR = {Habermehl, Peter and Iosif, Radu and Rogalewicz, Adam and Vojnar, Tom{\'a}{\v{s}}},
BOOKTITLE = {{P}roceedings of the 5th {I}nternational {S}ymposium on {A}utomated {T}echnology for {V}erification and {A}nalysis ({ATVA}'07)},
PAGES = {145-161},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{Proving Termination of Tree Manipulating Programs}},
VOLUME = {4762},
YEAR = {2007}
}
@INPROCEEDINGS{ABCHR08,
AUTHOR = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Jonathan Cederberg and
Fr{\'e}d{\'e}ric Haziza and
Ahmed Rezine},
TITLE = {Monotonic Abstraction for Programs with Dynamic Memory Heaps},
PAGES = {341-354},
BOOKTITLE = {{P}roceedings of the 20th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV}'08)},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {5123},
YEAR = {2008}
}
@INPROCEEDINGS{BDL-csl08,
AUTHOR = {Brochenin, R{\'e}mi and Demri, St{\'e}phane and Lozes,
{\'E}tienne},
BOOKTITLE = {{P}roceedings of the 16th {A}nnual {EACSL} {C}onference
on {C}omputer {S}cience {L}ogic ({CSL}'08)},
PAGES = {323-338},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {On~the Almighty Wand},
VOLUME = {5213},
YEAR = {2008}
}
@INPROCEEDINGS{bozga-ijcar-08,
AUTHOR = {Marius Bozga and
Radu Iosif and
Swann Perarnau},
TITLE = {Quantitative Separation Logic and Programs with Lists},
BOOKTITLE = {Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR'08)},
YEAR = {2008},
PAGES = {34-49},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {5195}
}
@INPROCEEDINGS{habermehl-fossacs-08,
AUTHOR = {Peter Habermehl and
Radu Iosif and
Tom{\'a}s Vojnar},
TITLE = {What Else Is Decidable about Integer Arrays?},
BOOKTITLE = {Proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures (FoSSACS'08},
YEAR = {2008},
PAGES = {474-489},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {4962}
}
@INPROCEEDINGS{habermehl-LPAR-08,
AUTHOR = {Peter Habermehl and
Radu Iosif and
Tom{\'a}s Vojnar},
TITLE = {A Logic of Singly Indexed Arrays},
BOOKTITLE = {Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasonning (LPAR'08)},
YEAR = {2008},
PAGES = {558-573},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {5330}
}
@PHDTHESIS{sangnier-phd-08,
AUTHOR = {A. Sangnier},
SCHOOL = {LSV, ENS Cachan, France},
TYPE = {Th{\`e}se de doctorat},
TITLE = {V\'erification de syst\`emes avec compteurs et pointeurs},
YEAR = {2008}
}
@INPROCEEDINGS{bansal-fossacs-09,
AUTHOR = {Kshitij Bansal and
R{\'e}mi Brochenin and
{\'E}tienne Lozes},
TITLE = {Beyond Shapes: Lists with Ordered Data},
BOOKTITLE = {Proceeedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FoSSACS'09)},
YEAR = {2009},
PAGES = {425-439},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {5504}
}
@INPROCEEDINGS{bouajjani-concur-09,
AUTHOR = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Mihaela Sighireanu},
TITLE = {A Logic-Based Framework for Reasoning about Composite Data
Structures},
BOOKTITLE = {Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)},
YEAR = {2009},
PAGES = {178-195},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {5710}
}
@INPROCEEDINGS{bozga-tacas-09,
AUTHOR = {Marius Bozga and
Codruta G\^{\i}rlea and
Radu Iosif},
TITLE = {Iterating Octagons},
BOOKTITLE = {Proceeedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of
Systems (TACAS'09) },
YEAR = {2009},
PAGES = {337-351},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {5505}
}
@ARTICLE{bozga-FI-09,
AUTHOR = {Marius Bozga and
Radu Iosif and
Yassine Lakhnech},
TITLE = {Flat Parametric Counter Automata},
JOURNAL = {Fundamenta Informaticae},
VOLUME = {91},
NUMBER = {2},
YEAR = {2009},
PAGES = {275-303}
}
@INPROCEEDINGS{bozga-cav-09,
AUTHOR = {Marius Bozga and
Peter Habermehl and
Radu Iosif and
Filip Konecn{\'y} and
Tom{\'a}s Vojnar},
TITLE = {Automatic Verification of Integer Array Programs},
BOOKTITLE = {Proceedings of the 21st International Conference on Computer Aided Verification (CAV'09)},
YEAR = {2009},
PAGES = {157-172},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {5643}
}
@ARTICLE{BDL-apal09,
AUTHOR = {Brochenin, R{\'e}mi and Demri, St{\'e}phane and Lozes,
{\'E}tienne},
JOURNAL = {Annals of Pure and Applied Logics},
NOTE = {To appear},
PUBLISHER = {Elsevier Science Publishers},
TITLE = {Reasoning about sequences of memory states},
YEAR = {2009}
}
@ARTICLE{habermehl-ai-09,
AUTHOR = { Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}{\v{s}}},
JOURNAL = {Acta Informatica},
NOTE = {To appear},
PUBLISHER = {Springer},
TITLE = {Automata-based Verification of Programs with Tree Updates},
YEAR = {2009}
}
@INPROCEEDINGS{iosif-ciaa-09,
AUTHOR = {Radu Iosif and
Adam Rogalewicz},
TITLE = {Automata-Based Termination Proofs},
BOOKTITLE = {Proceedings of the 14th International
Conference on Implementation and Application of Automata},
YEAR = {2009},
PAGES = {165-177},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {5642}
}
This file has been generated by bibtex2html 1.78