SEFM 2013 :: 11th International Conference on Software Engineering and Formal Methods

Sponsors:

Most Influential Paper of the first 10 years of SEFM

For the 10th anniversary of the conference, there was an award to the most influential paper of the first 10 editions of the conference. The committee selecting the recipient of the award includes organizers of all the editions of the conference and it is chaired by Manuel Núñez, General Chair of SEFM 2013.

Award Committee

Manuel Núñez, Universidad Complutense de Madrid, General Chair of SEFM 2013
Rob Hierons, Brunel University, UK, PC Co-chair of SEFM 2013
George Eleftherakis, CITY College Thessaloniki, Greece, PC Co-chair of SEFM 2012
Gilles Barthe, IMDEA Software, Spain, PC Co-chair of SEFM 2011
José Luiz Fiadeiro, University of Leicester, UK, PC Co-chair of SEFM 2010
Paddy Krishnan , Oracle Labs, Australia, PC Co-chair of SEFM 2009
Stefan Gruner, University of Pretoria, South Africa, PC Co-chair of SEFM 2008
Mike Hinchey, LERO, Ireland, PC Co-chair of SEFM 2007
Dang Van Hung, Vietnam National University, Vietnam, PC Co-chair of SEFM 2006
Bernhard Aichernig , Technical University of Graz, Austria, PC Co-chair of SEFM 2005
Jorge Cuellar, Siemens AG, Germany, PC Co-chair of SEFM 2004
Antonio Cerone, UNU-IIST, Macao, PC Co-chair of SEFM 2003

The committee work was not easy because several papers deserved this distinction. After a very fruitful electronic discussion, the awarded paper was Modeling Heterogeneous Real-time Components in BIP by Ananda Basu, Marius Bozga and Joseph Sifakis. The paper was published in the 2006 edition of SEFM.