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

Research Output

Filter
Conference contribution
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

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
112 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

1 Citation (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

13 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

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

9 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 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)
2012

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)
2011

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)

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

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
2 Citations (Scopus)
90 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)
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
73 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

9 Citations (Scopus)
1 Downloads (Pure)

Performance modelling for system-level design

Theelen, B. D. & Voeten, J. P. M., 2007, Tutorial Bits and Chips conf.: Performance modelling for system-level design.

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

Predictable model-driven design for real-time embedded systems

Huang, J. & Voeten, J. P. M., 2007, Proc. of Bits & Chips conference 2007.

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

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

Theelen, B. D., Florescu, O., Geilen, M. C. W., Huang, J., Putten, van der, P. H. A. & Voeten, J. P. M., 2007, Proceedings of the 5th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) 30 May - 2 June 2007, Nice, France. Piscataway, New Jersey, USA: IEEE Computer Society, p. 139-148

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

64 Citations (Scopus)

Tutorial Memocode: Performance Modelling in Software/Hardware Engineering

Theelen, B. D., Geilen, M. C. W. & Voeten, J. P. M., 2007, Proceedings of the 5th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2007), May 30 - June 1st, Nice, France. Nice

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

2006

A Scenario-Aware Data Flow Model for Combined Long-Run Average and Worst-Case Performance Analysis.

Theelen, B. D., Geilen, M. C. W., Basten, T., Voeten, J. P. M., Gheorghita, S. V. & Stuijk, S., 2006, Proceedings of the ACM-IEEE International Conference on Formal Methods and Models for Codesign.. Los Alamitos, USA: IEEE Computer Society, p. 185-194

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

108 Citations (Scopus)

Branching-time property preservation between real-time systems

Huang, J., Geilen, M. C. W., Voeten, J. P. M. & Corporaal, H., 2006, Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings. Graf, S. & Zhang, W. (eds.). Berlin: Springer, p. 260-275 16 p. (Lecture Notes in Computer Science (LNCS); vol. 4218).

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

1 Citation (Scopus)

Correctness-preserving Synthesis for Real-Time Control Software.

Huang, J., Voeten, J. P. M. & Corporaal, H., 2006, Proceedins of the International Conference on Quality Software.. Hong, M. (ed.). Los Alamitos, USA: IEEE Computer Society, p. 65-73

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

Performance modelling and analysis using POOSL for an in-car navigation system

Florescu, O., Hoon, de, M. M. C. M., Voeten, J. P. M. & Corporaal, H., 2006, ASCI 2006 : Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging, Lommel, Belgium, June 14-16, 2006. Lelieveldt, B. P. F., Haverkort, B., de Laat, C. T. A. M. & Heijnsdijk, J. W. J. (eds.). Delft: Advanced School for Computing and Imaging (ASCI), p. 37-45

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

Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems.

Florescu, O., Hoon, de, M. M. C. M., Voeten, J. P. M. & Corporaal, H., 2006, Proceedings of the Embedded Computer Systems: architectures, Modeling and Simulation.. p. 206-215

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

3 Citations (Scopus)

Reusing Real-Time Systems Design Eperience Through Modelling Patterns.

Florescu, O., Voeten, J. P. M., Verhoef, M. & Corporaal, H., 2006, Proceedings of the Forum on Specification & Design Languages 2006. p. 375-380

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

Strengthening Property Preservation in Concurrent Real-Time Systems.

Florescu, O., Huang, J., Voeten, J. P. M. & Corporaal, H., 2006, Proceedings of the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.. Los Alamitos, USA: IEEE Computer Society, p. 106-109

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

4 Citations (Scopus)
2005

Performance modelling for stem-level Design.

Voeten, J. P. M., Putten, van der, P. H. A., Theelen, B. D. & Florescu, O., 2005, Tutoral at the Euromicro conference on Digital System Design 2005.

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

Performance modelling for system-level design.

Voeten, J. P. M., Putten, van der, P. H. A. & Theelen, B. D., 2005, Tutorial at FDL'05.

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

Performance Modelling for System-Level Design. Tutorial.

Voeten, J. P. M., Putten, van der, P. H. A. & Theelen, B. D., 2005, Proceedings of the FDL 2005.

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

Predictability in Real-Time System Development.

Huang, J., Voeten, J. P. M., Florescu, O., Putten, van der, P. H. A. & Corporaal, H., 2005, Advances in Design and Specification Languages for SoCs, Chapter 8.. Boulet, P. (ed.). Dordrecht, the Netherlands: Kluwer Academic Publishers

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

2 Citations (Scopus)

Property-Preservation Synthesis for Unified Control- and Data-Oriented Models

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2005, Proceedings of the Forum on Specification & Design Languages (FDL) 2005. Lausanne: FDL, p. 531-542

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

System-Level Performance Analysis. Tutorial.

Theelen, B. D., Voeten, J. P. M., Putten, van der, P. H. A. & Florescu, O., 2005, Proceedings of the Euromicro Conference on Digital System Design 2005.

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

Towards predictability in real-time embedded system design. Invited presentation

Voeten, J. P. M., Huang, J., Florescu, O., Theelen, B. D. & Corporaal, H., 2005, Proceedings of the Lorentz-ARTIST (Network of Excellence on Embedded Systems Design) Workshop Embedded Systems..

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

2004

A Unified Model for Analysis of Real-Time Properties.

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2004, Preliminary proc. of the 1st Int. Symposium on Leveraging Applications of Formal Methods.. Paphos, Cyprus, p. 220-227

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

Error Estimation in Model-Driven Development for Real-Time Software

Florescu, O., Voeten, J. P. M., Huang, J. & Corporaal, H., 2004, Proceedings of the Forum on specification and Design Languages. Lille, France: ESCI, Gieres, France, p. 228-239

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

Predictability in real-time systems development : a case study

Huang, J. & Voeten, J. P. M., 2004, Proceedings of the Forum on Specification and Design Languages 2004. Gieres, France: ESCI

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

Predictability in real-time systems development : semantics support for development languages

Huang, J. & Voeten, J. P. M., 2004, Proceedings of the Forum on Specification and Design Languages 2004. Lille, France: ESCI, Gieres, France

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

Real-time property preservation in concurrent real-time systems

Huang, J., Voeten, J. P. M. & Geilen, M. C. W., 2004, Proceedings of the 10th Int. conference on Real-time and Embedded Computing Systems and Applications.. Gothenburg, Sweden: Springer

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

2003

Performance Modeling of the DECT Wireless Protocol

Huang, Z., Voeten, J. P. M., Ventevogel, A. & Niesten, R., 2003, Proceedings of PROGRESS'03. Utrecht, the Netherlands: STW Technology Foundation, p. 115-121

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