Martijn Hendriks - Concepedia

Author

Martijn Hendriks

Radboud University Nijmegen

Also Known As

Hendriks, M., Hendriks, Martijn, M. Hendriks, Martijn Hendriks

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

Radboud University Nijmegen Eindhoven University of Technology Aalborg University University of Twente

About

Martijn Hendriks is an author at Radboud University Nijmegen specializing in engineering, systems engineering, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	752
2	Computer Engineering	5	5	104
3	Business	3	3	60
4	Management	1	1	32
5	Natural Sciences	1	2	566

Martijn Hendriks

Publications

521

Citations

H-Index

Page 1

	Year	Citations
UPPAAL 4.0 Martijn Hendriks, P. Petterson, John Håkansson, Geometric ModelingComputational ScienceEngineeringSymmetry ReductionData Science	2006	283
\nTimed Automata Based Analysis of Embedded System Architecture Martijn Hendriks, Marcel Verhoef Radboud Repository (Radboud University)	2006	52
Exact Acceleration of Real-Time Model Checking Martijn Hendriks, Kim G. Larsen Electronic Notes in Theoretical Computer Science EngineeringReachability ProblemDifferent Time ScalesVerificationComputer-aided Verification	2002	41
Production Scheduling by Reachability Analysis - A Case Study Gerd Behrmann, Ed Brinksma, Martijn Hendriks, EngineeringIndustrial EngineeringVerificationSoftware EngineeringModel Checking	2005	32
Model checker aided design of a controller for a wafer scanner Martijn Hendriks, Barend van den Nieuwelaar, Frits Vaandrager International Journal on Software Tools for Technology Transfer Wafer ScannerEngineeringIndustrial ElectronicsMechatronicsMechanical Systems	2006	21
xCPS Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, ACM SIGBED Review Cyber-physical Production SystemSystem Engineering EducationCyber Physical SystemsEngineeringAutomation	2017	20
Integrated model-driven design-space exploration for embedded systems Nikola Trčka, Martijn Hendriks, Twan Basten, Design Space ExplorationModeling AbstractionsModel-based System EngineeringEngineeringHardware Modeling	2011	18
SCHEDULING LACQUER PRODUCTION BY REACHABILITY ANALYSIS – A CASE STUDY Gerd Behrmann, Ed Brinksma, Martijn Hendriks, IFAC Proceedings Volumes Production PlanningEngineeringScheduling ProblemProduction SchedulingBusiness	2005	16
Analyzing execution traces: critical-path analysis and distance analysis Martijn Hendriks, Jacques Verriet, Twan Basten, International Journal on Software Tools for Technology Transfer Software MaintenanceEngineeringRuntime VerificationProgram AnalysisSoftware Testing	2016	14
A blueprint for system-level performance modeling of software-intensive embedded systems Martijn Hendriks, Twan Basten, Jacques Verriet, International Journal on Software Tools for Technology Transfer Performance PortabilityEngineeringProgram AnalysisComputer ArchitectureComputer Engineering	2014	12

Page 1