Publications 2005

Academic Journals

  1. F. Besson, T. de Grenier de Latour, T. Jensen. Interfaces for stack inspection. Journal of Functional Programming, 15(2):179-217, 2005. download
  2. David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu. Extracting a Data Flow Analyser in Constructive Logic. Theoretical Computer Science, 2005.
  3. David Cachera, Katell Morin-Allory. Verification of safety properties for parameterized regular systems. Trans. on Embedded Computing Systems, 4(2):228-266, 2005.

International Conferences

  1. David Cachera, Thomas Jensen, David Pichardie, Gerardo Schneider. Certified Memory Usage Analysis. In Proc\. of 13th International Symposium on Formal Methods (FM'05), Lecture Notes in Computer Science, 2005.
  2. David Cachera, Thomas Jensen, Pascal Sotin. Estimating Cache Misses with Semi-Modules and Quantitative Abstraction. In Proc. of IST-APPSEM II Workshop on Applied Semantics, 2005.
  3. A. Gotlieb, T. Denmat, B. Botella. Constraint-based test data generation in the presence of stack-directed pointers. In 20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05), 4 pages, short paper, Long Beach, CA, USA, 2005.
  4. S.D. Gouraud, A. Gotlieb. Utilisation des CHRs pour générer des cas de test fonctionnel pour la Machine Virtuelle Java Card. In Premières Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, FRANCE, 2005.
  5. Katell Morin-Allory, David Cachera. Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic. In Proc. of 13th CHARME conference, Lecture Notes in Computer Science, Pages 376-379, 2005.
  6. David Pichardie. Modular proof principles for parameterized concretizations. In Proc.\ of 2nd International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS 2005), Lecture Notes in Computer Science, Pages 138-154, 2005.
  7. T. Denmat, M. Ducassé, O. Ridoux. Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, T. Ellman, A. Zisman (eds.), See RR-5661 for a long version of this article, November 2005.
  8. G. Le Guernic, J. Perret. FL-system's Intelligent Cache. In Proceedings of Majecstic 2005, Alexandre Vautier, Sylvie Saget (eds.), Pages 79-88, November 2005. pdf
  9. T. Denmat, A. Gotlieb, M. Ducassé. Proving or Disproving Likely Invariants with Constraint Reasoning. In Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, A. Serebrenik (ed.), Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508108, Sitges, SPAIN, October 2005. download
  10. A. Gotlieb, T. Denmat, B. Botella. Goal-oriented test data generation for programs with pointer variables. In 29th IEEE Annual International Computer Software and Applications Conference (COMPSAC'05), 6 pages, Pages 449-454, Edinburh, Scotland, July 2005.
  11. G. Le Guernic, T. Jensen. Monitoring Information Flow. In Proceedings of the Workshop on Foundations of Computer Security, Andrei Sabelfeld (ed.), Pages 19-30, June 2005. pdf

Research Reports

  1. David Cachera, Katell Morin-Allory. Proving Parameterized Systems: the use of a widening operator and pseudo-pipelines in polyhedral logic. Research Report TIMA-IMAG, No 0, 2005.
  2. F. Besson, T. Jensen, D. Pichardie. A PCC Architecture based on Certified Abstract Interpretation. Research Report INRIA, No 0, November 2005.
  3. T. Denmat, M. Ducassé, O. Ridoux. Data Mining and Cross-checking of Execution Traces. A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version). Research Report INRIA, No 0, August 2005.

Misc

  1. G. Le Guernic. Roles & Security. 03411 Abstracts Collection - Language-Based Security, No 3411, Dagstuhl, Germany, October 2005. download

Thesis

  1. David Pichardie. Interprétation abstraite en logique intuitionniste : extraction d'analyseurs Java certiés. PhD Thesis Université Rennes 1, Rennes, France, December 2005.