Matthias Volk
发表
Matthias Volk,
2015
.
Thom S. Badings,
M. Stoelinga,
Sebastian Junges,
2022,
ArXiv.
E. Ábrahám,
J. Katoen,
Florian Corzilius,
2016
.
J. Katoen,
Nils Nießen,
Matthias Volk,
2022,
International Journal on Software Tools for Technology Transfer.
Thom S. Badings,
M. Stoelinga,
Sebastian Junges,
2022,
CAV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
Formal Methods Syst. Des..
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2017,
CAV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
CAV.
J. Katoen,
M. Stoelinga,
Matthias Volk,
2022,
NFM.
Marc Bouissou,
Joost-Pieter Katoen,
Shahid Khan,
2019,
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC).
Sofiène Tahar,
Osman Hasan,
Joost-Pieter Katoen,
2019,
SEFM.
Joost-Pieter Katoen,
Norman Weik,
Nils Nießen,
2019,
FMICS.
Matthias Kuntz,
Sebastian Junges,
Joost-Pieter Katoen,
2019,
Reliab. Eng. Syst. Saf..
Sebastian Junges,
Joost-Pieter Katoen,
Mariëlle Stoelinga,
2018,
Petri Nets.
Matthias Kuntz,
Sebastian Junges,
Joost-Pieter Katoen,
2017,
SAFECOMP.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2016,
SAFECOMP.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2016,
ArXiv.
Sebastian Junges,
Joost-Pieter Katoen,
Matthias Volk,
2018,
IEEE Transactions on Industrial Informatics.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
ATVA.
Borzoo Bonakdarpour,
J. Katoen,
Matthias Volk,
2021,
Distributed Computing.
Joost-Pieter Katoen,
Borzoo Bonakdarpour,
Arne Storjohann,
2017,
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.