Exact Acceleration of Real-Time Model Checking. - Martijn Hendriks; Kim Guldstrand Larsen (Theory and Practice of Timed Systems @ ETAPS, 2002)

Adding Symmetry Reduction to Uppaal. - Martijn Hendriks; Gerd Behrmann; Kim Guldstrand Larsen; Peter Niebert; Frits W. Vaandrager (FORMATS, 2003)

Model Checking the Time to Reach Agreement. - Martijn Hendriks (FORMATS, 2005)

Production Scheduling by Reachability Analysis - A Case Study. - Gerd Behrmann; Ed Brinksma; Martijn Hendriks; Angelika Mader (IPDPS, 2005)

Timed automata based analysis of embedded system architectures. - Martijn Hendriks; Marcel Verhoef (IPDPS, 2006)

UPPAAL 4.0. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; John Håkansson; Paul Pettersson; Wang Yi 001; Martijn Hendriks (QEST, 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)

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 (ISoLA (1), 2010)

Pareto Analysis with Uncertainty. - Martijn Hendriks; Marc Geilen; Twan Basten (EUC, 2011)

Integrated model-driven design-space exploration for embedded systems. - Nikola Trcka; Martijn Hendriks; Twan Basten; Marc Geilen; Lou J. Somers (ICSAMOS, 2011)

Reconstructing Critical Paths from Execution Traces. - Martijn Hendriks; Frits W. Vaandrager (CSE, 2012)

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). - Twan Basten; Martijn Hendriks; Lou J. Somers; Nikola Trcka (FORMATS, 2012)

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; et al. (IECON, 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 (IECON, 2013)

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 (PROFES, 2015)

Checking Metric Temporal Logic with TRACE. - Martijn Hendriks; Marc Geilen; Amir R. B. Behrouzian; Twan Basten; Hadi Alizadeh Ara; Dip Goswami (ACSD, 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 (SIES, 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 (SIES, 2016)

Engineering the smarts: An illustration of the disconnect between control engineering and AI. - Michael Borth; Martijn Hendriks (SoSE, 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; et al. (SIGBED Rev., 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)

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)

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 (RTAS, 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)

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)

Co-simulation of vehicles and crowds for rescue trials. - Yun-Pang Flötteröd; Michael Behrisch 002; Martijn Hendriks; Jean-Benoît Bonne; Erik Vullings; Rinze Bruining (SUMO, 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)

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)

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 (FDL, 2020)

Model-driven system-performance engineering for cyber-physical systems. - Bram van der Sanden; Yonghui Li 002; Joris van den Aker; Benny Akesson; Tjerk Bijlsma; Martijn Hendriks; Kostas Triantafyllidis; Jacques Verriet; Jeroen Voeten; Twan Basten (EMSOFT, 2021)

Interface Modeling for Quality and Resource Management. - Martijn Hendriks; Marc Geilen; Kees Goossens; Rob de Jong; Twan Basten (Log. Methods Comput. Sci., 2021)

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 (MODELSWARD, 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 (SysCon, 2023)

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)

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., 2024)