Olivier Ponsini

	2008
4		Olivier Ponsini, Wendelin Serwe: A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. FM 2008: 278-293
3		Claude Helmstetter, Olivier Ponsini: A Comparison of Two SystemC/TLM Semantics for Formal Verification. MEMOCODE 2008: 59-68
	2005
2		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-

Coauthor Index

1	Carine Fédèle	[2]
2	Claude Helmstetter	[3]
3	Emmanuel Kounalis	[2]
4	Wendelin Serwe	[4]

Colors in the list of coauthors