Software Engineering and Formal Methods

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

  • George Eleftherakis
  • Mike Hinchey
  • Mike Holcombe
Conference proceedings SEFM 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7504)

Table of contents

  1. Front Matter
  2. Keynote Talks

  3. Regular Papers

    1. Afshin Amighi, Pedro de C. Gomes, Dilian Gurov, Marieke Huisman
      Pages 33-47
    2. Jiří Barnat, Petr Bauch, Luboš Brim
      Pages 48-62
    3. Pietro Ferrara, Raphael Fuchs, Uri Juhasz
      Pages 63-77
    4. Asieh Salehi Fathabadi, Michael Butler, Abdolbaghi Rezazadeh
      Pages 78-93
    5. Crystal Chang Din, Johan Dovland, Olaf Owe
      Pages 94-108
    6. Qinglei Zhang, Ridha Khedri, Jason Jaskolka
      Pages 109-125
    7. Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
      Pages 126-140
    8. Gabriel Ciobanu, Maciej Koutny, Jason Steggles
      Pages 141-155
    9. Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro
      Pages 156-171
    10. Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu
      Pages 172-187
    11. Wolfgang Paul, Sabine Schmaltz, Andrey Shadrin
      Pages 188-202
    12. Visar Januzaj, Stefan Kugele, Florian Biechele, Ralf Mauersberger
      Pages 203-217
    13. Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
      Pages 218-232
    14. Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
      Pages 233-247
    15. Islam Abdelhalim, Steve Schneider, Helen Treharne
      Pages 248-262
    16. Samir Ouchani, Otmane Ait Mohamed, Mourad Debbabi
      Pages 263-277
    17. Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux
      Pages 278-292
    18. Stefano Bistarelli, Francesco Santini
      Pages 308-322
  4. Short Papers

    1. Brett Bicknell, Jose Reis, Michael Butler, John Colley, Colin Snook
      Pages 323-332
    2. Madiel Conserva Filho, Marcel Vinicius Medeiros Oliveira
      Pages 342-351
  5. Tool Papers

    1. Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate
      Pages 352-366
    2. Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
      Pages 367-381
  6. Back Matter

Other volumes

  1. Software Engineering and Formal Methods
    10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  2. SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.


fault tolerance model-based testing probabilistic automata rewriting logic software verification

Editors and affiliations

  • George Eleftherakis
    • 1
  • Mike Hinchey
    • 2
  • Mike Holcombe
    • 3
  1. 1.Internal Faculty, CITY College, Computer Science DepartmentThe University of SheffieldThessalonikiGreece
  2. 2.Lero - the Irish Software Engineering Research CentreUniversity of LimerickLimerickIreland
  3. 3.Department of Computer Science, Regent Court, 211 PortobelloUniversity of SheffieldS1 4DPUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-33825-0
  • Online ISBN 978-3-642-33826-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment