M. Hendriks
发表
Hernán C. Melgratti,
Ricardo J. Rodríguez,
J. Gabarró,
2011
.
Barend van den Nieuwelaar,
F. Vaandrager,
M. Hendriks,
2017
.
Gerd Behrmann,
Martijn Hendriks,
Angelika Mader,
2005
.
Amol Bakshi,
Anastasios Gounaris,
Alexandru Jugravu,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Martijn Hendriks,
M. Hendriks,
2005,
FORMATS.
Gerd Behrmann,
Martijn Hendriks,
Angelika Mader,
2005,
19th IEEE International Parallel and Distributed Processing Symposium.
Gerd Behrmann,
Martijn Hendriks,
Ed Brinksma,
2005
.
Ling Cheung,
Martijn Hendriks,
M. Hendriks,
2005
.
Frits W. Vaandrager,
Martijn Hendriks,
Barend van den Nieuwelaar,
2006,
International Journal on Software Tools for Technology Transfer.
Martijn Hendriks,
M. Hendriks,
2006
.
G. Behrmann,
F. Vaandrager,
P. Niebert,
2003,
FORMATS.
Martijn Hendriks,
M. Hendriks,
2002
.
Twan Basten,
Jeroen Voeten,
Martijn Hendriks,
2021,
2021 International Conference on Embedded Software (EMSOFT).
Twan Basten,
Bart D. Theelen,
Martijn Hendriks,
2017,
International Journal on Software Tools for Technology Transfer.
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Twan Basten,
Marc Geilen,
Martijn Hendriks,
2018,
Journal of Signal Processing Systems.
Kim G. Larsen,
Martijn Hendriks,
K. Larsen,
2002,
Theory and Practice of Timed Systems @ ETAPS.
Frits W. Vaandrager,
Martijn Hendriks,
F. Vaandrager,
2012,
2012 IEEE 15th International Conference on Computational Science and Engineering.
Twan Basten,
Martijn Hendriks,
Nikola Trčka,
2012,
FORMATS.
Twan Basten,
Marc Geilen,
Martijn Hendriks,
2018,
ACM Trans. Embed. Comput. Syst..
Frits W. Vaandrager,
Martijn Hendriks,
van den Njm Barend Nieuwelaar,
2003
.
Barend van den Nieuwelaar,
F. Vaandrager,
M. Hendriks,
2006,
International Journal on Software Tools for Technology Transfer (STTT).
M. Hendriks,
M. Verhoef,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Twan Basten,
Martijn Hendriks,
Lou J. Somers,
2016,
International Journal on Software Tools for Technology Transfer.
T. Basten,
J. Verriet,
M. Hendriks,
2024,
Int. J. Softw. Tools Technol. Transf..
Martijn Hendriks,
Michael Borth,
M. Hendriks,
2016,
2016 11th System of Systems Engineering Conference (SoSE).