default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartijn Hendriks
Person information
- affiliation: Radboud University Nijmegen, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Mahtab Modaber
, Martijn Hendriks, Marc Geilen, Twan Basten, Jeroen Voeten:
A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems. IEEE Access 12: 92733-92752 (2024)- [j10]Martijn Hendriks, Jacques Verriet, Twan Basten:
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool. Int. J. Softw. Tools Technol. Transf. 26(1): 101-126 (2024) - 2023
- [c25]Jacques Verriet, Bram van der Sanden, Gijs van der Veen, André van Splunter, Sam Lousberg, Martijn Hendriks, Twan Basten:
Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development. MODELSWARD 2023: 226-236 - [c24]Teun Hendriks, Benny Akesson, Jeroen Voeten, Martijn Hendriks, Javier Coronel Parada, Miguel García-Gordillo, Sergio Sáez, Joan J. Valls:
Thirteen concepts to play it safe with the cloud. SysCon 2023: 1-7 - 2021
- [j9]Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten:
Interface Modeling for Quality and Resource Management. Log. Methods Comput. Sci. 17(2) (2021) - [c23]Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten:
Model-driven system-performance engineering for cyber-physical systems. EMSOFT 2021: 11-22 - 2020
- [c22]Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten:
QRML: A Component Language and Toolset for Quality and Resource Management. FDL 2020: 1-8 - [i1]Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten:
Interface Modeling for Quality and Resource Management. CoRR abs/2002.08181 (2020)
2010 – 2019
- 2019
- [j8]Martijn Hendriks, Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Ruben Guerra Marin, Rob de Jong, Steven van der Vlugt:
Monotonic Optimization of Dataflow Buffer Sizes. J. Signal Process. Syst. 91(1): 21-32 (2019) - [j7]Steven van der Vlugt, Hadi Alizadeh Ara, Rob de Jong, Martijn Hendriks, Ruben Guerra Marin, Marc Geilen, Dip Goswami:
Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain. J. Signal Process. Syst. 91(1): 75-91 (2019) - [c21]Yun-Pang Flötteröd, Michael Behrisch, Martijn Hendriks, Jean-Benoît Bonne, Erik Vullings, Rinze Bruining:
Co-simulation of vehicles and crowds for rescue trials. SUMO 2019: 56-67 - 2018
- [j6]Joost van Pinxten, Marc Geilen, Martijn Hendriks, Twan Basten:
Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2697-2708 (2018) - [j5]Hadi Alizadeh Ara, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen, Dip Goswami, Twan Basten:
Scalable Analysis for Multi-Scale Dataflow Models. ACM Trans. Embed. Comput. Syst. 17(4): 80:1-80:26 (2018) - [c20]Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara, Martijn Hendriks:
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling. RTAS 2018: 295-304 - 2017
- [j4]Martijn Hendriks, Jacques Verriet, Twan Basten, Bart D. Theelen, Marco Brassé, Lou J. Somers:
Analyzing execution traces: critical-path analysis and distance analysis. Int. J. Softw. Tools Technol. Transf. 19(4): 487-510 (2017) - 2016
- [j3]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:
xCPS: a tool to explore cyber physical systems. SIGBED Rev. 14(1): 81-95 (2016) - [j2]Martijn Hendriks, Twan Basten, Jacques Verriet, Marco Brassé, Lou J. Somers:
A blueprint for system-level performance modeling of software-intensive embedded systems. Int. J. Softw. Tools Technol. Transf. 18(1): 21-40 (2016) - [c19]Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami:
Checking Metric Temporal Logic with TRACE. ACSD 2016: 19-24 - [c18]Amir R. B. Behrouzian, Dip Goswami, Marc Geilen, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels, Twan Basten:
Sample-drop firmness analysis of TDMA-scheduled control applications. SIES 2016: 37-44 - [c17]Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami:
Tight temporal bounds for dataflow applications mapped onto shared resources. SIES 2016: 300-307 - [c16]Michael Borth, Martijn Hendriks:
Engineering the smarts: An illustration of the disconnect between control engineering and AI. SoSE 2016: 1-5 - 2015
- [c15]Martijn Hendriks, Jacques Verriet, Twan Basten, Marco Brassé, Reinier Dankers, René Laan, Alexander Lint, Hristina Moneva, Lou J. Somers, Marc Willekens:
Performance Engineering for Industrial Embedded Data-Processing Systems. PROFES 2015: 399-414 - 2013
- [c14]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:
A systematic engineering tool chain approach for self-organizing building automation systems. IECON 2013: 7696-7701 - [c13]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:
Architecture for self-organizing, co-operative and robust Building Automation Systems. IECON 2013: 7708-7713 - 2012
- [c12]Martijn Hendriks, Frits W. Vaandrager:
Reconstructing Critical Paths from Execution Traces. CSE 2012: 524-531 - [c11]Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka:
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). FORMATS 2012: 1-6 - 2011
- [c10]Martijn Hendriks, Marc Geilen, Twan Basten:
Pareto Analysis with Uncertainty. EUC 2011: 189-196 - [c9]Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers:
Integrated model-driven design-space exploration for embedded systems. ICSAMOS 2011: 339-346 - 2010
- [c8]Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink:
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. ISoLA (1) 2010: 90-105
2000 – 2009
- 2006
- [j1]Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager:
Model checker aided design of a controller for a wafer scanner. Int. J. Softw. Tools Technol. Transf. 8(6): 633-647 (2006) - [c7]Martijn Hendriks, Marcel Verhoef:
Timed automata based analysis of embedded system architectures. IPDPS 2006 - [c6]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126 - 2005
- [c5]Martijn Hendriks:
Model Checking the Time to Reach Agreement. FORMATS 2005: 98-111 - [c4]Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader:
Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005 - 2004
- [c3]Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager:
Model Checker Aided Design of a Controller for a Wafer Scanner. ISoLA (Preliminary proceedings) 2004: 201-208 - 2003
- [c2]Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager:
Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59 - 2002
- [c1]Martijn Hendriks, Kim Guldstrand Larsen:
Exact Acceleration of Real-Time Model Checking. Theory and Practice of Timed Systems @ ETAPS 2002: 120-139
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
