| 2024 |
J |
jnl |
IEEE Access
Mahtab Modaber, Martijn Hendriks, Marc Geilen, Twan Basten, Jeroen Voeten
|
| 2024 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Martijn Hendriks, Jacques Verriet, Twan Basten
|
| 2023 |
C |
conf |
MODELSWARD
Jacques Verriet, Bram van der Sanden, Gijs van der Veen, André van Splunter, Sam Lousberg, Martijn Hendriks, Twan Basten
|
| 2023 |
— |
conf |
SysCon
Teun Hendriks, Benny Akesson, Jeroen Voeten, Martijn Hendriks, Javier Coronel Parada, Miguel García-Gordillo, Sergio Sáez, Joan J. Valls
|
| 2021 |
J |
jnl |
Log. Methods Comput. Sci.
Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten
|
| 2021 |
Misc |
conf |
EMSOFT
Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten
|
| 2020 |
J |
jnl |
CoRR
Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten
|
| 2020 |
C |
conf |
FDL
Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten
|
| 2019 |
— |
conf |
SUMO
Yun-Pang Flötteröd, Michael Behrisch, Martijn Hendriks, Jean-Benoît Bonne, Erik Vullings, Rinze Bruining
|
| 2019 |
J |
jnl |
J. Signal Process. Syst.
Steven van der Vlugt, Hadi Alizadeh Ara, Rob de Jong, Martijn Hendriks, Ruben Guerra Marin, Marc Geilen, Dip Goswami
|
| 2019 |
J |
jnl |
J. Signal Process. Syst.
Martijn Hendriks, Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Ruben Guerra Marin, Rob de Jong, Steven van der Vlugt
|
| 2018 |
A |
conf |
RTAS
Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara, Martijn Hendriks
|
| 2018 |
J |
jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Joost van Pinxten, Marc Geilen, Martijn Hendriks, Twan Basten
|
| 2018 |
J |
jnl |
ACM Trans. Embed. Comput. Syst.
Hadi Alizadeh Ara, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen, Dip Goswami, Twan Basten
|
| 2017 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Martijn Hendriks, Jacques Verriet, Twan Basten, Bart D. Theelen, Marco Brassé, Lou J. Somers
|
| 2016 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Martijn Hendriks, Twan Basten, Jacques Verriet, Marco Brassé, Lou J. Somers
|
| 2016 |
— |
conf |
ACSD
Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami
|
| 2016 |
— |
conf |
SoSE
Michael Borth, Martijn Hendriks
|
| 2016 |
— |
conf |
SIES
Amir R. B. Behrouzian, Dip Goswami, Marc Geilen, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels, Twan Basten
|
| 2016 |
— |
conf |
SIES
Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami
|
| 2016 |
J |
jnl |
SIGBED Rev.
Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
|
| 2015 |
B |
conf |
PROFES
Martijn Hendriks, Jacques Verriet, Twan Basten, Marco Brassé, Reinier Dankers, René Laan, Alexander Lint, Hristina Moneva, Lou J. Somers, Marc Willekens
|
| 2013 |
C |
conf |
IECON
Alan McGibney, Susan Rea, Matthias Lehmann, Safietou Raby Thior, Suzanne Lesecq, Martijn Hendriks, Claire Guyon-Gardeux, Tuan Linh Mai, François Pacull, Joern Ploennigs, Twan Basten, Dirk Pesch
|
| 2013 |
C |
conf |
IECON
Franck Bernier, Joern Ploennigs, Dirk Pesch, Suzanne Lesecq, Twan Basten, Menouer Boubekeur, Dee Denteneer, Fred Oltmanns, François Bonnard, Matthias Lehmann, Tuan Linh Mai, Alan McGibney, Susan Rea, François Pacull, Claire Guyon-Gardeux, Laurent-Frederic Ducreux, Safietou Raby Thior, Martijn Hendriks, Jacques Verriet, Szymon Fedor
|
| 2012 |
— |
conf |
FORMATS
Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka
|
| 2012 |
— |
conf |
CSE
Martijn Hendriks, Frits W. Vaandrager
|
| 2011 |
— |
conf |
ICSAMOS
Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers
|
| 2011 |
C |
conf |
EUC
Martijn Hendriks, Marc Geilen, Twan Basten
|
| 2010 |
— |
conf |
ISoLA (1)
Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink
|
| 2006 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
|
| 2006 |
A |
conf |
IPDPS
Martijn Hendriks, Marcel Verhoef
|
| 2006 |
— |
conf |
QEST
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
|
| 2005 |
— |
conf |
FORMATS
Martijn Hendriks
|
| 2005 |
A |
conf |
IPDPS
Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
|
| 2004 |
— |
conf |
ISoLA (Preliminary proceedings)
Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
|
| 2003 |
— |
conf |
FORMATS
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
|
| 2002 |
— |
conf |
Theory and Practice of Timed Systems @ ETAPS
Martijn Hendriks, Kim Guldstrand Larsen
|