@inproceedings{PCFMR10,
  author = {Olivier Ponsini and H\'el\`ene Collavizza and Carine F\'ed\`ele 
            and Claude Michel and Michel Rueher},
  title = {Automatic Verification of Loop Invariants},
  booktitle = {Proceedings of the 26th {IEEE} International
              Conference on Software Maintenance {ICSM}'2010},
  year = {2010},
  month = september,
  address = {Timisoara, Romania}
}

@inproceedings{GHPS09,
  author = {Hubert Garavel and Claude Helmstetter and Olivier Ponsini
            and Wendelin Serwe},
  title = {Verification of an Industrial {SystemC}/{TLM} Model using
           {LOTOS} and {CADP}},
  booktitle = {Proceedings of the 7th {ACM}-{IEEE} International 
	      Conference on Formal Methods and Models for Codesign 
	      {MEMOCODE}'2009},
  year = {2009},
  month = july
}


@inproceedings{HP08,
  author = {Claude Helmstetter and Olivier Ponsini},
  title = {A Comparison of Two {SystemC}/{TLM} Semantics for 
          Formal Verification},
  booktitle = {Proceedings of the 6th {ACM}-{IEEE} International 
	      Conference on Formal Methods and Models for Codesign 
	      {MEMOCODE}'2008},
  year = {2008},
  month = jun
}


@inproceedings{PS08,
  author = {Olivier Ponsini and Wendelin Serwe},
  title = {A Schedulerless Semantics of {TLM} Models Written in {SystemC}
	  via Translation into {LOTOS}},
  booktitle = {Proceedings of the 15th International Symposium on Formal
	      Methods {FM}'08 (Turku, Finland)},
  year = {2008},
  editor = {Jorge Cuellar and Tom Maibaum},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  month = may
}


@Article{PF06a,
  author = {Olivier Ponsini and Carine F\'ed\`ele},
  title = {Mutable Lists and Call-by-Reference with SOSSubC},
  journal = {WSEAS Transactions on Computers},
  year = {2006},
  volume = {5},
  number = {9},
  pages = {1942--1949}
}


@InProceedings{PF06b,
  author = {Olivier Ponsini and Carine F\'ed\`ele},
  title = {Towards verification of SubC programs with side effects},
  booktitle = {10th WSEAS Int. Conf. on Computers},
  year = {2006},
  address = {Greece}
}


@PhdThesis{Pon05,
  author = {Olivier Ponsini},
  title =  {Des programmes impératifs vers la logique
            équationnelle pour la vérification},
  school = {Université de Nice-Sophia Antipolis},
  year = {2005},
  type = {Thèse de Doctorat},
  month = {novembre}
}


@Unpublished{PF05,
  author = {Olivier Ponsini and Carine F\'ed\`ele},
  title = {Mutable lists and call-by-reference in equational logic},
  note = {Technical Report},
  year = {2005}
}


@Article{PFK04,
  author = {Olivier Ponsini and Carine F\'ed\`ele and Emmanuel Kounalis},
  title = {Rewriting of imperative programs into logical equations},
  journal = {Science of Computer Programming},
  year = {2005},
  volume = {56},
  number = {3},
  pages = {363--401}
}


@Unpublished{PFK03,
  author = {Olivier Ponsini and C. F\'ed\`ele and E. Kounalis},
  title = {Automating Proof of $C{-}{-}$ Programs},
  note = {extended version of PFK02},
  year = {2003}
}

@InProceedings{Pon02,
  author = {Olivier Ponsini},
  title = {R\'e\'ecriture de programmes $C{-}{-}$ en \'equations
          logiques}, 
  booktitle = {11\`emes Journées Francophones de Programmation Logique
              et Programmation par Contraintes}, 
  year = {2002},
  address = {Nice, France}
}


@InProceedings{PFK02,
  author = {O. Ponsini and C. F\'ed\`ele and E. Kounalis},
  title = {SOS {$C{-}{-}$}: A System for interpreting Operational
          Semantics of {$C{-}{-}$} programs}, 
  booktitle = {Proc. IASTED Internat. Conf. on Applied Informatics},
  pages = {164--169},
  year = {2002},
  editor = {M. H. Hamza},
  month = {February},
  address = {Innsbruck, Austria}
}