default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE International Conference on Software Engineering and Formal Methods (SEFM)
23rd SEFM 2025: Toledo, Spain
- Domenico Bianculli
, Elena Gómez-Martínez:
Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings. Lecture Notes in Computer Science 16192, Springer 2026, ISBN 978-3-032-10443-4 [contents]
22nd SEFM 2024: Aveiro, Portugal
- Alexandre Madeira, Alexander Knapp:
Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Lecture Notes in Computer Science 15280, Springer 2025, ISBN 978-3-031-77381-5 [contents] - José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck:
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers. Lecture Notes in Computer Science 15551, Springer 2026, ISBN 978-3-031-94747-6 [contents]
21st SEFM 2023: Eindhoven, The Netherlands
- Carla Ferreira, Tim A. C. Willemse:
Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Lecture Notes in Computer Science 14323, Springer 2023, ISBN 978-3-031-47114-8 [contents] - Alessandro Aldini:
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14568, Springer 2024, ISBN 978-3-031-66020-7 [contents]
20th SEFM 2022: Berlin, Germany
- Bernd-Holger Schlingloff, Ming Chai:
Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings. Lecture Notes in Computer Science 13550, Springer 2022, ISBN 978-3-031-17107-9 [contents] - Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13765, Springer 2023, ISBN 978-3-031-26235-7 [contents] - Matt Luckcuck, Marie Farrell:
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022. EPTCS 371, 2022 [contents]
19th SEFM 2021: Virtual Event
- Radu Calinescu, Corina S. Pasareanu:
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13085, Springer 2021, ISBN 978-3-030-92123-1 [contents] - Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture:
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13230, Springer 2022, ISBN 978-3-031-12428-0 [contents]
18th SEFM 2020: Amsterdam, The Netherlands
- Frank S. de Boer, Antonio Cerone:
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings. Lecture Notes in Computer Science 12310, Springer 2020, ISBN 978-3-030-58767-3 [contents] - Loek Cleophas, Mieke Massink:
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12524, Springer 2021, ISBN 978-3-030-67219-5 [contents]
17th SEFM 2019: Oslo, Norway
- Peter Csaba Ölveczky, Gwen Salaün:
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11724, Springer 2019, ISBN 978-3-030-30445-4 [contents] - Javier Cámara, Martin Steffen:
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12226, Springer 2020, ISBN 978-3-030-57505-2 [contents]
16th SEFM 2018: Toulouse, France
- Einar Broch Johnsen, Ina Schaefer:
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10886, Springer 2018, ISBN 978-3-319-92969-9 [contents]
15th SEFM 2017: Trento, Italy
- Alessandro Cimatti, Marjan Sirjani:
Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings. Lecture Notes in Computer Science 10469, Springer 2017, ISBN 978-3-319-66196-4 [contents] - Antonio Cerone, Marco Roveri:
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10729, Springer 2018, ISBN 978-3-319-74780-4 [contents]
14th SEFM 2016: Vienna, Austria
- Rocco De Nicola, Eva Kühn:
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. Lecture Notes in Computer Science 9763, Springer 2016, ISBN 978-3-319-41590-1 [contents]
13th SEFM 2015: York, UK
- Radu Calinescu, Bernhard Rumpe:
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science 9276, Springer 2015, ISBN 978-3-319-22968-3 [contents] - Domenico Bianculli, Radu Calinescu, Bernhard Rumpe:
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9509, Springer 2015, ISBN 978-3-662-49223-9 [contents]
12th SEFM 2014: Grenoble, France
- Dimitra Giannakopoulou, Gwen Salaün:
Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Lecture Notes in Computer Science 8702, Springer 2014, ISBN 978-3-319-10430-0 [contents] - Carlos Canal, Akram Idani:
Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8938, Springer 2015, ISBN 978-3-319-15200-4 [contents]
11th SEFM 2013: Madrid, Spain
- Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti:
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science 8137, Springer 2013, ISBN 978-3-642-40560-0 [contents] - Steve Counsell, Manuel Núñez:
Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8368, Springer 2014, ISBN 978-3-319-05031-7 [contents]
10th SEFM 2012: Thessaloniki, Greece
- George Eleftherakis, Mike Hinchey, Mike Holcombe:
Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Lecture Notes in Computer Science 7504, Springer 2012, ISBN 978-3-642-33825-0 [contents] - Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos:
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7991, Springer 2014, ISBN 978-3-642-54337-1 [contents]
9th SEFM 2011: Montevideo, Uruguay
- Gilles Barthe, Alberto Pardo, Gerardo Schneider:
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Lecture Notes in Computer Science 7041, Springer 2011, ISBN 978-3-642-24689-0 [contents]
8th SEFM 2010: Pisa, Italy
- José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini:
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4153-2 [contents]
7th SEFM 2009: Hanoi, Vietnam
- Dang Van Hung, Padmanabhan Krishnan:
Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3870-9 [contents]
6th SEFM 2008: Cape Town, South Africa
- Antonio Cerone, Stefan Gruner:
Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3437-4 [contents]
5th SEFM 2007: London, England
- Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. IEEE Computer Society 2007, ISBN 978-0-7695-2884-7 [contents]
4th SEFM 2006: Pune, India
- Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India. IEEE Computer Society 2006, ISBN 0-7695-2678-0 [contents]
3rd SEFM 2005: Koblenz, Germany
- Bernhard K. Aichernig, Bernhard Beckert:
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. IEEE Computer Society 2005, ISBN 0-7695-2435-4 [contents]
2nd SEFM 2004: Beijing, China
- 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China. IEEE Computer Society 2004, ISBN 0-7695-2222-X [contents]
1st SEFM 2003: Brisbane, Australia
- 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia. IEEE Computer Society 2003, ISBN 0-7695-1949-0 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-04 23:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
