default search action

combined dblp search
author search
venue search
publication search

ask others

Workshop on Formal Methods for Autonomous Systems (FMAS)

> 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.

frequent authors

6th FMAS@iFM 2024: Manchester, UK

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-13215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-13215
Matt Luckcuck, Mengwei Xu:
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024. EPTCS 411, 2024 [contents]

5th FMAS@iFM 2023: Leiden, The Netherlands

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08987
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger:
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023. EPTCS 395, 2023 [contents]

4th FMAS/ASYDE@SEFM 2022: Berlin, Germany

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-13181
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-13181
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]

3rd FMAS 2021: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-11527
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-11527
Marie Farrell, Matt Luckcuck:
Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021. EPTCS 348, 2021 [contents]

2nd FMAS 2020: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01176
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01176
Matt Luckcuck, Marie Farrell:
Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020. EPTCS 329, 2020 [contents]

1st FMAS@FM 2019: Porto, Portugal

- view
  authority control:
- export record
  dblp key:
  - conf/fm/2019-w1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2019-w1
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-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.