| |
| 2008 | ||
|---|---|---|
| 4 | EE | Olivier Ponsini, Wendelin Serwe: A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. FM 2008: 278-293 |
| 3 | EE | Claude Helmstetter, Olivier Ponsini: A Comparison of Two SystemC/TLM Semantics for Formal Verification. MEMOCODE 2008: 59-68 |
| 2005 | ||
| 2 | EE | Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis: Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56(3): 363-401 (2005) |
| 2002 | ||
| 1 | Olivier Ponsini: Réécriture de programmes C--en équations logiques. JFPLC 2002: 241- | |
| 1 | Carine Fédèle | [2] |
| 2 | Claude Helmstetter | [3] |
| 3 | Emmanuel Kounalis | [2] |
| 4 | Wendelin Serwe | [4] |