Publications of Martijn HendriksAlso see my entry in the Trier DBLP database.Pareto Analysis wih UncertaintyM. Hendriks, M. Geilen, T. Basten. International Conference on Embedded and Ubiquitous Computing (EUC 2011). Melbourne, Australia, October 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011.Integrated Model-Driven Design-Space Exploration for Embedded SystemsN. Trcka, M. Hendriks, T. Basten, M. Geilen, L. Somers. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XI, Proceedings, pages xyz-xyz. Samos, Greece, 18-21 July 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf)© IEEE.Model-Driven Design-Space Exploration for Embedded Systems: The Octopus ToolsetT. Basten et al. In T. Margaria and B. Steffen, editors, 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, Proceedings, Part I, pages 90-105. Heraclion, Crete, 18-20 October 2010. Lecture Notes in Computer Science 6415. Springer, Heidelberg, Germany, 2010.Uppaal 4.0G. Behrmann, A. David, K.G. Larsen, J. Hakansson, P. Pettersson, W. Yi and M. Hendriks.Invited paper for QEST 2006. Timed Automata Based Analysis of Embedded System ArchitecturesM. Hendriks, M. Verhoef.
Model Checking Timed Automata - Techniques and ApplicationsM. Hendriks. PhD thesis, Radboud University Nijmegen. Available as pdf here.Causal Dependencies in Parallel Composition of Stochastic ProcessesL. Cheung, M. Hendriks. Available as technical report ICIS-R05020.Model Checking the Time to Reach AgreementM. Hendriks.
Scheduling Lacquer Production by Reachability Analysis - A Case StudyG. Behrmann, E. Brinksma, M. Hendriks and A. Mader.
Model Checker Aided Design of a Controller for a Wafer ScannerM. Hendriks, N. J. M. van den Nieuwelaar and F. W. Vaandrager.
Adding Symmetry Reduction to UppaalM. Hendriks and G. Behrmann and K. G. Larsen and P. Niebert and F. W. Vaandrager.
Recognizing Finite Repetitive Scheduling Patterns in Manufacturing SystemsM. Hendriks and N. J. M. van den Nieuwelaar and F. W. Vaandrager. Proceedings of MISTA 2003 [ bib, ps.gz, pdf ]Exact Acceleration of Real-Time Model CheckingM. Hendriks and K. G. Larsen.
Translating UPPAAL to Not Quite CM. Hendriks. Technical report CSI-R0108, CSI, University of Nijmegen, March 2001. |