Martijn Hendriks

According to our database, Martijn Hendriks authored at least 35 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool.

Martijn Hendriks, Jacques Verriet, Twan Basten

Int. J. Softw. Tools Technol. Transf., February, 2024

A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems.

Mahtab Modaber, Martijn Hendriks, Marc Geilen, Twan Basten, Jeroen Voeten

IEEE Access, 2024

2023

Thirteen concepts to play it safe with the cloud.

Teun Hendriks, Benny Akesson, Jeroen Voeten, Martijn Hendriks, Javier Coronel Parada, Miguel García-Gordillo, Sergio Sáez, Joan J. Valls

Proceedings of the IEEE International Systems Conference, 2023

Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development.

Jacques Verriet, Bram van der Sanden, Gijs van der Veen, André van Splunter, Sam Lousberg, Martijn Hendriks, Twan Basten

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

2021

Interface Modeling for Quality and Resource Management.

Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten

Log. Methods Comput. Sci., 2021

Model-driven system-performance engineering for cyber-physical systems.

Bram van der Sanden, Yonghui Li, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

2020

QRML: A Component Language and Toolset for Quality and Resource Management.

Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten

Proceedings of the Forum for Specification and Design Languages, 2020

2019

Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain.

Steven van der Vlugt, Hadi Alizadeh Ara, Rob de Jong, Martijn Hendriks, Ruben Guerra Marin, Marc Geilen, Dip Goswami

J. Signal Process. Syst., 2019

Monotonic Optimization of Dataflow Buffer Sizes.

Martijn Hendriks, Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Ruben Guerra Marin, Rob de Jong, Steven van der Vlugt

J. Signal Process. Syst., 2019

Co-simulation of vehicles and crowds for rescue trials.

Yun-Pang Flötteröd, Michael Behrisch, Martijn Hendriks, Jean-Benoît Bonne, Erik Vullings, Rinze Bruining

Proceedings of the Simulating Connected Urban Mobility, 2019

2018

Scalable Analysis for Multi-Scale Dataflow Models.

Hadi Alizadeh Ara, Amir R. B. Behrouzian, Martijn Hendriks, Marc Geilen, Dip Goswami, Twan Basten

ACM Trans. Embed. Comput. Syst., 2018

Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags.

Joost van Pinxten, Marc Geilen, Martijn Hendriks, Twan Basten

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling.

Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara, Martijn Hendriks

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

2017

Analyzing execution traces: critical-path analysis and distance analysis.

Martijn Hendriks, Jacques Verriet, Twan Basten, Bart D. Theelen, Marco Brassé, Lou J. Somers

Int. J. Softw. Tools Technol. Transf., 2017

2016

A blueprint for system-level performance modeling of software-intensive embedded systems.

Martijn Hendriks, Twan Basten, Jacques Verriet, Marco Brassé, Lou J. Somers

Int. J. Softw. Tools Technol. Transf., 2016

xCPS: a tool to explore cyber physical systems.

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

SIGBED Rev., 2016

Engineering the smarts: An illustration of the disconnect between control engineering and AI.

Michael Borth, Martijn Hendriks

Proceedings of the 11th System of Systems Engineering Conference, 2016

Sample-drop firmness analysis of TDMA-scheduled control applications.

Amir R. B. Behrouzian, Dip Goswami, Marc Geilen, Martijn Hendriks, Hadi Alizadeh Ara, Eelco P. van Horssen, W. P. M. H. Heemels, Twan Basten

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Tight temporal bounds for dataflow applications mapped onto shared resources.

Hadi Alizadeh Ara, Marc Geilen, Twan Basten, Amir R. B. Behrouzian, Martijn Hendriks, Dip Goswami

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Checking Metric Temporal Logic with TRACE.

Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Performance Engineering for Industrial Embedded Data-Processing Systems.

Martijn Hendriks, Jacques Verriet, Twan Basten, Marco Brassé, Reinier Dankers, René Laan, Alexander Lint, Hristina Moneva, Lou J. Somers, Marc Willekens

Proceedings of the Product-Focused Software Process Improvement, 2015

2013

A systematic engineering tool chain approach for self-organizing building automation systems.

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

Proceedings of the IECON 2013, 2013

Architecture for self-organizing, co-operative and robust Building Automation Systems.

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

Proceedings of the IECON 2013, 2013

2012

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract).

Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Reconstructing Critical Paths from Execution Traces.

Martijn Hendriks, Frits W. Vaandrager

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011

Integrated model-driven design-space exploration for embedded systems.

Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Pareto Analysis with Uncertainty.

Martijn Hendriks, Marc Geilen, Twan Basten

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

2010

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset.

Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2006

Model checker aided design of a controller for a wafer scanner.

Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager

Int. J. Softw. Tools Technol. Transf., 2006

UPPAAL 4.0.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Timed automata based analysis of embedded system architectures.

Martijn Hendriks, Marcel Verhoef

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Production Scheduling by Reachability Analysis - A Case Study.

Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Model Checking the Time to Reach Agreement.

Martijn Hendriks

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2003

Adding Symmetry Reduction to Uppaal.

Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Exact Acceleration of Real-Time Model Checking.

Martijn Hendriks, Kim Guldstrand Larsen

Proceedings of the Theory and Practice of Timed Systems, 2002