Publications 2006

Academic Journals

  1. Frédéric Besson, Thomas Jensen, David Pichardie. Proof-Carrying Code from Certified Abstract Interpretation to Fixpoint Compression. Theoretical Computer Science, 364(3):273-291, 2006.
  2. B. Botella, A. Gotlieb, C. Michel. Symbolic execution of floating-point computations. The Software Testing, Verification and Reliability journal, to appear, 2006.

International Conferences

  1. Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu. Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. In Proc\. of 8th International Symposium on Functional and Logic Programming (FLOPS'06), Lecture Notes in Computer Science, Volume 3945, Pages 114-129, 2006.
  2. F. Besson. Fast Reflexive Arithmetic Tactics: the linear case and beyond. In Types for Proofs and Programs (TYPES'06), LNCS, Volume 4502, Pages 48-62, 2006. pdf
  3. F. Besson, T. Jensen, D. Pichardie. A PCC Architecture based on Certified Abstract Interpretation. In Proc. of 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI'06), ENTCS, 2006. download
  4. Frédéric Besson, Guillaume Dufay, Thomas Jensen. A Formal Model of Access Control for Mobile Interactive Devices. In 11th European Symposium On Research In Computer Security (ESORICS'06), Lecture Notes in Computer Science, Volume 4189, 2006. download
  5. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jéron, B. Legeard, B. Marre, C. Michel, M. Rueher. The V3F project. In Proceedings of Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'06), Nantes, France, 2006.
  6. Y. Boichut, T. Genet. Feasible Trace Reconstruction for Rewriting Approximations. In RTA, LNCS, Volume 4098, Pages 123-135, 2006.
  7. Y. Glouche, T. Genet, O. Heen, O. Courtay. A Security Protocol Animator Tool for AVISPA. In ARTIST-2 workshop on security of embedded systems, Pisa (Italy), 2006. download
  8. A. Gotlieb, P. Bernard. A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. In Sixth International Conference on Quality Software (QSIC'06), Beijing, China, 2006.
  9. A. Gotlieb, B. Botella, M. Watel. Inka: Ten years after the first ideas. In 19th International Conference on Software & Systems Engineering and their Applications (ICSSEA'06), Paris, France, 2006.
  10. G. Le Guernic, A. Banerjee, T. Jensen, D. Schmidt. Automata-based Confidentiality Monitoring. In Proceedings of the Annual Asian Computing Science Conference, Lecture Notes in Computer Science, To appear, Volume 4435, 2006. pdf
  11. Pascal Sotin, David Cachera, Thomas Jensen. Quantitative Static Analysis over semirings: analysing cache behaviour for Java Card. In 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Electronic Notes in Theoretical Computer Science, Volume 164, Pages 153-167, 2006.
  12. Gurvan Le Guernic, Anindya Banerjee, Thomas Jensen, David Schmidt. Automaton-based Confidentiality Monitoring. In 11th Annual Asian Computing Science Conference (ASIAN'06), Lecture Notes in Computer Science, to appear, Volume 4435, Tokyo, Japan, December 2006.
  13. N. Bonnel, G. Le Guernic. Système de recherche de méthodes Java basé sur leur signature. In Proceedings of Majecstic 2006, November 2006. pdf
  14. A. Gotlieb, M. Petit. Path-oriented random testing. In Proceedings of the International Workshop on Random Testing, Pages 28-35, Portland, USA, July 2006.
  15. M. Petit, A. Gotlieb. Raisonner et filtrer avec un choix probabiliste partiellement connu. In Deuxièmes Journées Francophones de Programmation par Contraintes, N\^imes, France, June 2006.
  16. S. Gouraud, A. Gotlieb. Using CHRs to generate test cases for the JCVM. In Eighth International Symposium on Practical Aspects of Declarative Languages, PADL 06, Lecture Notes in Computer Science, Volume 3819, Charleston, South Carolina, January 2006.

Research Reports

  1. G. Le Guernic, A. Banerjee, D. Schmidt. Automaton-based Non-interference Monitoring. Research Report Department of Computing and Information Sciences, College of Engineering, Kansas State University, No 2006, April 2006. download


  1. Y. Glouche, T. Genet. SPAN - A Security Protocol ANimator for AVISPA - User Manual. 2006. download