@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,
annote = {To appear}
}
@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,
annote = {To appear}
}
@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}
}
.