Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

  • Shengchao Qin
  • Zongyan Qiu
Conference proceedings ICFEM 2011

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Formal Models

    1. Narges Khakpour, Marjan Sirjani, Ursula Goltz
      Pages 16-32
    2. Islam Abdelhalim, Steve Schneider, Helen Treharne
      Pages 33-48
    3. Frank Zeyda, Ana Cavalcanti, Andy Wellings
      Pages 49-65
    4. Dapeng Mo, Xiaobing Wang, Zhenhua Duan
      Pages 82-97
  4. Model Checking and Probability

    1. Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong
      Pages 98-114
    2. Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu
      Pages 115-130
    3. Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li
      Pages 147-162
  5. Specification and Development

    1. Fauziah binti Zainuddin, Shaoying Liu
      Pages 163-178
    2. Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle
      Pages 179-194
    3. Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
      Pages 195-210
    4. Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni
      Pages 211-226
  6. Security

    1. David Power, Mark Slaymaker, Andrew Simpson
      Pages 227-242
    2. Nafees Qamar, Yves Ledru, Akram Idani
      Pages 259-274
  7. Formal Verification

    1. Ewen Maclean, Andrew Ireland
      Pages 275-290
    2. Pontus Boström
      Pages 291-306
    3. Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo
      Pages 323-339
    4. Junaid Haroon Siddiqui, Sarfraz Khurshid
      Pages 340-355
  8. Cyber Physical Systems

    1. David W. Renshaw, Sarah M. Loos, André Platzer
      Pages 356-371
    2. Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu
      Pages 372-387
    3. Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
      Pages 388-403
    4. Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn
      Pages 404-419
  9. Event-B

    1. Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky
      Pages 420-436
    2. Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu
      Pages 437-455
    3. Thai Son Hoang, Jean-Raymond Abrial
      Pages 456-471
  10. Verification, Analysis and Testing

    1. Anh Cuong Nguyen, Siau-Cheng Khoo
      Pages 472-488
    2. Holger Gast
      Pages 489-504
    3. Giulia Costantini, Pietro Ferrara, Agostino Cortesi
      Pages 505-521
    4. Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong
      Pages 537-552
  11. Refinement

    1. Stefan Hallerstede, Colin Snook
      Pages 569-584
    2. Maximiliano Cristia, Diego Hollmann, Pablo Albertengo, Claudia Frydman, Pablo Rodriguez Monetti
      Pages 601-616
  12. Theorem Proving and Rewriting

    1. Walter Guttmann, Georg Struth, Tjark Weber
      Pages 617-632
    2. Matthias Schmalz
      Pages 633-650
    3. Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer
      Pages 651-667
  13. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.


automated reasoning constraint solving higher-order-logic probabilistic analysis timed automata

Editors and affiliations

  • Shengchao Qin
    • 1
  • Zongyan Qiu
    • 2
  1. 1.School of ComputingTeesside UniversityUK
  2. 2.LMAM and Department of Informatics, School of Mathematical Sciences,Peking UniversityChina

Bibliographic information

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