Publications
-
[ HP08 ] link to full text
-
C. Helmstetter,
O. Ponsini,
A Comparison of Two SystemC/TLM
Semantics for Formal Verification,
proceedings of the 6th ACM-IEEE International Conference on
Formal Methods and Models for Codesign (MEMOCODE'2008), USA,
June 2008.
-
[ PS08 ] link to full text
-
O. Ponsini,
W. Serwe,
A Schedulerless Semantics of TLM
Models Written in SystemC via Translation into LOTOS,
proceedings of the 15th International Symposium on Formal
Methods (FM'08), Finland, May 2008.
-
[ PF06a ] full text
-
O. Ponsini,
C. Fédèle,
Mutable Lists and Call-by-Reference
with SOSSubC,
WSEAS Transactions on computers, 5(9):1942--1949, 2006.
-
[ PF06b ]
-
O. Ponsini,
C. Fédèle,
Towards verification of SubC programs
with side effects,
proceedings of the 10th WSEAS Int. Conf. on Computers, Greece,
July 2006
-
[ Pon05 ] (in french)
full text +
slides
-
O. Ponsini,
Des programmes impératifs vers la
logique équationnelle pour la vérification,
Thèse de Doctorat, soutenue le 24 novembre 2005
-
[ PF05 ] full text
-
O. Ponsini,
C. Fédèle,
Mutable lists and call-by-reference in
equational logic,
Technical Report 2005
-
[ PFK04 ]
full text
-
O. Ponsini,
C. Fédèle,
E. Kounalis,
Rewriting of imperative programs into
logical equations,
Science of Computer Programming, 56(3):363–401, June 2005
-
[ PFK03 ]
full text
-
O. Ponsini,
C. Fédèle,
E. Kounalis,
Automating Proof of C-- Programs,
an extended version of [ PFK02 ], 2003, unpublished
-
[ Pon02 ] (in french)
full text
-
O. Ponsini,
Réécriture de programmes C-- en
équations logiques, proceedings of the 11th
Journées Francophones de Programmation Logique et Programmation
par Contraintes, France, May 2002
-
[ PFK02 ]
full text +
slides
-
O. Ponsini,
C. Fédèle,
E. Kounalis,
SOS C-- : A System for Interpreting
Operational Semantics of C-- programs,
proceedings of the 20th IASTED International
Multi-Conference on Applied Informatics, Austria, February 2002