If you made any changes in Pure these will be visible here soon.

Research Output

2019

Scenarios in the design of flexible manufacturing systems

Basten, T., Bastos, J., Medina, R., van der Sanden, B., Geilen, M. C. W., Goswami, D., Reniers, M. A., Stuijk, S. & Voeten, J. P. M., 16 Oct 2019, System-Scenario-based Design Principles and Applications. Catthoor, F., Basten, T., Zompakis, N., Geilen, M. & Kjeldsberg, P. G. (eds.). Cham: Springer International Publishing, p. 181-224 44 p.

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

2018

Exploiting specification modularity to prune the optimization-space of manufacturing systems

Bastos, J., Stuijk, S., Voeten, J., Schiffelers, R. & Corporaal, H., 28 May 2018, Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. Stuijk, S. (ed.). New York: Association for Computing Machinery, Inc, p. 1-9 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Identifying bottlenecks in manufacturing systems using stochastic criticality analysis

Nogueira Bastos, J. P., van der Sanden, L. J., Donk, O., Voeten, J. P. M., Stuijk, S., Schiffelers, R. R. H. & Corporaal, H., 27 Feb 2018, FDL 2017 - Proceedings of the 2017 Forum on Specification and Design Languages. Piscataway: IEEE Computer Society, Vol. 2017-September. p. 1-8 8 p. 8303901

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Timing prediction for service-based applications mapped on linux-based multi-core platforms

Jonk, R., Voeten, J., Geilen, M., Basten, T. & Schiffelers, R., 12 Oct 2018, Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Konofaos, N., Novotny, M. & Skavhaug, A. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 130-139 10 p. 8491806

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)
2016

An embedded CAN controller for a vehicle networking course project

Breaban, G. D., Koedam, M. L. P. J., Voeten, J. P. M. & Goossens, K. G. W., 2016, WESE '16 Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, Pittsburgh, Pennsylvania, October 01- 07, 2016. New York: Association for Computing Machinery, Inc, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Downloads (Pure)

Communication aware multiprocessor binding for shared memory systems

Adyanthaya, S., Geilen, M. C. W., Basten, T., Voeten, J. P. M. & Schiffelers, R. R. H., 2016, 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, 23-25 May 2016. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-10 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)

Compositional specification of functionality and timing of manufacturing systems

van der Sanden, L. J., Nogueira Bastos, J. P., Voeten, J. P. M., Geilen, M. C. W., Reniers, M. A., Basten, T., Jacobs, J. & Schiffelers, R. R. H., Sep 2016, Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
114 Downloads (Pure)

The impact of deadline misses on the control performance of high-end motion control systems

Geelen, W., Antunes, D., Voeten, J. P. M., Schiffelers, R. R. H. & Heemels, W. P. M. H., 1 Feb 2016, In : IEEE Transactions on Industrial Electronics. 63, 2, p. 1218-1229 12 p., 7339675.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
8 Citations (Scopus)
334 Downloads (Pure)

xCPS: a tool to explore cyber physical systems

Adyanthaya, S., Alizadeh Ara, H., Nogueira Bastos, J. P., Baghbanbehrouzian, A., Medina Sanchez, R. A., van Pinxten, J. H. H., van der Sanden, L. J., Waqas, U., Basten, A. A., Corporaal, H., Frijns, R. M. W., Geilen, M. C. W., Goswami, D., Hendriks, M., Stuijk, S., Reniers, M. A. & Voeten, J. P. M., 2016, In : ACM SIGBED Review. 14, 1, p. 81-95

Research output: Contribution to journalArticleAcademicpeer-review

4 Downloads (Pure)
2015

Iterative robust multiprocessor scheduling

Adyanthaya, S., Geilen, M. C. W., Basten, A. A., Voeten, J. P. M. & Schiffelers, R. R. H., 2015, 23rd International Conference on Real-Time Networks and Systems, 4-6 November 2015, Lille, France. New York: Association for Computing Machinery, Inc, p. 23-32

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Modeling resource sharing using FSM-SADF

Nogueira Bastos, J., Stuijk, S., Voeten, J., Schiffelers, R., Jacobs, J. & Corporaal, H., Sep 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 21-23 September 2015, Austin, Texas . Piscataway: Institute of Electrical and Electronics Engineers, p. 96-101

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
3 Downloads (Pure)

Modular model-based supervisory controller design for wafer logistics in lithography machines

van der Sanden, L. J., Reniers, M. A., Geilen, M. C. W., Basten, A. A., Jacobs, J., Voeten, J. P. M. & Schiffelers, R. R. H., Sep 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS): Proceedings. Piscataway: ACM/IEEE, p. 416-425 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)
5 Downloads (Pure)

xCPS : a tool to eXplore cyber physical systems

Adyanthaya, S., Alizadeh Ara, H., Bastos, J. P., Baghbanbehrouzian, A., Medina Sanchez, R. A., Pinxten, van, J. H. H., Sanden, van der, L. J., Waqas, U., Basten, A. A., Corporaal, H., Frijns, R. M. W., Geilen, M. C. W., Goswami, D., Stuijk, S., Reniers, M. A. & Voeten, J. P. M., 2015, Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands. Grimheden, M. E. (ed.). New York: Association for Computing Machinery, Inc, p. 1-8 3

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
6 Downloads (Pure)
2014

Model-driven engineering for high-performance servo control : from research to industrial practice

Voeten, J. P. M. & Schiffelers, R. R. H., 2014, 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES), 10-11 June 2014, Sankt Goar, Germany. New York: Association for Computing Machinery, Inc

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Multi-core communication-aware scheduler for CARM 2G

Adyanthaya, S., Schiffelers, R. R. H., Theunissen, R., Huët, van, C., Geilen, M. C. W., Frijns, R. M. W. & Voeten, J. P. M., 2014.

Research output: Contribution to conferencePosterAcademic

Robustness analysis of multiprocessor schedules

Adyanthaya, S., Zhang, Z., Geilen, M. C. W., Voeten, J. P. M., Basten, T. & Schiffelers, R. R. H., 2014, Proceedings 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), July 14-17, 2014, Samos, Greece. Galuzzi, C. & Veidenbaum, A. (eds.). Samos, Greece: Institute of Electrical and Electronics Engineers, p. 9-17

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
2 Downloads (Pure)

Timing analysis of first-come first-served scheduled interval-timed directed acyclic graphs

Frijns, R. M. W., Adyanthaya, S., Stuijk, S., Voeten, J. P. M., Geilen, M. C. W., Schiffelers, R. R. H. & Corporaal, H., 2014, Proceedings of the design, automation and test in Europe(DATE) 24-28 March 2014, Dresden, Germany. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Towards 120 kHz stages using CARM 2G

Voeten, J. P. M., Frijns, R. M. W., Bontekoe, M., Gidalov, N., Schiffelers, R. R. H. & Huët, van, C., 2014.

Research output: Contribution to conferencePosterAcademic

Towards robust multi-processor scheduling for high-end servo control

Voeten, J. P. M., Adyanthaya, S., Schiffelers, R. R. H. & Theelen, B. D., 2014, Advanced School for Computing and Imaging (ASCI) Summer School, June 10, 2014, Soesterberg, The Netherlands.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2013

Calibration error bound estimation in performance modeling

Parappurath, V., Voeten, J. P. M. & Kotterink, C., 2013, Proceedings 16th Euromicro conference on digital system design (DSD 2013), 4-6 September 2013, Santander, Spain. Matos, J. S. & Leporati, F. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 97-102

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Dataflow-based multi-ASIP platform approach for digital control applications

Frijns, R. M. W., Kamp, A. L. J., Stuijk, S., Voeten, J. P. M., Bontekoe, M., Gemei, K. J. A. & Corporaal, H., 2013, Proceedings 16th Euromicro Conference on Digital Systems Design (DSD 2013), 4-6 September 2013, Santandor, Spain. Silva Matos, J. & Leporati, F. (eds.). p. 811-814

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems

Adyanthaya, S., Geilen, M. C. W., Basten, T., Schiffelers, R. R. H., Theelen, B. D. & Voeten, J. P. M., 2013, Proceedings of the Euromicro Conference on Digital System Design (DSD) 2013, 4-6 September 2013, Los Alamitos, California. Piscataway: Institute of Electrical and Electronics Engineers, p. 979-988

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
4 Downloads (Pure)

High-performance heterogeneous architectures for CARM2G

Frijns, R. M. W., Bontekoe, M., Gemei, K. J. A., Gidalov, N., Huët, van, C., Schiffelers, R. R. H. & Voeten, J. P. M., 2013.

Research output: Contribution to conferencePosterAcademic

2012

CARM 2G : model based design, analysis and initialization of Twinscan servo controllers

Schiffelers, R. R. H., Huët, van, C., Gidalov, N., Alberts, W., Voeten, J. P. M., Theelen, B. D., Ven, J. & Tabingh Suermondt, W., 2012.

Research output: Contribution to conferencePosterAcademic

Model-based specification, analysis and synthesis of servo controllers for lithoscanners

Schiffelers, R. R. H., Alberts, W. & Voeten, J. P. M., 2012, Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM 2012) , October 1, 2012, Innsbruck, Austria. New York: Association for Computing Machinery, Inc, p. 55-60

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
1 Downloads (Pure)

Model-driven engineering for litho scanners

Voeten, J. P. M., Schiffelers, R., Alberts, W. & Theelen, B. D., 2012.

Research output: Contribution to conferenceOtherAcademic

Modelgebaseerd ontwerp van regelaars in lithoscanners

Schiffelers, R. R. H., Alberts, W. & Voeten, J. P. M., 2012, In : Bits & Chips : Nieuwsmagazine voor de Hightechindustrie. 4, p. 34-37

Research output: Contribution to journalArticlePopular

2011

Error computation for predictable real-time software synthesis

Voeten, J. P. M., Florescu, O., Huang, J. & Corporaal, H., 2011, In : Simulation. 87, 4, p. 334-350 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Performance model checking scenario-aware dataflow

Theelen, B. D., Geilen, M. C. W. & Voeten, J. P. M., 2011, Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), 21-23 September 2011, Aalborg, Denmark,. U. Fahrenberg, S. T. (ed.). Berlin: Springer, p. 43-59 (Lecture Notes in Computer Science; vol. 6919).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)

Performance prediction and optimization for wafer scanners

Voeten, J. P. M., Hendriks, T., Theelen, B. D., Schuddemat, J., Tabingh Suermondt, W., Gemei, J., Kotterink, C. & Huët, van, C., 2011.

Research output: Contribution to conferenceOtherAcademic

Predicting timing performance of advanced mechatronics control systems

Voeten, J. P. M., Hendriks, T., Theelen, B. D., Schuddemat, J., Tabingh Suermondt, W., Gemei, J., Kotterink, C. & Huet, van, J., 2011, Proceedings of the Computer Software and Applications Conference Workshops (COMPSACW 2011), 18-22 July 2011, Munich, Germany. Eichler, G., Kuepper, A., Schau, V., Fouchal, H. & Unger, H. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 206-210

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
2 Downloads (Pure)

Towards a predictable automated design flow for large-scale high-performance control applications

Frijns, R. M. W., Aangenent, W. H. T. M., Bontekoe, M., Corporaal, H., Clijsen, G., Tabingh Suermondt, W., Theelen, B. D., Voeten, J. P. M. & van de Wal, M., 2011.

Research output: Contribution to conferencePoster

2010

Connecting technical and non-technical views of system architectures

Li, L., Hooman, J. J. M. & Voeten, J. P. M., 2010, Proceedings of Green Computing and Communications (GreenCom), 2010 IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom), 18-20 December 2010, Hangzhou, China. p. 592-

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2 Citations (Scopus)
78 Downloads (Pure)

From POOSL to UPPAAL : transformation and quantitative analysis

Xing, J., Theelen, B. D., Langerak, R., Pol, van de, J. C., Tretmans, J. & Voeten, J. P. M., 2010, Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal. Los Alamitos: IEEE Computer Society, p. 47-56

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
5 Citations (Scopus)
108 Downloads (Pure)

Performance prediction and design-space exploration for wafer scanners.

Voeten, J. P. M., 2010. 1 p.

Research output: Contribution to conferenceOther

Predicting timing performance of wafer scanners

Voeten, J. P. M., 2010.

Research output: Contribution to conferenceOtherAcademic

UPPAAL in practice : quantitative verification of a RapidIO network.

Xing, J., Theelen, B. D., Langerak, R., Pol, van de, J. C., Tretmans, J. & Voeten, J. P. M., 2010, Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, October 18-21, 2010, Heraklion, Greece. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 160-174

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
4 Citations (Scopus)
93 Downloads (Pure)
2009

Concurrent design of embedded control software

Groothuis, M., Frijns, R. M. W., Voeten, J. P. M. & Broenink, J., 2009, Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009), 4-9 October 2009, Denver, Colorado, USA. (Electronic Communications of the EASST; vol. 21).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

Patterns for automatic generation of soft real-time system models

Florescu, O., Voeten, J. P. M., Theelen, B. D. & Corporaal, H., 2009, In : Simulation. 85, 11/12, p. 709-733 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Predictable Wafer Scanner Design

Theelen, B. D. & Voeten, J. P. M., 2009.

Research output: Contribution to conferenceOtherAcademic

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

1 Downloads (Pure)

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

5 Downloads (Pure)
2008

An executable interface specification for industrial embedded system design.

Huang, J., Voeten, J. P. M., Wolfs, S. & Coopmans, M., 2008, The Eighth International Conference on Quality Software, 2008 : QSIC '08 ; 12 - 13 Aug. 2008, Oxford, UK ; proceedings ; [in conjunction with] the Third International Workshop on Integration of Software Engineering and Agent Technologies (ISEAT 2008). Piscataway: Institute of Electrical and Electronics Engineers, p. 37-44

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
75 Downloads (Pure)

A Packet Switch Case Study

Voeten, J. P. M., 2008.

Research output: Contribution to conferenceOtherAcademic

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

Scenario-aware dataflow

Theelen, B. D., Geilen, M. C. W., Stuijk, S., Gheorghita, V., Basten, T., Voeten, J. P. M. & Ghamarian, A. H., 2008, Eindhoven: Technische Universiteit Eindhoven. 22 p. (ES reports; vol. 2008-08)

Research output: Book/ReportReportAcademic

Open Access
File
23 Downloads (Pure)
2007

A Model Driven Approach for Mechatronic Systems

Huang, J., Voeten, J. P. M., Groothuis, M., Broenink, J. & Corporaal, H., 2007, Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic. Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 127-136

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
1 Downloads (Pure)

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

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
33 Downloads (Pure)