M. Völp
发表
S. Mumtaz,
Alireza Esfahani,
Jérémie Decouchant,
2021
.
M. Völp,
2018
.
F. Couto,
Paulo Esteves-Veríssimo,
Jérémie Decouchant,
2019
.
M. Lieber,
M. Völp,
Maksym Planeta,
2015
.
Hermann Härtig,
Marcus Völp,
Björn Döbel,
2013,
e-Energy '13.
J. Cong,
J. Shalf,
Kazutomo Yoshii,
2016
.
A. Lackorzynski,
Benjamin Engel,
M. Völp,
2015
.
Andreas Haeberlen,
J. Liedtke,
K. Elphinstone,
2001
.
K. Grochowski,
G. Juchnikowski,
C. Thizy,
2022,
Petri Nets.
A. Lackorzynski,
Benjamin Engel,
M. Völp,
2014
.
Jérémie Decouchant,
M. Völp,
Túlio A. Pascoal,
2022,
Middleware.
Paulo Veríssimo,
Marcus Völp,
Vincent Rahli,
2017,
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).
Paulo Veríssimo,
Marcus Völp,
Jérémie Decouchant,
2018,
Journal of biomedical informatics.
R. Dörner,
S. Enz,
M. Völp,
2010
.
Antonio Lima,
Paulo Veríssimo,
Marcus Völp,
2016,
CPS-SPC '16.
Hermann Härtig,
Marcus Völp,
Adam Lackorzynski,
2012,
EMSOFT '12.
Germany,
Saarbrucken,
M. Völp,
2021,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Marcus Völp,
Swen Jacobs,
Mouhammad Sakr,
2021,
ArXiv.
Hermann Härtig,
Marcus Völp,
Björn Döbel,
2013,
2013 27th International Conference on Advanced Information Networking and Applications Workshops.
Hermann Härtig,
Marcus Völp,
Björn Döbel,
2012,
PERV.
M. Völp,
2014
.
Marcus Völp,
M. Völp,
2015
.
Nathan Fulton,
André Platzer,
Marcus Völp,
2015,
CADE.
Marcus Völp,
Paulo Esteves Veríssimo,
Inês Pinto Gouveia,
2020,
ArXiv.
Gerhard Fettweis,
Hermann Härtig,
Benedikt Noethen,
2016,
ASPLOS.
Andreas Richter,
Andreas Voigt,
Rinaldo Greiner,
2014,
Int. J. Found. Comput. Sci..
Hermann Härtig,
Marcus Völp,
Adam Lackorzynski,
2013
.
André Platzer,
Marcus Völp,
Vincent Rahli,
2017,
CPP.
Gerhard Fettweis,
Christel Baier,
Wolfgang Lehner,
2018,
IEEE Transactions on Multi-Scale Computing Systems.
Marcus Völp,
M. Völp,
2010
.
Hendrik Tews,
Marcus Völp,
Tjark Weber,
2008,
SSV.
E. Poll,
P. Rossum,
M. V. Eekelen,
2008
.
Paulo Veríssimo,
Marcus Völp,
Vincent Rahli,
2018,
ESOP.
M. Völp,
F. Machida,
Júlio Mendonça,
2023,
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
P. Veríssimo,
M. Völp,
I. Gouveia,
2022,
Comput. Secur..
Marcus Völp,
Jérémie Decouchant,
Rafal Graczyk,
2021,
2021 40th International Symposium on Reliable Distributed Systems (SRDS).
Alireza Esfahani,
Marcus Völp,
Jérémie Decouchant,
2020,
ArXiv.
Marcus Völp,
Adam Lackorzynski,
Alexander Warg,
2014,
SIGBED.
Michael Roitzsch,
Marcus Völp,
M. Völp,
2013,
Euro-Par Workshops.
Paulo Esteves-Verissimo,
Marcus Völp,
Jérémie Decouchant,
2020,
IEEE Journal of Biomedical and Health Informatics.
Gerhard Fohler,
Martina Maggio,
Marcus Völp,
2021,
Leibniz Trans. Embed. Syst..
Gerhard Fohler,
Marcus Völp,
Kristin Krüger,
2018,
ECRTS.
Hermann Härtig,
Marcus Völp,
Claude-Joachim Hamann,
2013,
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).
Hermann Härtig,
Marcus Völp,
Claude-Joachim Hamann,
2008,
ASIACCS '08.
Paulo Veríssimo,
Marcus Völp,
Adam Lackorzynski,
2016,
SysTEX@Middleware.
Miguel A. Olivares-Méndez,
Holger Voos,
Paulo Veríssimo,
2017,
ROBOT.
Gerhard Fettweis,
Hermann Härtig,
Benedikt Noethen,
2015,
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).
Thorsten Holz,
P. Veríssimo,
M. Schunter,
2019,
CERTS.
Paulo Veríssimo,
Marcus Völp,
Francisco Liberal Rocha,
2017,
Security Protocols Workshop.
Hendrik Tews,
Marcus Völp,
Tjark Weber,
2012,
SSV.
R. Graczyk,
M. Völp,
Federico Lucchetti,
2023,
Frontiers in Computer Science.
Paulo Veríssimo,
Gerhard Fohler,
Marcus Völp,
2018,
2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Paulo Veríssimo,
Marcus Völp,
Jérémie Decouchant,
2017,
SysTEX@SOSP.
Jérémie Decouchant,
M. Völp,
Túlio A. Pascoal,
2022,
ArXiv.