Publications

See also DBLP, Google Scholar or ORCID-iD.

2023

  1. FTSCS
    Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, and Mariëlle Stoelinga
    In FTSCS, 2023
  2. QEST
    Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, and Zhen Zhang
    In QEST, 2023
  3. FMICS
    Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, and Mariëlle Stoelinga
    In FMICS, 2023
  4. ESREL
    Wouter Bos, Matthias VolkMariëlle Stoelinga, Marc Bouissou, and Pavel Krčál
    In ESREL, 2023
  5. ESREL
    Matthias Volk, Muzammil Ibne Irshad, Joost-Pieter Katoen, Falak Sher, Mariëlle Stoelinga, and Ahmad Zafar
    In ESREL, 2023

2022

  1. DC
    Matthias VolkBorzoo BonakdarpourJoost-Pieter Katoen, and Saba Aflaki
    Distributed Comput., 2022
  2. STTT
    Norman Weik, Matthias VolkJoost-Pieter Katoen, and Nils Nießen
    Int. J. Softw. Tools Technol. Transf., 2022
  3. STTT
    Christian Hensel, Sebastian JungesJoost-Pieter KatoenTim Quatmann, and Matthias Volk
    Int. J. Softw. Tools Technol. Transf., 2022
  4. NFM
  5. SAFECOMP
    Lisandro Arturo Jimenez-Roa, Matthias Volk, and Mariëlle Stoelinga
    In SAFECOMP, 2022

2021

  1. DSN
    Shahid Khan, Matthias VolkJoost-Pieter Katoen, Alexis Braibant, and Marc Bouissou
    In DSN, 2021
  2. LADC
    Shahid Khan, Joost-Pieter KatoenMatthias Volk, Muhammad Ahmad Zafar, and Falak Sher
    In LADC, 2021
  3. NFM
    Shahid Khan, Joost-Pieter KatoenMatthias Volk, and Marc Bouissou
    In NFM, 2021

2019

  1. RESS
    Majdi Ghadhab, Sebastian JungesJoost-Pieter Katoen, Matthias Kuntz, and Matthias Volk
    Reliab. Eng. Syst. Saf., 2019
  2. FMICS
  3. PRDC
    Shahid Khan, Joost-Pieter KatoenMatthias Volk, and Marc Bouissou
    In PRDC, 2019
  4. SEFM
    Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, and Sofiène Tahar
    In SEFM, 2019

2018

  1. TII

2017

  1. CAV
    Christian Dehnert, Sebastian JungesJoost-Pieter Katoen, and Matthias Volk
    In CAV (2), 2017
  2. SAFECOMP
    Majdi Ghadhab, Sebastian JungesJoost-Pieter Katoen, Matthias Kuntz, and Matthias Volk
    In SAFECOMP, 2017
  3. SEFM
    Saba Aflaki, Matthias VolkBorzoo BonakdarpourJoost-Pieter Katoen, and Arne Storjohann
    In SRDS, 2017

2016

  1. MBMV
    Christian Dehnert, Sebastian JungesNils Jansen, Florian Corzilius, Matthias VolkJoost-Pieter KatoenErika Ábrahám, and Harold Bruintjes
    In MBMV, 2016

2015

  1. CAV
    Christian Dehnert, Sebastian JungesNils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, and Erika Ábrahám
    In CAV (1), 2015

2014

  1. QEST
    Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika ÁbrahámJoost-Pieter Katoen, and Bernd Becker
    In QEST, 2014

2012

  1. ATVA
    Nils JansenErika ÁbrahámMatthias Volk, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker
    In ATVA, 2012