A complete list of my publications (including some old internal
reports) may be seen here. A list
of my publications classified by categories may be found below.
Peer-Reviewed Papers in
International Conferences and Workshop Proceedings
Till 2013 authors are listed alphabetically in almost all my
publications, following the French tradition in formal methods, not
reflecting the contribution of each author. Due to different
publication policies by some of my co-authors the exception to the
above are the following 3 papers: the 2013 IEEE TSE journal paper by
G. Díaz et al., and the FLACOS'11 and IEEE SCC'10 papers by E. Martínez et al.
From 2014, due to a change of publication policies, papers are not necessary in alphabetic order.
A co-author contribution statement may be provided upon request.
Go back to
Gerardo Schneider's Homepage