dynamo.bib

@TECHREPORT{tr04,
  AUTHOR = {Marius Bozga and Radu Iosif and Yassine Lakhnech},
  TITLE = {Counting Aliases},
  INSTITUTION = {Verimag},
  YEAR = {2004},
  MONTH = {October},
  NUMBER = {17}
}

@INPROCEEDINGS{pepm03,
  AUTHOR = {Marius Bozga and Radu Iosif and Yassine Lakhnech},
  TITLE = {Storeless Semantics and Alias Logic},
  BOOKTITLE = {Proc. ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation},
  PUBLISHER = {ACM Press},
  PAGES = {55 - 65},
  YEAR = {2003}
}

@INPROCEEDINGS{lrpp04,
  AUTHOR = {Marius Bozga and Radu Iosif},
  TITLE = {On Model Checking Generic Topologies},
  BOOKTITLE = {Proc. LICS-ICALP Workshop on Logics for Resources, Processes and Programs (LRPP04)},
  PAGES = {73 - 87},
  YEAR = {2004}
}

@INPROCEEDINGS{sas04,
  AUTHOR = {Marius Bozga and Radu Iosif and Yassine Lakhnech},
  TITLE = {On Logics of Aliasing},
  BOOKTITLE = {Proc. 11th Intl. Static Analysis Symposium (SAS04)},
  PUBLISHER = {Springer-Verlag},
  PAGES = {344 - 360},
  YEAR = {2004}
}

@INPROCEEDINGS{fossacs05,
  AUTHOR = {Marius Bozga and Radu Iosif},
  TITLE = {On decidability with the arithmetic with addition and divisibility},
  BOOKTITLE = {Proc. Foundations of Software Science and Computation Structures (FOSSACS 2005)},
  PUBLISHER = {Springer-Verlag},
  PAGES = {425 - 439},
  YEAR = {2005}
}

@INPROCEEDINGS{vissas05,
  AUTHOR = {Marius Bozga and Radu Iosif},
  TITLE = {Quantitative Verification of Programs with Lists},
  BOOKTITLE = {Proc. NATO Workshop on Verification of Infinite-state Systems with Applications to Security (VISSAS 2005)},
  PUNLISHER = {IOS Press},
  YEAR = {2005}
}

@INPROCEEDINGS{aiool05,
  AUTHOR = {G. Salagnac and S. Yovine and D. Garbervetsky},
  TITLE = {Fast escape analysis for region-based memory management},
  BOOKTITLE = {Proceedings of Abstract Interpretation for Object-Oriented Languages, AIOOL'05},
  PUBLISHER = {To appear in ENTCS, Elsevier},
  YEAR = 2005
}

@INPROCEEDINGS{rv04,
  AUTHOR = {D. Garbervetsky and C. Nakhli and S. Yovine and H. Zorgati},
  TITLE = {Program Instrumentation and Run-Time Analysis of Scoped Memory in Java},
  BOOKTITLE = {Workshop on Runtime Verification, RV'04},
  PUBLISHER = {ENTCS 113, Elsevier},
  YEAR = 2005
}

@MISC{BGY05,
  AUTHOR = {V. Braberman and D. Garbervetsky and S. Yovine},
  TITLE = {Synthesizing parametric specifications of dynamic memory
utilization in imperative object oriented programs},
  HOWPUBLISHED = {Technical Report, submitted for publication},
  YEAR = 2005
}

@INPROCEEDINGS{bht04,
  AUTHOR = {A. Bouajjani and P. Habermehl and T. Vojnar},
  TITLE = {{Abstract Regular Model Checking}},
  BOOKTITLE = {Proceedings of CAV'04},
  PUBLISHER = {Springer},
  VOLUME = {3114},
  SERIES = {LNCS},
  YEAR = {2004}
}

@INPROCEEDINGS{ht04,
  AUTHOR = {P. Habermehl and T. Vojnar},
  TITLE = {{Regular Model Checking Using Inference of Regular Languages}},
  BOOKTITLE = {Proceedings of the 6th Infinity Workshop},
  PUBLISHER = {to appear in ENTCS},
  YEAR = {2004}
}

@INPROCEEDINGS{BT05,
  AUTHOR = {Ahmed Bouajjani and Tayssir Touili},
  TITLE = {{On Computing Reachability Sets of Process Rewrite Systems}},
  BOOKTITLE = {RTA'05},
  PUBLISHER = {LNCS},
  YEAR = 2005
}

@INPROCEEDINGS{BET04,
  AUTHOR = {A. Bouajjani and J. Esparza and T. Touili},
  TITLE = {{Reachability Analysis of Synchronised PA systems}},
  BOOKTITLE = {Proceedings of the 6th Infinity Workshop},
  PUBLISHER = {to appear in ENTCS},
  YEAR = {2004}
}

@INPROCEEDINGS{Tou05,
  AUTHOR = {T. Touili},
  TITLE = {{Dealing with communication for dynamic multithreaded recursive programs}},
  BOOKTITLE = {1st VISSAS workshop},
  NOTE = {Invited Paper},
  YEAR = {2005}
}

@INPROCEEDINGS{BHMT05,
  AUTHOR = {A. Bouajjani and P. Habermehl and P. Moro and T. Vojnar},
  TITLE = { Verifying Programs with 1-Selector-Linked Structures in Regular Model Checking},
  BOOKTITLE = {TACAS},
  YEAR = {2005},
  PUBLISHER = {Springer},
  VOLUME = {3440},
  SERIES = {LNCS}
}

@INPROCEEDINGS{am04,
  AUTHOR = {A. Bouajjani and A. Meyer},
  TITLE = {Symbolic Reachability Analysis of Higher-Order Context-Free Processes},
  BOOKTITLE = {Proceedings of the 24th Intern. Conf. on Foundations of Software Technology and Theoretical Computer Science  (FSTTCS'04)},
  PUBLISHER = {Springer},
  YEAR = {2004},
  VOLUME = {3328},
  SERIES = {LNCS}
}

@INPROCEEDINGS{alw04,
  AUTHOR = {A. Bouajjani and A. Legay and P. Wolper},
  TITLE = {Handling Liveness Properties in (omega-)Regular Model Checking},
  BOOKTITLE = {Proceedings of the 6th Intern. Workshop on Verification of Infinite-State Systems (Infinity'04)},
  YEAR = {2004},
  PUBLISHER = {to appear in ENTCS}
}

This file has been generated by bibtex2html 1.75