default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in Software Engineering (FormaliSE)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

closed (141)

frequent authors

Venue Information

is part of: International Conference on Software Engineering (ICSE)

12th FormaliSE@ICSE 2024: Lisbon, Portugal

- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/2024
Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes:
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. ACM 2024 [contents]

11th FormaliSE@ICSE 2023: Melbourne, Australia

- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/2023
11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023. IEEE 2023, ISBN 979-8-3503-1263-8 [contents]

10th FormaliSE@ICSE 2022: Pittsburgh, PA, USA

- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/2022
Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat:
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022. ACM 2022, ISBN 978-1-4503-9287-7 [contents]

9th FormaliSE@ICSE 2021: Madrid, Spain

- view
  authority control:
- export record
  dblp key:
  - conf/icse/2021formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2021formalise
Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini:
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. IEEE 2021, ISBN 978-1-6654-3913-8 [contents]

8th FormaliSE@ICSE 2020: Seoul, Korea

- view
  authority control:
- export record
  dblp key:
  - conf/icse/2020formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2020formalise
Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat:
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. ACM 2020, ISBN 978-1-4503-7071-4 [contents]

7th FormaliSE@ICSE 2019: Montreal, QC, Canada

- view
- export record
  dblp key:
  - conf/icse/2019formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2019formalise
Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi:
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM 2019, ISBN 978-1-7281-3373-7 [contents]

6th FormaliSE@ICSE 2018: Gothenburg, Sweden

- view
  authority control:
- export record
  dblp key:
  - conf/icse/2018formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2018formalise
Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione:
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM 2018 [contents]

5th FormaliSE@ICSE 2017: Buenos Aires, Argentina

- view
- export record
  dblp key:
  - conf/icse/2017formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2017formalise
5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017. IEEE 2017, ISBN 978-1-5386-0422-9 [contents]

4th FormaliSE@ICSE 2016: Austin, Texas, USA

- view
  authority control:
- export record
  dblp key:
  - conf/icse/2016formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2016formalise
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016. ACM 2016, ISBN 978-1-4503-4159-2 [contents]

3rd FormaliSE@ICSE 2015: Florence, Italy

- view
- export record
  dblp key:
  - conf/icse/2015formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2015formalise
Stefania Gnesi, Nico Plat:
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7043-1 [contents]

2nd FormaliSE@ICSE 2014: Hyderabad, India

- view
- export record
  dblp key:
  - conf/icse/2014formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2014formalise
Stefania Gnesi, Nico Plat:
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. ACM 2014, ISBN 978-1-4503-2853-1 [contents]

1st FormaliSE@ICSE 2013: San Francisco, CA, USA

- view
- export record
  dblp key:
  - conf/icse/2013formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2013formalise
1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6292-4 [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.