• Groene Loper 19, Flux

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Electrical Engineering

    5600 MB Eindhoven

    Netherlands

Research Output 1976 2020

Filter
Chapter
2019

3D design‐for‐test architecture

Marinissen, E. J., Konijnenburg, M., Verbree, J., Chi, C-C., Deutsch, S., Papameletis, C., Burgherr, T., Shibin, K., Keller, B. L., Chickermane, V. & Goel, S. K., 8 Feb 2019, Handbook of 3D integration: volume 4: design, test, and thermal management. Franzon, P. D., Marinissen, E. J. & Bakir, M. S. (eds.). Weinheim: Wiley-VCH Verlag, p. 253-280 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Hierarchical systems
Data compression
Towers
Data storage equipment
Networks (circuits)

Cost modeling for 2.5D and 3D stacked ICs

Taouil, M., Hamdioui, S. & Marinissen, E. J., 8 Feb 2019, Handbook of 3D integration: volume 4: design, test, and thermal management. Franzon, P. D., Marinissen, E. J. & Bakir, M. S. (eds.). Weinheim: Wiley-VCH Verlag, p. 189-208 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Cost modeling
Costs
Integrated circuits
Manufacturing
Manufacturing cost

IEEE Std P1838: 3D test access standard under development

Cron, A., Marinissen, E. J., Goel, S. K., McLaurin, T. & Bhatia, S., 8 Feb 2019, Handbook of 3D integration: volume 4: design, test, and thermal management. Franzon, P. D., Marinissen, E. J. & Bakir, M. S. (eds.). Weinheim: Wiley-VCH Verlag, p. 301-323 23 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Optimization of test‐access architectures and test scheduling for 3D ICs

Deutsch, S., Noia, B., Chakrabarty, K. & Marinissen, E. J., 8 Feb 2019, Handbook of 3D integration: volume 4: design, test, and thermal management. Franzon, P. D., Marinissen, E. J. & Bakir, M. S. (eds.). Weinheim: Wiley-VCH Verlag, p. 281-300 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Scheduling
Heuristic methods
Simulated annealing
Linear programming
Mathematical models

Pre‐bond testing through direct probing of large‐array fine‐pitch micro‐bumps

Marinissen, E. J., De Wachter, B., Kiesewetter, J. & Smith, K., 8 Feb 2019, Handbook of 3D integration: volume 4: design, test, and thermal management. Franzon, P. D., Marinissen, E. J. & Bakir, M. S. (eds.). Weinheim: Wiley-VCH Verlag, p. 231-252 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Testing
Silicon
Three dimensional integrated circuits

Test and debug strategy for TSMC CoWoS® stacking process‐based heterogeneous 3D‐IC: a silicon study

Goel, S. K., Adham, S., Wang, M-J., Lee, F., Chickermane, V., Keller, B. L., Valind, T. & Marinissen, E. J., 8 Feb 2019, Handbook of 3D integration: volume 4: design, test, and thermal management. Franzon, P. D., Marinissen, E. J. & Bakir, M. S. (eds.). Weinheim: Wiley-VCH Verlag, p. 325-346 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Silicon
Dynamic random access storage
Data storage equipment
Testing
Substrates
2018

If we could go back in time.. on the use of ‘unnatural’ time and ordering in dataflow models

Geilen, M., 1 Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Amsterdam: Springer, p. 267-286 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10760 LNCS)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Data Flow
Models of Computation
Execution Time
Activation
Model-based Design
3 Citations (Scopus)

Kahn process networks and a reactive extension

Geilen, M. & Basten, T., 13 Oct 2018, Handbook of signal processing systems. Bhattacharyya, S. S., Deprettere, E. F., Leupers, R. & Takala, J. (eds.). third edition ed. Cham: Springer, p. 865-906 42 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Semantics
Scheduling
Mathematical models
Communication
2017

A composable and predictable MPSoC design flow for multiple real-time applications

Attarzadeh-Niaki, S. H., Altinel, E., Koedam, M., Molnos, A., Sander, I. & Goossens, K. G. W., 1 Jan 2017, Model-Implementation Fidelity in Cyber Physical System Design. Molnos, A. & Fabre, C. (eds.). Cham: Springer, p. 157-174 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Real time systems
Specifications

Adaptive workspace interface for facilitating the knowledge transfer from retired elders to start-up companies

Cioara, T., Anghel, I., Valea, D., Salomie, I., Sanchez, V., García Marchena, A., Jimeno, E. & Vastenburg, M. H., 2017, Ambient assisted living and enhanced living environments: principles, technologies and control. Dobre, C. (ed.). Oxford: Butterworth-Heinemann, p. 287-309

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Genetic algorithms
Semantics
Monitoring
Industry
5 Citations (Scopus)

NoC-based multiprocessor architecture for mixed-time-criticality applications

Goossens, K. G. W., Koedam, M. L. P. J., Nelson, A. T., Sinha, S. S., Goossens, S., Li, Y., Breaban, G. D., van Kampenhout, J. R., Tavakoli Najafabadi, R., Valencia, J., Ahmadi Balef, H., Akesson, B., Stuijk, S., Geilen, M. C. W., Goswami, D. & Nabi Najafabadi, M., 1 Nov 2017, Handbook of hardware/software codesign. Ha, S. & Teich, J. (eds.). Dordrecht: Springer, p. 491-530 40 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Software architecture
Computer hardware
Hardware
Data storage equipment
Network-on-chip
2015

TV display technology and video processing

Bellers, E. B. & de Haan, G., 2015, Handbook of digital imaging. Wiley, p. 1-42

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Display devices
Processing
Flat panel displays
High definition television
Cathode ray tubes

Wireless body area network data delivery

Nabi, M., Geilen, M. C. W. & Basten, T., Nov 2015, Telemedicine and Electronic Medicine. Eren, H. & Webster, J. G. (eds.). CRC Press, p. 211-230 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Wireless Body Area Network protocols

Nabi, M., Basten, T. & Geilen, M. C. W., Nov 2015, Telemedicine and Electronic Medicine. Eren, H. & Webster, J. G. (eds.). CRC Press, p. 191-210 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2013

Adaptivity in professional printing systems

Verriet, J. H., Basten, T., Hamberg, R., Reckers, F. J. & Somers, L. J. A. M., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 1-9 (Embedded Systems; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Printing
Printers (computer)
Level control
Hardware

Aspects of adaptive systems engineering: a professional printing case

Hamberg, R., Waarsing, R., Basten, T., Reckers, F. J., Verriet, J. H. & Somers, L. J. A. M., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). Berlin: Springer, p. 11-40 (Embedded Systems; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Adaptive systems
Systems engineering
Printing
Specifications
Industry

Implementing time-constrained applications on a predictable MPSoC

Stuijk, S., Kumar, A., Jordans, R. & Corporaal, H., 2013, Multicore technology : architecture, reconfiguration, and modeling. Qadri, M. Y. & Sangwine, S. J. (eds.). Boca Raton, Fl, USA: CRC Press, p. 41-60

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

9 Citations (Scopus)

Kahn process networks and a reactive extension

Geilen, M. C. W. & Basten, T., 2013, Handbook of Signal Processing Systems, 2nd edition. Bhattacharyya, S. S., Deprettere, E. F., Leupers, R. & Takala, J. (eds.). New York: Springer, p. 1041-1081

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Semantics
Scheduling
Mathematical models
Communication

Model-driven design-space exploration for software-intensive embedded systems

Basten, T., Hendriks, M., Trcka, N., Somers, L. J. A. M., Geilen, M. C. W., Yang, Y., Igna, G., Smet, de, S., Voorhoeve, M., Aalst, van der, W. M. P., Corporaal, H. & Vaandrager, F. W., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 189-244 (Embedded Systems; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Embedded software
Spreadsheets
Application programs
Computer hardware

Reflections on the Octopus project

Reckers, F. J., Basten, T., Hamberg, R. & Verriet, J. H., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 283-289 306 p. (Embedded Systems; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Printing
Industry
Electronic equipment
Engineers
2012

Synthesis and VHDL Implementation of fuzzy logic conroller for dynamic voltage and frequency scaling (DVFS) goals in digital processors

Pourshaghaghi, H. R., Echeverri Escobar, J. D. & Pineda de Gyvez, J., 2012, Fuzzy logic : controls, concepts, theories and applications. Dadios, E. P. (ed.). p. 185-202

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
2011

Design space exploration for efficient data intensive computing on SoCs

Corvino, R., Gamatié, A. & Boulet, P., 2011, Handbook of data intensive computing. Furht, B. & Escalante, A. (eds.). New York: Springer, p. 581-616 793 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

Mapping embedded applications on MPSoCs: The MNEMEE approach

Baloukas, C., Papadopoulos, L., Soudris, D., Stuijk, S., Jovanovic, O., Schmoll, F., Marwedel, P., Cordes, D., Pyka, R., Mallik, A., Mamagkakis, S., Capman, F., Collet, S., Mitas, N. & Kritharidis, D., 1 Dec 2011, VLSI 2010 Annual Symposium: Selected papers. p. 165-179 15 p. (Lecture Notes in Electrical Engineering; vol. 105 LNEE)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Data storage equipment
Product design
Embedded systems
Systems analysis

Process mining from educational data

Trcka, N., Pechenizkiy, M. & Aalst, van der, W. M. P., 2011, Handbook of Educational Data Mining. Romero, C., Ventura, S., Pechenizkiy, M. & Baker, R. (eds.). London: CRC Press, p. 123-142 (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2010
23 Citations (Scopus)

Composability and Predictability for Independent Application Development, Verification and Execution

Akesson, K. B., Molnos, A. M., Hansson, M. A., Ambrose, J. A. & Goossens, K. G. W., 2010, Multiprocessor System-on-Chip: Hardware Design and Tool Integration. Huebner, M. & Becker, J. (eds.). Berlin: Springer, p. 25-56- 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Throughput
Costs
System-on-chip

Kahn Process Networks and a Reactive Extension

Geilen, M. C. W. & Basten, T., 2010, Handbook of Signal Processing Systems. Bhattacharyya, S. S., Deprettere, E. F., Leupers, R. & Takala, J. (eds.). Berlin: Springer, p. 967-1006 40 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Semantics
Scheduling
Mathematical models
Communication

Video scanning format conversion and motion estimation

Haan, de, G. & Braspenning, R. A. C., 2010, Video, Speech and Audio Signal Processing and Associated Standards.. Madisetti, V. (ed.). London: CRC Press, p. 16-1/43 (The Digital Signal Processing Handbook, 2nd Edition; vol. 3)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

High definition television
Motion estimation
Personal computers
Display devices
Scanning
2009

Enabling MPSoC design space exploration on FPGAs

Shabbir, A., Kumar, A., Mesman, B. & Corporaal, H., 2009, Wireless networks, information processing and systems : international multi topic conference, IMTIC 2008 Jamshoro, Pakistan, April 11-12, 2008 : revised selected papers. Hussain, D. M. A., Rajput, A. Q. K., Chowdhry, B. S. & Gee, Q. (eds.). Berlin: Springer, p. 412-421 10 p. (Communications in Computer and Information Science Series; vol. 20)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Field programmable gate arrays (FPGA)
Communication
Embedded systems
Costs

Layout synthesis : a retrospective

Otten, R. H. J. M., 2009, Handbook of algorithms for physical design automation. Alpert, C. J., Mehta, D. P. & Sapatnekar, S. S. (eds.). London: CRC Press, p. 9-29 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

4 Citations (Scopus)

Model-driven Instrumentation of graphical user interfaces.

Funk, M., Hoyer, P. & Link, S., 2009, Proceedings of the 2nd Internatinal Conference on Advances in Computer-Human Interactions, ACHI'09, 1-7 February 2009, Cancun, Mexico. Washington: IEEE Computer Society, p. 19-25

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Graphical user interfaces
User interfaces
Feedback
Human computer interaction
Monitoring

Quality in model driven engineering

Punter, H. T., Voeten, J. P. M. & Huang, J., 2009, Model-driven software development : integrating quality assurance. Rech, J. & Bunse, C. (eds.). New York: Information Science Reference, p. 37-56

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Y-chart based system design: a discussion on approaches

Lapalme, J., Theelen, B. D., Stoimenov, N., Voeten, J. P. M., Thiele, L. & Aboulhamid, E. M., 2009, Nouvelles approches pour la conception d'outils CAO pour le domaine des systems embarqu'es. Montreal, Canada: Universite de Montreal, p. 23-56 36 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Systems analysis
Hardware
2008

An interactive visual canon platform

Funk, M. & Bartneck, C., 2008, New frontiers for entertainment computing. Ciancarini, P., Nakatsu, R., Rauterberg, M. & Roccetti, M. (eds.). Berlin: Springer, p. 23-32 10 p. (IFIP International Federation for Information Processing; vol. 279)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Real time systems
Television
Hardware
Processing
Chemical analysis
1 Citation (Scopus)

Comparison of an Æthereal network on chip and traditional interconnects: two case studies

Moonen, A. J. M., Bartels, C. L. L., Bekooij, M. J. G., Berg, van den, R. M. J., Bhullar, H., Goossens, K. G. W., Groeneveld, P. R., Huisken, J. & Meerbergen, van, J., 2008, VLSI-SoC: research trends in VLSI and systems on chip : Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2006), October 16 - 18, 2006, Nice, France. De Micheli, G., Mir, S. & Reis, R. (eds.). Berlin: Springer, p. 317-336 (IFIP International Federation for Information Processing; vol. 249)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Network-on-chip
Hardware
Communication
Costs
System-on-chip

Parallel object-oriented specification language

Florescu, O., Voeten, J. P. M., Theelen, B. D., Geilen, M. C. W. & Corporaal, H., 2008, ARTIST Survey of Programming Languages. Burns, A. (ed.). s.l.: ARTIST2, Network of Excellence on Embedded System Design

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Specification languages
Message passing
Product design
Computer hardware
Algebra
2 Citations (Scopus)

PARS : a process algebraic approach to resources and schedulers

Mousavi, M. R., Reniers, M. A., Basten, T. & Chaudron, M. R. V., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (eds.). Chapman & Hall, p. 331-358 (CRC Computational Science Series; vol. 2)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Scheduling
Algebra
Specifications
Scheduling algorithms

Technological boundaries of voltage and frequency scaling for power performance tuning.

Meijer, M. & Pineda de Gyvez, J., 2008, Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice. Wang, A. & Naffziger, S. (eds.). Berlin: Springer, p. 25-47 23 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Tuning
Modems
Electric potential
Semiconductor materials
Networks (circuits)
3 Citations (Scopus)

Trade-offs in the design of a router with both guaranteed and best-effort services for networks on chip

Rijpkema, E., Goossens, K. G. W., Radulescu, A., Dielissen, J., Meerbergen, van, J., Wielage, P. & Waterlander, E., 2008, Design Automation, and Test in Europe : The Most Influential Papers of 10 Years DATE, Circuits & Sysems. Lauwerijns, R. & Madsen, J. (eds.). Berlin: Springer, p. 125-139

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Routers
Throughput
Communication
Network-on-chip
Transistors
2007

Computerarchitectuur, implementatie en realisatie

Corporaal, H., 2007, ICT-Zakboek. Bemelmans, T. M. A., Keulen, van, M., Kusters, R. J. & Looijen, M. (eds.). Amsterdam: Read Business Information, p. 715-781 34 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systemen en hun ontwerp.

Corporaal, H., 2007, Poly-elektronica zakboek. Leerdam, van, H. S., Mertens, R. P. & Montagne, A. J. M. (eds.). Den Haag: Reed Business, p. D5/12-D5/59 48 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems modeling, analysis and synthesis

Brand, van den, M. G. J., Engelen, L. J. P., Hamilton, M., Levytskyy, A. & Voeten, J. P. M., 2007, Ideals: evolvability of software-intensive high-tech systems. Voeten, J. P. M. (ed.). Eindhoven: Embedded Systems Institute, p. 99-112

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Real time systems
Life cycle
Hardware

Ideals : an introduction to the project and the book

Engelen, van, R. & Voeten, J. P. M., 2007, Ideals: evolvability of software-intensive high-tech systems. Voeten, J. & Engelen, van, R. (eds.). Eindhoven: Embedded Systems Institute, p. 1-22

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Ideal

Reusing systems design experience through modelling patterns

Florescu, O., Voeten, J. P. M., Verhoef, M. & Corporaal, H., 2007, Advances in Design and Specification Languages for Embedded Systems : Selected Contributions from FDL'06. Huss, S. A. (ed.). Dordrecht: Springer, p. 339-358

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Systems analysis
Specifications
Chemical activation
Switches
Chemical analysis
2006

Core architectures for digital media and the associated compilation techniques

Jess, J. A. G., 2006, Design of systems on a chip : design and test. Reis, R., Lubaszewski, M. & Jess, J. A. G. (eds.). Berlin: Springer, p. 27-63

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Digital storage
Television standards
Set-top boxes
Hardware
Digital radio

Design of systems on a chip : introduction

Reis, R., Lubaszewski, M. & Jess, J. A. G., 2006, Design of systems on a chip : design and test. Reis, R., Lubaszewski, M. & Jess, J. A. G. (eds.). Berlin: Springer, p. 1-7

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Computer aided design
Productivity

Design Planning

Otten, R. H. J. M., 2006, EDA for IC system design, verification, and testing. Scheffer, L., Lavagno, L. & Martin, G. (eds.). London: CRC Taylor & Francis, p. 14-1/23 23 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded Systems Design

Corporaal, H., 2006, Progress White Papers 2006. Utrecht: STW Technology Foundation, p. 7-27 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Systems analysis

Model-driven design of real-time systems

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2006, Boderc: Model-Based Design of Real-Time Systems: a collaborative research project for multi-disciplinary design analysis of high-tech systems. Heemels, M. & Muller, G. (eds.). Eindhoven: Embedded Systems Institute, p. 161-170 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Modeling of performance

Bosch, van den, P. F. A., Florescu, O., Verhoef, M. H. G. & Muller, G. J., 2006, Boderc: Model-Based Design of High-Tech Systems: a collaborative research project for multi-disciplinary design analysis of high-tech systems. Heemels, M. & Muller, G. (eds.). Eindhoven: Embedded Systems Institute, p. 101-113 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

Property-preserving synthesis for unified conrol- and data-oriented models.

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2006, Applications of Specification and Design Languages for SoCs.. Vachoux, A. (ed.). Berlin: Springer, p. 247-262 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Real time systems
Computer hardware
Control systems