Martijn Hendriks

Affiliations:
  • Radboud University Nijmegen, Netherlands


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool.
Int. J. Softw. Tools Technol. Transf., February, 2024

A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems.
IEEE Access, 2024

2023
Thirteen concepts to play it safe with the cloud.
Proceedings of the IEEE International Systems Conference, 2023

Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

2021
Interface Modeling for Quality and Resource Management.
Log. Methods Comput. Sci., 2021

Model-driven system-performance engineering for cyber-physical systems.
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.
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.
J. Signal Process. Syst., 2019

Monotonic Optimization of Dataflow Buffer Sizes.
J. Signal Process. Syst., 2019

Co-simulation of vehicles and crowds for rescue trials.
Proceedings of the Simulating Connected Urban Mobility, 2019

2018
Scalable Analysis for Multi-Scale Dataflow Models.
ACM Trans. Embed. Comput. Syst., 2018

Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

2017
Analyzing execution traces: critical-path analysis and distance analysis.
Int. J. Softw. Tools Technol. Transf., 2017

2016
A blueprint for system-level performance modeling of software-intensive embedded systems.
Int. J. Softw. Tools Technol. Transf., 2016

xCPS: a tool to explore cyber physical systems.
SIGBED Rev., 2016

Engineering the smarts: An illustration of the disconnect between control engineering and AI.
Proceedings of the 11th System of Systems Engineering Conference, 2016

Sample-drop firmness analysis of TDMA-scheduled control applications.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Tight temporal bounds for dataflow applications mapped onto shared resources.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Checking Metric Temporal Logic with TRACE.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Performance Engineering for Industrial Embedded Data-Processing Systems.
Proceedings of the Product-Focused Software Process Improvement, 2015

2013
A systematic engineering tool chain approach for self-organizing building automation systems.
Proceedings of the IECON 2013, 2013


2012
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract).
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Reconstructing Critical Paths from Execution Traces.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011
Integrated model-driven design-space exploration for embedded systems.
Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Pareto Analysis with Uncertainty.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2006
Model checker aided design of a controller for a wafer scanner.
Int. J. Softw. Tools Technol. Transf., 2006

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

Timed automata based analysis of embedded system architectures.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Production Scheduling by Reachability Analysis - A Case Study.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Model Checking the Time to Reach Agreement.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2003
Adding Symmetry Reduction to Uppaal.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
Exact Acceleration of Real-Time Model Checking.
Proceedings of the Theory and Practice of Timed Systems, 2002


  Loading...