© 2017

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

  • Alessandro Cimatti
  • Marjan Sirjani
Conference proceedings SEFM 2017

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10469)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong
    Pages 1-16
  3. Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu
    Pages 17-34
  4. N. V. Narendra Kumar, R. K. Shyamasundar
    Pages 35-53
  5. Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
    Pages 54-69
  6. Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
    Pages 70-86
  7. Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
    Pages 87-103
  8. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
    Pages 104-119
  9. Jonatan Wiik, Pontus Boström
    Pages 136-151
  10. Marie Farrell, Rosemary Monahan, James F. Power
    Pages 152-167
  11. Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty
    Pages 168-184
  12. Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
    Pages 185-202
  13. Daniel Ricardo dos Santos, Silvio Ranise
    Pages 203-218
  14. Duncan Paul Attard, Adrian Francalanza
    Pages 219-235
  15. Alessandro Fantechi, Anne E. Haxthausen, Hugo D. Macedo
    Pages 236-252
  16. Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar
    Pages 253-268
  17. Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto
    Pages 269-283
  18. Simon Greiner, Martin Mohr, Bernhard Beckert
    Pages 300-315

Other volumes

  1. Software Engineering and Formal Methods
    15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
  2. SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

About these proceedings


​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.

The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an
d design principles. 


artificial intelligence computer software selection and evaluation data security distributed computer systems formal methods formal specification hardware model checker model checking problem solving program compilers programming languages satisfiability security systems semantics software engineering specifications temporal logic theorem proving verification

Editors and affiliations

  1. 1.University of TrentoTrentoItaly
  2. 2.Mälardalen UniversityVästeråsSweden

Bibliographic information